Description

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

Published: 23 Apr 2020

Dependencies (4)

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

Dev Dependencies

    None

Used by (3132)

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

Conflicts

    None