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

Conflicts

None