package ocaml

  1. Overview
  2. Docs
The OCaml compiler (virtual package)

Install

Dune Dependency

ocaml.org Edit opam file Versions (75)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp

Description

This package requires a matching implementation of OCaml, and polls it to initialise specific variables like ocaml:native-dynlink

Published: 14 Nov 2019

Dependencies (4)

  1. ocaml-system >= "4.09.1" & < "4.09.2~"
  2. ocaml-variants >= "4.09.1" & < "4.09.2~"
  3. ocaml-base-compiler = "4.09.1"
  4. ocaml-config

Dev Dependencies

None

  1. 0install < "2.8" | >= "2.14.1"
  2. 0install-gtk
  3. 0install-solver
  4. ANSITerminal >= "0.7"
  5. aacplus
  6. abella < "2.0.3" | = "2.0.7"
  7. absolute < "0.2"
  8. abstract_algebra < "v0.16.0"
  9. abt
  10. accessor < "v0.16.0"
  11. accessor_async < "v0.16.0"
  12. accessor_base < "v0.16.0"
  13. accessor_core < "v0.16.0"
  14. acgtk < "2.0.0"
  15. aches
  16. aches-lwt
  17. acme
  18. acp4
  19. acpc < "2.0.0"
  20. aez
  21. afl
  22. afl-persistent
  23. ago
  24. agrid
  25. ahrocksdb
  26. aifad
  27. aio
  28. alba
  29. albatross < "1.3.0"
  30. alcotest >= "0.8.0"
  31. alcotest-async < "1.6.0"
  32. alcotest-lwt
  33. alcotest-mirage
  34. alg_structs
  35. alg_structs_qcheck
  36. aliases
  37. alsa >= "0.2.3"
  38. alt-ergo
  39. alt-ergo-free < "2.3.3"
  40. alt-ergo-lib
  41. alt-ergo-parsers
  42. altgr-ergo
  43. ambient-context
  44. ambient-context-lwt
  45. amf >= "0.1.2"
  46. amqp-client >= "1.0.3" & != "1.1.1" & < "2.3.0"
  47. amqp-client-async >= "2.0.3" & < "2.3.0"
  48. amqp-client-lwt >= "2.0.3" & < "2.3.0"
  49. ancient >= "0.9.1"
  50. angstrom >= "0.6.0"
  51. angstrom-async
  52. angstrom-lwt-unix >= "0.8.0"
  53. angstrom-unix
  54. ansi-parse
  55. ansicolor
  56. anthill
  57. anycache
  58. anycache-async
  59. anycache-lwt
  60. ao < "0.2.2"
  61. apero-core
  62. apero-net
  63. apero-time
  64. apron
  65. apronext
  66. arakoon >= "1.8.6"
  67. archetype
  68. archi
  69. archi-async
  70. archi-lwt
  71. archimedes >= "0.4.18"
  72. archsat
  73. argon2 >= "1.0.0"
  74. arp
  75. arp-mirage
  76. art
  77. asak >= "0.2" & < "0.4"
  78. ascii85
  79. asetmap
  80. asl
  81. asli
  82. asn1-combinators >= "0.2.0" & < "0.3.2"
  83. assertions
  84. assimp
  85. astring >= "0.8.2"
  86. async < "109.19.00" | >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  87. async-mvar
  88. async-uri >= "0.2" & != "0.3.0"
  89. async-zmq
  90. async_core < "109.19.00"
  91. async_durable < "v0.16.0"
  92. async_extended >= "113.24.00" & != "113.33.03"
  93. async_extra < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & != "v0.11.0" & < "v0.16.0"
  94. async_find != "111.28.00" & != "113.33.03" & < "v0.16.0"
  95. async_graphics < "0.7.0"
  96. async_inotify != "113.00.00" & != "113.33.03" & < "v0.16.0"
  97. async_interactive < "v0.16.0"
  98. async_js >= "v0.9.1" & < "v0.16.0"
  99. async_kernel >= "113.24.00" & != "113.33.03" & != "v0.11.0" & < "v0.16.0"
  100. async_parallel >= "113.24.00" & < "113.33.03" | >= "v0.9.1"
  101. async_rpc_kernel >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  102. async_rpc_websocket < "v0.16.0"
  103. async_sendfile < "v0.16.0"
  104. async_shell != "109.28.03" & < "113.33.03" | >= "v0.9.1" & < "v0.16.0"
  105. async_smtp < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  106. async_ssl < "112.35.00" | = "113.24.00" | >= "113.33.06" & < "v0.16.0"
  107. async_udp < "v0.16.0"
  108. async_unix < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.16.0"
  109. async_websocket < "v0.16.0"
  110. atable
  111. atd
  112. atd2cconv
  113. atdd
  114. atdgen >= "1.9.1"
  115. atdgen-codec-runtime
  116. atdgen-runtime
  117. atdj < "20151001.01"
  118. atdpy
  119. atds
  120. atdts
  121. atomic < "base"
  122. avro
  123. avro-compiler
  124. awa < "0.3.0"
  125. awa-lwt
  126. awa-mirage
  127. aws
  128. aws-async
  129. aws-autoscaling
  130. aws-cloudformation
  131. aws-cloudtrail
  132. aws-cloudwatch
  133. aws-config
  134. aws-ec2
  135. aws-elasticache
  136. aws-elasticloadbalancing
  137. aws-lwt
  138. aws-rds
  139. aws-route53
  140. aws-s3
  141. aws-s3-async
  142. aws-s3-lwt
  143. aws-sdb
  144. aws-sqs
  145. aws-ssm
  146. aws-sts
  147. azblob
  148. azblob-async
  149. azure-cosmos-db
  150. BetterErrors
  151. b0
  152. bag
  153. balancer
  154. bamboo >= "0.0.02"
  155. bap = "0.9.5" | >= "1.2.0" & < "1.4.0" | >= "2.1.0"
  156. bap-abi < "1.4.0" | >= "2.1.0"
  157. bap-analyze
  158. bap-api < "1.4.0" | >= "2.1.0"
  159. bap-arm < "1.4.0" | >= "2.1.0"
  160. bap-beagle < "1.4.0" | >= "2.1.0"
  161. bap-beagle-strings
  162. bap-bil >= "2.1.0"
  163. bap-build >= "2.1.0"
  164. bap-bundle >= "2.1.0"
  165. bap-byteweight < "1.4.0" | >= "2.1.0"
  166. bap-byteweight-frontend < "1.4.0" | >= "2.1.0"
  167. bap-c < "1.4.0" | >= "2.1.0"
  168. bap-cache < "1.4.0" | >= "2.1.0"
  169. bap-callgraph-collator
  170. bap-callsites < "1.4.0" | >= "2.1.0"
  171. bap-constant-tracker >= "2.1.0"
  172. bap-core
  173. bap-core-theory >= "2.1.0"
  174. bap-cxxfilt < "1.4.0" | >= "2.1.0"
  175. bap-dead-code-elimination < "1.4.0"
  176. bap-demangle < "1.4.0" | >= "2.1.0"
  177. bap-dependencies
  178. bap-disassemble >= "2.1.0"
  179. bap-dump-symbols < "1.4.0" | >= "2.1.0"
  180. bap-dwarf < "1.4.0" | >= "2.1.0"
  181. bap-elementary >= "2.1.0"
  182. bap-elf < "1.5.0" | >= "2.1.0"
  183. bap-emacs-dot
  184. bap-emacs-goodies
  185. bap-emacs-mode
  186. bap-flatten
  187. bap-frames < "2.1.1"
  188. bap-frontc < "1.4.0" | >= "2.1.0"
  189. bap-frontend < "1.4.0" | >= "2.1.0"
  190. bap-fsi-benchmark < "1.4.0" | >= "2.2.0"
  191. bap-future < "1.4.0" | >= "2.1.0"
  192. bap-ghidra
  193. bap-glibc-runtime
  194. bap-ida < "1.4.0" | >= "2.1.0"
  195. bap-ida-plugin < "1.4.0" | >= "2.1.0"
  196. bap-ida-python < "1.4.0" | >= "2.1.0"
  197. bap-knowledge >= "2.1.0"
  198. bap-llvm < "1.4.0" | >= "2.1.0"
  199. bap-main >= "2.1.0"
  200. bap-mc < "1.4.0" | >= "2.1.0"
  201. bap-microx < "1.4.0" | >= "2.1.0"
  202. bap-mips >= "2.1.0"
  203. bap-objdump < "1.4.0" | >= "2.1.0"
  204. bap-optimization >= "2.1.0"
  205. bap-patterns
  206. bap-phoenix < "1.4.0" | >= "2.1.0"
  207. bap-piqi < "1.4.0" | >= "2.1.0"
  208. bap-plugins >= "2.1.0"
  209. bap-powerpc >= "2.1.0"
  210. bap-primus < "1.4.0" | >= "2.1.0"
  211. bap-primus-dictionary >= "2.1.0"
  212. bap-primus-exploring-scheduler
  213. bap-primus-greedy-scheduler
  214. bap-primus-limit
  215. bap-primus-lisp < "1.4.0" | >= "2.1.0"
  216. bap-primus-loader
  217. bap-primus-mark-visited
  218. bap-primus-powerpc >= "2.1.0"
  219. bap-primus-print
  220. bap-primus-promiscuous
  221. bap-primus-propagate-taint
  222. bap-primus-random
  223. bap-primus-region >= "2.1.0"
  224. bap-primus-round-robin-scheduler
  225. bap-primus-support < "1.4.0" | = "2.1.0"
  226. bap-primus-symbolic-executor
  227. bap-primus-systems
  228. bap-primus-taint
  229. bap-primus-test >= "2.1.0"
  230. bap-primus-track-visited
  231. bap-primus-wandering-scheduler
  232. bap-primus-x86 < "1.4.0" | >= "2.1.0"
  233. bap-print < "1.4.0" | >= "2.1.0"
  234. bap-radare2
  235. bap-raw >= "2.1.0"
  236. bap-recipe >= "2.1.0"
  237. bap-recipe-command >= "2.1.0"
  238. bap-relation
  239. bap-relocatable < "1.4.0" | >= "2.1.0"
  240. bap-report >= "2.1.0"
  241. bap-riscv
  242. bap-run < "1.4.0" | >= "2.1.0"
  243. bap-saluki
  244. bap-server < "0.3.0"
  245. bap-signatures
  246. bap-specification
  247. bap-ssa < "1.4.0" | >= "2.1.0"
  248. bap-std < "1.4.0" | >= "2.1.0"
  249. bap-strings < "1.4.0" | >= "2.1.0"
  250. bap-stub-resolver
  251. bap-symbol-reader < "1.4.0" | >= "2.1.0"
  252. bap-systemz
  253. bap-taint < "1.4.0" | >= "2.1.0"
  254. bap-taint-propagator < "1.4.0" | >= "2.1.0"
  255. bap-term-mapper < "1.4.0" | >= "2.1.0"
  256. bap-thumb
  257. bap-toplevel
  258. bap-trace < "1.4.0" | >= "2.1.0"
  259. bap-traces < "1.4.0" | >= "2.1.0"
  260. bap-trivial-condition-form >= "2.1.0"
  261. bap-veri < "0.2.2" | >= "0.2.5"
  262. bap-warn-unused < "1.4.0" | >= "2.1.0"
  263. bap-x86 < "1.4.0" | >= "2.1.0"
  264. bare >= "2.1.0"
  265. bare_encoding
  266. bark
  267. base >= "v0.12.2" & < "v0.15.0"
  268. base-bytes >= "base"
  269. base-implicits
  270. base-metaocaml-ocamlfind
  271. base-native-int63
  272. base32
  273. base58
  274. base64 >= "1.1.0" & != "2.3.0"
  275. base_bigstring < "v0.16.0"
  276. base_quickcheck < "v0.16.0"
  277. bastet
  278. bastet_async
  279. bastet_lwt
  280. batch_jaro_winkler
  281. batsat
  282. batsh
  283. batteries = "2.5.0" | >= "2.10.0"
  284. bdd
  285. bddrand
  286. bear
  287. bech32
  288. bechamel
  289. bechamel-js
  290. bechamel-notty
  291. bechamel-perf
  292. beluga >= "0.8.1" & < "1.1"
  293. bench
  294. benchmark >= "1.4"
  295. benchpress
  296. benchpress-server
  297. bencode != "0.2"
  298. bentov
  299. bes
  300. bestline
  301. bheap
  302. bibtex2html >= "1.99"
  303. bigarray-compat
  304. bigarray-overlap
  305. bigdecimal < "v0.16.0"
  306. bignum < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  307. bigstring >= "0.2"
  308. bigstring-unix >= "0.3"
  309. bigstringaf
  310. bimage
  311. bimage-display
  312. bimage-gtk
  313. bimage-io
  314. bimage-lwt
  315. bimage-sdl
  316. bimage-unix
  317. bimap
  318. bin_prot < "109.15.00" | >= "v0.9.2" & < "v0.16.0"
  319. bin_tree
  320. binaryen < "0.11.0"
  321. binaryen_dsl
  322. binbin
  323. bindlib
  324. biniou >= "1.1.0"
  325. binning
  326. binsec >= "0.4.0" & != "0.6.0" & < "0.8.0"
  327. bio_io < "0.5.1"
  328. biocaml != "0.5.0" & != "0.8.0"
  329. bip32
  330. bisect >= "1.3.1"
  331. bisect-summary
  332. bisect_ppx >= "1.3.1"
  333. bisect_ppx-ocamlbuild
  334. bistro
  335. bitcoin < "3.0"
  336. bitcoinml
  337. bitmasks >= "1.2.0"
  338. bitpack_serializer
  339. bitstring >= "3.0.0"
  340. bitv >= "1.3"
  341. bitvec >= "2.1.0"
  342. bitvec-binprot >= "2.1.0"
  343. bitvec-order >= "2.1.0"
  344. bitvec-sexp >= "2.1.0"
  345. bitwuzla < "1.0.0"
  346. bitwuzla-c
  347. bjack < "0.1.6"
  348. blahcaml
  349. blake2 >= "0.2"
  350. blake3
  351. bloomf
  352. bls12-381 < "18.0"
  353. bls12-381-gen
  354. bls12-381-hash < "0.0.2"
  355. bls12-381-js
  356. bls12-381-js-gen
  357. bls12-381-legacy
  358. bls12-381-signature
  359. bls12-381-unix
  360. blurhash
  361. bn128
  362. bnfgen >= "3.0.0"
  363. bogue
  364. bogue-tutorials < "0.2.0"
  365. bolt = "1.3"
  366. boltzgen
  367. bonsai < "v0.16.0"
  368. bookaml
  369. bos
  370. box
  371. bpf
  372. bracetax
  373. broken
  374. brotli
  375. brozip
  376. brr
  377. bsdowl
  378. bson2
  379. bst
  380. bt
  381. buffer-pool
  382. build_path_prefix_map
  383. builder >= "0.3.0" & < "0.4.0"
  384. bulletml
  385. bun
  386. bwd < "2.0.0"
  387. bwrap
  388. bytearray
  389. bytepdf
  390. c3
  391. ca-certs < "1.0.0"
  392. ca-certs-nss < "3.104"
  393. cairn
  394. cairo2 >= "0.5"
  395. cairo2-gtk
  396. cairo2-pango
  397. calculon
  398. calculon-web
  399. caldav
  400. calendar != "2.03.1"
  401. calendars
  402. calipso
  403. callipyge
  404. camelot < "1.0.1"
  405. camels
  406. camelsnakekebab
  407. caml-mode
  408. camlbz2
  409. camldm
  410. camlgpc
  411. camlhighlight
  412. camlidl
  413. camlimages >= "4.2.5" & < "5.0.5"
  414. camllib >= "1.3.3"
  415. camlmix
  416. camlon >= "2.0.0"
  417. camlp-streams >= "5.0.1"
  418. camlp4 = "4.02.0-1modular-implicits" | >= "4.09+1" & < "4.10+1"
  419. camlp5 >= "7.11" & < "8.00.05"
  420. camlpdf >= "2.2.1" & < "2.5"
  421. camlprime
  422. camltc >= "0.9.6"
  423. camlzip >= "1.06" & < "1.12"
  424. camomile >= "0.8.6" & < "2.0.0"
  425. camyll < "0.2.0"
  426. canary
  427. caper
  428. capnp
  429. capnp-rpc
  430. capnp-rpc-lwt
  431. capnp-rpc-mirage
  432. capnp-rpc-net
  433. capnp-rpc-unix != "0.3"
  434. captureio
  435. caqti
  436. caqti-async
  437. caqti-driver-mariadb
  438. caqti-driver-pgx
  439. caqti-driver-postgresql
  440. caqti-driver-sqlite3
  441. caqti-dynload
  442. caqti-lwt
  443. caqti-mirage
  444. caqti-tls
  445. caqti-type-calendar
  446. carray >= "0.0.2"
  447. carton
  448. carton-git
  449. carton-lwt
  450. catala < "0.5.0"
  451. catapult
  452. catapult-client
  453. catapult-file
  454. catapult-sqlite
  455. cbor >= "0.2"
  456. cconv >= "0.2"
  457. cconv-ppx
  458. ccss >= "1.6"
  459. cdrom
  460. ceph
  461. certify >= "0.2"
  462. cfg >= "2.1.0"
  463. cfgen
  464. cfml
  465. cfstream >= "1.3.0"
  466. cgi >= "0.9"
  467. cgroups
  468. chacha
  469. chalk
  470. channel
  471. charInfo_width
  472. charrua
  473. charrua-client
  474. charrua-client-lwt
  475. charrua-client-mirage
  476. charrua-core
  477. charrua-server
  478. charrua-unix < "0.5" | >= "0.10"
  479. chartjs
  480. chartjs-annotation
  481. chartjs-colorschemes
  482. chartjs-datalabels
  483. chartjs-streaming
  484. chase
  485. checkseum
  486. choice
  487. chrome-trace
  488. cinaps >= "v0.9.1"
  489. clangml != "3.8.0" & != "3.9.1.2" & != "4.0.0beta1"
  490. clangml-transforms >= "0.24"
  491. clap
  492. class_group_vdf
  493. cll
  494. cloudi >= "1.8.0"
  495. clz
  496. cmark
  497. cmarker
  498. cmdliner = "0.9.4" | >= "1.0.0"
  499. cmdliner-stdlib
  500. cmdtui
  501. cmdtui-lambda-term
  502. cmitomli
  503. coap
  504. coap-core
  505. coap-server-lwt
  506. coccinelle != "1.0.0-rc23" & != "1.0.7"
  507. coclobas
  508. codept >= "0.10.3"
  509. cohttp != "0.99.0"
  510. cohttp-async != "5.3.0" & < "6.0.0~alpha2"
  511. cohttp-curl
  512. cohttp-curl-lwt
  513. cohttp-lwt
  514. cohttp-lwt-jsoo
  515. cohttp-lwt-unix
  516. cohttp-lwt-unix-nossl
  517. cohttp-lwt-unix-ssl
  518. cohttp-mirage
  519. cohttp-server-lwt-unix
  520. cohttp-top
  521. cohttp_async_websocket < "v0.16.0"
  522. cohttp_static_handler < "v0.16.0"
  523. coin
  524. colombe
  525. color
  526. color-brewery
  527. combic
  528. combinaml
  529. combinat
  530. combine < "0.42"
  531. comby
  532. comby-kernel
  533. comby-semantic
  534. command_rpc < "v0.16.0"
  535. commonjs_of_ocaml
  536. comparelib < "113.00.00"
  537. conan
  538. conan-cli
  539. conan-lwt
  540. conan-unix
  541. conduit < "7.0.0"
  542. conduit-async < "7.0.0"
  543. conduit-async-ssl
  544. conduit-async-tls
  545. conduit-lwt < "7.0.0"
  546. conduit-lwt-ssl
  547. conduit-lwt-tls
  548. conduit-lwt-unix < "7.0.0"
  549. conduit-mirage < "7.0.0"
  550. conduit-tls
  551. conex
  552. conex-mirage-crypto
  553. conex-nocrypto
  554. conf-bap-llvm
  555. conf-binutils
  556. conf-ida
  557. conf-libev
  558. conf-radare2
  559. confero
  560. config >= "0.0.3"
  561. config-file
  562. configuration
  563. configurator
  564. conformist
  565. conjury
  566. containers >= "2.6"
  567. containers-data
  568. containers-thread
  569. cookie
  570. cookie-js
  571. coq >= "8.7.0" & < "8.17.0"
  572. coq-core
  573. coq-lsp >= "0.1.9+8.17"
  574. coq-of-ocaml < "2.4.0"
  575. coq-serapi < "8.7.2+0.4.13" | >= "8.8.0+0.5.2" & < "8.20.0+0.20.0"
  576. coq-shell
  577. coq-waterproof >= "2.1.1+8.17"
  578. coqide != "8.7.0" & < "8.10.0"
  579. cordova
  580. cordova-plugin-activity-indicator
  581. cordova-plugin-background-mode
  582. cordova-plugin-barcode-scanner
  583. cordova-plugin-battery-status
  584. cordova-plugin-camera
  585. cordova-plugin-clipboard
  586. cordova-plugin-datepicker
  587. cordova-plugin-device
  588. cordova-plugin-device-motion
  589. cordova-plugin-device-orientation
  590. cordova-plugin-dialogs
  591. cordova-plugin-email-composer
  592. cordova-plugin-fcm
  593. cordova-plugin-file
  594. cordova-plugin-file-opener
  595. cordova-plugin-file-transfer
  596. cordova-plugin-geolocation
  597. cordova-plugin-globalization
  598. cordova-plugin-image-picker
  599. cordova-plugin-inappbrowser
  600. cordova-plugin-insomnia
  601. cordova-plugin-keyboard
  602. cordova-plugin-loading-spinner
  603. cordova-plugin-local-notifications
  604. cordova-plugin-media
  605. cordova-plugin-media-capture
  606. cordova-plugin-network-information
  607. cordova-plugin-progress
  608. cordova-plugin-push-notifications
  609. cordova-plugin-qrscanner
  610. cordova-plugin-screen-orientation
  611. cordova-plugin-sim-card
  612. cordova-plugin-sms
  613. cordova-plugin-social-sharing
  614. cordova-plugin-statusbar
  615. cordova-plugin-toast
  616. cordova-plugin-touch-id
  617. cordova-plugin-vibration
  618. cordova-plugin-videoplayer
  619. core >= "113.24.00" & != "113.33.00" & != "113.33.02" & < "113.33.03" | >= "v0.9.2" & < "v0.11.0" | >= "v0.11.2" & < "v0.12.0" | >= "v0.12.2" & < "v0.15.0"
  620. core-lwt < "0.2.0"
  621. core_bench != "112.35.00" & != "113.33.00" & != "113.33.03" & < "v0.16.0"
  622. core_compat
  623. core_extended >= "108.00.02" & < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.16.0"
  624. core_kernel = "113.24.00" | >= "113.33.01+4.03" & < "113.33.03" | >= "v0.9.1" & != "v0.11.0" & < "v0.12.0" | >= "v0.12.2" & < "v0.15.0"
  625. core_profiler >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  626. core_unix < "v0.16.0"
  627. corecount
  628. corosync
  629. cosovo
  630. cow >= "2.0.1"
  631. cowabloga
  632. cpdf < "2.1.1" | = "2.3"
  633. cpm
  634. cppo >= "1.6.1"
  635. cppo_ocamlbuild
  636. cpu
  637. cpuid
  638. craml
  639. crc >= "1.0.0"
  640. crdt-ml
  641. crlibm
  642. crontab
  643. crowbar
  644. crunch >= "1.4.0"
  645. cry >= "0.6.0" & < "1.0.0"
  646. crypt >= "1.2"
  647. cryptodbm >= "0.84.2"
  648. cryptohash
  649. cryptokit >= "1.11"
  650. cryptoverif
  651. csexp
  652. cstruct >= "1.6.0" & < "1.8.0" | >= "3.0.0"
  653. cstruct-async
  654. cstruct-lwt
  655. cstruct-sexp
  656. cstruct-unix >= "4.0.0"
  657. csv >= "1.4"
  658. csv-lwt
  659. csvfields >= "v0.9.1" & < "v0.16.0"
  660. csvtool
  661. ctoxml
  662. ctypes >= "0.8.0"
  663. ctypes-build
  664. ctypes-foreign >= "0.21.1"
  665. cubicle >= "1.1.2"
  666. cudajit < "0.5.0"
  667. cudf
  668. cuid
  669. cumulus
  670. curly
  671. current < "0.6.6"
  672. current-albatross-deployer
  673. current_ansi
  674. current_docker < "0.6.6"
  675. current_examples < "0.6.6"
  676. current_git < "0.6.6"
  677. current_github < "0.6.6"
  678. current_gitlab < "0.6.6"
  679. current_incr < "0.6.1"
  680. current_rpc < "0.6.6"
  681. current_slack < "0.6.6"
  682. current_ssh < "0.6.6"
  683. current_web < "0.6.6"
  684. curses
  685. curve-sampling
  686. custom_printf >= "111.21.00" & < "113.00.00"
  687. cviode
  688. cwe_checker
  689. DAGaml
  690. DrawGrammar >= "0.2.1"
  691. d3
  692. daft < "0.0.4"
  693. dap
  694. data-encoding < "0.5"
  695. dataframe
  696. datakit < "0.10.0" | >= "0.11.0"
  697. datakit-bridge-github
  698. datakit-bridge-local-git
  699. datakit-ci
  700. datakit-client
  701. datakit-client-9p
  702. datakit-client-git
  703. datakit-github
  704. datakit-server
  705. datakit-server-9p
  706. datalog < "0.5" | >= "0.6"
  707. daypack-lib
  708. dbf >= "0.2.0"
  709. dblp-api
  710. dbm
  711. debian-formats
  712. decimal
  713. decoders
  714. decoders-bencode
  715. decoders-cbor
  716. decoders-ezjsonm
  717. decoders-ezxmlm
  718. decoders-jsonm
  719. decoders-msgpck
  720. decoders-sexplib
  721. decoders-yojson
  722. decompress >= "0.8"
  723. dedukti
  724. delimcc >= "2017.03.02" & < "2023.06.17"
  725. delimited_parsing < "v0.16.0"
  726. depext
  727. depgraph
  728. depyt >= "0.2.0"
  729. deriving >= "0.7.1"
  730. devkit >= "0.5" & < "1.20240429"
  731. diet
  732. diff
  733. digestif != "0.6"
  734. directories
  735. dirsift
  736. dirsp-exchange
  737. dirsp-exchange-kbb2017
  738. dirsp-proscript
  739. dirsp-proscript-mirage
  740. dirsp-ps2ocaml
  741. diskuvbox < "0.1.1"
  742. disml
  743. dispatch
  744. dispatch-js
  745. distributed
  746. distributed-lwt
  747. distributed-uwt
  748. diy
  749. dkim
  750. dkim-bin
  751. dkim-mirage
  752. dkml-component-offline-ocamlrun
  753. dkml-install
  754. dkml-install-installer >= "0.5.3"
  755. dkml-install-runner < "0.3.1" | >= "0.5.3"
  756. dkml-package-console >= "0.5.3"
  757. dlist >= "0.0.3"
  758. dlm
  759. dmap < "0.5"
  760. dns != "1.0.0" & < "9.0.0"
  761. dns-async
  762. dns-certify < "9.0.0"
  763. dns-cli < "9.0.0"
  764. dns-client < "9.0.0"
  765. dns-client-lwt < "9.0.0"
  766. dns-client-mirage < "9.0.0"
  767. dns-forward
  768. dns-forward-lwt-unix
  769. dns-lwt
  770. dns-lwt-unix
  771. dns-mirage < "9.0.0"
  772. dns-resolver < "9.0.0"
  773. dns-server < "9.0.0"
  774. dns-stub < "9.0.0"
  775. dns-tsig < "9.0.0"
  776. dnscurve
  777. dnssd
  778. dnssec < "9.0.0"
  779. doc-ock-html
  780. doc-ock-xml
  781. docker-api
  782. dockerfile < "1.3.0" | >= "1.7.2"
  783. dockerfile-cmd < "8.1.0"
  784. dockerfile-opam < "8.1.0"
  785. docout
  786. docteur
  787. docteur-solo5
  788. docteur-unix
  789. dog
  790. doi2bib
  791. dokeysto
  792. dokeysto_camltc
  793. dokeysto_lz4
  794. dolmen
  795. dolmen_bin
  796. dolmen_loop
  797. dolmen_lsp
  798. dolmen_model
  799. dolmen_type
  800. dolog >= "1.1"
  801. domain-name
  802. domainslib < "0.3.2"
  803. dose
  804. dose3
  805. dose3-extra
  806. dot-merlin-reader != "4.4~5.0.preview" & < "4.14-502~preview"
  807. dotenv
  808. down < "0.1.0"
  809. dream
  810. dream-accept
  811. dream-cli
  812. dream-encoding
  813. dream-htmx
  814. dream-httpaf
  815. dream-livereload
  816. dream-pure
  817. drom
  818. drom_lib
  819. drom_toml
  820. dropbox < "0.2"
  821. dryunit >= "0.4.0"
  822. dsfo
  823. dssi < "0.1.3" | >= "0.1.5"
  824. dtoa
  825. dtools
  826. dual
  827. duff
  828. dum != "1.0.2"
  829. dune >= "1.6.0" & < "1.7.0" | >= "1.11.0"
  830. dune-build-info < "2.0.0" | >= "3.0.2"
  831. dune-compiledb
  832. dune-configurator >= "2.7.0"
  833. dune-deps
  834. dune-private-libs != "2.7.0"
  835. dune-release
  836. dune_watch
  837. duppy >= "0.7.0" & < "0.9.0" | >= "0.9.3"
  838. duration
  839. dyn
  840. dynload-sys
  841. dyntype >= "0.8.3"
  842. earley >= "1.0.1" & != "2.0.0"
  843. easy-format
  844. easy_logging
  845. easy_logging_yojson
  846. easy_xlsx
  847. ecaml < "v0.16.0"
  848. edn >= "0.1.6-1-gff9db95"
  849. efl >= "1.12.0"
  850. ego
  851. eigen
  852. either
  853. elasticsearch-cli
  854. electrod < "0.8.0"
  855. electrumAnalyzer
  856. elf2json
  857. elina
  858. eliom < "6.5.0" | >= "6.8.0" & < "11.0.0"
  859. elpi
  860. elpi-option-legacy-parser
  861. email_message < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & != "v0.11.0" & < "v0.16.0"
  862. embedded_ocaml_templates
  863. emile
  864. emoji
  865. encore != "0.3"
  866. enumerate < "111.08.00"
  867. enumerators
  868. env_config < "v0.16.0"
  869. epictetus
  870. eqaf
  871. eqaf-cstruct
  872. equinoxe
  873. erm_xmpp
  874. errpy
  875. erssical < "1.1.0"
  876. esgg
  877. ethernet
  878. euler >= "0.2"
  879. exenum >= "0.7"
  880. exit
  881. exn-source
  882. expect >= "0.0.6"
  883. expect_test_helpers
  884. expect_test_helpers_async < "v0.16.0"
  885. expect_test_helpers_core < "v0.16.0"
  886. expect_test_helpers_kernel
  887. extlib = "1.7.0" | >= "1.7.5"
  888. extprot >= "1.1.2" & < "1.3.0" | >= "1.6.0"
  889. extunix >= "0.1.5"
  890. ez-conf-lib
  891. ez_api
  892. ez_cmdliner
  893. ez_config
  894. ez_file
  895. ez_hash
  896. ez_opam_file
  897. ez_pgocaml
  898. ez_search
  899. ez_subst < "0.2.0"
  900. ezcurl
  901. ezcurl-lwt
  902. ezdl
  903. ezgzip
  904. ezirmin
  905. ezjs_ace
  906. ezjs_blockies
  907. ezjs_cleave
  908. ezjs_crypto
  909. ezjs_cytoscape
  910. ezjs_d3pie
  911. ezjs_extension
  912. ezjs_fetch < "0.3"
  913. ezjs_idb
  914. ezjs_jquery
  915. ezjs_min
  916. ezjs_odometer
  917. ezjs_push
  918. ezjs_qrcode
  919. ezjs_recaptcha
  920. ezjs_timeline
  921. ezjsonm >= "0.5.0"
  922. ezjsonm-encoding
  923. ezjsonm-lwt >= "1.0.0"
  924. ezresto
  925. ezresto-directory
  926. ezsqlite
  927. ezxenstore >= "0.4.1"
  928. ezxmlm >= "1.0.2"
  929. FrontC >= "3.4.1"
  930. faad < "0.5.0"
  931. facebook-sdk
  932. facile
  933. facteur
  934. fadbadml
  935. faillib
  936. faraday
  937. faraday-async
  938. faraday-lwt
  939. faraday-lwt-unix
  940. farfadet
  941. farmhash
  942. fasmifra
  943. fat-filesystem != "0.12.0" & != "0.12.2"
  944. fd-send-recv >= "1.0.5" & < "2.0.2"
  945. fdkaac < "0.3.2"
  946. feat
  947. feat-core
  948. feat-num
  949. feather
  950. feather_async >= "0.2.0"
  951. febusy
  952. ff >= "0.5.0"
  953. ff-bench
  954. ff-pbt
  955. ff-sig
  956. ffmpeg
  957. ffmpeg-av
  958. ffmpeg-avcodec
  959. ffmpeg-avdevice
  960. ffmpeg-avfilter
  961. ffmpeg-avutil
  962. ffmpeg-swresample
  963. ffmpeg-swscale
  964. fftw3 >= "0.8"
  965. fiat-p256 < "0.2.1"
  966. fiber
  967. fiber-lwt
  968. fieldslib < "109.19.00" | = "113.24.00" | >= "v0.9.0" & < "v0.16.0"
  969. fileutils >= "0.5.3"
  970. finch
  971. findlib_top
  972. fit
  973. fix
  974. fkie-cad-cwe-checker < "0.2"
  975. flac != "0.1.2"
  976. flex-array
  977. flock
  978. flow >= "0.3"
  979. flow_parser = "0.80.0"
  980. flowtype >= "0.62.0" & < "0.87.0"
  981. fluent-logger < "1.1.0"
  982. fm-simplex-plugin
  983. fmlib
  984. fmlib_browser
  985. fmlib_js
  986. fmlib_parse
  987. fmlib_pretty
  988. fmlib_std
  989. fmt >= "0.8.0"
  990. fontforge-of-ocaml
  991. forester < "3.0.0"
  992. format
  993. fpath
  994. frama-c >= "11.0" & < "16.0" | >= "19.1" & < "26.0~beta"
  995. frama-c-e-acsl
  996. frama-c-lannotate < "0.2.3"
  997. frama-c-luncov < "0.2.1"
  998. frama-c-metacsl < "0.5~beta"
  999. freetds
  1000. freetennis
  1001. frei0r < "0.1.2"
  1002. frenetic < "5.0.5"
  1003. fromager
  1004. fstar >= "2021.06.06"
  1005. fstreams
  1006. fswatch
  1007. fswatch_async
  1008. fswatch_lwt
  1009. functoria >= "2.2.1"
  1010. functoria-runtime
  1011. functory >= "0.6"
  1012. funfields
  1013. future
  1014. fuzzy_match < "v0.16.0"
  1015. fzf < "v0.16.0"
  1016. General >= "0.7.0"
  1017. GuaCaml < "0.04"
  1018. gadelac
  1019. gamepad
  1020. gammu >= "0.9.3"
  1021. gapi-ocaml >= "0.3.5"
  1022. gavl
  1023. gbddml
  1024. gccjit
  1025. gd < "1.1"
  1026. gdal < "0.3.0" | >= "0.9.0"
  1027. gdbprofiler >= "0.2"
  1028. gedcom
  1029. gemini < "0.3.0"
  1030. gen = "0.2.2" | >= "0.5"
  1031. gen-bs < "0.1.0"
  1032. gen_js_api >= "1.0.6"
  1033. gen_server
  1034. genet < "0.6"
  1035. genlet
  1036. genprint >= "0.3"
  1037. genspio
  1038. genspir
  1039. geoip >= "0.0.3"
  1040. geojson
  1041. geoml
  1042. get_line < "5.0.0"
  1043. getopt
  1044. getopts
  1045. gettext >= "0.3.8"
  1046. gettext-camomile
  1047. gettext-stub
  1048. gg >= "0.9.2"
  1049. git < "1.4.3" | >= "1.8.0" & != "1.10.0"
  1050. git-cohttp
  1051. git-cohttp-mirage
  1052. git-cohttp-unix
  1053. git-http
  1054. git-kv
  1055. git-mirage
  1056. git-paf
  1057. git-unix
  1058. github < "1.0.0" | >= "3.0.0"
  1059. github-data
  1060. github-hooks
  1061. github-hooks-unix
  1062. github-jsoo
  1063. github-unix >= "3.1.0"
  1064. gitlab
  1065. gitlab-jsoo
  1066. gitlab-unix
  1067. gitlab_pipeline_notifier
  1068. gles3 < "20160505.alpha"
  1069. glfw-ocaml
  1070. glical >= "0.0.3"
  1071. glicko2
  1072. glMLite >= "0.03.53"
  1073. glpk != "0.1.7"
  1074. gluten
  1075. gluten-async
  1076. gluten-eio
  1077. gluten-lwt
  1078. gluten-lwt-unix
  1079. gluten-mirage
  1080. gmap
  1081. gmp
  1082. gmp-freestanding
  1083. gmp-xen
  1084. gnuplot
  1085. gobba
  1086. gobject-introspection
  1087. goblint = "1.1.1"
  1088. goblint-cil
  1089. google-drive-ocamlfuse >= "0.6.22"
  1090. gopcaml-mode
  1091. gopcaml-mode-merlin >= "0.0.6"
  1092. gospel < "0.2.0"
  1093. gperftools >= "0.5"
  1094. gpiod
  1095. gpr
  1096. gpx
  1097. gr < "0.0.2"
  1098. grain_dypgen
  1099. grain_wasm_spec
  1100. graphics >= "5.0.0"
  1101. graphicspdf
  1102. graphlib < "1.4.0" | >= "2.1.0"
  1103. graphql
  1104. graphql-async
  1105. graphql-cohttp
  1106. graphql-lwt
  1107. graphql_jsoo_client
  1108. graphql_parser
  1109. graphql_ppx >= "0.7.1"
  1110. graphv_core_lib
  1111. gremlin
  1112. grenier != "0.5"
  1113. grib
  1114. grid
  1115. grpc
  1116. gsasl
  1117. gsl < "1.25.0"
  1118. gstreamer
  1119. gufo
  1120. guile
  1121. gxl-light
  1122. h1
  1123. h1-lwt-unix
  1124. h2
  1125. h2-async
  1126. h2-eio
  1127. h2-lwt
  1128. h2-lwt-unix
  1129. h2-mirage
  1130. hack_parallel
  1131. hacl-star
  1132. hacl-star-raw
  1133. hacl_func
  1134. hacl_x25519
  1135. hamt
  1136. happy-eyeballs >= "0.1.0"
  1137. happy-eyeballs-lwt >= "0.1.0"
  1138. happy-eyeballs-mirage >= "0.1.0"
  1139. hardcaml < "1.1.1" | >= "v0.12.0" & < "v0.15.0"
  1140. hardcaml-affirm
  1141. hardcaml-bloop
  1142. hardcaml-examples != "0.2"
  1143. hardcaml-framework
  1144. hardcaml-llvmsim
  1145. hardcaml-reedsolomon
  1146. hardcaml-vpi
  1147. hardcaml-yosys
  1148. hardcaml_c < "v0.16.0"
  1149. hardcaml_circuits < "v0.16.0"
  1150. hardcaml_fixed_point < "v0.16.0"
  1151. hardcaml_of_verilog < "v0.16.0"
  1152. hardcaml_step_testbench < "v0.16.0"
  1153. hardcaml_verify < "v0.16.0"
  1154. hardcaml_verilator < "v0.16.0"
  1155. hardcaml_waveterm < "v0.16.0"
  1156. hardcaml_xilinx < "v0.16.0"
  1157. hardcaml_xilinx_components < "v0.16.0"
  1158. hardcaml_xilinx_reports < "v0.17.0"
  1159. hashcons < "1.4.0"
  1160. hashids
  1161. hashset
  1162. haxe
  1163. hc < "0.2"
  1164. hdf5 >= "0.1.4"
  1165. hdfs
  1166. hdr_histogram
  1167. headache >= "1.06" & < "1.08"
  1168. header-check
  1169. heptagon < "1.01.00" | >= "1.03.03"
  1170. herdtools7
  1171. hevea >= "2.25"
  1172. hex >= "1.2.0"
  1173. hex_encode < "v0.16.0"
  1174. hexstring
  1175. hidapi
  1176. hidapi-lwt
  1177. higher
  1178. higher_kinded < "v0.16.0"
  1179. higlo != "0.3" & < "0.8"
  1180. hiredis
  1181. hiredis-value
  1182. hkdf
  1183. hlarp
  1184. hll
  1185. hmap >= "0.8.1"
  1186. hockmd
  1187. horned_worm != "0.3.1"
  1188. hpack
  1189. hsluv
  1190. htmlfromtexbooks
  1191. hts_shrink
  1192. http
  1193. http-date
  1194. http-lwt-client
  1195. http2https
  1196. http_router
  1197. httpaf
  1198. httpaf-async
  1199. httpaf-lwt-unix
  1200. httpun
  1201. httpun-async
  1202. httpun-lwt
  1203. httpun-lwt-unix
  1204. httpun-mirage
  1205. httpun-types
  1206. httpun-ws
  1207. httpun-ws-async
  1208. httpun-ws-eio
  1209. httpun-ws-lwt
  1210. httpun-ws-lwt-unix
  1211. httpun-ws-mirage
  1212. humane-re != "0.0.3"
  1213. hvsock >= "0.6"
  1214. hweak
  1215. hxd
  1216. hydro
  1217. hyper
  1218. ISO3166
  1219. ISO8601
  1220. i2c
  1221. i3ipc >= "0.1.2"
  1222. ibx < "0.8.1"
  1223. icalendar
  1224. idd
  1225. idds
  1226. igvxml
  1227. imagelib >= "20171028"
  1228. imagemagick
  1229. imap
  1230. imaplet-lwt < "0.1.15"
  1231. imguiml
  1232. incr_dom < "v0.16.0"
  1233. incr_dom_interactive < "v0.16.0"
  1234. incr_dom_keyboard
  1235. incr_dom_partial_render < "v0.16.0"
  1236. incr_dom_sexp_form < "v0.16.0"
  1237. incr_dom_widgets
  1238. incr_map < "v0.16.0"
  1239. incr_select < "v0.16.0"
  1240. incremental >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  1241. incremental_kernel != "113.33.03" & != "v0.11.0"
  1242. index
  1243. index-bench
  1244. inferno
  1245. influxdb
  1246. influxdb-async
  1247. influxdb-lwt
  1248. inotify >= "2.1"
  1249. inquire
  1250. inquirer_oc
  1251. inspect
  1252. integers
  1253. integration1d >= "0.5"
  1254. interface-prime
  1255. interface-prime-lwt
  1256. interval < "1.6"
  1257. interval-map
  1258. interval_base
  1259. interval_crlibm < "1.6"
  1260. interval_intel < "1.6"
  1261. inuit
  1262. io
  1263. io-page >= "2.0.1"
  1264. io-page-unix >= "2.0.0"
  1265. io-page-xen >= "2.0.0"
  1266. iocaml >= "0.4.6"
  1267. iocaml-kernel >= "0.4.6"
  1268. iocamljs-kernel < "0.4.3" | >= "0.4.6"
  1269. iomux
  1270. iostream
  1271. iostream-camlzip
  1272. ip2location
  1273. ipaddr >= "2.7.2"
  1274. ipaddr-cstruct
  1275. ipaddr-sexp
  1276. ipv6-multicast
  1277. ipv6-multicast-lwt
  1278. irc-client >= "0.4.0"
  1279. irc-client-lwt
  1280. irc-client-lwt-ssl
  1281. irc-client-tls
  1282. irc-client-unix
  1283. iri < "0.5.0"
  1284. irmin < "0.9.0" | >= "0.9.5" & != "0.9.10" & < "1.0.0" | >= "1.3.2"
  1285. irmin-chunk
  1286. irmin-cli
  1287. irmin-client
  1288. irmin-containers
  1289. irmin-fs
  1290. irmin-git >= "1.1.0"
  1291. irmin-graphql
  1292. irmin-http >= "1.3.1"
  1293. irmin-indexeddb
  1294. irmin-layers
  1295. irmin-mem
  1296. irmin-mirage < "2.0.0"
  1297. irmin-pack < "3.7.0"
  1298. irmin-pack-tools
  1299. irmin-server
  1300. irmin-test
  1301. irmin-tezos >= "3.2.1" & < "3.4.0"
  1302. irmin-tezos-utils
  1303. irmin-unix != "1.3.0"
  1304. irmin-watcher
  1305. iso-filesystem
  1306. iso639
  1307. iter >= "1.2.1"
  1308. itv-tree >= "2.1"
  1309. ivy
  1310. JsOfOCairo >= "1.0.1"
  1311. jane-street-headers < "v0.16.0"
  1312. jane-street-tests
  1313. jasmin < "2023.06.0"
  1314. javalib != "2.3.3"
  1315. javascriptcore
  1316. jbuilder >= "1.0+beta20.1"
  1317. jekyll-format
  1318. jemalloc
  1319. jenga < "109.19.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  1320. jerboa
  1321. jext
  1322. jhupllib
  1323. jingoo >= "1.2.16"
  1324. jitsu
  1325. jitsu-libvirt
  1326. jitsu-libxl
  1327. jitsu-xapi
  1328. joolog
  1329. jose
  1330. js-build-tools >= "113.33.04"
  1331. js-lz4
  1332. js_of_ocaml >= "3.5.0"
  1333. js_of_ocaml-camlp4
  1334. js_of_ocaml-compiler >= "3.5.0"
  1335. js_of_ocaml-lwt
  1336. js_of_ocaml-ocamlbuild != "3.5.2"
  1337. js_of_ocaml-ppx >= "3.5.0"
  1338. js_of_ocaml-ppx_deriving_json >= "3.4.0"
  1339. js_of_ocaml-toplevel != "3.4.0"
  1340. js_of_ocaml-tyxml
  1341. js_of_ocaml-webgpu
  1342. js_of_ocaml-webidl
  1343. json-data-encoding < "0.10"
  1344. json-data-encoding-browser < "0.10"
  1345. json-data-encoding-bson < "0.10"
  1346. json-derivers
  1347. json-predicate
  1348. json-rpc
  1349. json-static
  1350. json-wheel >= "1.0.6+safe-string"
  1351. json-wheel_jane_street_overlay
  1352. json_decoder
  1353. json_of_jsonm
  1354. jsondiff
  1355. jsonm != "1.0.0"
  1356. jsonoo
  1357. jsonrpc
  1358. jsonxt
  1359. jsoo_broadcastchannel >= "2.0.0"
  1360. jsoo_router
  1361. jsoo_storage >= "1.0.1"
  1362. jst-config < "v0.16.0"
  1363. junit < "2.0.1"
  1364. junit_alcotest < "2.0.1"
  1365. junit_ounit < "2.0.1"
  1366. jupyter >= "2.6.1" & < "2.7.8"
  1367. jupyter-archimedes
  1368. jupyter-kernel
  1369. jwt
  1370. jwto
  1371. KaSim >= "4.0.0"
  1372. kafka >= "0.3"
  1373. kafka_async
  1374. kafka_lwt
  1375. kappa-agents < "4.1.3"
  1376. kappa-binaries < "4.1.3"
  1377. kappa-library < "4.1.3"
  1378. kappa-server
  1379. kaputt >= "1.2"
  1380. karamel
  1381. kdl
  1382. ke
  1383. ketrew >= "1.1.1" & != "3.0.0"
  1384. key-parsers != "0.10.0"
  1385. kicadsch
  1386. kind2
  1387. kinetic-client
  1388. kittyimg
  1389. kqueue < "0.2.0"
  1390. krb < "v0.16.0"
  1391. krb5
  1392. kremlin = "1.0.0"
  1393. kubecaml
  1394. kyotocabinet
  1395. lab
  1396. lablgl < "1.07"
  1397. lablgtk >= "2.18.11"
  1398. lablgtk-extras >= "1.6"
  1399. lablgtk3 >= "3.1.1"
  1400. lablgtk3-goocanvas2
  1401. lablgtk3-gtkspell3
  1402. lablgtk3-sourceview3 >= "3.1.0"
  1403. lablgtkosx
  1404. lablqml = "0.6.2"
  1405. labltk >= "8.06.6"
  1406. labrys
  1407. lacaml
  1408. ladspa < "0.2.0" | >= "0.2.2"
  1409. lambda
  1410. lambda-runtime
  1411. lambda-term < "1.6" | >= "1.12.0"
  1412. lambda_streams
  1413. lambda_streams_async
  1414. lambda_streams_lwt
  1415. lambdapi
  1416. lambdasoup
  1417. lambdoc
  1418. lame < "0.3.4"
  1419. landmarks >= "1.3"
  1420. landmarks-ppx
  1421. lascar < "0.7.0"
  1422. lastfm = "0.3.2" | >= "0.3.4"
  1423. launchd
  1424. lazy-trie >= "1.1.0"
  1425. lbfgs >= "0.9"
  1426. lbvs_consent < "2.0.0"
  1427. ldap
  1428. leaflet
  1429. learn-ocaml < "0.12"
  1430. ledgerwallet
  1431. ledgerwallet-tezos
  1432. ledit >= "2.04"
  1433. lem
  1434. lemonade
  1435. lemonade-sqlite
  1436. lens < "1.2.4"
  1437. let-if
  1438. letsencrypt < "1.0.0"
  1439. letsencrypt-app < "1.0.0"
  1440. letsencrypt-dns < "1.0.0"
  1441. letsencrypt-mirage < "1.0.0"
  1442. letters
  1443. leveldb < "1.0.3" | >= "1.3.0"
  1444. levenshtein
  1445. libbpf
  1446. libdash
  1447. libevent
  1448. libres3
  1449. libssh
  1450. libsvm != "0.9.3"
  1451. libudev >= "0.2.1"
  1452. libzipperposition
  1453. lilis
  1454. line-up-words < "v0.16.0"
  1455. line_oriented
  1456. linenoise < "1.1.0" | >= "1.3.1"
  1457. linkage
  1458. links >= "0.9" & < "0.9.8"
  1459. links-mysql < "0.9.8"
  1460. links-postgresql >= "0.7.3" & < "0.9.8"
  1461. links-sqlite3 < "0.9.8"
  1462. linksem
  1463. linol < "0.5"
  1464. linol-lwt < "0.6"
  1465. lintcstubs-arity < "0.4.1"
  1466. lipsum
  1467. liquidsoap >= "1.4.0" & < "2.0.4"
  1468. liquidsoap-daemon
  1469. litiom
  1470. little_logger
  1471. llopt
  1472. llvm
  1473. llvmgraph
  1474. lmdb >= "1.0"
  1475. lo < "0.2.0"
  1476. loga >= "0.0.5"
  1477. logger-p5
  1478. logical >= "0.2.0"
  1479. logs >= "0.6.2"
  1480. logs-async >= "1.3"
  1481. logs-async-reporter >= "1.3"
  1482. logs-ppx
  1483. logs-syslog
  1484. logtk >= "1.5.1"
  1485. lp
  1486. lp-glpk
  1487. lp-glpk-js
  1488. lp-gurobi
  1489. lpd >= "1.2.2"
  1490. lpi
  1491. lreplay < "0.1.1"
  1492. lru != "0.3.0-1"
  1493. lru-cache
  1494. lsp < "1.6.1"
  1495. lt-code
  1496. lua-ml
  1497. lua_pattern
  1498. lustre-v6
  1499. lutils >= "1.44"
  1500. lutin
  1501. luv
  1502. luv_unix
  1503. lwd
  1504. lwt >= "4.2.0"
  1505. lwt-binio
  1506. lwt-canceler
  1507. lwt-dllist
  1508. lwt-exit
  1509. lwt-parallel
  1510. lwt-pipe
  1511. lwt-pipeline
  1512. lwt-watcher
  1513. lwt-zmq
  1514. lwt_camlp4
  1515. lwt_domain < "0.3.0"
  1516. lwt_eio < "0.2"
  1517. lwt_glib
  1518. lwt_log
  1519. lwt_named_threads
  1520. lwt_ppx
  1521. lwt_ppx_let >= "5.6.0"
  1522. lwt_react
  1523. lwt_ssl >= "1.1.1"
  1524. lymp
  1525. lz4
  1526. lz4_chans >= "3.0.0"
  1527. lzo >= "0.0.2"
  1528. macaddr
  1529. macaddr-cstruct
  1530. macaddr-sexp
  1531. macaque != "0.7.1"
  1532. macaroons < "0.1.1"
  1533. mad < "0.5.0" | >= "0.5.3"
  1534. magic
  1535. magic-mime
  1536. maildir
  1537. maki
  1538. malfunction != "0.3"
  1539. mariadb >= "1.1.4"
  1540. markdown
  1541. markup
  1542. mastodon-archive-viewer
  1543. matplotlib
  1544. maxminddb
  1545. mbr-format
  1546. mc2
  1547. mccs
  1548. md2mld
  1549. mdx >= "1.5.0"
  1550. mecab
  1551. mechaml
  1552. mel
  1553. melange-atdgen-codec-runtime
  1554. melange-fest
  1555. melange-fetch
  1556. melange-json >= "1.1.0"
  1557. melange-moment
  1558. melange-numeral
  1559. melange-react-dates
  1560. melange-recharts
  1561. melange-testing-library
  1562. melange-webapi >= "0.21.0"
  1563. meldep
  1564. melt
  1565. mem_usage
  1566. memcad
  1567. memcpy
  1568. memgraph_kitty
  1569. memo
  1570. menhir >= "20130911" & != "20211125"
  1571. menhirCST
  1572. menhirLib
  1573. menhirSdk
  1574. merge-fmt
  1575. merge-queues
  1576. merge-ropes
  1577. mergeable-vector
  1578. merlin = "3.3.3" | >= "3.3.4" & != "3.3.7~4.11preview1" & < "4.1-411"
  1579. merlin-acme
  1580. merlin-extend >= "0.4"
  1581. merlin-of-pds
  1582. mesh >= "0.8.7"
  1583. mesh-display
  1584. mesh-easymesh
  1585. mesh-graphics
  1586. mesh-triangle
  1587. message-switch
  1588. metapp
  1589. metaquot
  1590. metrics
  1591. metrics-influx
  1592. metrics-lwt >= "0.3.0"
  1593. metrics-mirage >= "0.3.0"
  1594. metrics-rusage
  1595. metrics-unix >= "0.3.0"
  1596. mew
  1597. mew_vi
  1598. mikmatch >= "1.0.9"
  1599. mimic
  1600. mimic-happy-eyeballs
  1601. mindstorm >= "0.6"
  1602. mindstorm-lwt
  1603. minicaml
  1604. minicli
  1605. minilight
  1606. minima-theme
  1607. minimal
  1608. minisat != "0.3"
  1609. minivpt
  1610. mirage >= "2.0.0" & < "2.7.0" | >= "3.1.1"
  1611. mirage-block
  1612. mirage-block-ccm
  1613. mirage-block-combinators
  1614. mirage-block-lwt
  1615. mirage-block-partition
  1616. mirage-block-ramdisk
  1617. mirage-block-solo5
  1618. mirage-block-unix >= "2.0.0" & != "2.7.0"
  1619. mirage-block-xen
  1620. mirage-bootvar
  1621. mirage-bootvar-solo5
  1622. mirage-bootvar-unix
  1623. mirage-bootvar-xen
  1624. mirage-btrees
  1625. mirage-channel
  1626. mirage-channel-lwt
  1627. mirage-clock
  1628. mirage-clock-freestanding
  1629. mirage-clock-lwt
  1630. mirage-clock-solo5
  1631. mirage-clock-unix
  1632. mirage-clock-xen
  1633. mirage-conduit
  1634. mirage-console != "2.1.0"
  1635. mirage-console-lwt
  1636. mirage-console-solo5
  1637. mirage-console-unix
  1638. mirage-console-xen
  1639. mirage-console-xen-backend
  1640. mirage-console-xen-cli
  1641. mirage-console-xen-proto
  1642. mirage-crypto < "1.0.0"
  1643. mirage-crypto-ec < "1.0.0"
  1644. mirage-crypto-entropy
  1645. mirage-crypto-pk < "1.0.0"
  1646. mirage-crypto-rng < "1.0.0"
  1647. mirage-crypto-rng-async < "1.0.0"
  1648. mirage-crypto-rng-lwt < "1.0.0"
  1649. mirage-crypto-rng-mirage < "1.0.0"
  1650. mirage-device
  1651. mirage-dns
  1652. mirage-entropy
  1653. mirage-entropy-unix
  1654. mirage-flow < "1.0.3" | >= "1.2.0"
  1655. mirage-flow-combinators
  1656. mirage-flow-lwt
  1657. mirage-flow-rawlink
  1658. mirage-flow-unix != "1.4.0"
  1659. mirage-fs
  1660. mirage-fs-lwt
  1661. mirage-fs-mem
  1662. mirage-fs-unix >= "1.4.1"
  1663. mirage-git
  1664. mirage-http
  1665. mirage-http-unix
  1666. mirage-http-xen
  1667. mirage-irmin
  1668. mirage-kv
  1669. mirage-kv-lwt
  1670. mirage-kv-mem
  1671. mirage-kv-unix
  1672. mirage-logs
  1673. mirage-nat < "1.1.0" | >= "2.0.0"
  1674. mirage-net
  1675. mirage-net-direct
  1676. mirage-net-fd
  1677. mirage-net-flow
  1678. mirage-net-lwt
  1679. mirage-net-macosx
  1680. mirage-net-socket
  1681. mirage-net-solo5 < "0.4.3" | >= "0.6.1"
  1682. mirage-net-unix >= "2.2.1"
  1683. mirage-net-xen >= "1.4.2" & < "1.6.0" | >= "1.7.0"
  1684. mirage-no-solo5
  1685. mirage-no-xen
  1686. mirage-os-shim >= "3.0.1"
  1687. mirage-profile != "0.7.0"
  1688. mirage-profile-unix >= "0.9.0"
  1689. mirage-profile-xen
  1690. mirage-protocols
  1691. mirage-protocols-lwt
  1692. mirage-qubes
  1693. mirage-qubes-ipv4
  1694. mirage-random
  1695. mirage-random-stdlib
  1696. mirage-random-test
  1697. mirage-runtime
  1698. mirage-seal
  1699. mirage-solo5
  1700. mirage-stack
  1701. mirage-stack-lwt
  1702. mirage-tc
  1703. mirage-tcpip-unix
  1704. mirage-tcpip-xen
  1705. mirage-time
  1706. mirage-time-lwt
  1707. mirage-time-unix
  1708. mirage-types
  1709. mirage-types-lwt
  1710. mirage-unix
  1711. mirage-vnetif
  1712. mirage-vnetif-stack
  1713. mirage-www
  1714. mirage-xen >= "2.6.0"
  1715. mirage-xen-minios
  1716. mirage-xen-ocaml >= "3.3.2"
  1717. mirage-xen-posix
  1718. mirror
  1719. misuja
  1720. mixture
  1721. mjson < "0.2.1"
  1722. mkaudio
  1723. mkocaml >= "1.2"
  1724. ml2mxml
  1725. mlbdd
  1726. mlcuddidl >= "3.0.4"
  1727. mld
  1728. mldonkey >= "3.1.7-2"
  1729. mlfenv
  1730. mlgmpidl >= "1.2.11"
  1731. mlmpfr
  1732. mlpost >= "0.8.2"
  1733. mlpost-lablgtk
  1734. mlt_parser < "v0.16.0"
  1735. mm >= "0.3.1" & < "0.8.0"
  1736. mmap
  1737. mmdb
  1738. mmseg
  1739. mnd
  1740. mock
  1741. mock-ounit
  1742. modelica_ml >= "0.2.0"
  1743. modular-arithmetic
  1744. module-graph
  1745. molenc < "16.15.0"
  1746. monadlib
  1747. monads < "1.4.0" | >= "2.1.0"
  1748. mongo
  1749. monocypher
  1750. monolith
  1751. monomorphic >= "1.2"
  1752. monorobot
  1753. moonpool < "0.7"
  1754. morbig < "0.11.0"
  1755. more-ocaml
  1756. morsmall
  1757. mosquitto
  1758. moss
  1759. mparser >= "1.2"
  1760. mparser-pcre
  1761. mparser-re
  1762. mperf
  1763. mpg123
  1764. mpi
  1765. mpp >= "0.3.2"
  1766. mpris >= "0.1.1"
  1767. mpris-clients
  1768. mqtt != "0.0.2"
  1769. mrmime
  1770. msat
  1771. msat-bin
  1772. msgpack >= "1.3.0"
  1773. msgpck
  1774. msgpck-repr
  1775. mssql
  1776. mstruct >= "1.4.0"
  1777. mtime >= "0.8.4"
  1778. mtl
  1779. mula >= "0.1.1"
  1780. multibase
  1781. multicodec
  1782. multihash
  1783. multipart-form-data < "0.3.0"
  1784. multipart_form
  1785. multipart_form-cohttp-lwt
  1786. multipart_form-lwt
  1787. murmur3
  1788. mustache != "2.0.0"
  1789. mustache-cli
  1790. mutf8
  1791. mvar
  1792. mwt
  1793. mybuild
  1794. mysql >= "1.2.1"
  1795. mysql_protocol
  1796. naboris
  1797. nacc
  1798. named-pipe
  1799. namespaces
  1800. nanoid
  1801. nanomsg
  1802. nbd
  1803. nbd-tool
  1804. nbd-unix
  1805. nebula
  1806. netamqp
  1807. netchannel
  1808. netkat
  1809. netlink
  1810. netml
  1811. netsnmp < "v0.16.0"
  1812. nice_parser
  1813. nit
  1814. nlopt
  1815. nlopt-ocaml >= "0.5.1"
  1816. nlp
  1817. nmea
  1818. nocoiner
  1819. nocrypto >= "0.2.0" & != "0.5.3"
  1820. noise
  1821. non_empty_list
  1822. nonstd
  1823. nosetup
  1824. not-ocamlfind != "0.07" & < "0.09"
  1825. note
  1826. notty != "0.2.0"
  1827. notty_async < "v0.16.0"
  1828. np
  1829. nproc
  1830. npy >= "0.0.7"
  1831. nsq >= "0.1.1"
  1832. num >= "1.0"
  1833. numalib
  1834. numerix
  1835. nunchaku >= "0.6"
  1836. nuscr >= "2.0.0" & < "2.1.1"
  1837. OCanren < "0.2.0"
  1838. OCanren-ppx < "0.3.0~alpha1"
  1839. oasis >= "0.4.7"
  1840. oasis-mirage
  1841. oasis2debian
  1842. oasis2opam < "0.4.4" | >= "0.6.1"
  1843. obandit
  1844. obeam < "0.1.0" | >= "0.1.2"
  1845. obeanstalk
  1846. obelisk
  1847. obi
  1848. obigstore
  1849. objsize >= "0.18"
  1850. obuild >= "0.1.9"
  1851. obus >= "1.1.8"
  1852. obytelib
  1853. oc45
  1854. ocal != "0.2.0"
  1855. ocaml-base-compiler = "4.09.1"
  1856. ocaml-basics != "0.4.0"
  1857. ocaml-buddy
  1858. ocaml-canvas
  1859. ocaml-compiler-libs < "v0.17.0"
  1860. ocaml-data-notation < "0.0.10"
  1861. ocaml-embed-file < "v0.16.0"
  1862. ocaml-expat < "1.3.0"
  1863. ocaml-freestanding >= "0.4.7" & < "0.7.0"
  1864. ocaml-http >= "0.1.6"
  1865. ocaml-inifiles
  1866. ocaml-js-stdlib
  1867. ocaml-logicalform
  1868. ocaml-lsp-server < "1.5.0"
  1869. ocaml-lua >= "1.8"
  1870. ocaml-makefile < "6.39.2"
  1871. ocaml-manual = "4.09.0"
  1872. ocaml-markdown
  1873. ocaml-migrate-parsetree >= "1.4.0"
  1874. ocaml-migrate-parsetree-ocamlbuild >= "1.2.0"
  1875. ocaml-monadic >= "0.3.2"
  1876. ocaml-print-intf
  1877. ocaml-protoc
  1878. ocaml-protoc-plugin
  1879. ocaml-protoc-yojson
  1880. ocaml-r >= "0.1.0"
  1881. ocaml-sat-solvers
  1882. ocaml-src >= "4.09.1" & < "4.10.0"
  1883. ocaml-syntax-shims
  1884. ocaml-system < "4.13.0"
  1885. ocaml-systemd
  1886. ocaml-top < "1.1.0" | >= "1.1.5"
  1887. ocaml-twt
  1888. ocaml-variants >= "4.09.1+32bit" & < "4.09.2+trunk"
  1889. ocaml-vdom < "transition"
  1890. ocaml-version
  1891. ocaml-xdg-basedir = "0.0.3"
  1892. ocaml-xml-rpc
  1893. ocaml-zmq
  1894. ocaml_db_model
  1895. ocaml_intrinsics < "v0.16.0"
  1896. ocaml_pgsql_model
  1897. ocaml_plugin < "112.35.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  1898. ocamlapi
  1899. ocamlapi_async
  1900. ocamlapi_lwt_unix
  1901. ocamlapi_ppx
  1902. ocamlbrowser = "4.08.1"
  1903. ocamlbuild < "0.9.0" | >= "0.14.0"
  1904. ocamlbuild-atdgen
  1905. ocamlbuild-pkg
  1906. ocamlbuild-protoc
  1907. ocamlc-loc
  1908. ocamlclean >= "2.3"
  1909. ocamldap >= "2.3.0"
  1910. ocamldiff = "1.1"
  1911. ocamldsort
  1912. ocamlfind >= "1.8.1"
  1913. ocamlfind-lint
  1914. ocamlformat != "0.5" & != "0.9" & != "0.19.0~4.13preview"
  1915. ocamlformat-lib
  1916. ocamlformat-rpc < "removed"
  1917. ocamlformat-rpc-lib
  1918. ocamlfuse
  1919. ocamlgraph >= "1.8.8"
  1920. ocamlgraph_gtk
  1921. ocamlify
  1922. ocamline
  1923. ocamlmod >= "0.0.8"
  1924. ocamlnet >= "4.1.6"
  1925. ocamlog
  1926. ocamlpp >= "1.1"
  1927. ocamlrss
  1928. ocamlscript
  1929. ocamlsdl
  1930. ocamlsdl2
  1931. ocamlsdl2-image
  1932. ocamlsdl2-ttf
  1933. ocamltter < "2.0.1" | = "2.1.1" | >= "4.1.0"
  1934. ocamlviz
  1935. ocamlwc
  1936. ocamlyices
  1937. ocapic >= "3.5"
  1938. ocb
  1939. ocb-stubblr
  1940. ocephes
  1941. oci
  1942. oclaunch
  1943. oclock
  1944. ocolor >= "1.1"
  1945. ocp-browser
  1946. ocp-build >= "1.99.21"
  1947. ocp-indent = "1.5.2" | >= "1.6.1"
  1948. ocp-indent-nlfork >= "1.5.4"
  1949. ocp-index >= "1.1.7"
  1950. ocp-index-top
  1951. ocp-ocamlres != "0.3"
  1952. ocp-pack-split
  1953. ocp-pp
  1954. ocp-reloc
  1955. ocp-search
  1956. ocp_reveal
  1957. ocplib-compat
  1958. ocplib-config
  1959. ocplib-endian != "0.8"
  1960. ocplib-file
  1961. ocplib-json-typed != "0.4"
  1962. ocplib-json-typed-browser
  1963. ocplib-json-typed-bson
  1964. ocplib-resto
  1965. ocplib-simplex
  1966. ocplib_stuff
  1967. ocsfml
  1968. ocsigen-i18n >= "3.5.0"
  1969. ocsigen-start
  1970. ocsigen-toolkit
  1971. ocsigenserver >= "2.12.0"
  1972. ocsipersist-pgsql >= "2.0.0"
  1973. ocsipersist-pgsql-config
  1974. octavius != "1.2.0"
  1975. ocurl >= "0.7.6"
  1976. ocveralls
  1977. odate >= "0.6"
  1978. odbc
  1979. odds < "1.1"
  1980. odep
  1981. odepack >= "0.6.7"
  1982. odig != "0.0.2"
  1983. odisco
  1984. odnnr
  1985. odoc < "1.3.0" | >= "1.4.2"
  1986. odoc-depgraph
  1987. odoc-parser
  1988. offheap
  1989. ofx
  1990. ogen != "0.1.2"
  1991. ogg = "0.5.2" | = "0.6.1" | >= "0.7.2"
  1992. ogre < "1.4.0" | >= "2.1.0"
  1993. ohex
  1994. oidc
  1995. ojquery
  1996. ojs
  1997. ojs-base < "0.3.0" | = "0.5.0"
  1998. ojwidgets
  1999. olinq
  2000. ollvm
  2001. ollvm-tapir
  2002. olmi
  2003. omake >= "0.10.3"
  2004. omd >= "1.3.1" & < "2.0.0~alpha4"
  2005. omg
  2006. omigrate
  2007. oml
  2008. omlr
  2009. omod < "0.0.4"
  2010. omonad >= "0.4.0"
  2011. oneffs
  2012. oniguruma
  2013. oolc
  2014. opaca
  2015. opal
  2016. opam-0install < "0.4.4"
  2017. opam-0install-cudf
  2018. opam-bin >= "0.9.5"
  2019. opam-build
  2020. opam-build-revdeps
  2021. opam-bundle
  2022. opam-ci
  2023. opam-client
  2024. opam-compiler
  2025. opam-core = "2.0.0~beta5" | >= "2.0.0~rc2"
  2026. opam-depext
  2027. opam-devel
  2028. opam-dune-lint >= "0.3"
  2029. opam-ed
  2030. opam-file-format
  2031. opam-format
  2032. opam-graph
  2033. opam-grep >= "0.2.0"
  2034. opam-installer
  2035. opam-lib < "0.9.4" | >= "1.0.0"
  2036. opam-lock
  2037. opam-monorepo < "0.3.0"
  2038. opam-package-upgrade < "0.2"
  2039. opam-publish
  2040. opam-query
  2041. opam-repository
  2042. opam-solver
  2043. opam-state
  2044. opam-sync-github-prs
  2045. opam-test
  2046. opam2web
  2047. opam_bin_lib
  2048. opamconfig
  2049. opamfind
  2050. opamfu
  2051. opass < "2.15"
  2052. opasswd >= "1.3.1"
  2053. opazl
  2054. open
  2055. open_packaging
  2056. openai-gym
  2057. opencc
  2058. opencc0
  2059. opencc1
  2060. opencc1_1
  2061. openflow
  2062. openQASM >= "0.4.0"
  2063. opentelemetry
  2064. opentelemetry-client-cohttp-lwt
  2065. opentelemetry-client-ocurl
  2066. opentelemetry-cohttp-lwt
  2067. opentelemetry-lwt
  2068. operf-macro
  2069. operf-micro >= "1.1.1"
  2070. opium
  2071. opium-graphql
  2072. opium-testing
  2073. opium_kernel
  2074. oplay
  2075. oplot
  2076. oplsr
  2077. opomodoro
  2078. optal
  2079. opti
  2080. optimization1d != "0.5.1"
  2081. optiml-transport
  2082. optint
  2083. opus < "0.2.0" | >= "0.2.2"
  2084. oqamldebug
  2085. oraft < "0.3.0"
  2086. orakuda >= "1.2.0" & < "2.0.0"
  2087. orandforest
  2088. order-i3-xfce
  2089. ordering
  2090. ordma
  2091. orec
  2092. orf < "1.0.1"
  2093. orm >= "0.7.0"
  2094. orocksdb
  2095. orpie
  2096. orrandomForest
  2097. orsetto >= "1.0.2"
  2098. orsvm_e1071
  2099. orun
  2100. orxgboost
  2101. osbx >= "1.2.4"
  2102. osc >= "0.1.4"
  2103. osc-lwt
  2104. osc-unix
  2105. osdp
  2106. oseq
  2107. osh
  2108. osm_xml
  2109. ostap < "0.6"
  2110. osx-acl
  2111. osx-attr
  2112. osx-cf
  2113. osx-fsevents
  2114. osx-membership
  2115. osx-mount
  2116. osx-plutil
  2117. osx-secure-transport >= "0.1.1"
  2118. osx-xattr
  2119. otetris
  2120. otf
  2121. otfm
  2122. oth
  2123. otoggl
  2124. otoml
  2125. otr >= "0.3.2"
  2126. ott >= "0.26"
  2127. otto
  2128. ounit >= "2.0.0" & < "2.2.0"
  2129. ounit-lwt < "2.2.0"
  2130. ounit2
  2131. ounit2-lwt
  2132. override >= "0.2.2"
  2133. owee >= "0.3"
  2134. owl >= "0.3.7" & != "0.6.0" & < "0.9.0"
  2135. owl-base < "0.9.0"
  2136. owl-jupyter
  2137. owl-ode < "0.4.0"
  2138. owl-ode-base < "0.4.0"
  2139. owl-ode-odepack < "0.4.0"
  2140. owl-ode-sundials < "0.4.0"
  2141. owl-opt
  2142. owl-opt-lbfgs
  2143. owl-plplot < "0.9.0"
  2144. owl-symbolic
  2145. owl-top < "0.9.0"
  2146. owl-zoo < "0.9.0"
  2147. owork
  2148. ox
  2149. oxylc
  2150. p4pp < "0.1.12"
  2151. pa_bench < "113.00.00"
  2152. pa_comprehension
  2153. pa_monad_custom
  2154. pa_ounit < "112.35.00"
  2155. pa_qualified
  2156. pa_solution
  2157. pa_test < "112.24.00"
  2158. pa_where
  2159. packet
  2160. packstream
  2161. pacomb
  2162. paf
  2163. paf-cohttp
  2164. paf-le
  2165. pam < "v0.16.0"
  2166. pandoc >= "0.2.0"
  2167. pandoc-abbreviations
  2168. pandoc-replace < "0.2.1"
  2169. papi
  2170. parany < "13.0.0" | >= "14.0.0"
  2171. pardi
  2172. pareto >= "0.3"
  2173. parmap >= "1.0-rc11"
  2174. parse-argv
  2175. parsexp >= "v0.9.1" & < "v0.16.0"
  2176. parsexp_io >= "v0.9.1" & < "v0.16.0"
  2177. parsite
  2178. parsley
  2179. partition_map
  2180. passmaker
  2181. passmakercmd
  2182. patch
  2183. patdiff != "113.00.00" & != "113.33.03" & < "v0.16.0"
  2184. path_glob
  2185. patience_diff != "112.24.00" & != "113.33.03" & < "v0.16.0"
  2186. patoline
  2187. pattern >= "0.2.0"
  2188. pb
  2189. pb-plugin
  2190. pbkdf
  2191. pbrt
  2192. pbrt_services
  2193. pbrt_yojson
  2194. pbs
  2195. pcap-format < "0.5.0" | >= "0.5.2"
  2196. pcf-format
  2197. pci >= "1.0.1"
  2198. pci-db
  2199. pcre >= "7.1.3" & < "7.5.0"
  2200. pds
  2201. pds-reachability
  2202. pecu
  2203. perf
  2204. petr4
  2205. pf-qubes
  2206. pfff >= "0.40.4"
  2207. pg_query
  2208. pgocaml < "1.7" | >= "2.2" & != "3.2"
  2209. pgocaml_ppx
  2210. pgsolver
  2211. pgx
  2212. pgx_async
  2213. pgx_lwt
  2214. pgx_lwt_mirage
  2215. pgx_lwt_unix
  2216. pgx_unix
  2217. pgx_value_core
  2218. pgx_value_ptime
  2219. phantom-algebra
  2220. phashtbl
  2221. phonetic
  2222. piaf < "0.2.0"
  2223. picasso
  2224. pilat
  2225. pipebang < "109.09.00"
  2226. piqi < "0.7.0" | >= "0.7.6"
  2227. piqilib
  2228. pixel_pusher
  2229. pkcs11
  2230. pkcs11-cli >= "1.0.1"
  2231. pkcs11-driver
  2232. pkcs11-rev >= "1.0.1"
  2233. pla
  2234. planck >= "2.2.0"
  2235. planets >= "0.1.14"
  2236. plato
  2237. plist < "1.0.0"
  2238. plist-xml < "0.4.0"
  2239. plotkicadsch < "0.4.0" | >= "0.5.2"
  2240. plplot
  2241. podge < "0.4"
  2242. polars
  2243. polka
  2244. polly
  2245. polyglot
  2246. pomap >= "4.1.0"
  2247. popper
  2248. portaudio = "0.2.1"
  2249. portaudio_c_bindings
  2250. portia >= "1.1"
  2251. portmidi
  2252. posix-base >= "2.0.2"
  2253. posix-clock
  2254. posix-getopt < "2.0.0"
  2255. posix-math
  2256. posix-mqueue
  2257. posix-semaphore
  2258. posix-time
  2259. posix-types
  2260. posixat >= "v0.10.0" & < "v0.16.0"
  2261. postgres_async < "v0.16.0"
  2262. postgresql
  2263. pp
  2264. pp_loc
  2265. pprint >= "20171003"
  2266. ppx-owl-opt
  2267. ppx_accessor < "v0.16.0"
  2268. ppx_assert >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2269. ppx_ast >= "v0.11.0"
  2270. ppx_bap
  2271. ppx_base < "v0.16.0"
  2272. ppx_bench = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2273. ppx_bin_prot >= "113.24.00" & != "113.33.00" & != "113.33.03" & != "v0.12.0" & < "v0.16.0"
  2274. ppx_bitstring = "1.1.0" | >= "1.3.3"
  2275. ppx_blob >= "0.2"
  2276. ppx_cold < "v0.16.0"
  2277. ppx_compare = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2278. ppx_compose
  2279. ppx_const
  2280. ppx_conv_func = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2281. ppx_core >= "v0.9.2"
  2282. ppx_counters
  2283. ppx_cstruct
  2284. ppx_cstubs >= "0.2.1"
  2285. ppx_csv_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2286. ppx_custom_printf = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & != "v0.12.0" & < "v0.16.0"
  2287. ppx_defer < "0.5.0"
  2288. ppx_derivers
  2289. ppx_deriving >= "4.4"
  2290. ppx_deriving_argparse
  2291. ppx_deriving_cmdliner
  2292. ppx_deriving_crowbar
  2293. ppx_deriving_encoding
  2294. ppx_deriving_hardcaml < "v0.16.0"
  2295. ppx_deriving_jsonschema
  2296. ppx_deriving_jsoo
  2297. ppx_deriving_madcast
  2298. ppx_deriving_morphism != "0.4"
  2299. ppx_deriving_popper
  2300. ppx_deriving_protobuf = "2.4" | >= "2.7"
  2301. ppx_deriving_protocol
  2302. ppx_deriving_qcheck >= "0.2.0"
  2303. ppx_deriving_rpc >= "6.0.0"
  2304. ppx_deriving_scad
  2305. ppx_deriving_variant_string
  2306. ppx_deriving_yaml
  2307. ppx_deriving_yojson < "2.0" | >= "3.5.1"
  2308. ppx_disable_unused_warnings < "v0.16.0"
  2309. ppx_distr_guards < "0.3"
  2310. ppx_dotbracket
  2311. ppx_dream_eml
  2312. ppx_driver = "113.24.00" | >= "113.33.00+4.03" & < "113.33.03" | >= "v0.9.2"
  2313. ppx_enumerate = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2314. ppx_expect != "113.33.00" & != "113.33.01" & != "113.33.03" & < "v0.16.0"
  2315. ppx_factory != "0.1.0"
  2316. ppx_fail = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0"
  2317. ppx_fields_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2318. ppx_fixed_literal < "v0.16.0"
  2319. ppx_fun < "0.0.9"
  2320. ppx_gen_rec
  2321. ppx_getenv >= "1.2"
  2322. ppx_graphql
  2323. ppx_hardcaml < "v0.17.0"
  2324. ppx_hash < "v0.16.0"
  2325. ppx_here >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2326. ppx_ignore_instrumentation < "v0.16.0"
  2327. ppx_import >= "1.7.0"
  2328. ppx_inline_alcotest
  2329. ppx_inline_test = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2330. ppx_integer
  2331. ppx_irmin < "2.4.0"
  2332. ppx_jane != "113.33.03" & < "v0.16.0"
  2333. ppx_js_style < "v0.16.0"
  2334. ppx_jsobject_conv >= "0.2.1" & < "0.6.0"
  2335. ppx_jsonaf_conv < "v0.16.0"
  2336. ppx_let != "113.33.00" & != "113.33.03" & < "v0.16.0"
  2337. ppx_log < "v0.16.0"
  2338. ppx_matches
  2339. ppx_meta_conv >= "4.0.0" & < "4.1.0"
  2340. ppx_metaquot
  2341. ppx_minidebug < "1.0.0"
  2342. ppx_module_timer < "v0.16.0"
  2343. ppx_monad >= "0.2.0"
  2344. ppx_monadic >= "1.0.4"
  2345. ppx_monoid != "0.2"
  2346. ppx_mysql
  2347. ppx_mysql_identity
  2348. ppx_nanocaml
  2349. ppx_netblob >= "1.1"
  2350. ppx_optcomp = "113.24.00" | = "113.33.01+4.03" | >= "v0.9.0" & < "v0.16.0"
  2351. ppx_optint
  2352. ppx_optional < "v0.16.0"
  2353. ppx_orakuda = "3.0.1" | = "3.1.0" | >= "3.3.0"
  2354. ppx_overload >= "1.4"
  2355. ppx_pattern_bind < "v0.16.0"
  2356. ppx_pipebang = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2357. ppx_poly_record >= "1.1.1"
  2358. ppx_protocol_conv
  2359. ppx_protocol_conv_json
  2360. ppx_protocol_conv_jsonm
  2361. ppx_protocol_conv_msgpack
  2362. ppx_protocol_conv_xml_light
  2363. ppx_protocol_conv_xmlm
  2364. ppx_protocol_conv_yaml
  2365. ppx_pyformat
  2366. ppx_python < "v0.16.0"
  2367. ppx_rapper
  2368. ppx_rapper_async
  2369. ppx_rapper_lwt
  2370. ppx_regexp >= "0.3.0"
  2371. ppx_seq
  2372. ppx_sexp_conv >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2373. ppx_sexp_message != "113.33.00" & != "113.33.03" & < "v0.16.0"
  2374. ppx_sexp_value = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2375. ppx_sqlexpr
  2376. ppx_stable < "v0.16.0"
  2377. ppx_string < "v0.16.0"
  2378. ppx_string_interpolation
  2379. ppx_system
  2380. ppx_test >= "1.4.0"
  2381. ppx_there
  2382. ppx_tools >= "5.2+4.08.0" & != "6.1+4.10.0"
  2383. ppx_tools_versioned >= "5.2.2"
  2384. ppx_traverse
  2385. ppx_traverse_builtins
  2386. ppx_type_conv = "113.24.00" | >= "113.33.00+4.03" & != "113.33.03"
  2387. ppx_type_directed_value
  2388. ppx_typed_fields < "v0.16.0"
  2389. ppx_typerep_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2390. ppx_tyre
  2391. ppx_variants_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.16.0"
  2392. ppx_wideopen
  2393. ppx_xml_conv >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2394. ppx_yojson
  2395. ppx_yojson_conv < "v0.16.0"
  2396. ppx_yojson_conv_lib < "v0.16.0"
  2397. ppxfind
  2398. ppxlib >= "0.7.0" & < "0.14.0" | >= "0.16.0" & < "0.19.0" | >= "0.21.0" & != "0.25.0~5.00preview"
  2399. ppxx >= "2.4.0"
  2400. pratter
  2401. prbnmcn-clustering < "0.0.2"
  2402. prbnmcn-gnuplot < "0.0.5"
  2403. prbnmcn-mcts
  2404. prbnmcn-ucb1 >= "0.0.2"
  2405. preface
  2406. prettiest
  2407. pretty_expressive
  2408. prettym
  2409. primes
  2410. pringo
  2411. printbox
  2412. printbox-text < "0.8"
  2413. prob-cache
  2414. proc-smaps
  2415. process
  2416. processor
  2417. producer
  2418. prof_spacetime
  2419. profiler-plugin
  2420. progress
  2421. proj4 >= "0.9.2"
  2422. prom
  2423. promela
  2424. prometheus
  2425. prometheus-app
  2426. promise
  2427. promise_jsoo
  2428. promise_jsoo_lwt
  2429. prooftree
  2430. protobuf
  2431. protocell
  2432. protocol-9p
  2433. protocol-9p-tool
  2434. protocol-9p-unix
  2435. protocol_version_header < "v0.16.0"
  2436. proverif >= "1.97pl3"
  2437. prr
  2438. psmt2-frontend
  2439. psq
  2440. psyche
  2441. ptime >= "0.8.1"
  2442. ptmap < "2.0.1" | >= "2.0.4"
  2443. ptset >= "1.0.1"
  2444. publish
  2445. pulseaudio < "0.1.4"
  2446. pumping
  2447. pure-splitmix < "0.3"
  2448. pvec
  2449. pvem
  2450. pvem_lwt_unix
  2451. pxp != "1.2.8"
  2452. py
  2453. pyast
  2454. pyml < "20171117" | >= "20190626"
  2455. pyml_bindgen
  2456. pythonlib < "v0.15.0"
  2457. qbf
  2458. qcheck >= "0.3" & < "0.5" | >= "0.5.2"
  2459. qcheck-alcotest
  2460. qcheck-core
  2461. qcheck-ounit
  2462. qcow < "0.8.1" | >= "0.10.0"
  2463. qcow-format
  2464. qcow-tool
  2465. qcstm
  2466. qfs >= "0.12"
  2467. qinap
  2468. qiskit
  2469. qmp
  2470. qocamlbrowser >= "0.2.11"
  2471. qrc < "0.2.0"
  2472. qrencode >= "0.2"
  2473. qtest >= "2.7"
  2474. quest
  2475. quests
  2476. quick_print
  2477. quickcheck != "1.0.0"
  2478. r2pipe
  2479. radamsa
  2480. radare2 >= "0.0.2"
  2481. randii
  2482. randomconv
  2483. range
  2484. ranger >= "0.1.0"
  2485. rangeSet
  2486. rashell
  2487. raw_spacetime
  2488. rawlink >= "0.6"
  2489. rawlink-lwt
  2490. raygun4ocaml
  2491. rdbg >= "1.175"
  2492. rdf >= "0.5" & < "0.7.0" | = "0.11.0"
  2493. rdr < "2.0.1"
  2494. re >= "1.3.0" & < "1.12.0"
  2495. re2 < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.1" & < "v0.16.0"
  2496. re2_stable
  2497. rea
  2498. react = "1.0.0" | >= "1.2.1"
  2499. reactiveData
  2500. reactjs-jsx-ppx
  2501. reanalyze
  2502. reason >= "3.5.2"
  2503. reason-react >= "0.14.0"
  2504. reason-standard
  2505. receive-mail
  2506. received
  2507. record_builder < "v0.16.0"
  2508. records != "0.6.0"
  2509. redirect >= "0.1.1"
  2510. redis >= "0.3.6"
  2511. redis-async < "v0.16.0"
  2512. redis-lwt >= "0.3.6"
  2513. redis-sync >= "0.3.6"
  2514. reed-solomon-erasure
  2515. reedsolomon
  2516. refl
  2517. regenerate
  2518. regular >= "1.2.0" & < "1.4.0" | >= "2.1.0"
  2519. remu_ts
  2520. repr
  2521. res >= "4.0.7"
  2522. rescript-syntax
  2523. reshowcase
  2524. resource-pooling
  2525. resource_cache < "v0.16.0"
  2526. resp
  2527. resp-client
  2528. resp-mirage < "0.11.0"
  2529. resp-server
  2530. resp-unix < "0.11.0"
  2531. resto < "0.7"
  2532. resto-acl < "0.7"
  2533. resto-cohttp < "0.7"
  2534. resto-cohttp-client < "0.7"
  2535. resto-cohttp-self-serving-client < "0.7"
  2536. resto-cohttp-server < "0.7"
  2537. resto-directory < "0.7"
  2538. resto-json < "0.7"
  2539. result
  2540. revops
  2541. rfc1951
  2542. rfc6287 != "1.0.2"
  2543. rfc7748
  2544. rfsm < "1.7.0"
  2545. rhythm
  2546. riak
  2547. riak-pb
  2548. riakc
  2549. riakc_ppx != "3.1.2"
  2550. ringo
  2551. ringo-lwt
  2552. river
  2553. rlp
  2554. rml >= "1.09.00" & != "1.09.04"
  2555. rmlbuild >= "0.14.0-00"
  2556. rock
  2557. root1d != "0.3"
  2558. rope >= "0.6" & < "0.6.3"
  2559. rosetta
  2560. routes
  2561. rpc < "1.3.0" | >= "5.9.0"
  2562. rpc_parallel >= "113.24.00" & != "113.33.03" & < "v0.16.0"
  2563. rpclib
  2564. rpclib-async
  2565. rpclib-html
  2566. rpclib-js
  2567. rpclib-lwt
  2568. rresult >= "0.4.0"
  2569. rsdd
  2570. rtop >= "3.5.2"
  2571. rtree
  2572. rubytt
  2573. rungen
  2574. rusage
  2575. Snowflake < "0.02.03"
  2576. SZXX < "3.0.0"
  2577. safa
  2578. safepass >= "2.0"
  2579. sail < "0.15"
  2580. sail_manifest >= "0.18"
  2581. salsa20
  2582. salsa20-core
  2583. samplerate < "0.1.5"
  2584. sanddb
  2585. sanlock
  2586. sarek >= "20210823"
  2587. satex
  2588. satML-plugin
  2589. sattools
  2590. satyrographos < "0.0.2.13"
  2591. sawja != "1.5.2"
  2592. scad_ml
  2593. scaml < "1.5.0"
  2594. scgi
  2595. schroedinger
  2596. scid
  2597. scipy
  2598. scrypt
  2599. scrypt-kdf
  2600. search
  2601. searchTree
  2602. secp256k1
  2603. secp256k1-internal
  2604. sedlex >= "1.99.3" & != "3.1"
  2605. sek
  2606. sel
  2607. selective
  2608. semaphore-compat
  2609. semver
  2610. semver2
  2611. sendmail
  2612. sendmail-lwt
  2613. sendmsg
  2614. sentry
  2615. seq >= "0.2.2"
  2616. sequence < "0.3"
  2617. sequencer_table < "v0.16.0"
  2618. serial
  2619. session
  2620. session-cohttp
  2621. session-cohttp-async
  2622. session-cohttp-lwt
  2623. session-cookie
  2624. session-cookie-async
  2625. session-cookie-lwt
  2626. session-postgresql
  2627. session-postgresql-async
  2628. session-postgresql-lwt
  2629. session-redis-lwt
  2630. session-webmachine
  2631. sessions
  2632. setcore
  2633. setr
  2634. sexp < "v0.16.0"
  2635. sexp_decode
  2636. sexp_diff < "v0.16.0"
  2637. sexp_diff_kernel
  2638. sexp_grammar < "v0.16.0"
  2639. sexp_macro < "v0.16.0"
  2640. sexp_pretty < "v0.16.0"
  2641. sexp_select < "v0.16.0"
  2642. sexp_string_quickcheck < "v0.16.0"
  2643. sexplib >= "v0.9.3" & < "v0.16.0"
  2644. sexplib0 < "v0.17.0"
  2645. sfml >= "0.08.2"
  2646. sgf
  2647. sha >= "1.10"
  2648. shades
  2649. shapefile
  2650. shared-block-ring < "2.3.0" | >= "3.0.0"
  2651. shared-memory-ring < "1.2.0" | >= "3.0.0"
  2652. shared-memory-ring-lwt
  2653. shared-secret
  2654. shcaml >= "0.2.1"
  2655. shell < "v0.16.0"
  2656. sherlodoc
  2657. shexp < "v0.11.0" | >= "v0.12.0" & < "v0.16.0"
  2658. shine
  2659. sibylfs
  2660. sid
  2661. sifun
  2662. signal
  2663. sihl < "3.0.0"
  2664. sihl-cache
  2665. sihl-contract
  2666. sihl-core
  2667. sihl-email
  2668. sihl-facade
  2669. sihl-persistence
  2670. sihl-queue
  2671. sihl-session
  2672. sihl-storage
  2673. sihl-token
  2674. sihl-type
  2675. sihl-user
  2676. sihl-web
  2677. sill
  2678. simlog < "0.0.4"
  2679. simple-diff
  2680. simple63
  2681. simple_pam
  2682. sklearn
  2683. slack-backup
  2684. slacko >= "0.11.0" & < "0.15.0"
  2685. slap >= "3.0.1"
  2686. slug
  2687. smart-print
  2688. smbc
  2689. smtlib-utils
  2690. smtp
  2691. snabela
  2692. snappy < "0.1.0" | >= "0.1.2"
  2693. so
  2694. socialpeek
  2695. sociaml-facebook-api < "0.4.1"
  2696. sociaml-oauth-client
  2697. sociaml-tumblr-api
  2698. sociaml-vcard
  2699. socket-daemon
  2700. socketcan >= "0.8.12-0"
  2701. sodium != "0.2.0"
  2702. solidity-alcotest
  2703. solidity-common
  2704. solidity-parser
  2705. solidity-test
  2706. solidity-typechecker
  2707. solo5-elftool
  2708. solo5-kernel-muen
  2709. solo5-kernel-ukvm
  2710. solo5-kernel-virtio
  2711. sortedseq_intersect
  2712. sosa >= "0.2.0"
  2713. soundtouch
  2714. soupault < "4.3.1"
  2715. space-search
  2716. spacetime_lib >= "0.3.0"
  2717. spatial_index
  2718. spawn
  2719. spdiff
  2720. spdx_licenses
  2721. spectrum < "0.2.0"
  2722. speex != "0.4.0"
  2723. spelll = "0.2" | >= "0.4"
  2724. spf >= "2.0.2"
  2725. spin < "0.8.0"
  2726. spirv
  2727. splay_tree < "v0.16.0"
  2728. splittable_random < "v0.16.0"
  2729. spoc >= "20210823"
  2730. spoc_ppx
  2731. spoke
  2732. spotify-cli >= "0.3.0"
  2733. spotify-web-api < "0.2.1"
  2734. spotify_ml
  2735. spotinstall
  2736. spotlib >= "4.0.2" & < "4.3.0"
  2737. spreadsheet
  2738. spreadsheetml
  2739. sqlexpr < "0.7.1" | >= "0.9.0"
  2740. sqlgg >= "0.4.4"
  2741. sqlite3 < "5.0.3"
  2742. sqlite3_utils
  2743. srs >= "2.0.0"
  2744. srt < "0.1.1"
  2745. ssh-agent
  2746. ssh-agent-unix
  2747. ssl >= "0.5.4"
  2748. sslconf
  2749. starred_ml
  2750. starterkit
  2751. stationary
  2752. statmemprof-emacs
  2753. statverif >= "1.97pl1.1"
  2754. stb_image
  2755. stb_image_write
  2756. stb_truetype
  2757. stdcompat < "2" | >= "10"
  2758. stdint
  2759. stdio >= "v0.9.1" & < "v0.16.0"
  2760. stdlib-random
  2761. stdlib-shims
  2762. stdune
  2763. stemmer
  2764. stemming >= "0.2.1"
  2765. stitch
  2766. stog >= "0.15.0" & < "0.19.0"
  2767. stog-rdf
  2768. stog-writing < "0.19.0"
  2769. stone >= "0.5.1"
  2770. store
  2771. stramon-lib
  2772. streaming
  2773. string_dict < "v0.16.0"
  2774. stringCodepointSplitter
  2775. stringext >= "1.2.0"
  2776. sturgeon
  2777. subscriptions-transport-ws
  2778. subtype-refinement
  2779. sugar
  2780. sundialsml
  2781. swagger
  2782. swhid
  2783. swhid_compute
  2784. swhid_core
  2785. swhid_types
  2786. swipl
  2787. symkat
  2788. syndic >= "1.2"
  2789. sys-socket
  2790. sys-socket-unix
  2791. syslog >= "2.0.0"
  2792. syslog-message
  2793. syslog-rfc5424
  2794. systemverilog < "0.0.2"
  2795. TCSLib
  2796. tablecloth-base < "0.0.10"
  2797. tablecloth-native
  2798. tabr
  2799. taglib != "0.3.7"
  2800. taglog
  2801. talaria-bibtex
  2802. tallgeese
  2803. tar >= "0.9.0"
  2804. tar-eio < "3.0.0"
  2805. tar-mirage >= "0.9.0"
  2806. tar-unix >= "0.9.0"
  2807. tcalc
  2808. tcpip < "3.0.0" | >= "3.3.1"
  2809. tcx
  2810. tdigest < "1.0.0"
  2811. tdk >= "0.1.1"
  2812. telegraml
  2813. telltime
  2814. tensorboard
  2815. tensorflow != "0.0.10"
  2816. termbox
  2817. terminal
  2818. terminal_size
  2819. terminus
  2820. testrunner
  2821. testu01
  2822. text >= "0.8.0"
  2823. text-tags < "1.4.0" | >= "2.1.0"
  2824. textmate-language
  2825. textrazor
  2826. textutils != "112.17.00" & != "113.33.03" & < "v0.16.0"
  2827. textutils_kernel < "v0.16.0"
  2828. textwrap >= "0.2"
  2829. tezos-error-monad >= "13.0" & < "16.0"
  2830. tezos-hacl < "15.0"
  2831. tezos-hacl-glue
  2832. tezos-lwt-result-stdlib < "11.0"
  2833. tezos-protocol-compiler < "9.0"
  2834. tezos-protocol-environment-packer
  2835. tezos-protocol-environment-sigs < "8.0" | >= "9.0" & < "11.0"
  2836. tezos-shell-services < "8.0"
  2837. tezos-stdlib < "12.0"
  2838. tezos-test-helpers < "13.0"
  2839. tezos-test-helpers-extra < "16.0"
  2840. tezos-tooling < "13.0"
  2841. tezos-version < "8.0"
  2842. tezt < "2.0.0"
  2843. tezt-bam
  2844. tftp
  2845. tgls != "0.8.3"
  2846. theora < "0.4.0"
  2847. thread-local-storage
  2848. thread-table
  2849. thrift >= "0.10.0"
  2850. tidy
  2851. time_now < "v0.16.0"
  2852. timed
  2853. timedesc
  2854. timedesc-json
  2855. timedesc-sexp
  2856. timedesc-tzdb
  2857. timedesc-tzlocal
  2858. timedesc-tzlocal-js
  2859. timere
  2860. timere-parse
  2861. timezone < "v0.16.0"
  2862. timmy
  2863. tiny_httpd
  2864. tiny_httpd_camlzip < "0.15"
  2865. tiny_json >= "1.1.5"
  2866. tiny_json_conv < "1.4.0"
  2867. tip-parser < "0.5"
  2868. tjr_simple_earley
  2869. tls < "1.0.0"
  2870. tls-async < "1.0.0"
  2871. tls-lwt < "1.0.0"
  2872. tls-mirage < "1.0.0"
  2873. tlstunnel
  2874. toc
  2875. tofn
  2876. togglelog
  2877. toml >= "5.0.0"
  2878. toml-cconv
  2879. toml_cconv
  2880. tophide >= "1.0.4"
  2881. topkg
  2882. topkg-care
  2883. topkg-jbuilder
  2884. toplevel_backend < "v0.16.0"
  2885. toplevel_expect_test < "113.33.02" | >= "v0.9.2" & < "v0.12.0" | >= "v0.12.2" & < "v0.16.0"
  2886. topojson
  2887. topological_sort < "v0.16.0"
  2888. topology
  2889. torch < "v0.16.0"
  2890. touist
  2891. tplib
  2892. tptp >= "0.3.2"
  2893. tqdm
  2894. trace
  2895. trace-fuchsia
  2896. trace-tef
  2897. tracing < "v0.16.0"
  2898. tracy-client
  2899. traildb
  2900. traits
  2901. trakeva
  2902. trampoline
  2903. transept
  2904. transmission-rpc
  2905. traverse
  2906. travesty != "0.6.0" & < "0.7.2"
  2907. travis-opam
  2908. trax < "0.4.0"
  2909. tree_layout
  2910. treeprint >= "2.1.1" & < "2.3.0"
  2911. trie
  2912. tsdl < "0.8.1" | >= "0.9.1"
  2913. tsdl-image
  2914. tsdl-mixer
  2915. tsdl-ttf
  2916. tsort
  2917. tuareg
  2918. tube
  2919. tuntap >= "1.3.0"
  2920. twirp_cohttp_lwt_unix
  2921. twirp_core
  2922. twirp_ezcurl
  2923. twirp_tiny_httpd
  2924. twostep
  2925. type-beat
  2926. type_conv >= "113.00.02"
  2927. type_eq
  2928. type_id
  2929. typebeat
  2930. typehashlib
  2931. typerep < "112.35.00" | = "113.24.00" | >= "v0.9.0" & < "v0.16.0"
  2932. typerep_extended != "113.00.00" & != "113.33.03"
  2933. typerex-attic >= "1.0.2"
  2934. typerex-binutils
  2935. typerex-clibs
  2936. typerex-lldb >= "1.1"
  2937. typerex-system
  2938. typeset
  2939. tyre
  2940. tyxml < "3.0.0" | >= "3.3.0" & != "4.1.0"
  2941. tyxml-jsx
  2942. tyxml-lwd < "0.2"
  2943. tyxml-ppx
  2944. tyxml-syntax
  2945. u2f
  2946. ubase < "0.20"
  2947. ubpf
  2948. ucaml
  2949. uchar >= "0.0.2"
  2950. uecc >= "0.3"
  2951. uint >= "1.2.1"
  2952. ulex >= "1.2"
  2953. ulex-camlp5 < "1.3"
  2954. um-abt < "0.1.5"
  2955. unidecode
  2956. unionFind
  2957. unison >= "2.48.15v4"
  2958. universo
  2959. unix-dirent
  2960. unix-errno
  2961. unix-sys-resource
  2962. unix-sys-stat
  2963. unix-time
  2964. unix-type-representations
  2965. unix-unistd
  2966. unmagic
  2967. unstrctrd
  2968. uri >= "1.3.13" & < "1.9.2" | >= "1.9.5"
  2969. uri-bench
  2970. uri-re
  2971. uring-trace
  2972. uritemplate >= "0.2.0"
  2973. usb >= "1.3.1"
  2974. usbmux >= "1.2.0"
  2975. user-agent-parser
  2976. user-setup
  2977. username_kernel < "v0.16.0"
  2978. uspf
  2979. uspf-lwt
  2980. uspf-unix
  2981. utop >= "2.4.2" & < "2.13.0"
  2982. utp
  2983. uucd >= "4.0.0"
  2984. uucp >= "2.0.0" & < "15.1.0"
  2985. uuidm >= "0.9.6" & < "0.9.9"
  2986. uunf < "1.0.0" | >= "2.0.1" & < "15.1.0"
  2987. uuseg != "1.0.0" & < "15.1.0"
  2988. uutf >= "1.0.1"
  2989. uuuu
  2990. uwt
  2991. valentine
  2992. validator
  2993. variantslib != "109.15.03" & != "113.33.03" & < "v0.16.0"
  2994. varint
  2995. varray
  2996. vcaml < "v0.16.0"
  2997. vcardgen < "1.2"
  2998. vchan
  2999. vchan-unix >= "4.0.0"
  3000. vchan-xen
  3001. vec
  3002. vecosek
  3003. vecosek-engine
  3004. vecosek-scene
  3005. vector
  3006. vector3 >= "0.2.1"
  3007. vercel
  3008. vg < "0.8.1" | >= "0.9.0" & < "0.9.5"
  3009. vhd-format != "0.8.0" & != "0.9.2"
  3010. vhd-format-lwt != "0.9.2"
  3011. vhd-tool
  3012. vhdlib
  3013. virtual_dom >= "v0.9.1" & < "v0.16.0"
  3014. visitors >= "20190711"
  3015. vlq
  3016. vmnet < "1.2.0" | >= "1.3.1"
  3017. voaacenc
  3018. vocal