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.8.tar.gz
md5=ca770e5806032a96131b670f6e07f146
sha512=8967986de2ab4ec5993f437b0a4206742adf37aa7a292a3bba0a04438d78539b84d001191e60b2d5bde98a695b38cba2593b7051f7749adbdb964a0df3c4b661

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: 05 Feb 2025

Dependencies (1)

  1. ocaml >= "3.08.0" & (os != "cygwin" & os-distribution != "msys2" | < "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 < "8.16.0+0.16.0" | >= "8.20.0+0.20.0"
  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. diffast-misc = "0.3.5.1"
  195. digestif != "0.6.1"
  196. dispatch < "0.4.0"
  197. docker-api < "0.2"
  198. docout
  199. dolmen < "0.4"
  200. dolog < "4.0.0"
  201. dose3 < "6.1"
  202. dot-merlin-reader
  203. down
  204. dssi < "0.1.3"
  205. dtoa < "0.3.0"
  206. dtools < "0.4.2"
  207. dum < "1.0.3"
  208. dune >= "3.17.2"
  209. duppy < "0.9.0"
  210. dyntype
  211. earley < "3.0.0"
  212. easy-format < "1.3.0"
  213. efl
  214. eigen < "0.1.0"
  215. elasticsearch-cli < "0.5"
  216. electrumAnalyzer
  217. elina
  218. eliom
  219. emoji < "2.0.0"
  220. enumerators
  221. exenum < "0.86"
  222. exn-source
  223. expect < "0.1.0"
  224. extlib < "1.7.9"
  225. extprot
  226. extunix < "0.3.1"
  227. ezjsonm < "1.0.0"
  228. ezsqlite < "0.4"
  229. FrontC < "3.4.2"
  230. faad < "0.5.0"
  231. fadbadml < "0.1.2"
  232. faraday < "0.3.0"
  233. farfadet
  234. farmhash < "0.4"
  235. fdkaac < "0.3.2"
  236. ffmpeg < "1.0.0~beta1"
  237. fieldslib < "v0.12.0"
  238. fileutils < "0.6.1"
  239. fix < "20181206"
  240. flock
  241. flow_parser < "0.229.1"
  242. fmt
  243. format
  244. fpath
  245. frama-c < "28.0~beta"
  246. freetds < "0.5.2"
  247. freetennis
  248. frei0r < "0.1.2"
  249. fstar < "2025.02.17"
  250. fstreams
  251. functory
  252. funfields
  253. GT
  254. GuaCaml
  255. gammu < "0.9.4"
  256. gavl
  257. gd < "1.1"
  258. gdal < "0.10.0"
  259. gedcom
  260. gen < "0.5.1"
  261. gen-bs
  262. genlet
  263. genspir < "1.0.0"
  264. geoip
  265. getopt < "20230213"
  266. getopts
  267. gettext < "0.4.1"
  268. gg
  269. git-unix >= "3.2.0" & < "3.16.1"
  270. gles3
  271. glical >= "0.0.4"
  272. glicko2
  273. glMLite
  274. glpk
  275. goblint-cil
  276. gospel >= "0.2.0"
  277. gperftools < "0.4"
  278. gpx
  279. grain_dypgen < "0.2.1"
  280. grain_wasm_spec
  281. graphicspdf
  282. grenier < "0.7"
  283. grib
  284. gsl < "1.20.0"
  285. gstreamer < "0.3.1"
  286. gufo
  287. gxl-light
  288. h2-lwt-unix < "0.4.0"
  289. hachis
  290. hacl-star-raw
  291. hamt
  292. hashcons < "1.4.0"
  293. hashset < "1.0.1"
  294. haxe
  295. hdf5 < "0.1.5"
  296. hdfs
  297. hector < "20241208"
  298. heptagon
  299. herdtools7 >= "7.55" & < "7.56.1"
  300. higher != "0.3.0"
  301. higlo < "0.8"
  302. hiredis < "0.8"
  303. hlarp
  304. hll
  305. hmap
  306. htmlit
  307. humane-re
  308. ISO8601 < "0.2.6"
  309. i2c
  310. igvxml
  311. inferno < "20190924"
  312. inifiles
  313. inotify < "2.4"
  314. inspect
  315. integers < "0.3.0"
  316. interval < "1.4"
  317. intPQueue
  318. inuit < "0.4.1"
  319. io
  320. irc-client < "0.6.0"
  321. iri < "0.6.0"
  322. irrlicht
  323. itv-tree < "2.2"
  324. jasmin
  325. javalib
  326. javascriptcore
  327. jekyll-format < "0.2.0"
  328. jemalloc < "0.2"
  329. jhupllib < "0.2.2"
  330. jingoo < "1.3.0"
  331. joolog
  332. js-build-tools
  333. js_of_ocaml-compiler < "3.5.0"
  334. js_of_ocaml-ocamlbuild < "3.5.0"
  335. js_of_ocaml-toplevel
  336. json-rpc
  337. json-static
  338. json-wheel
  339. jsondiff
  340. jsonm
  341. jsont
  342. junit < "2.0"
  343. kaputt
  344. karamel
  345. key-parsers < "0.10.1"
  346. kinetic-client < "0.0.11"
  347. kot
  348. kremlin < "transition"
  349. lablgl >= "1.07"
  350. lablgtk
  351. lablgtk-extras
  352. lablgtk3 < "3.0.beta4" | >= "3.1.3"
  353. lablgtk3-extras < "3.0.1"
  354. lablqml
  355. labltk
  356. lacaml < "10.0.1"
  357. ladspa < "0.2.0"
  358. lambdasoup < "0.6.2"
  359. lame < "0.3.4"
  360. lascar < "0.6-alpha"
  361. lastfm < "0.3.3"
  362. launchd < "1.3"
  363. learn-ocaml
  364. learn-ocaml-client
  365. ledit >= "2.06"
  366. lem
  367. lemonade
  368. lemonade-sqlite
  369. lens < "1.2.1"
  370. leveldb < "1.3.0"
  371. libdash
  372. libevent
  373. libssh
  374. libsvm < "0.9.4"
  375. libudev
  376. linenoise < "1.1.0"
  377. linkage
  378. links
  379. linksem
  380. lipsum
  381. liquidsoap < "2.3.3"
  382. llvm >= "3.9" & < "15.0.7+nnp-2" | >= "18-shared"
  383. llvmgraph
  384. lmdb < "1.0"
  385. lo < "0.2.0"
  386. logger-p5
  387. logs
  388. lpi
  389. lru < "0.3.0"
  390. lru-cache
  391. lua-ml >= "0.9.1" & < "0.9.3"
  392. lua_pattern
  393. lustre-v6
  394. lutils
  395. lutin
  396. lwt
  397. lwt-zmq
  398. lwt_glib < "1.1.0"
  399. lwt_named_threads
  400. lymp
  401. lz4 < "1.2.0"
  402. lzo < "0.0.3"
  403. macaque
  404. macaroons
  405. mad < "0.5.0"
  406. magic
  407. magic-mime < "1.1.0"
  408. maildir
  409. malfunction
  410. mariadb < "1.2.0"
  411. markup < "0.7.6"
  412. maxminddb
  413. mdx
  414. mecab
  415. memcpy
  416. menhir < "20200123"
  417. mergeable-vector
  418. merlin-of-pds
  419. mesh < "0.9.3"
  420. mesh-display
  421. mesh-easymesh < "0.9.3"
  422. mesh-graphics < "0.9.3"
  423. mesh-triangle < "0.9.3"
  424. metapp
  425. metaquot < "0.6.0"
  426. mikmatch
  427. milter < "1.0.4"
  428. mindstorm < "0.8"
  429. minicli < "5.0.0"
  430. minima-theme
  431. minisat < "0.2"
  432. minivpt
  433. mirage-btrees
  434. mirage-channel < "3.1.0"
  435. mirage-kv < "1.1.1"
  436. mirage-kv-lwt < "1.1.0"
  437. mirage-net-macosx < "1.5.0"
  438. mirage-types < "3.6.0"
  439. mirage-types-lwt < "3.6.0"
  440. misuja
  441. mixture
  442. mkaudio < "1.1.0"
  443. mlbdd < "0.7.2"
  444. mlcuddidl
  445. mlgmpidl
  446. mlmpfr < "4.0.2+dune"
  447. mlpost
  448. mm < "0.7.0"
  449. mmseg < "transition"
  450. monadlib
  451. monomorphic < "1.3"
  452. mopsa
  453. more-ocaml
  454. mosquitto
  455. mparser < "1.3"
  456. mpi
  457. mpp < "0.3.4"
  458. msat < "0.8"
  459. msgpack
  460. msgpck < "1.3"
  461. mtime
  462. mtl
  463. murmur3 < "0.3"
  464. mustache < "3.1.0"
  465. mvar
  466. mybuild < "7"
  467. mysql
  468. named-pipe
  469. namespaces
  470. nbd < "4.0.3"
  471. netlink < "0.3.4"
  472. nlopt-ocaml < "transition"
  473. nlp
  474. noCanren < "0.3.0~alpha1"
  475. nocrypto
  476. nonstd
  477. nosetup
  478. not-ocamlfind
  479. note
  480. notty < "0.2.3"
  481. nproc
  482. npy < "0.0.8"
  483. OCanren
  484. oasis
  485. oasis2debian
  486. oasis2opam
  487. obandit
  488. obelisk < "0.5.0"
  489. objsize
  490. obuild >= "0.1.11"
  491. obus < "1.2.0"
  492. ocal < "0.2.2"
  493. ocaml-basics < "0.5.0"
  494. ocaml-buddy
  495. ocaml-expat
  496. ocaml-freestanding
  497. ocaml-http
  498. ocaml-inifiles
  499. ocaml-js-stdlib
  500. ocaml-lsp-server < "1.9.0"
  501. ocaml-migrate-parsetree-ocamlbuild
  502. ocaml-monadic < "0.4.0"
  503. ocaml-protoc < "2.0.1"
  504. ocaml-protoc-yojson
  505. ocaml-sat-solvers < "0.8"
  506. ocaml-solo5
  507. ocaml-solo5-cross-aarch64
  508. ocaml-systemd < "1.3"
  509. ocaml-unikraft-arm64
  510. ocaml-unikraft-default-arm64
  511. ocaml-unikraft-default-x86_64
  512. ocaml-unikraft-x86_64
  513. ocaml-xdg-basedir < "transition"
  514. ocamlbrowser
  515. ocamlbuild >= "0.15.0"
  516. ocamlbuild-atdgen
  517. ocamlbuild-pkg
  518. ocamlbuild-protoc
  519. ocamldap < "transition"
  520. ocamldiff < "1.2"
  521. ocamldot
  522. ocamleditor
  523. ocamlfind-lint
  524. ocamlgraph < "2.0.0"
  525. ocamlify < "0.1.0"
  526. ocamlmod < "0.1.1"
  527. ocamlnet
  528. ocamlrss
  529. ocamlscript
  530. ocamlsdl
  531. ocamlsdl2
  532. ocamlsdl2-image
  533. ocamlsdl2-ttf
  534. ocamlyices
  535. ocb-stubblr
  536. ocephes
  537. ocf < "0.8.0"
  538. oclock
  539. ocp-build
  540. ocp-indent >= "1.7.0"
  541. ocp-index-top
  542. ocp-ocamlres
  543. ocp-reloc
  544. ocplib-endian < "1.1"
  545. ocplib-json-typed < "0.7"
  546. ocplib-resto
  547. ocplib-simplex != "0.5"
  548. ocsfml
  549. ocsigen-i18n < "4.0.0"
  550. ocsigenserver
  551. octavius < "1.2.1"
  552. ocurl < "transition"
  553. ocveralls
  554. odbc
  555. odds < "1.1"
  556. odep
  557. odepack < "0.6.9"
  558. odig
  559. odoc
  560. odoc-driver
  561. ofx
  562. ogen
  563. ogg < "1.0.0"
  564. ojs-base
  565. olinq < "0.3"
  566. ollvm
  567. ollvm-tapir
  568. olmi
  569. omake
  570. omd < "1.3.2"
  571. oml
  572. omod
  573. omonad
  574. oolc
  575. opal
  576. opam-bundle
  577. opam-depext >= "1.2.1"
  578. opam-dune-lint < "0.2"
  579. opam-ed < "0.4"
  580. opam-lib
  581. opam-publish = "0.3.5"
  582. opamfu
  583. opencc < "transition"
  584. ordma < "0.0.5"
  585. orm
  586. orocksdb
  587. osc < "0.2.0"
  588. osdp
  589. oseq < "0.2"
  590. ostap
  591. osx-acl
  592. osx-attr
  593. osx-cf
  594. osx-fsevents
  595. osx-membership
  596. osx-mount
  597. osx-plutil
  598. osx-xattr
  599. otfm
  600. otp
  601. ott >= "0.32"
  602. otto
  603. ounit != "2.1.2"
  604. ounit-lwt >= "2.2.0"
  605. pa_comprehension
  606. pa_monad_custom
  607. pa_qualified
  608. pa_solution
  609. pa_where
  610. papi < "0.1.1"
  611. parany < "9.0.0"
  612. pareto
  613. parmap < "1.1.1"
  614. pbs
  615. pcap-format < "0.5.2"
  616. pci
  617. pci-db
  618. pcre < "7.3.0"
  619. pds
  620. pds-reachability < "0.2.3"
  621. pfff >= "0.37.6"
  622. pgocaml < "4.0"
  623. pgsolver < "4.4"
  624. pilat
  625. piqi < "0.7.8"
  626. piqilib < "0.6.16"
  627. pkcs11 < "0.18.0"
  628. pla < "1.2"
  629. plist
  630. plplot < "5.11.0-1"
  631. podge
  632. polka
  633. polyglot
  634. portaudio < "0.2.2"
  635. portia
  636. posix-clock
  637. posix-getopt < "2.0.0"
  638. posix-math
  639. posix-mqueue
  640. posix-semaphore
  641. posix-time
  642. posix-types < "2.0.0"
  643. postgresql < "4.1.0"
  644. pprint < "20200226"
  645. ppx_blob < "0.3.0"
  646. ppx_const < "2.0"
  647. ppx_cstubs
  648. ppx_defer < "0.3.0"
  649. ppx_deriving >= "5.0"
  650. ppx_deriving_argparse
  651. ppx_deriving_cmdliner < "0.6.0"
  652. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
  653. ppx_deriving_madcast < "0.2"
  654. ppx_distr_guards < "0.2"
  655. ppx_monoid < "0.3.2"
  656. ppx_tools < "6.0+4.08.0"
  657. ppxfind
  658. ppxlib
  659. primes
  660. pringo
  661. printbox < "0.2"
  662. process
  663. proj4
  664. prometheus < "0.3"
  665. protocol-9p < "0.11.1"
  666. protocol-9p-tool < "0.11.2"
  667. protocol-9p-unix < "0.11.2"
  668. proverif
  669. psmt2-frontend < "0.3.0"
  670. psq < "0.1.1"
  671. psyche
  672. ptime
  673. ptmap < "2.0.5"
  674. pulseaudio < "0.1.4"
  675. pumping
  676. pvem
  677. pxp
  678. py < "1.1"
  679. pyml
  680. qbf < "0.3"
  681. qcheck < "0.13"
  682. qcow < "0.10.2"
  683. qcow-tool < "0.11.0"
  684. qcstm
  685. qfs
  686. qmp < "0.19.0"
  687. qocamlbrowser
  688. qrc
  689. qtest < "2.9"
  690. r2pipe
  691. radare2 < "0.0.3"
  692. ranger
  693. raw_spacetime
  694. raygun4ocaml
  695. rdbg
  696. rdf < "0.13.0"
  697. rdr
  698. re < "1.7.2"
  699. react
  700. reactiveData < "0.2.4"
  701. reason >= "3.5.2"
  702. records < "1.0.0"
  703. res < "5.0.0"
  704. resource-pooling < "1.1"
  705. revops
  706. rfc6287 < "1.0.4"
  707. rfsm < "1.6-alpha-3"
  708. riak
  709. riak-pb
  710. rlp
  711. rml < "1.09.03"
  712. rocq-runtime
  713. rocqide
  714. root1d < "0.5.1"
  715. rotor
  716. rresult
  717. runtime_events_tools < "0.5.1"
  718. Snowflake
  719. safa
  720. safepass < "3.0"
  721. sail < "0.15"
  722. salsa20 < "1.0.0"
  723. salsa20-core < "1.0.0"
  724. samplerate < "0.1.6"
  725. sanlock
  726. sattools
  727. sawja
  728. schroedinger
  729. scid
  730. scrypt
  731. secp256k1 < "0.2.5"
  732. sedlex < "2.0"
  733. selfie
  734. semver < "0.2.1"
  735. sendmsg
  736. sequence
  737. session < "0.4.0"
  738. sessions
  739. setr
  740. sfml
  741. sgf < "1.0.1"
  742. sha < "1.12"
  743. shared-secret < "0.4"
  744. shcaml
  745. shine < "0.2.2"
  746. sid
  747. simple-diff
  748. simple_pam
  749. slap
  750. smart-print < "0.3.0"
  751. smtp
  752. snappy < "0.1.2"
  753. socketcan
  754. sodium
  755. sosa
  756. soundtouch < "0.1.9"
  757. spelll < "0.3"
  758. spirv
  759. spotlib < "4.1.0"
  760. spreadsheet
  761. sqlgg < "20200521"
  762. sqlite3 < "4.2.0"
  763. srt
  764. ssl < "0.5.6"
  765. starterkit
  766. statmemprof-emacs
  767. statverif
  768. stb_image
  769. stb_image_write
  770. stb_truetype
  771. stdcompat < "7"
  772. stdint < "0.5.1"
  773. stemmer
  774. stemming
  775. stog < "0.20.0"
  776. stone < "0.5.2"
  777. stringCodepointSplitter
  778. stringext < "1.5.0"
  779. strymonas-pure
  780. sturgeon < "0.4.2"
  781. subtype-refinement < "0.2"
  782. sundialsml
  783. symkat
  784. syndic < "1.6.0"
  785. syslog-message < "1.0.0"
  786. systemverilog < "0.0.2"
  787. TCSLib < "0.5"
  788. taglib < "0.3.7"
  789. tallgeese
  790. tcx
  791. tdk
  792. tensorflow
  793. termbox
  794. terminal_size < "0.1.4"
  795. text
  796. textwrap < "0.2.1"
  797. tgls
  798. tidy < "5-0.2"
  799. timed < "1.1"
  800. tiny_json < "1.1.6"
  801. tip-parser < "0.4"
  802. tjr_simple_earley
  803. tls < "0.12.8"
  804. tophide
  805. topkg
  806. topkg-care
  807. toplevel_backend
  808. toplevel_expect_test
  809. touist < "3.5.0"
  810. tplib
  811. tptp
  812. tree_layout < "0.2"
  813. treeprint < "2.2.0"
  814. tsdl
  815. ttweetnacl
  816. type_conv
  817. typerep < "v0.12.0"
  818. typerex-binutils
  819. tyre < "0.4"
  820. tyxml < "4.3.0"
  821. ubpf < "0.2"
  822. uint < "2.0.1"
  823. ulex
  824. ulex-camlp5
  825. unionFind >= "20250818"
  826. unison-gui
  827. unix-dirent
  828. unix-errno < "0.6.0"
  829. unix-sys-resource
  830. unix-sys-stat
  831. unix-time
  832. unix-type-representations
  833. unix-unistd
  834. usb
  835. user-setup
  836. utop
  837. uucd
  838. uucp
  839. uuidm
  840. uunf
  841. uuseg
  842. uutf
  843. uuuu >= "0.2.0" & < "0.4.0"
  844. uwt
  845. valentine
  846. variantslib < "v0.12.0"
  847. vector3 < "1.0.0"
  848. vg
  849. vhdlib
  850. visitors < "20200207"
  851. vlt
  852. voaacenc
  853. volt
  854. vscoq-language-server < "2.3.3"
  855. vsrocq-language-server
  856. wamp < "1.2"
  857. wasm < "2.0.2"
  858. wcs-lib < "2017-05-26.02"
  859. webbrowser
  860. webidl
  861. webmachine < "0.5.0"
  862. websocketml
  863. why3
  864. why3-coq
  865. why3-ide
  866. win-error < "0.3"
  867. win-eventlog < "0.2"
  868. wiringpi
  869. wxOCaml
  870. xapi-inventory < "1.2.3"
  871. xenstore_transport < "1.1.0" | >= "1.5.0"
  872. xml-light < "2.5"
  873. xmldiff < "0.7.0"
  874. xmlm
  875. xmlplaylist < "0.1.5"
  876. xtmpl < "0.19.0"
  877. yajl
  878. yices2
  879. yices2_bindings
  880. yurt < "0.6"
  881. z3
  882. zarith
  883. zipc
  884. zlist < "0.4.0"
  885. zmq < "5.0.0"
  886. zstd < "0.3"
  887. zxcvbn < "2.3+2"

Conflicts

None