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