package ocaml

  1. Overview
  2. Docs

Description

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

Published: 01 Sep 2020

Dependencies (4)

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