package ocamlfind

  1. Overview
  2. Docs
A library manager for OCaml

Install 

dune-project
 Dependency

projects.camlcity.org Edit opam file Versions (8)

Authors

  1. G
    Gerd Stolpmann <gerd@gerd-stolpmann.de>

Maintainers

  1. T
    Thomas Gazagnaire <thomas@gazagnaire.org>

Sources

findlib-1.9.3.tar.gz
md5=24047dd8a0da5322253de9b7aa254e42
sha512=27cc4ce141576bf477fb9d61a82ad65f55478740eed59fb43f43edb794140829fd2ff89ad27d8a890cfc336b54c073a06de05b31100fc7c01cacbd7d88e928ea

Description

Findlib is a library manager for OCaml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.

Published: 25 Jan 2022

Dependencies (1)

  1. ocaml >= "4.00.0" & < "5.0"

Dev Dependencies

None

  1. ANSITerminal < "0.8"
  2. aacplus
  3. abella < "2.0.8"
  4. aez
  5. afl-persistent != "1.1" & < "1.3"
  6. aio
  7. alba < "0.4.1"
  8. aliases
  9. alsa < "0.3.0"
  10. amqp-client < "1.1.0"
  11. ancient < "0.10.0"
  12. ansicolor
  13. anycache < "0.7.4"
  14. ao < "0.2.2"
  15. apron
  16. archimedes
  17. archsat
  18. ascii85 < "0.4"
  19. asetmap
  20. asl
  21. asli < "0.2.0"
  22. asn1-combinators < "0.2.5"
  23. assertions
  24. assimp
  25. astring
  26. atd < "1.2.1"
  27. atd2cconv
  28. atdgen < "1.10.2"
  29. augeas
  30. aws < "1.2"
  31. aws-autoscaling < "1.2"
  32. aws-cloudformation < "1.2"
  33. aws-cloudtrail < "1.2"
  34. aws-ec2 < "1.2"
  35. aws-elasticloadbalancing < "1.2"
  36. aws-sdb < "1.2"
  37. aws-ssm < "1.2"
  38. aws-sts < "1.2"
  39. BetterErrors
  40. b0
  41. baby < "20241204"
  42. bap-build >= "2.2.0"
  43. bap-byteweight-frontend >= "2.2.0"
  44. bap-frontend >= "2.2.0"
  45. bap-plugins >= "2.2.0"
  46. bap-std
  47. bap-toplevel
  48. base-bytes
  49. base58
  50. base64 < "2.2.0"
  51. batteries
  52. bdd < "0.5"
  53. bddapron
  54. bear
  55. beluga < "1.0"
  56. benchmark < "1.5"
  57. bencode < "2.0"
  58. bheap < "2.0.0"
  59. bigarray-overlap
  60. bindlib < "6.0.0"
  61. bisect
  62. bisect-summary
  63. bisect_ppx >= "1.3.3" & < "2.6.0"
  64. bitv < "1.4"
  65. bjack < "0.1.6"
  66. bn128
  67. bolt
  68. bookaml
  69. bos
  70. bpf
  71. bracetax
  72. broken
  73. brotli
  74. brozip
  75. brr
  76. bsdowl
  77. bytesrw
  78. cairo2 < "0.6"
  79. calendar < "3.0.0"
  80. camlbz2 < "transition"
  81. camlgpc
  82. camlimages
  83. camllib
  84. camlp4 >= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
  85. camlp5 >= "8.00.04"
  86. camlpdf
  87. camlprime
  88. camltc < "0.9.8"
  89. camlzip
  90. caper
  91. captureio
  92. caqti < "1.0.0"
  93. caqti-dynload
  94. carton < "0.7.2"
  95. catala >= "0.8.0"
  96. cbor < "0.3"
  97. cconv < "0.5"
  98. cconv-ppx
  99. cdrom < "0.9.3"
  100. certify < "0.3.0"
  101. cgi
  102. cgroups
  103. chalk
  104. checkseum >= "0.2.0"
  105. choice < "0.4"
  106. clangml
  107. cmark
  108. cmarkit
  109. cmdliner < "1.0.4"
  110. cmdtui
  111. coccinelle
  112. coin >= "0.1.2" & < "0.1.5"
  113. combine
  114. conex < "0.10.0"
  115. config-file < "1.2.1"
  116. configuration
  117. conjury
  118. coq < "8.17.0"
  119. coq-core < "9.0.0"
  120. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | = "0.2.3+9.0"
  121. coq-of-ocaml
  122. coq-serapi
  123. coqide >= "8.11.2"
  124. cordova
  125. cordova-plugin-activity-indicator
  126. cordova-plugin-background-mode
  127. cordova-plugin-barcode-scanner
  128. cordova-plugin-battery-status
  129. cordova-plugin-camera
  130. cordova-plugin-clipboard
  131. cordova-plugin-datepicker
  132. cordova-plugin-device
  133. cordova-plugin-device-motion
  134. cordova-plugin-device-orientation
  135. cordova-plugin-dialogs
  136. cordova-plugin-email-composer
  137. cordova-plugin-fcm
  138. cordova-plugin-file
  139. cordova-plugin-file-opener
  140. cordova-plugin-file-transfer
  141. cordova-plugin-geolocation
  142. cordova-plugin-globalization
  143. cordova-plugin-image-picker
  144. cordova-plugin-inappbrowser
  145. cordova-plugin-insomnia
  146. cordova-plugin-keyboard
  147. cordova-plugin-loading-spinner
  148. cordova-plugin-local-notifications
  149. cordova-plugin-media
  150. cordova-plugin-media-capture
  151. cordova-plugin-network-information
  152. cordova-plugin-progress
  153. cordova-plugin-push-notifications
  154. cordova-plugin-qrscanner
  155. cordova-plugin-screen-orientation
  156. cordova-plugin-sim-card
  157. cordova-plugin-sms
  158. cordova-plugin-social-sharing
  159. cordova-plugin-statusbar
  160. cordova-plugin-toast
  161. cordova-plugin-touch-id
  162. cordova-plugin-vibration
  163. cordova-plugin-videoplayer
  164. corecount
  165. cow < "2.3.0"
  166. cowabloga < "0.4.0"
  167. cpdf
  168. cpm < "4.0.0"
  169. cppo_ocamlbuild
  170. cpuid < "0.1.2"
  171. crc < "2.0.0"
  172. crdt-ml
  173. cry < "0.6.5"
  174. crypt < "2.0"
  175. cryptohash
  176. cryptokit < "1.16.1"
  177. cryptoverif
  178. csv < "2.0"
  179. ctypes < "0.21.1"
  180. ctypes-build
  181. cubicle
  182. cudf >= "0.7" & < "0.10"
  183. curses < "1.0.9"
  184. DAGaml
  185. datalog < "0.6"
  186. dbm
  187. debian-formats < "0.1.2"
  188. dedukti < "2.7"
  189. delimcc
  190. depext < "0.3"
  191. depgraph
  192. deriving
  193. devkit < "1.0"
  194. digestif != "0.6.1"
  195. dispatch < "0.4.0"
  196. docker-api < "0.2"
  197. docout
  198. dolmen < "0.4"
  199. dolog < "4.0.0"
  200. dose3 < "6.1"
  201. dot-merlin-reader
  202. down
  203. dssi < "0.1.3"
  204. dtoa < "0.3.0"
  205. dum < "1.0.3"
  206. dune >= "3.17.2"
  207. dyntype
  208. earley < "3.0.0"
  209. easy-format < "1.3.0"
  210. efl
  211. eigen < "0.1.0"
  212. elasticsearch-cli < "0.5"
  213. electrumAnalyzer
  214. elina
  215. eliom
  216. emoji < "2.0.0"
  217. enumerators
  218. exenum < "0.86"
  219. exn-source
  220. expect < "0.1.0"
  221. extlib < "1.7.9"
  222. extprot
  223. extunix < "0.3.1"
  224. ezjsonm < "1.0.0"
  225. ezsqlite < "0.4"
  226. FrontC < "3.4.2"
  227. faad < "0.5.0"
  228. fadbadml < "0.1.2"
  229. faraday < "0.3.0"
  230. farfadet
  231. farmhash < "0.4"
  232. fdkaac < "0.3.2"
  233. ffmpeg < "1.0.0~beta1"
  234. fieldslib < "v0.12.0"
  235. fileutils < "0.6.1"
  236. fix < "20181206"
  237. flock
  238. flow_parser < "0.229.1"
  239. fmt
  240. format
  241. fpath
  242. frama-c < "28.0~beta"
  243. freetds < "0.5.2"
  244. freetennis
  245. frei0r < "0.1.2"
  246. fstar < "2025.02.17"
  247. fstreams
  248. functory
  249. funfields
  250. GT
  251. GuaCaml
  252. gammu < "0.9.4"
  253. gavl
  254. gd < "1.1"
  255. gdal < "0.10.0"
  256. gedcom
  257. gen < "0.5.1"
  258. gen-bs
  259. genlet
  260. genspir < "1.0.0"
  261. geoip
  262. getopt < "20230213"
  263. getopts
  264. gettext < "0.4.1"
  265. gg
  266. git-unix >= "3.2.0" & < "3.16.1"
  267. gles3
  268. glical >= "0.0.4"
  269. glicko2
  270. glMLite
  271. glpk
  272. goblint-cil
  273. gospel >= "0.2.0"
  274. gperftools < "0.4"
  275. gpx
  276. grain_dypgen < "0.2.1"
  277. grain_wasm_spec
  278. graphicspdf
  279. grenier < "0.7"
  280. grib
  281. gsl < "1.20.0"
  282. gstreamer < "0.3.1"
  283. gufo
  284. gxl-light
  285. h2-lwt-unix < "0.4.0"
  286. hachis
  287. hacl-star-raw
  288. hamt
  289. hashcons < "1.4.0"
  290. hashset < "1.0.1"
  291. haxe
  292. hdf5 < "0.1.5"
  293. hdfs
  294. hector < "20241208"
  295. heptagon
  296. herdtools7 >= "7.55" & < "7.56.1"
  297. higher != "0.3.0"
  298. higlo < "0.8"
  299. hiredis < "0.8"
  300. hlarp
  301. hll
  302. hmap
  303. htmlit
  304. humane-re
  305. ISO8601 < "0.2.6"
  306. i2c
  307. igvxml
  308. inferno < "20190924"
  309. inotify < "2.4"
  310. inspect
  311. integers < "0.3.0"
  312. interval < "1.4"
  313. intPQueue
  314. inuit < "0.4.1"
  315. io
  316. irc-client < "0.6.0"
  317. iri < "0.6.0"
  318. irrlicht
  319. itv-tree < "2.2"
  320. jasmin
  321. javalib
  322. javascriptcore
  323. jekyll-format < "0.2.0"
  324. jemalloc < "0.2"
  325. jhupllib < "0.2.2"
  326. jingoo < "1.3.0"
  327. joolog
  328. js-build-tools
  329. js_of_ocaml-compiler < "3.5.0"
  330. js_of_ocaml-ocamlbuild < "3.5.0"
  331. js_of_ocaml-toplevel
  332. json-rpc
  333. json-static
  334. json-wheel
  335. jsondiff
  336. jsonm
  337. jsont
  338. junit < "2.0"
  339. kaputt
  340. karamel
  341. key-parsers < "0.10.1"
  342. kinetic-client < "0.0.11"
  343. kot
  344. kremlin < "transition"
  345. lablgl >= "1.07"
  346. lablgtk
  347. lablgtk-extras
  348. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  349. lablgtk3-extras < "3.0.1"
  350. lablqml
  351. labltk
  352. lacaml < "10.0.1"
  353. ladspa < "0.2.0"
  354. lambdasoup < "0.6.2"
  355. lame < "0.3.4"
  356. lascar < "0.6-alpha"
  357. lastfm < "0.3.3"
  358. launchd < "1.3"
  359. learn-ocaml
  360. learn-ocaml-client
  361. ledit >= "2.06"
  362. lem
  363. lemonade
  364. lemonade-sqlite
  365. lens < "1.2.1"
  366. leveldb < "1.3.0"
  367. libdash
  368. libevent
  369. libssh
  370. libsvm < "0.9.4"
  371. libudev
  372. linenoise < "1.1.0"
  373. linkage
  374. links
  375. linksem
  376. lipsum
  377. liquidsoap < "2.3.3"
  378. llvm >= "3.9" & < "15.0.7+nnp-2" | >= "18-shared"
  379. llvmgraph
  380. lmdb < "1.0"
  381. lo < "0.2.0"
  382. logger-p5
  383. logs
  384. lpi
  385. lru < "0.3.0"
  386. lru-cache
  387. lua-ml >= "0.9.1" & < "0.9.3"
  388. lua_pattern
  389. lustre-v6
  390. lutils
  391. lutin
  392. lwt
  393. lwt-zmq
  394. lwt_glib < "1.1.0"
  395. lwt_named_threads
  396. lymp
  397. lz4 < "1.2.0"
  398. lzo < "0.0.3"
  399. macaque
  400. macaroons
  401. mad < "0.5.0"
  402. magic
  403. magic-mime < "1.1.0"
  404. maildir
  405. malfunction
  406. mariadb < "1.2.0"
  407. markup < "0.7.6"
  408. maxminddb
  409. mdx
  410. mecab
  411. memcpy
  412. menhir < "20200123"
  413. mergeable-vector
  414. merlin-of-pds
  415. mesh < "0.9.3"
  416. mesh-display
  417. mesh-easymesh < "0.9.3"
  418. mesh-graphics < "0.9.3"
  419. mesh-triangle < "0.9.3"
  420. metapp
  421. metaquot < "0.6.0"
  422. mikmatch
  423. milter < "1.0.4"
  424. mindstorm < "0.8"
  425. minicli < "5.0.0"
  426. minima-theme
  427. minisat < "0.2"
  428. minivpt
  429. mirage-btrees
  430. mirage-channel < "3.1.0"
  431. mirage-kv < "1.1.1"
  432. mirage-kv-lwt < "1.1.0"
  433. mirage-net-macosx < "1.6.0"
  434. mirage-types < "3.6.0"
  435. mirage-types-lwt < "3.6.0"
  436. misuja
  437. mixture
  438. mkaudio < "1.1.0"
  439. mlbdd < "0.7.2"
  440. mlcuddidl
  441. mlgmpidl
  442. mlmpfr < "4.0.2+dune"
  443. mlpost
  444. mm < "0.7.0"
  445. mmseg < "transition"
  446. monadlib
  447. monomorphic < "1.3"
  448. mopsa
  449. more-ocaml
  450. mosquitto
  451. mparser < "1.3"
  452. mpi
  453. mpp < "0.3.4"
  454. msat < "0.8"
  455. msgpack
  456. msgpck < "1.3"
  457. mtime
  458. mtl
  459. murmur3 < "0.3"
  460. mustache < "3.1.0"
  461. mvar
  462. mybuild < "7"
  463. mysql
  464. named-pipe
  465. namespaces
  466. nbd < "4.0.3"
  467. netlink < "0.3.4"
  468. nlopt-ocaml < "transition"
  469. nlp
  470. noCanren < "0.3.0~alpha1"
  471. nocrypto
  472. nonstd
  473. nosetup
  474. not-ocamlfind
  475. note
  476. notty < "0.2.3"
  477. nproc
  478. npy < "0.0.8"
  479. OCanren
  480. oasis
  481. oasis2debian
  482. oasis2opam
  483. obandit
  484. obelisk < "0.5.0"
  485. objsize
  486. obuild >= "0.1.11"
  487. obus < "1.2.0"
  488. ocal < "0.2.2"
  489. ocaml-basics < "0.5.0"
  490. ocaml-buddy
  491. ocaml-expat
  492. ocaml-freestanding
  493. ocaml-http
  494. ocaml-inifiles
  495. ocaml-js-stdlib
  496. ocaml-lsp-server < "1.9.0"
  497. ocaml-migrate-parsetree-ocamlbuild
  498. ocaml-monadic < "0.4.0"
  499. ocaml-protoc < "2.0.1"
  500. ocaml-protoc-yojson
  501. ocaml-sat-solvers < "0.8"
  502. ocaml-solo5
  503. ocaml-solo5-cross-aarch64
  504. ocaml-systemd < "1.3"
  505. ocaml-unikraft-arm64
  506. ocaml-unikraft-default-arm64
  507. ocaml-unikraft-default-x86_64
  508. ocaml-unikraft-x86_64
  509. ocaml-xdg-basedir < "transition"
  510. ocamlbrowser
  511. ocamlbuild >= "0.15.0"
  512. ocamlbuild-atdgen
  513. ocamlbuild-pkg
  514. ocamlbuild-protoc
  515. ocamldap < "transition"
  516. ocamldiff < "1.2"
  517. ocamldot
  518. ocamleditor
  519. ocamlfind-lint
  520. ocamlgraph < "2.0.0"
  521. ocamlify < "0.1.0"
  522. ocamlmod < "0.1.1"
  523. ocamlnet
  524. ocamlrss
  525. ocamlscript
  526. ocamlsdl
  527. ocamlsdl2
  528. ocamlsdl2-image
  529. ocamlsdl2-ttf
  530. ocamlyices
  531. ocb-stubblr
  532. ocephes
  533. ocf < "0.8.0"
  534. oclock
  535. ocp-build
  536. ocp-indent >= "1.7.0"
  537. ocp-index-top
  538. ocp-ocamlres
  539. ocp-reloc
  540. ocplib-endian < "1.1"
  541. ocplib-json-typed < "0.7"
  542. ocplib-resto
  543. ocplib-simplex != "0.5"
  544. ocsfml
  545. ocsigen-i18n < "4.0.0"
  546. ocsigenserver
  547. octavius < "1.2.1"
  548. ocurl < "transition"
  549. ocveralls
  550. odbc
  551. odds < "1.1"
  552. odep
  553. odepack < "0.6.9"
  554. odig
  555. odoc
  556. odoc-driver
  557. ofx
  558. ogen
  559. ogg < "1.0.0"
  560. ojs-base
  561. olinq < "0.3"
  562. ollvm
  563. ollvm-tapir
  564. olmi
  565. omake
  566. omd < "1.3.2"
  567. oml
  568. omod
  569. omonad
  570. oolc
  571. opal
  572. opam-bundle
  573. opam-depext >= "1.2.1"
  574. opam-ed < "0.4"
  575. opam-lib
  576. opam-publish = "0.3.5"
  577. opamfu
  578. opencc < "transition"
  579. ordma < "0.0.5"
  580. orm
  581. orocksdb
  582. osc < "0.2.0"
  583. osdp
  584. oseq < "0.2"
  585. ostap
  586. osx-acl
  587. osx-attr
  588. osx-cf
  589. osx-fsevents
  590. osx-membership
  591. osx-mount
  592. osx-plutil
  593. osx-xattr
  594. otfm
  595. otp
  596. ott >= "0.32"
  597. otto
  598. ounit != "2.1.2"
  599. ounit-lwt >= "2.2.0"
  600. pa_comprehension
  601. pa_monad_custom
  602. pa_qualified
  603. pa_solution
  604. pa_where
  605. papi < "0.1.1"
  606. parany < "9.0.0"
  607. pareto
  608. parmap < "1.1.1"
  609. pbs
  610. pcap-format < "0.5.2"
  611. pci
  612. pci-db
  613. pcre < "7.3.0"
  614. pds
  615. pds-reachability < "0.2.3"
  616. pfff >= "0.37.6"
  617. pgocaml < "4.0"
  618. pgsolver < "4.4"
  619. pilat
  620. piqi < "0.7.8"
  621. piqilib < "0.6.16"
  622. pkcs11 < "0.18.0"
  623. pla < "1.2"
  624. plist
  625. plplot < "5.11.0-1"
  626. podge
  627. polka
  628. polyglot
  629. portaudio < "0.2.2"
  630. portia
  631. posix-clock
  632. posix-getopt < "2.0.0"
  633. posix-math
  634. posix-mqueue
  635. posix-semaphore
  636. posix-time
  637. posix-types < "2.0.0"
  638. postgresql < "4.1.0"
  639. pprint < "20200226"
  640. ppx_blob < "0.3.0"
  641. ppx_const < "2.0"
  642. ppx_cstubs
  643. ppx_defer < "0.3.0"
  644. ppx_deriving >= "5.0"
  645. ppx_deriving_argparse
  646. ppx_deriving_cmdliner < "0.6.0"
  647. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
  648. ppx_deriving_madcast < "0.2"
  649. ppx_distr_guards < "0.2"
  650. ppx_monoid < "0.3.2"
  651. ppx_tools < "6.0+4.08.0"
  652. ppxfind
  653. ppxlib
  654. primes
  655. pringo
  656. printbox < "0.2"
  657. process
  658. proj4
  659. prometheus < "0.3"
  660. protocol-9p < "0.11.1"
  661. protocol-9p-tool < "0.11.2"
  662. protocol-9p-unix < "0.11.2"
  663. proverif
  664. psmt2-frontend < "0.3.0"
  665. psq < "0.1.1"
  666. psyche
  667. ptime
  668. ptmap < "2.0.5"
  669. pulseaudio < "0.1.4"
  670. pumping
  671. pvem
  672. pxp
  673. py < "1.1"
  674. pyml
  675. qbf < "0.3"
  676. qcheck < "0.13"
  677. qcow < "0.10.2"
  678. qcow-tool < "0.11.0"
  679. qcstm
  680. qfs
  681. qmp < "0.19.0"
  682. qocamlbrowser
  683. qrc
  684. qtest < "2.9"
  685. r2pipe
  686. radare2 < "0.0.3"
  687. ranger
  688. raw_spacetime
  689. raygun4ocaml
  690. rdbg
  691. rdf < "0.13.0"
  692. rdr
  693. re < "1.7.2"
  694. react
  695. reactiveData < "0.2.4"
  696. reason >= "3.5.2"
  697. records < "1.0.0"
  698. res < "5.0.0"
  699. resource-pooling < "1.1"
  700. revops
  701. rfc6287 < "1.0.4"
  702. rfsm < "1.6-alpha-3"
  703. riak
  704. riak-pb
  705. rlp
  706. rml < "1.09.03"
  707. rocq-runtime
  708. rocqide
  709. root1d < "0.5.1"
  710. rotor
  711. rresult
  712. runtime_events_tools < "0.5.1"
  713. Snowflake
  714. safa
  715. safepass < "3.0"
  716. sail < "0.15"
  717. salsa20 < "1.0.0"
  718. salsa20-core < "1.0.0"
  719. samplerate < "0.1.6"
  720. sanlock
  721. sattools
  722. sawja
  723. schroedinger
  724. scid
  725. scrypt
  726. secp256k1 < "0.2.5"
  727. sedlex < "2.0"
  728. selfie
  729. semver < "0.2.1"
  730. sendmsg
  731. sequence
  732. session < "0.4.0"
  733. sessions
  734. setr
  735. sfml
  736. sgf < "1.0.1"
  737. sha < "1.12"
  738. shared-secret < "0.4"
  739. shcaml
  740. shine < "0.2.2"
  741. sid
  742. simple-diff
  743. simple_pam
  744. slap
  745. smart-print < "0.3.0"
  746. smtp
  747. snappy < "0.1.2"
  748. socketcan
  749. sodium
  750. sosa
  751. soundtouch < "0.1.9"
  752. spelll < "0.3"
  753. spirv
  754. spotlib < "4.1.0"
  755. spreadsheet
  756. sqlgg < "20200521"
  757. sqlite3 < "4.2.0"
  758. srt
  759. ssl < "0.5.6"
  760. starterkit
  761. statmemprof-emacs
  762. statverif
  763. stb_image
  764. stb_image_write
  765. stb_truetype
  766. stdcompat < "7"
  767. stdint < "0.5.1"
  768. stemmer
  769. stemming
  770. stog < "0.20.0"
  771. stone < "0.5.2"
  772. stringCodepointSplitter
  773. stringext < "1.5.0"
  774. strymonas-pure
  775. sturgeon < "0.4.2"
  776. subtype-refinement < "0.2"
  777. sundialsml
  778. symkat
  779. syndic < "1.6.0"
  780. syslog-message < "1.0.0"
  781. systemverilog < "0.0.2"
  782. TCSLib
  783. taglib < "0.3.7"
  784. tallgeese
  785. tcx
  786. tdk
  787. tensorflow
  788. termbox
  789. terminal_size < "0.1.4"
  790. text
  791. textwrap < "0.2.1"
  792. tgls
  793. tidy < "5-0.2"
  794. timed < "1.1"
  795. tiny_json < "1.1.6"
  796. tip-parser < "0.4"
  797. tjr_simple_earley
  798. tls < "0.12.8"
  799. tophide
  800. topkg
  801. topkg-care
  802. toplevel_backend
  803. toplevel_expect_test
  804. touist < "3.5.0"
  805. tplib
  806. tptp
  807. tree_layout < "0.2"
  808. treeprint < "2.2.0"
  809. tsdl
  810. ttweetnacl
  811. type_conv
  812. typerep < "v0.12.0"
  813. typerex-binutils
  814. tyre < "0.4"
  815. tyxml < "4.3.0"
  816. ubpf < "0.2"
  817. uint < "2.0.1"
  818. ulex
  819. ulex-camlp5
  820. unionFind >= "20250818"
  821. unison-gui
  822. unix-dirent
  823. unix-errno < "0.6.0"
  824. unix-sys-resource
  825. unix-sys-stat
  826. unix-time
  827. unix-type-representations
  828. unix-unistd
  829. usb
  830. user-setup
  831. utop
  832. uucd
  833. uucp
  834. uuidm
  835. uunf
  836. uuseg
  837. uutf
  838. uuuu >= "0.2.0" & < "0.4.0"
  839. uwt
  840. valentine
  841. variantslib < "v0.12.0"
  842. vector3 < "1.0.0"
  843. vg
  844. vhdlib
  845. visitors < "20200207"
  846. vlt
  847. voaacenc
  848. volt
  849. vscoq-language-server < "2.3.3"
  850. vsrocq-language-server
  851. wamp < "1.2"
  852. wasm < "2.0.2"
  853. wcs-lib < "2017-05-26.02"
  854. webbrowser
  855. webidl
  856. webmachine < "0.5.0"
  857. websocketml
  858. why3
  859. why3-coq
  860. why3-ide
  861. win-error < "0.3"
  862. win-eventlog < "0.2"
  863. wiringpi
  864. wxOCaml
  865. xapi-inventory < "1.2.3"
  866. xenstore_transport < "1.1.0" | >= "1.5.0"
  867. xml-light < "2.5"
  868. xmldiff < "0.7.0"
  869. xmlm
  870. xmlplaylist < "0.1.5"
  871. xtmpl < "0.19.0"
  872. yajl
  873. yices2
  874. yices2_bindings
  875. yurt < "0.6"
  876. z3
  877. zarith
  878. zipc
  879. zlist < "0.4.0"
  880. zmq < "5.0.0"
  881. zstd < "0.3"
  882. zxcvbn < "2.3+2"

Conflicts

None