package ocaml

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

Install

ocaml.org Edit opam file

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 15 Apr 2019

Dependencies (4)

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

Conflicts

None