package ocaml

  1. Overview
  2. No Docs

Description

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

Published: 04 Mar 2021

Dependencies (4)

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

Dev Dependencies

None

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

Conflicts

None

OCaml

Innovation. Community. Security.