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.6.tar.gz
md5=96c6ee50a32cca9ca277321262dbec57
sha512=cfaf1872d6ccda548f07d32cc6b90c3aafe136d2aa6539e03143702171ee0199add55269bba894c77115535dc46a5835901a5d7c75768999e72db503bfd83027

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: 08 Mar 2023

Dependencies (1)

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

Conflicts

None