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

Install

ocaml.org Edit opam file

Authors

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

Maintainers

  1. P
    platform@lists.ocaml.org

Description

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

Published: 28 Mar 2018

Dependencies (4)

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

Dev Dependencies

    None

Used by (2395)

  1. 0install != "2.8" & < "2.17"
  2. 0install-gtk < "2.17"
  3. ANSITerminal >= "0.7"
  4. aacplus
  5. abella
  6. abt
  7. acgtk
  8. acme
  9. acpc < "2.0.0"
  10. aez
  11. afl
  12. afl-persistent
  13. ago
  14. agrep
  15. agrid
  16. aifad
  17. aio
  18. alba < "0.4.1"
  19. alcotest < "0.4.6" | >= "0.4.10"
  20. alcotest-async < "1.6.0"
  21. alcotest-lwt
  22. alcotest-mirage
  23. aliases
  24. alphaCaml
  25. alsa >= "0.2.3"
  26. alt-ergo
  27. alt-ergo-free
  28. alt-ergo-lib
  29. alt-ergo-lib-free
  30. alt-ergo-parsers
  31. alt-ergo-parsers-free
  32. altgr-ergo
  33. amf
  34. amqp-client >= "1.0.1"
  35. amqp-client-async
  36. amqp-client-lwt
  37. ancient >= "0.9.1"
  38. angstrom
  39. angstrom-async
  40. angstrom-lwt-unix
  41. angstrom-unix
  42. annexlib
  43. annot
  44. ansi-parse
  45. ansicolor
  46. anycache
  47. anycache-async
  48. anycache-lwt
  49. ao < "0.2.2"
  50. apalogretrieve
  51. aperf
  52. apero-core
  53. apero-net
  54. apero-time
  55. apron
  56. arakoon >= "1.8.6"
  57. archimedes >= "0.4.18"
  58. archsat < "1.1"
  59. argon2
  60. arp < "2.2.0"
  61. arp-mirage < "2.2.0"
  62. asak
  63. ascii85
  64. asetmap
  65. asl
  66. asn1-combinators < "0.2.6"
  67. assertions
  68. assimp
  69. astring
  70. async < "109.19.00" | >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  71. async-mvar
  72. async-zmq
  73. async_core < "109.19.00"
  74. async_durable < "v0.12.0"
  75. async_extended >= "113.24.00" & != "113.33.03"
  76. async_extra < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  77. async_find != "111.28.00" & != "113.33.03" & < "v0.12.0"
  78. async_graphics < "0.7.0"
  79. async_inotify != "113.00.00" & != "113.33.03" & < "v0.12.0"
  80. async_interactive < "v0.12.0"
  81. async_js < "v0.12.0"
  82. async_kernel >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  83. async_parallel >= "113.24.00" & != "113.33.03"
  84. async_rpc_kernel >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  85. async_sendfile < "v0.12.0"
  86. async_shell != "109.28.03" & != "113.33.03" & < "v0.12.0"
  87. async_smtp < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  88. async_ssl < "112.35.00" | = "113.24.00" | >= "113.33.06" & < "v0.12.0"
  89. async_unix < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  90. atd < "2.3.3"
  91. atd2cconv
  92. atdgen >= "1.9.1" & < "2.3.3"
  93. atdgen-codec-runtime < "2.3.3"
  94. atdgen-runtime < "2.3.3"
  95. atdj < "2.3.3" | >= "20151001.01"
  96. atds < "2.3.3"
  97. atomic < "base"
  98. augeas
  99. awa-lwt < "0.0.2"
  100. awa-mirage < "0.0.2"
  101. aws
  102. aws-async
  103. aws-autoscaling
  104. aws-cloudformation
  105. aws-cloudtrail
  106. aws-cloudwatch
  107. aws-ec2
  108. aws-elasticache
  109. aws-elasticloadbalancing
  110. aws-lwt
  111. aws-rds
  112. aws-route53
  113. aws-s3 < "4.6.0"
  114. aws-s3-async < "4.6.0"
  115. aws-s3-lwt
  116. aws-sdb
  117. aws-sqs
  118. aws-ssm
  119. aws-sts
  120. BetterErrors
  121. b0 < "0.0.2"
  122. balancer
  123. bamboo
  124. bap = "0.9.5" | >= "1.2.0" & < "2.1.0"
  125. bap-abi < "2.1.0"
  126. bap-api < "2.1.0"
  127. bap-arm < "2.1.0"
  128. bap-beagle < "2.1.0"
  129. bap-bil < "2.1.0"
  130. bap-build < "2.1.0"
  131. bap-bundle < "2.1.0"
  132. bap-byteweight < "2.1.0"
  133. bap-byteweight-frontend < "2.1.0"
  134. bap-c < "2.1.0"
  135. bap-cache < "2.1.0"
  136. bap-callsites < "2.1.0"
  137. bap-constant-tracker < "2.1.0"
  138. bap-core-theory < "2.1.0"
  139. bap-cxxfilt < "2.1.0"
  140. bap-dead-code-elimination
  141. bap-demangle < "2.1.0"
  142. bap-disassemble < "2.1.0"
  143. bap-dump-symbols < "2.1.0"
  144. bap-dwarf < "2.1.0"
  145. bap-elementary < "2.1.0"
  146. bap-elf < "2.1.0"
  147. bap-emacs-dot
  148. bap-emacs-goodies
  149. bap-emacs-mode
  150. bap-frames
  151. bap-frontc < "2.1.0"
  152. bap-frontend < "2.1.0"
  153. bap-fsi-benchmark < "2.2.0"
  154. bap-future < "2.1.0"
  155. bap-ida < "2.1.0"
  156. bap-ida-plugin < "2.1.0"
  157. bap-ida-python < "2.1.0"
  158. bap-knowledge < "2.1.0"
  159. bap-llvm < "2.1.0"
  160. bap-main < "2.1.0"
  161. bap-mc < "2.1.0"
  162. bap-microx < "2.1.0"
  163. bap-mips < "2.1.0"
  164. bap-objdump < "2.1.0"
  165. bap-optimization < "2.1.0"
  166. bap-phoenix < "2.1.0"
  167. bap-piqi < "2.1.0"
  168. bap-plugins < "2.1.0"
  169. bap-powerpc < "2.1.0"
  170. bap-primus < "2.1.0"
  171. bap-primus-dictionary < "2.1.0"
  172. bap-primus-lisp < "2.1.0"
  173. bap-primus-powerpc < "2.1.0"
  174. bap-primus-region < "2.1.0"
  175. bap-primus-support < "2.1.0"
  176. bap-primus-test < "2.1.0"
  177. bap-primus-x86 < "2.1.0"
  178. bap-print < "2.1.0"
  179. bap-raw < "2.1.0"
  180. bap-recipe < "2.1.0"
  181. bap-recipe-command < "2.1.0"
  182. bap-relocatable < "2.1.0"
  183. bap-report < "2.1.0"
  184. bap-run < "2.1.0"
  185. bap-saluki
  186. bap-server
  187. bap-signatures < "2.4.0"
  188. bap-ssa < "2.1.0"
  189. bap-std < "2.1.0"
  190. bap-strings < "2.1.0"
  191. bap-symbol-reader < "2.1.0"
  192. bap-taint < "2.1.0"
  193. bap-taint-propagator < "2.1.0"
  194. bap-term-mapper < "2.1.0"
  195. bap-trace < "2.1.0"
  196. bap-traces < "2.1.0"
  197. bap-trivial-condition-form < "2.1.0"
  198. bap-veri < "0.2.5"
  199. bap-warn-unused < "2.1.0"
  200. bap-x86 < "2.1.0"
  201. bare < "2.1.0"
  202. base < "v0.14.0"
  203. base-bytes >= "base"
  204. base-implicits
  205. base-metaocaml-ocamlfind
  206. base-native-int63
  207. base-num
  208. base-unsafe-string
  209. base32
  210. base58
  211. base64 != "2.3.0"
  212. base_quickcheck < "v0.15.0"
  213. batch_jaro_winkler
  214. batsh
  215. batteries = "2.5.0" | >= "2.7.0"
  216. bau >= "0.0.4"
  217. bdd
  218. bddapron
  219. bddrand
  220. bear
  221. beluga >= "0.8.1" & < "1.0"
  222. bench
  223. benchmark >= "1.3.1"
  224. benchpress
  225. benchpress-server
  226. bencode
  227. bes
  228. bheap
  229. bibtex2html
  230. bigarray-compat
  231. bigbro
  232. bignum < "112.35.00" | >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  233. bigstring
  234. bigstring-unix
  235. bigstringaf < "0.9.0"
  236. bimage < "0.2.1"
  237. bimage-gtk < "0.2.1"
  238. bimage-sdl < "0.2.1"
  239. bin_prot < "109.15.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.14.1"
  240. binaryen_dsl
  241. binbin
  242. bindlib < "6.0.0"
  243. biniou
  244. binsec < "0.4.0"
  245. biocaml != "0.5.0"
  246. bip32
  247. bisect >= "1.3"
  248. bisect-summary
  249. bisect_ppx >= "1.2.0"
  250. bisect_ppx-ocamlbuild
  251. bistro < "0.5.0"
  252. bitcoin < "3.0"
  253. bitcoinml
  254. bitmasks >= "1.1.0"
  255. bitstring >= "2.0.4"
  256. bitv
  257. bitvec < "2.1.0"
  258. bitvec-binprot < "2.1.0"
  259. bitvec-order < "2.1.0"
  260. bitvec-sexp < "2.1.0"
  261. bjack < "0.1.6"
  262. blahcaml
  263. bloomf < "0.2.0"
  264. bn128
  265. bogue < "20210514"
  266. bogue-tutorials
  267. bolt >= "1.3"
  268. bookaml
  269. bos < "0.2.1"
  270. bpf
  271. bracetax
  272. broken
  273. brotli
  274. brozip
  275. bsdowl
  276. bson
  277. bson2
  278. bst
  279. bt
  280. buffer-pool
  281. build_path_prefix_map
  282. bulletml
  283. bun
  284. bwrap
  285. bytearray
  286. bytepdf
  287. CamlGI
  288. c3
  289. cairo >= "0.4.2"
  290. cairo2
  291. cairo2-gtk
  292. cairo2-pango
  293. calculon < "0.7"
  294. calculon-web
  295. calendar != "2.03.1"
  296. calendars
  297. callipyge
  298. camelsnakekebab
  299. caml-mode
  300. caml2html >= "1.4.4"
  301. camlbz2
  302. camldm
  303. camlgpc
  304. camlhighlight
  305. camlidl
  306. camlimages >= "4.1.2" & != "4.2.1" & < "4.2.5"
  307. camllib >= "1.3.1"
  308. camlmix
  309. camlon < "3.0.0"
  310. camlp-streams >= "5.0.1"
  311. camlp4 = "4.02.0-1modular-implicits" | >= "4.05+1" & < "4.06+1"
  312. camlp5 >= "7.00" & != "7.09" & < "8.00.05"
  313. camlpdf >= "2.1.1" & < "2.5"
  314. camlprime
  315. camltc != "0.9.2"
  316. camltemplate
  317. camlzip >= "1.05" & < "1.11"
  318. camomile >= "0.8.5" & < "2.0.0"
  319. capnp
  320. capnp-rpc < "1.2"
  321. capnp-rpc-lwt < "1.2"
  322. capnp-rpc-mirage < "0.9.0"
  323. capnp-rpc-net < "0.9.0"
  324. capnp-rpc-unix < "0.9.0"
  325. captureio
  326. caqti
  327. caqti-async
  328. caqti-driver-mariadb
  329. caqti-driver-postgresql
  330. caqti-driver-sqlite3 != "1.7.0"
  331. caqti-dynload
  332. caqti-lwt
  333. caqti-type-calendar
  334. caradoc
  335. cbat-explicit-edge
  336. cbat-tools
  337. cbat-vsa
  338. cbor < "0.5"
  339. cconv
  340. cconv-ppx
  341. ccss
  342. cdrom
  343. certify < "0.3.3"
  344. cfg < "2.3.0"
  345. cfgen
  346. cfstream
  347. cgi
  348. cgroups
  349. chacha
  350. chalk
  351. channel
  352. charInfo_width
  353. charrua < "1.2.0"
  354. charrua-client < "1.2.0"
  355. charrua-client-lwt < "1.2.0"
  356. charrua-client-mirage < "1.2.0"
  357. charrua-core
  358. charrua-server < "1.2.0"
  359. charrua-unix < "1.2.0"
  360. chase
  361. checkseum < "0.1.1"
  362. choice
  363. cil >= "1.7.3"
  364. cinaps < "v0.12.0" | >= "v0.15.0"
  365. clangml != "3.8.0" & < "3.9.1.2" | >= "4.0.0beta1" & < "4.3.0"
  366. clangml-transforms >= "0.24" & < "0.26"
  367. clarity
  368. cloudi
  369. cmark
  370. cmarker
  371. cmdliner < "1.1.0"
  372. cmdtui
  373. cmdtui-lambda-term
  374. cmitomli
  375. coccinelle != "1.0.0-rc23"
  376. coclobas
  377. codept >= "0.9.1"
  378. cohttp < "3.0.0"
  379. cohttp-async < "3.0.0"
  380. cohttp-lwt < "3.0.0"
  381. cohttp-lwt-jsoo < "3.0.0"
  382. cohttp-lwt-unix < "3.0.0"
  383. cohttp-mirage < "3.0.0"
  384. cohttp-top < "3.0.0"
  385. coin
  386. colombe != "0.2.0"
  387. color >= "0.2.0"
  388. color-brewery
  389. combine
  390. command_rpc < "v0.12.0"
  391. commonjs_of_ocaml
  392. comparelib < "113.00.00"
  393. conduit != "3.0.0" & < "6.1.0"
  394. conduit-async != "3.0.0" & < "6.1.0"
  395. conduit-lwt != "3.0.0" & < "6.1.0"
  396. conduit-lwt-unix < "2.1.0"
  397. conduit-mirage < "2.1.0"
  398. conex
  399. conex-nocrypto
  400. conf-bap-llvm < "1.7"
  401. conf-binutils < "0.3"
  402. conf-ida
  403. conf-libev
  404. conf-radare2
  405. config-file
  406. configuration
  407. configurator
  408. conjury < "2.1"
  409. containers
  410. containers-data
  411. containers-thread
  412. cookie-js
  413. coq >= "8.5.0~camlp4" & < "8.16.0"
  414. coq-shell
  415. coqide != "8.7.0" & < "8.10.0"
  416. cordova
  417. cordova-plugin-activity-indicator
  418. cordova-plugin-background-mode
  419. cordova-plugin-barcode-scanner
  420. cordova-plugin-battery-status
  421. cordova-plugin-camera
  422. cordova-plugin-clipboard
  423. cordova-plugin-datepicker
  424. cordova-plugin-device
  425. cordova-plugin-device-motion
  426. cordova-plugin-device-orientation
  427. cordova-plugin-dialogs
  428. cordova-plugin-email-composer
  429. cordova-plugin-fcm
  430. cordova-plugin-file
  431. cordova-plugin-file-opener
  432. cordova-plugin-file-transfer
  433. cordova-plugin-geolocation
  434. cordova-plugin-globalization
  435. cordova-plugin-image-picker
  436. cordova-plugin-inappbrowser
  437. cordova-plugin-insomnia
  438. cordova-plugin-keyboard
  439. cordova-plugin-loading-spinner
  440. cordova-plugin-local-notifications
  441. cordova-plugin-media
  442. cordova-plugin-media-capture
  443. cordova-plugin-network-information
  444. cordova-plugin-progress
  445. cordova-plugin-push-notifications
  446. cordova-plugin-qrscanner
  447. cordova-plugin-screen-orientation
  448. cordova-plugin-sim-card
  449. cordova-plugin-sms
  450. cordova-plugin-social-sharing
  451. cordova-plugin-statusbar
  452. cordova-plugin-toast
  453. cordova-plugin-touch-id
  454. cordova-plugin-vibration
  455. cordova-plugin-videoplayer
  456. core >= "113.24.00" & != "113.33.00" & != "113.33.02" & < "113.33.03" | >= "v0.9.1" & < "v0.12.0"
  457. core-lwt
  458. core_bench != "112.35.00" & != "113.33.00" & != "113.33.03" & < "v0.12.0"
  459. core_extended >= "108.00.02" & < "109.19.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  460. core_kernel = "113.24.00" | >= "113.33.01+4.03" & != "113.33.03" & < "v0.12.0"
  461. core_profiler >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  462. corecount
  463. cow >= "1.0.0" & != "2.0.0"
  464. cowabloga
  465. cpdf < "2.4"
  466. cpm
  467. cppo
  468. cppo_ocamlbuild
  469. cpu
  470. cpuid
  471. craml
  472. crc
  473. crdt-ml
  474. crlibm
  475. crontab
  476. crowbar < "0.2"
  477. crunch < "3.3.0"
  478. cry
  479. crypt
  480. cryptgps
  481. cryptodbm
  482. cryptohash
  483. cryptokit >= "1.10" & < "1.17"
  484. cryptoverif
  485. csexp
  486. cstruct < "1.8.0" | >= "2.3.2" & < "6.1.0"
  487. cstruct-async < "6.1.0"
  488. cstruct-lwt < "6.1.0"
  489. cstruct-sexp < "6.1.0"
  490. cstruct-unix < "3.5.0"
  491. csv >= "1.2.4"
  492. csv-lwt
  493. csvfields < "v0.12.0"
  494. csvtool
  495. ctypes >= "0.4.0"
  496. ctypes-build
  497. cubicle >= "1.0.2" & < "1.2.0"
  498. cudf < "0.10"
  499. cuid
  500. curly
  501. curses
  502. curve-sampling
  503. custom_printf >= "111.21.00" & < "113.00.00"
  504. cwe_checker
  505. DrawGrammar
  506. d3
  507. daft < "0.0.4"
  508. datakit
  509. datakit-bridge-github
  510. datakit-bridge-local-git
  511. datakit-ci
  512. datakit-client
  513. datakit-client-9p
  514. datakit-client-git
  515. datakit-github
  516. datakit-server
  517. datakit-server-9p
  518. datalog
  519. dbforge
  520. dbm
  521. debian-formats
  522. decoders
  523. decoders-bencode
  524. decoders-cbor
  525. decoders-ezjsonm
  526. decoders-ezxmlm
  527. decoders-jsonm
  528. decoders-msgpck
  529. decoders-sexplib
  530. decoders-yojson
  531. decompress < "0.9.1"
  532. dedukti < "2.7"
  533. delimcc >= "2017.03.02" & < "2020.10.08"
  534. delimited_parsing < "v0.12.0"
  535. depext
  536. depgraph
  537. depyt < "0.3.0"
  538. deriving >= "0.7.1"
  539. deriving-yojson
  540. devkit >= "0.4"
  541. dht < "0.2.0"
  542. diet
  543. digestif < "1.1.2"
  544. disml
  545. dispatch
  546. dispatch-js
  547. distributed
  548. distributed-lwt
  549. distributed-uwt
  550. distwit
  551. diy
  552. dlist
  553. dlm
  554. dns < "4.0.0"
  555. dns-async
  556. dns-forward
  557. dns-forward-lwt-unix
  558. dns-lwt
  559. dns-lwt-unix
  560. dnscurve
  561. dnssd
  562. doc-ock >= "1.1.0"
  563. doc-ock-html
  564. doc-ock-xml
  565. docker-api
  566. dockerfile < "8.1.0"
  567. dockerfile-cmd < "8.1.0"
  568. dockerfile-opam < "8.1.0"
  569. docout
  570. dog
  571. dokeysto
  572. dokeysto_camltc
  573. dokeysto_lz4
  574. dolmen < "0.5"
  575. dolmen_bin
  576. dolmen_loop
  577. dolmen_lsp
  578. dolmen_model
  579. dolmen_type
  580. dolog
  581. domain-name
  582. dose
  583. dose3
  584. dose3-extra
  585. dot-merlin-reader < "4.1"
  586. dotenv
  587. down < "0.1.0"
  588. dropbox < "0.2"
  589. dryunit
  590. dsfo
  591. dssi < "0.1.3"
  592. dtoa
  593. dtools
  594. duff < "0.5"
  595. dum != "1.0.2"
  596. dune
  597. dune-build-info < "2.0.0"
  598. dune-configurator = "1.11.4" | >= "2.7.0"
  599. dune-deps
  600. dune_watch
  601. duppy < "0.9.0"
  602. duration
  603. dynload-sys
  604. dyntype >= "0.8.3"
  605. dypgen
  606. earley < "3.0.0"
  607. earley-ocaml >= "1.0.1"
  608. earlybird >= "0.1.2" & < "1.0.0"
  609. easy-format < "1.3.3"
  610. easy_logging < "0.8.1"
  611. easy_logging_yojson < "0.8.1"
  612. easy_xlsx
  613. ecaml < "v0.12.0"
  614. edn < "0.2.0"
  615. efl
  616. ego
  617. eigen
  618. elasticsearch-cli
  619. electrod < "0.8.0"
  620. electrumAnalyzer
  621. elf2json
  622. elina
  623. eliom < "6.4.0"
  624. elpi < "1.15.0"
  625. elpi-option-legacy-parser
  626. email_message < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  627. emile
  628. emoji
  629. encore < "0.6"
  630. enumerate < "111.08.00"
  631. enumerators
  632. epictetus
  633. eqaf < "0.8"
  634. erm_xml
  635. erm_xmpp
  636. errpy
  637. erssical < "1.1.0"
  638. esgg
  639. estring
  640. ethernet < "2.2.0"
  641. exenum
  642. exit
  643. exn-source
  644. expect
  645. expect_test_helpers < "v0.12.0"
  646. expect_test_helpers_kernel < "v0.12.0"
  647. extlib = "1.7.0" | >= "1.7.2"
  648. extlib-compat >= "1.7.2"
  649. extprot >= "1.1.2"
  650. extunix >= "0.1.4" & < "0.3.1"
  651. ez_cmdliner < "0.2.0"
  652. ez_config < "0.2.0"
  653. ez_file < "0.2.0"
  654. ez_hash >= "0.5.3"
  655. ezcurl
  656. ezcurl-lwt
  657. ezdl
  658. ezgzip
  659. ezirmin
  660. ezjs_ace
  661. ezjs_blockies
  662. ezjs_cleave
  663. ezjs_crypto
  664. ezjs_cytoscape
  665. ezjs_d3pie
  666. ezjs_fetch < "0.3"
  667. ezjs_idb
  668. ezjs_jquery
  669. ezjs_min < "0.3.0"
  670. ezjs_odometer
  671. ezjs_push
  672. ezjs_qrcode
  673. ezjs_recaptcha
  674. ezjs_timeline
  675. ezjsonm >= "0.4.3" & < "1.3.0"
  676. ezjsonm-lwt
  677. ezsqlite
  678. ezxenstore
  679. ezxmlm
  680. FrontC < "4.0.0"
  681. faad < "0.5.0"
  682. facebook-sdk
  683. facile
  684. faillib
  685. faraday
  686. faraday-async < "0.7.2"
  687. faraday-lwt
  688. faraday-lwt-unix
  689. farfadet
  690. farmhash
  691. fasmifra
  692. fat-filesystem < "0.14.0"
  693. fd-send-recv < "2.0.2"
  694. fdkaac < "0.3.2"
  695. feat
  696. feat-core
  697. feat-num
  698. feather < "0.2.0"
  699. febusy
  700. ffmpeg < "1.0.0~beta1"
  701. fftw3 >= "0.7.2"
  702. fiat-p256 < "0.2.1"
  703. fieldslib < "109.19.00" | = "113.24.00" | >= "v0.9.0" & < "v0.15.0"
  704. fileutils
  705. findlib_top
  706. fix
  707. fkie-cad-cwe-checker < "0.2"
  708. flac
  709. flex-array
  710. flock
  711. flow >= "0.3"
  712. flow_parser < "0.159.0"
  713. flowcaml
  714. flowtype >= "0.49.1"
  715. fluent-logger < "1.1.0"
  716. fm-simplex-plugin
  717. fmt < "0.8.10"
  718. forkwork
  719. format
  720. fpath
  721. frag
  722. frama-c >= "11.0" & < "22.0"
  723. frama-c-base >= "14.0"
  724. frama-c-e-acsl
  725. frama-c-metacsl < "0.2"
  726. freetds < "0.7"
  727. freetennis
  728. frei0r < "0.1.2"
  729. frenetic < "5.0.5"
  730. fstar != "0.9.4.0-beta0"
  731. fstreams
  732. fswatch
  733. fswatch_async
  734. fswatch_lwt
  735. ftp
  736. functoria >= "1.1.0" & < "3.1.2"
  737. functoria-runtime < "3.1.2"
  738. functory
  739. funfields
  740. fury-puyo
  741. future
  742. General
  743. gadelac
  744. gamepad
  745. gammu
  746. gapi-ocaml
  747. gasoline >= "0.3.0"
  748. gavl
  749. gbddml
  750. gd
  751. gdal != "0.8.0"
  752. gdbprofiler
  753. gedcom
  754. gen
  755. gen-bs < "0.1.0"
  756. gen_js_api = "1.0.4"
  757. gen_server
  758. genet
  759. genlet
  760. genprint
  761. genspio
  762. genspir
  763. geoip
  764. get_line < "5.0.0"
  765. getopt < "20230213"
  766. getopts
  767. gettext >= "0.3.7"
  768. gettext-camomile
  769. gettext-stub
  770. gg < "1.0.0"
  771. git != "1.4.3" & != "1.7.2" & < "2.1.3"
  772. git-http < "2.1.3"
  773. git-mirage < "2.1.3"
  774. git-unix < "2.1.3"
  775. github < "4.4.0"
  776. github-hooks
  777. github-hooks-unix
  778. github-jsoo < "4.4.0"
  779. github-unix < "4.4.0"
  780. gitlab_pipeline_notifier
  781. gles3
  782. glfw-ocaml
  783. glical
  784. glicko2
  785. glMLite = "0.03.52"
  786. glpk != "0.1.7"
  787. glsurf
  788. gluten-async < "0.4.0"
  789. gluten-lwt < "0.4.0"
  790. gluten-lwt-unix < "0.4.0"
  791. gluten-mirage < "0.4.0"
  792. gmap
  793. gmp
  794. gmp-freestanding
  795. gmp-xen
  796. gnuplot
  797. gobba < "0.4.2"
  798. gobject-introspection
  799. goblint < "1.1.1"
  800. goblint-cil
  801. google-drive-ocamlfuse
  802. gperftools
  803. gpr < "1.5.0"
  804. gpx
  805. graphics < "3.07" | = "4.05.0"
  806. graphicspdf
  807. graphlib < "2.1.0"
  808. graphql < "0.14.0"
  809. graphql-async < "0.14.0"
  810. graphql-cohttp < "0.14.0"
  811. graphql-lwt < "0.14.0"
  812. graphql_parser < "0.14.0"
  813. grenier < "0.12"
  814. grib
  815. gsasl
  816. gsl < "1.24.2"
  817. gstreamer
  818. gtktop
  819. gxl-light
  820. h2 < "0.5.0"
  821. h2-lwt < "0.5.0"
  822. h2-lwt-unix < "0.5.0"
  823. h2-mirage < "0.5.0"
  824. hack_parallel
  825. hacl-star < "0.4.0"
  826. hacl-star-raw < "0.4.0"
  827. hacl_x25519
  828. hamt
  829. hardcaml < "v0.12.0"
  830. hardcaml-affirm
  831. hardcaml-bloop
  832. hardcaml-examples != "0.2"
  833. hardcaml-framework
  834. hardcaml-llvmsim
  835. hardcaml-reedsolomon
  836. hardcaml-vpi
  837. hardcaml-waveterm >= "0.2.0"
  838. hardcaml-yosys
  839. hashcons
  840. hashids
  841. hashset
  842. haxe
  843. hc
  844. hdf5 >= "0.1.2"
  845. hdfs
  846. headache < "1.04" | >= "1.06"
  847. heptagon
  848. herdtools7 < "7.56.3"
  849. herelib < "112.35.00"
  850. hevea < "2.35"
  851. hex < "1.5.0"
  852. hidapi
  853. higher
  854. higlo < "0.8"
  855. hiredis
  856. hiredis-value
  857. hkdf < "1.0.4"
  858. hlarp
  859. hll
  860. hmap
  861. horned_worm
  862. hpack < "0.10.0"
  863. hts_shrink
  864. http2https
  865. http_router
  866. httpaf
  867. httpaf-async
  868. httpaf-lwt-unix
  869. humane-re
  870. hvsock
  871. hweak
  872. hydro
  873. hyper < "1.0.0~alpha2"
  874. ISO3166
  875. ISO8601
  876. i2c
  877. i3ipc
  878. ibx < "0.8.1"
  879. icalendar < "0.1.5"
  880. idd
  881. idds
  882. igvxml
  883. imagelib < "20200929"
  884. imagemagick
  885. imap
  886. imaplet-lwt < "0.1.15"
  887. incr_dom < "v0.12.0"
  888. incr_dom_widgets < "v0.12.0"
  889. incr_map < "v0.12.0"
  890. incr_select < "v0.12.0"
  891. incremental >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  892. incremental_kernel != "113.33.03"
  893. index-bench
  894. indexmap
  895. inferno < "20211222"
  896. influxdb
  897. influxdb-async
  898. influxdb-lwt
  899. inotify
  900. inspect
  901. integers
  902. integration1d
  903. interface-prime
  904. interface-prime-lwt
  905. interval < "1.6"
  906. interval_base < "1.6"
  907. interval_crlibm < "1.6"
  908. interval_intel < "1.6"
  909. inuit
  910. io
  911. io-page < "3.0.0"
  912. io-page-unix
  913. io-page-xen
  914. iocaml >= "0.4.6"
  915. iocaml-kernel >= "0.4.6"
  916. iocamljs-kernel < "0.4.3" | >= "0.4.6"
  917. ipaddr >= "2.7.2" & < "5.3.1"
  918. ipaddr-cstruct < "5.3.1"
  919. ipaddr-sexp < "5.3.1"
  920. ipv6-multicast
  921. ipv6-multicast-lwt
  922. irc-client
  923. irc-client-lwt
  924. irc-client-lwt-ssl
  925. irc-client-tls
  926. irc-client-unix
  927. iri < "0.5.0"
  928. irmin < "0.9.0" | >= "0.9.5" & != "0.9.10" & < "2.0.0"
  929. irmin-chunk
  930. irmin-cli
  931. irmin-containers
  932. irmin-fs
  933. irmin-git
  934. irmin-graphql
  935. irmin-http
  936. irmin-indexeddb
  937. irmin-layers
  938. irmin-mem
  939. irmin-mirage < "2.0.0"
  940. irmin-pack < "2.3.0"
  941. irmin-test
  942. irmin-tezos >= "3.2.1" & < "3.4.0"
  943. irmin-tezos-utils
  944. irmin-unix
  945. irmin-watcher
  946. irrlicht
  947. iso-filesystem
  948. iso639
  949. iter
  950. itv-tree
  951. ivy
  952. JsOfOCairo >= "1.0.0"
  953. jane-street-headers
  954. jane-street-tests
  955. javalib < "3.2.2"
  956. javascriptcore
  957. jbuilder
  958. jekyll-format
  959. jemalloc
  960. jenga < "109.19.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03"
  961. jerboa
  962. jhupllib < "0.2.2"
  963. jingoo
  964. jitsu
  965. jitsu-libvirt
  966. jitsu-libxl
  967. jitsu-xapi
  968. joolog
  969. js-build-tools >= "113.33.04"
  970. js-lz4
  971. js_of_ocaml >= "3.0" & < "5.1.0"
  972. js_of_ocaml-camlp4
  973. js_of_ocaml-compiler < "5.1.0"
  974. js_of_ocaml-lwt < "5.1.0"
  975. js_of_ocaml-ocamlbuild != "3.5.2"
  976. js_of_ocaml-ppx < "5.1.0"
  977. js_of_ocaml-ppx_deriving_json < "5.1.0"
  978. js_of_ocaml-toplevel < "5.1.0"
  979. js_of_ocaml-tyxml < "5.1.0"
  980. json-data-encoding < "0.9"
  981. json-data-encoding-browser < "0.9"
  982. json-data-encoding-bson < "0.9"
  983. json-derivers
  984. json-pointer
  985. json-predicate
  986. json-rpc
  987. json-static
  988. json-wheel < "1.0.6+safe-string"
  989. json-wheel_jane_street_overlay
  990. json_decoder
  991. json_of_jsonm
  992. jsondiff
  993. jsonm != "1.0.0"
  994. jsonxt
  995. jsoo_broadcastchannel >= "2.0.0"
  996. jsoo_router
  997. jsoo_storage >= "1.0.1"
  998. jst-config < "v0.15.0"
  999. junit < "2.0.1"
  1000. junit_alcotest < "2.0.1"
  1001. junit_ounit < "2.0.1"
  1002. jupyter < "2.7.8"
  1003. jupyter-archimedes
  1004. jupyter-kernel < "0.8"
  1005. jwt
  1006. jwto < "0.4.0"
  1007. KaSim
  1008. kafka >= "0.3"
  1009. kafka_async
  1010. kafka_lwt
  1011. kappa-agents
  1012. kappa-binaries
  1013. kappa-library
  1014. kappa-server
  1015. kaputt >= "1.2"
  1016. ke < "0.6"
  1017. ketrew >= "1.1.1" & != "3.0.0"
  1018. key-parsers < "1.2.1"
  1019. kicadsch < "0.5.1"
  1020. kinetic-client
  1021. krb5
  1022. kremlin < "1.0.0"
  1023. kubecaml
  1024. kyotocabinet
  1025. lablgl < "1.07"
  1026. lablgtk = "2.18.5" | >= "2.18.7" & < "2.18.12"
  1027. lablgtk-extras >= "1.5"
  1028. lablgtk3 < "3.1.2"
  1029. lablgtk3-gtkspell3 < "3.1.2"
  1030. lablgtk3-sourceview3 < "3.1.2"
  1031. lablgtkosx
  1032. lablqml >= "0.5.2" & < "0.7"
  1033. labltk < "8.06.4"
  1034. labrys
  1035. lacaml < "11.0.6"
  1036. lacc
  1037. ladspa < "0.2.0"
  1038. lambda
  1039. lambda-term < "3.2.0"
  1040. lambdapi < "2.0.0"
  1041. lambdasoup
  1042. lambdoc
  1043. lame < "0.3.4"
  1044. landmarks < "1.4"
  1045. lascar < "0.6-alpha"
  1046. lastfm < "0.3.3"
  1047. launchd
  1048. lazy-trie
  1049. lbfgs != "0.8.5"
  1050. lbvs_consent < "2.0.0"
  1051. ldap
  1052. learn-ocaml < "0.13.0"
  1053. learn-ocaml-client < "0.13.0"
  1054. ledit
  1055. lem < "2022-12-10"
  1056. lemonade
  1057. lemonade-sqlite
  1058. lens < "1.2.4"
  1059. let-if
  1060. letsencrypt < "0.1.1"
  1061. letters < "0.1.1"
  1062. leveldb != "1.0.3" & < "1.3.0"
  1063. levenshtein
  1064. libdash < "0.3"
  1065. libevent
  1066. libres3
  1067. libssh
  1068. libsvm != "0.9.3"
  1069. libudev
  1070. libvhd
  1071. libzipperposition < "2.0"
  1072. lilis
  1073. line-up-words < "v0.12.0"
  1074. line_oriented
  1075. linenoise
  1076. linkage
  1077. links < "0.7.3"
  1078. links-postgresql < "0.7.3"
  1079. lipsum
  1080. liquidsoap < "1.4.0"
  1081. liquidsoap-daemon
  1082. litiom
  1083. llopt
  1084. llvm
  1085. llvmgraph
  1086. lmdb >= "1.0"
  1087. lo < "0.2.0"
  1088. loga < "0.0.5"
  1089. logical
  1090. logs >= "0.6.2"
  1091. logs-syslog
  1092. logtk < "2.0"
  1093. lpd
  1094. lpi
  1095. lru != "0.3.0-1"
  1096. lru-cache
  1097. lua_pattern
  1098. lustre-v6 < "6.107.1"
  1099. lutils
  1100. lutin
  1101. luv
  1102. luv_unix
  1103. lwd
  1104. lwt >= "2.7.1" & < "5.6.0"
  1105. lwt-binio
  1106. lwt-canceler
  1107. lwt-dllist
  1108. lwt-parallel < "1.0.0"
  1109. lwt-pipe
  1110. lwt-pipeline
  1111. lwt-watcher
  1112. lwt-zmq
  1113. lwt_camlp4
  1114. lwt_domain < "0.2.0"
  1115. lwt_eio < "0.2"
  1116. lwt_glib
  1117. lwt_log
  1118. lwt_named_threads
  1119. lwt_ppx < "2.1.0"
  1120. lwt_react < "1.2.0"
  1121. lwt_ssl
  1122. lymp
  1123. lz4
  1124. lz4_chans >= "3.0.0"
  1125. lzo
  1126. macaddr < "5.3.1"
  1127. macaddr-cstruct < "5.3.1"
  1128. macaddr-sexp < "5.3.1"
  1129. macaque
  1130. macaque_lwt
  1131. macaroons
  1132. mad < "0.5.0"
  1133. magic
  1134. magic-mime
  1135. maildir
  1136. maki
  1137. malfunction
  1138. mariadb < "1.1.4"
  1139. markdown
  1140. markup
  1141. mastodon-archive-viewer < "0.4.0"
  1142. maxminddb
  1143. mbr-format < "1.0.0"
  1144. mc2
  1145. mccs
  1146. md2mld < "0.6"
  1147. mdx >= "1.2.0" & < "2.0.0"
  1148. mecab
  1149. mechaml
  1150. mel
  1151. meldep
  1152. melt
  1153. memcad < "1.1.0"
  1154. memcpy
  1155. memgraph_kitty
  1156. memo
  1157. menhir != "20211125"
  1158. menhirLib
  1159. menhirSdk
  1160. merge-queues
  1161. merge-ropes
  1162. mergeable-vector
  1163. merlin >= "3.0.0" & != "3.3.4~4.10preview1" & != "3.3.7~4.11preview1" & < "4.1-411"
  1164. merlin-acme
  1165. merlin-extend
  1166. merlin-of-pds
  1167. mesh
  1168. mesh-display
  1169. mesh-easymesh
  1170. mesh-graphics
  1171. mesh-triangle
  1172. message-switch
  1173. metapp < "0.3.0"
  1174. metaquot < "0.3.0"
  1175. metrics
  1176. metrics-influx
  1177. metrics-lwt >= "0.3.0"
  1178. metrics-mirage >= "0.3.0"
  1179. metrics-unix >= "0.3.0"
  1180. mew
  1181. mew_vi
  1182. mezzo
  1183. mikmatch = "1.0.8"
  1184. milter >= "1.0.2"
  1185. mindstorm >= "0.6"
  1186. mindstorm-lwt
  1187. minicaml
  1188. minicli
  1189. minilight
  1190. minima-theme
  1191. minimal
  1192. minisat != "0.3"
  1193. minivpt
  1194. mirage < "3.7.1"
  1195. mirage-block < "2.0.0"
  1196. mirage-block-ccm < "1.1.0"
  1197. mirage-block-lwt
  1198. mirage-block-ramdisk < "0.5"
  1199. mirage-block-solo5 < "0.6.1"
  1200. mirage-block-unix < "2.12.0"
  1201. mirage-block-xen < "1.7.0"
  1202. mirage-bootvar-solo5
  1203. mirage-bootvar-unix
  1204. mirage-bootvar-xen < "0.7.0"
  1205. mirage-btrees
  1206. mirage-channel < "4.0.0"
  1207. mirage-channel-lwt
  1208. mirage-clock < "3.0.0"
  1209. mirage-clock-freestanding < "3.0.0"
  1210. mirage-clock-lwt
  1211. mirage-clock-unix < "3.0.0"
  1212. mirage-clock-xen
  1213. mirage-conduit
  1214. mirage-console != "2.1.0" & < "3.0.0"
  1215. mirage-console-lwt
  1216. mirage-console-solo5 < "0.6.1"
  1217. mirage-console-unix < "3.0.0"
  1218. mirage-console-xen < "3.0.0"
  1219. mirage-console-xen-backend < "3.0.0"
  1220. mirage-console-xen-cli
  1221. mirage-console-xen-proto < "3.0.0"
  1222. mirage-device < "2.0.0"
  1223. mirage-dns
  1224. mirage-entropy < "0.5.1"
  1225. mirage-entropy-unix
  1226. mirage-entropy-xen
  1227. mirage-flow < "2.0.0"
  1228. mirage-flow-lwt
  1229. mirage-flow-rawlink
  1230. mirage-flow-unix < "2.0.0"
  1231. mirage-fs < "3.0.0"
  1232. mirage-fs-lwt
  1233. mirage-fs-mem
  1234. mirage-fs-unix >= "1.1.1" & < "1.7.0"
  1235. mirage-git
  1236. mirage-http
  1237. mirage-http-unix
  1238. mirage-http-xen
  1239. mirage-irmin
  1240. mirage-kv < "3.0.0"
  1241. mirage-kv-lwt
  1242. mirage-kv-mem < "3.0.0"
  1243. mirage-kv-unix < "2.1.0"
  1244. mirage-logs < "1.2.0"
  1245. mirage-nat < "1.1.0"
  1246. mirage-net < "3.0.0"
  1247. mirage-net-direct
  1248. mirage-net-fd
  1249. mirage-net-flow
  1250. mirage-net-lwt
  1251. mirage-net-macosx < "1.8.0"
  1252. mirage-net-socket
  1253. mirage-net-solo5 < "0.4.3"
  1254. mirage-net-unix != "2.2.0" & < "2.7.0"
  1255. mirage-net-xen >= "1.4.2" & < "1.6.0" | >= "1.7.0" & < "1.13.0"
  1256. mirage-no-solo5
  1257. mirage-no-xen
  1258. mirage-os-shim
  1259. mirage-profile
  1260. mirage-profile-unix < "0.9.0"
  1261. mirage-profile-xen
  1262. mirage-protocols < "4.0.0"
  1263. mirage-protocols-lwt
  1264. mirage-qubes < "0.8.0"
  1265. mirage-qubes-ipv4 < "0.8.0"
  1266. mirage-random < "2.0.0"
  1267. mirage-random-stdlib < "0.1.0"
  1268. mirage-random-test < "0.1.0"
  1269. mirage-runtime < "3.7.1"
  1270. mirage-seal
  1271. mirage-solo5 < "0.6.1"
  1272. mirage-stack < "2.0.0"
  1273. mirage-stack-lwt
  1274. mirage-tc
  1275. mirage-tcpip-unix
  1276. mirage-tcpip-xen
  1277. mirage-time < "2.0.0"
  1278. mirage-time-lwt
  1279. mirage-time-unix < "2.0.0"
  1280. mirage-types < "3.7.1"
  1281. mirage-types-lwt < "3.7.1"
  1282. mirage-unix < "4.0.0"
  1283. mirage-vnetif < "0.5.0"
  1284. mirage-www
  1285. mirage-xen >= "2.6.0" & < "5.0.0"
  1286. mirage-xen-minios
  1287. mirage-xen-ocaml >= "3.0.5"
  1288. mirage-xen-posix
  1289. mirari
  1290. mirror
  1291. missinglib
  1292. misuja
  1293. mixture
  1294. mkaudio
  1295. mkocaml >= "1.2"
  1296. ml2mxml
  1297. mlbdd
  1298. mlcuddidl
  1299. mld
  1300. mldonkey >= "3.1.6"
  1301. mlgmp
  1302. mlgmpidl
  1303. mlmpfr
  1304. mlpost = "0.8.2"
  1305. mlt_parser < "v0.12.0"
  1306. mm >= "0.3.0" & < "0.5.0" | >= "0.7.0" & < "0.7.4"
  1307. mmap
  1308. mmdb
  1309. mmseg
  1310. mock < "1.0.0"
  1311. mock-ounit < "1.0.0"
  1312. modelica_ml >= "0.2.0"
  1313. modular-arithmetic
  1314. molenc < "15.4.0"
  1315. monadlib
  1316. monads < "2.1.0"
  1317. mongo
  1318. monolith
  1319. monomorphic < "2.0"
  1320. morbig
  1321. more-ocaml
  1322. morsmall
  1323. mosquitto
  1324. moss
  1325. mparser
  1326. mparser-pcre
  1327. mparser-re
  1328. mpg123
  1329. mpi < "1.05"
  1330. mpp
  1331. mpris
  1332. mpris-clients
  1333. mqtt
  1334. mqtt_client
  1335. mrt-format
  1336. msat
  1337. msat-bin
  1338. msgpack
  1339. msgpck < "1.5"
  1340. mstruct
  1341. mtime < "1.4.0"
  1342. mtl
  1343. multicodec
  1344. multipart-form-data < "0.3.0"
  1345. murmur3
  1346. mustache
  1347. mvar
  1348. mwt
  1349. mybuild
  1350. mysql >= "1.2.1"
  1351. mysql_protocol < "3.0.1"
  1352. naboris < "0.1.1"
  1353. named-pipe
  1354. namespaces
  1355. nanomsg
  1356. nbd < "6.0.0"
  1357. nebula
  1358. netamqp
  1359. netchannel < "1.13.0"
  1360. netlink
  1361. netml
  1362. nice_parser
  1363. nit
  1364. nlopt-ocaml
  1365. nlp
  1366. nmea
  1367. nocoiner
  1368. nocrypto >= "0.2.0"
  1369. noise
  1370. nonstd
  1371. nosetup
  1372. not-ocamlfind != "0.07" & < "0.09"
  1373. notty < "0.2.3"
  1374. nproc
  1375. npy < "0.0.7"
  1376. nsq
  1377. nullable-array
  1378. num < "1.0"
  1379. numalib
  1380. numerix
  1381. nunchaku >= "0.3.1"
  1382. OCanren < "0.2.0"
  1383. OCanren-ppx < "0.3.0~alpha1"
  1384. oasis >= "0.4.6"
  1385. oasis-mirage
  1386. oasis2debian
  1387. oasis2opam
  1388. obandit
  1389. obeam < "0.1.0" | = "0.1.2"
  1390. obeanstalk
  1391. obelisk < "0.5.0"
  1392. obi
  1393. obigstore
  1394. objsize >= "0.18"
  1395. obuild
  1396. obus >= "1.1.7"
  1397. obytelib != "1.5"
  1398. oc45
  1399. ocal
  1400. ocaml-arg
  1401. ocaml-base-compiler = "4.05.0"
  1402. ocaml-basics != "0.4.0"
  1403. ocaml-buddy
  1404. ocaml-canvas
  1405. ocaml-compiler-libs
  1406. ocaml-data-notation
  1407. ocaml-expat < "1.3.0"
  1408. ocaml-freestanding >= "0.2.2" & < "0.5.0"
  1409. ocaml-http
  1410. ocaml-inifiles
  1411. ocaml-js-stdlib
  1412. ocaml-logicalform
  1413. ocaml-lua >= "1.6" & < "1.8"
  1414. ocaml-makefile < "6.39.2"
  1415. ocaml-manual = "4.05.0"
  1416. ocaml-markdown
  1417. ocaml-migrate-parsetree != "1.3.0~4.08.0+beta2"
  1418. ocaml-migrate-parsetree-ocamlbuild
  1419. ocaml-monadic >= "0.3.2"
  1420. ocaml-print-intf < "1.1.0"
  1421. ocaml-protoc
  1422. ocaml-protoc-yojson
  1423. ocaml-r < "0.4.0"
  1424. ocaml-sat-solvers < "0.7"
  1425. ocaml-src = "4.05.0"
  1426. ocaml-syntax-shims
  1427. ocaml-system
  1428. ocaml-systemd
  1429. ocaml-top < "1.1.0" | >= "1.1.4" & < "1.2.0"
  1430. ocaml-twt
  1431. ocaml-variants >= "4.05.0+32bit" & < "4.05.1+trunk"
  1432. ocaml-version < "3.0.0"
  1433. ocaml-xdg-basedir < "transition"
  1434. ocaml-xml-rpc
  1435. ocaml-zmq
  1436. ocaml9p
  1437. ocaml_plugin < "112.35.00" | >= "113.24.00" & != "113.33.00" & != "113.33.03" & < "v0.12.0"
  1438. ocamlapi
  1439. ocamlapi_async
  1440. ocamlapi_lwt_unix
  1441. ocamlapi_ppx
  1442. ocamlbuild != "0.9.0"
  1443. ocamlbuild-atdgen
  1444. ocamlbuild-pkg
  1445. ocamlbuild-protoc
  1446. ocamlclean != "2.2"
  1447. ocamlcodoc < "1.0.1"
  1448. ocamldap >= "2.2"
  1449. ocamldbi
  1450. ocamldiff
  1451. ocamldot < "1.1"
  1452. ocamldsort
  1453. ocamlfind >= "1.5.1"
  1454. ocamlfind-lint
  1455. ocamlformat < "0.9"
  1456. ocamlformat_support
  1457. ocamlfuse
  1458. ocamlgraph
  1459. ocamlgraph_gtk
  1460. ocamlify
  1461. ocamline
  1462. ocamlmod
  1463. ocamlnet >= "4.1.4"
  1464. ocamlog
  1465. ocamlpp >= "1.1"
  1466. ocamlrss
  1467. ocamlscript < "3.0.0"
  1468. ocamlsdl
  1469. ocamlsdl2
  1470. ocamlsdl2-image
  1471. ocamlsdl2-ttf
  1472. ocamlspot = "4.05.0.2.3.2"
  1473. ocamltter < "2.0.1" | = "2.1.1" | >= "4.1.0"
  1474. ocamlviz
  1475. ocamlwc
  1476. ocamlweb
  1477. ocamlyices
  1478. ocapic = "3.3"
  1479. ocb
  1480. ocb-stubblr
  1481. ocephes
  1482. ocf = "0.5.0"
  1483. oci
  1484. oclaunch
  1485. oclock
  1486. ocolor
  1487. ocp-browser != "1.2.1" & < "1.3.4"
  1488. ocp-build >= "1.99.18-beta"
  1489. ocp-indent < "0.9.2" | >= "1.4.2"
  1490. ocp-indent-nlfork
  1491. ocp-index >= "1.1.5" & < "1.3.4"
  1492. ocp-index-top
  1493. ocp-ocamlres
  1494. ocp-pack-split
  1495. ocp-pp
  1496. ocp-reloc
  1497. ocp_reveal
  1498. ocplib-compat
  1499. ocplib-concur
  1500. ocplib-config
  1501. ocplib-endian
  1502. ocplib-file
  1503. ocplib-json-typed != "0.4"
  1504. ocplib-json-typed-browser
  1505. ocplib-json-typed-bson
  1506. ocplib-resto
  1507. ocplib-simplex
  1508. ocplib_stuff < "0.3.0"
  1509. ocs
  1510. ocsfml
  1511. ocsigen-i18n < "3.2.0"
  1512. ocsigen-start < "1.2.0"
  1513. ocsigen-toolkit < "2.0.0"
  1514. ocsigenserver < "2.10"
  1515. octavius
  1516. ocurl
  1517. ocveralls
  1518. odash
  1519. odate < "0.6"
  1520. odb-server
  1521. odbc
  1522. odds < "1.1"
  1523. odepack >= "0.6.7"
  1524. odiff-gtk
  1525. odig < "0.0.6"
  1526. odisco
  1527. odnnr
  1528. odoc
  1529. odoc-depgraph
  1530. odoc-parser
  1531. ofx
  1532. ogen != "0.1.2"
  1533. ogg != "0.6.0" & < "0.7.0"
  1534. ogre < "2.1.0"
  1535. ojquery
  1536. ojs-base < "0.3.0" | = "0.5.0"
  1537. ojwidgets
  1538. olinq
  1539. ollvm
  1540. ollvm-tapir
  1541. olmi
  1542. omake
  1543. omd < "2.0.0~alpha3"
  1544. omg
  1545. oml
  1546. omlr
  1547. omod < "0.0.3"
  1548. omonad >= "0.3.2" & < "0.4.0"
  1549. oolc
  1550. opaca
  1551. opal
  1552. opam-build
  1553. opam-build-revdeps
  1554. opam-bundle
  1555. opam-ci
  1556. opam-client
  1557. opam-core != "2.0.0~rc"
  1558. opam-depext
  1559. opam-devel
  1560. opam-ed
  1561. opam-file-format
  1562. opam-format
  1563. opam-installer
  1564. opam-lib
  1565. opam-lock
  1566. opam-package-upgrade < "0.2"
  1567. opam-publish
  1568. opam-query
  1569. opam-repository
  1570. opam-solver
  1571. opam-state
  1572. opam-sync-github-prs
  1573. opam-test
  1574. opam2web
  1575. opam_bin_lib < "0.9.5"
  1576. opamconfig
  1577. opamfind
  1578. opamfu
  1579. opass
  1580. opasswd < "0.9.3" | >= "1.3.1"
  1581. opazl
  1582. open
  1583. open_packaging
  1584. openai-gym
  1585. opencc
  1586. opencc0
  1587. opencc1
  1588. opencc1_1
  1589. openflow
  1590. operf-macro
  1591. operf-micro
  1592. opium < "0.19.0"
  1593. opium_kernel
  1594. oplay
  1595. oplot
  1596. oplsr
  1597. optcomp
  1598. opti
  1599. optimization1d
  1600. optint < "0.0.3"
  1601. opus < "0.2.0"
  1602. oqamldebug
  1603. oraft
  1604. orakuda < "2.0.0"
  1605. orandforest
  1606. ordma
  1607. orf
  1608. orm >= "0.7.0"
  1609. orocksdb
  1610. orpie
  1611. orrandomForest
  1612. orsvm_e1071
  1613. orxgboost
  1614. osbx
  1615. osc < "0.2.0"
  1616. osdp
  1617. oseq
  1618. osm_xml
  1619. ospec >= "0.3.1"
  1620. ostap
  1621. osx-acl
  1622. osx-attr
  1623. osx-cf
  1624. osx-fsevents
  1625. osx-membership
  1626. osx-mount
  1627. osx-plutil
  1628. osx-secure-transport
  1629. osx-xattr
  1630. otetris
  1631. otf
  1632. otfm
  1633. oth
  1634. otr >= "0.3.2" & < "0.3.7"
  1635. ott < "0.33"
  1636. otto
  1637. ounit < "2.2.0"
  1638. ounit-lwt < "2.2.0"
  1639. ounit2
  1640. ounit2-lwt
  1641. override < "0.4.0"
  1642. owebl
  1643. owee < "0.3"
  1644. owl < "0.3.7"
  1645. owork
  1646. ox
  1647. oxylc
  1648. pa_bench < "113.00.00"
  1649. pa_comprehension
  1650. pa_monad_custom
  1651. pa_ounit < "112.35.00"
  1652. pa_ovisitor
  1653. pa_qualified
  1654. pa_solution
  1655. pa_sqlexpr
  1656. pa_test < "112.24.00"
  1657. pa_where
  1658. packet
  1659. pacomb
  1660. pandoc-abbreviations
  1661. papi < "0.1.1"
  1662. parany < "13.0.0"
  1663. pardi
  1664. pareto
  1665. parmap
  1666. parse-argv
  1667. parsexp < "v0.15.0"
  1668. parsexp_io < "v0.15.0"
  1669. passmaker
  1670. passmakercmd
  1671. patch
  1672. patdiff != "113.00.00" & != "113.33.03" & < "v0.12.0"
  1673. path_glob
  1674. patience_diff != "112.24.00" & != "113.33.03" & < "v0.12.0"
  1675. patoline
  1676. pattern != "0.1.1" & < "0.3.0"
  1677. pbkdf < "1.1.0"
  1678. pbrt
  1679. pbs
  1680. pcap-format < "0.6.0"
  1681. pcf-format
  1682. pci
  1683. pci-db
  1684. pcre < "7.4.2"
  1685. pds
  1686. pds-reachability
  1687. pecu
  1688. perf
  1689. petr4
  1690. pfff >= "0.37.1"
  1691. pgocaml < "4.0"
  1692. pgsolver
  1693. pgx < "1.0"
  1694. pgx_async < "1.0"
  1695. pgx_lwt < "1.0"
  1696. pgx_unix < "1.0"
  1697. phantom-algebra < "1.0.1"
  1698. phashtbl
  1699. phonetic
  1700. phox
  1701. pilat < "1.6"
  1702. pipebang < "113.00.00"
  1703. piqi
  1704. piqilib
  1705. pixel_pusher
  1706. pkcs11 < "1.0.1"
  1707. pkcs11-driver < "1.0.1"
  1708. pla < "2.0"
  1709. planck >= "2.2.0"
  1710. planets >= "0.1.14"
  1711. plist
  1712. plotkicadsch < "0.4.0"
  1713. plplot
  1714. podge
  1715. polka
  1716. polly
  1717. polyglot
  1718. pomap >= "3.0.7"
  1719. portaudio = "0.2.1"
  1720. portia
  1721. posix-clock
  1722. posix-getopt < "2.0.0"
  1723. posix-math
  1724. posix-mqueue
  1725. posix-semaphore
  1726. posix-time
  1727. posix-types
  1728. posixat >= "v0.10.0" & < "v0.12.0"
  1729. postgresql < "4.5.1"
  1730. pp < "1.1.2"
  1731. pprint
  1732. ppx_assert >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  1733. ppx_ast != "v0.9.2"
  1734. ppx_base < "v0.15.0"
  1735. ppx_bench = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1736. ppx_bigarray >= "2.0.0"
  1737. ppx_bin_prot >= "113.24.00" & != "113.33.00" & != "113.33.03" & < "v0.15.0"
  1738. ppx_bitstring = "1.1.0" | >= "1.3.3" & < "4.0.0"
  1739. ppx_blob >= "0.2"
  1740. ppx_cold < "v0.15.0"
  1741. ppx_compare = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1742. ppx_compose
  1743. ppx_const
  1744. ppx_conv_func = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  1745. ppx_core >= "v0.9.0"
  1746. ppx_cstruct < "6.0.0"
  1747. ppx_cstubs
  1748. ppx_csv_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  1749. ppx_custom_printf = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1750. ppx_defer < "0.5.0"
  1751. ppx_derivers
  1752. ppx_deriving >= "4.1.5"
  1753. ppx_deriving_argparse
  1754. ppx_deriving_cmdliner
  1755. ppx_deriving_hardcaml < "v0.12.0"
  1756. ppx_deriving_madcast
  1757. ppx_deriving_morphism != "0.4"
  1758. ppx_deriving_protobuf >= "2.4"
  1759. ppx_deriving_protocol
  1760. ppx_deriving_rpc < "8.0.0"
  1761. ppx_deriving_yojson < "2.0" | >= "3.1"
  1762. ppx_distr_guards < "0.3"
  1763. ppx_dotbracket
  1764. ppx_driver = "113.24.00" | >= "113.33.00+4.03" & < "113.33.03" | = "v0.9.0" | >= "v0.9.2"
  1765. ppx_dryunit
  1766. ppx_enumerate = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1767. ppx_expect != "113.33.00" & != "113.33.01" & != "113.33.03" & < "v0.15.0"
  1768. ppx_fail = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0"
  1769. ppx_fast_pipe
  1770. ppx_fields_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1771. ppx_fixed_literal < "v0.15.0"
  1772. ppx_fun
  1773. ppx_gen_rec
  1774. ppx_getenv >= "1.2"
  1775. ppx_graphql
  1776. ppx_hardcaml
  1777. ppx_hash < "v0.15.0"
  1778. ppx_here >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  1779. ppx_implicits = "0.2.0"
  1780. ppx_import
  1781. ppx_include >= "1.1"
  1782. ppx_inline_alcotest
  1783. ppx_inline_test = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1784. ppx_integer
  1785. ppx_jane != "113.33.03" & < "v0.15.0"
  1786. ppx_js_style < "v0.15.0"
  1787. ppx_jsobject_conv >= "0.2.1" & < "0.6.0"
  1788. ppx_let != "113.33.00" & != "113.33.03" & < "v0.15.0"
  1789. ppx_log < "v0.15.0"
  1790. ppx_matches
  1791. ppx_meta_conv = "4.0.0"
  1792. ppx_metaquot
  1793. ppx_module_timer < "v0.15.0"
  1794. ppx_monadic >= "1.0.4"
  1795. ppx_monoid
  1796. ppx_nanocaml
  1797. ppx_netblob >= "1.1"
  1798. ppx_optcomp = "113.24.00" | = "113.33.01+4.03" | >= "v0.9.0" & < "v0.14.3"
  1799. ppx_optint
  1800. ppx_optional < "v0.15.0"
  1801. ppx_orakuda = "3.0.1" | >= "3.1.0"
  1802. ppx_overload >= "1.4"
  1803. ppx_pipebang = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1804. ppx_poly_record >= "1.1.1"
  1805. ppx_protocol_conv < "5.2.0"
  1806. ppx_protocol_conv_json < "5.2.1"
  1807. ppx_protocol_conv_jsonm < "5.2.1"
  1808. ppx_protocol_conv_msgpack < "5.2.1"
  1809. ppx_protocol_conv_xml_light < "5.2.1"
  1810. ppx_protocol_conv_xmlm < "5.2.1"
  1811. ppx_protocol_conv_yaml < "5.2.1"
  1812. ppx_python < "v0.15.0"
  1813. ppx_regexp >= "0.3.0"
  1814. ppx_seq >= "0.2.0"
  1815. ppx_sexp_conv >= "113.24.00" & != "113.33.03" & < "v0.15.0"
  1816. ppx_sexp_message != "113.33.00" & != "113.33.03" & < "v0.15.0"
  1817. ppx_sexp_value = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1818. ppx_sqlexpr
  1819. ppx_stable < "v0.15.0"
  1820. ppx_string < "v0.15.0"
  1821. ppx_string_interpolation
  1822. ppx_system
  1823. ppx_test >= "1.4.0" & < "1.7.0"
  1824. ppx_there
  1825. ppx_tools = "5.0+4.05.0"
  1826. ppx_tools_versioned
  1827. ppx_traverse
  1828. ppx_traverse_builtins
  1829. ppx_type_conv = "113.24.00" | >= "113.33.00+4.03" & != "113.33.03"
  1830. ppx_typerep_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1831. ppx_tyre >= "0.4.3"
  1832. ppx_variants_conv = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  1833. ppx_view
  1834. ppx_wideopen
  1835. ppx_xml_conv >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  1836. ppx_yojson < "1.2.0"
  1837. ppx_yojson_conv < "v0.15.0"
  1838. ppx_yojson_conv_lib
  1839. ppxfind
  1840. ppxlib < "0.14.0" | >= "0.16.0" & < "0.19.0" | >= "0.21.0" & != "0.25.0~5.00preview"
  1841. ppxx >= "2.1.0" & < "2.3.2"
  1842. pratter != "1.0" & < "2.0.0"
  1843. prettiest
  1844. primes
  1845. pringo
  1846. printbox
  1847. printbox-text
  1848. prob-cache
  1849. process
  1850. procord
  1851. prof_spacetime
  1852. profiler-plugin
  1853. profound
  1854. proj4
  1855. promela
  1856. prometheus
  1857. prometheus-app < "1.2"
  1858. promise
  1859. protobuf
  1860. protocell
  1861. protocol-9p
  1862. protocol-9p-tool
  1863. protocol-9p-unix
  1864. protocol_version_header < "v0.12.0"
  1865. proverif
  1866. psmt2-frontend
  1867. psq
  1868. psyche
  1869. ptime < "1.0.0"
  1870. ptmap != "2.0.1" & != "2.0.4"
  1871. ptset >= "1.0.1"
  1872. publish
  1873. pulseaudio < "0.1.4"
  1874. pumping
  1875. pure-splitmix < "0.3"
  1876. pvem
  1877. pvem_lwt_unix
  1878. pxp
  1879. py
  1880. pyast
  1881. pyml
  1882. qbf < "0.3"
  1883. qcheck < "0.18"
  1884. qcheck-alcotest < "0.18"
  1885. qcheck-core < "0.18"
  1886. qcheck-ounit < "0.18"
  1887. qcow
  1888. qcow-format
  1889. qcow-tool
  1890. qcstm
  1891. qfs < "0.12"
  1892. qiskit
  1893. qmp
  1894. qocamlbrowser >= "0.2.9" & < "0.2.11"
  1895. qrencode
  1896. qtest
  1897. quest
  1898. quickcheck != "1.0.0"
  1899. r2pipe
  1900. radare2
  1901. randomconv
  1902. range
  1903. ranger
  1904. rashell
  1905. raw_spacetime
  1906. rawlink < "2.1"
  1907. raygun4ocaml
  1908. rdbg >= "1.175"
  1909. rdf < "0.7.0" | = "0.11.0"
  1910. rdr
  1911. re
  1912. re2 < "112.35.00" | = "113.24.00" | = "113.33.00+4.03" | >= "v0.9.0" & < "v0.12.0"
  1913. react < "1.2.2"
  1914. reactiveData < "0.2.2"
  1915. reason = "1.13.7" | >= "3.0.0"
  1916. receive-mail
  1917. received < "0.5.2"
  1918. record_builder < "v0.12.0"
  1919. records
  1920. redirect >= "0.1.1"
  1921. redis >= "0.3.0"
  1922. redis-lwt
  1923. redis-sync
  1924. reedsolomon
  1925. refl < "0.4.0"
  1926. regenerate
  1927. regstab
  1928. regular >= "1.2.0" & < "2.1.0"
  1929. remu_ts
  1930. res
  1931. resource-pooling < "0.5"
  1932. resource_cache < "v0.12.0"
  1933. resp < "0.10.0"
  1934. resp-client < "0.10.0"
  1935. resp-mirage < "0.10.0"
  1936. resp-server < "0.10.0"
  1937. resp-unix < "0.10.0"
  1938. result
  1939. revops
  1940. rfc1951 < "0.9.1"
  1941. rfc6287 < "1.0.4"
  1942. rfc7748
  1943. rfsm < "1.6-alpha-3"
  1944. rhythm
  1945. riak
  1946. riak-pb
  1947. riakc
  1948. riakc_ppx != "3.1.2"
  1949. ringo < "1.0.0"
  1950. ringo-lwt
  1951. river < "0.2"
  1952. rlp
  1953. rml >= "1.09.00" & < "1.09.06"
  1954. rmlbuild
  1955. root1d
  1956. rope
  1957. rosetta
  1958. rotor
  1959. routes != "0.7.0" & < "2.0.0"
  1960. rpc < "1.3.0" | >= "1.9.51" & != "8.0.0"
  1961. rpc_parallel >= "113.24.00" & != "113.33.03" & < "v0.12.0"
  1962. rpclib != "8.0.0" & < "9.0.0"
  1963. rpclib-async
  1964. rpclib-html
  1965. rpclib-js
  1966. rpclib-lwt
  1967. rresult < "0.7.0"
  1968. rtime
  1969. rtop
  1970. rubytt
  1971. rungen
  1972. safa
  1973. safepass
  1974. salsa20 < "1.1.0"
  1975. salsa20-core
  1976. samplerate < "0.1.5"
  1977. sanddb < "0.3.0"
  1978. sanlock
  1979. satML-plugin
  1980. sattools
  1981. sawja < "1.5.8"
  1982. scgi
  1983. schoca
  1984. schroedinger
  1985. scid
  1986. scrypt
  1987. scrypt-kdf < "1.1.0"
  1988. secp256k1
  1989. secp256k1-internal < "0.2.0"
  1990. sedlex >= "1.99.3" & < "2.6"
  1991. sek
  1992. selective
  1993. semver
  1994. semver2
  1995. sendmail >= "0.2.0"
  1996. sendmail-lwt >= "0.2.0"
  1997. sendmsg
  1998. seq != "0.3" & < "base"
  1999. sequence
  2000. sequencer_table < "v0.12.0"
  2001. sequoia
  2002. session < "0.5.0"
  2003. session-cohttp < "0.5.0"
  2004. session-cohttp-async < "0.5.0"
  2005. session-cohttp-lwt < "0.5.0"
  2006. session-postgresql < "0.5.0"
  2007. session-postgresql-async < "0.5.0"
  2008. session-postgresql-lwt < "0.5.0"
  2009. session-redis-lwt < "0.5.0"
  2010. session-webmachine < "0.5.0"
  2011. sessions
  2012. setcore
  2013. setr
  2014. sexp_pretty < "v0.12.0"
  2015. sexplib = "113.33.00+4.03" | >= "v0.9.0" & < "v0.15.0"
  2016. sexplib0 < "v0.15.1"
  2017. sgf
  2018. sha
  2019. shapefile
  2020. shared-block-ring < "3.0.0"
  2021. shared-memory-ring < "3.1.1"
  2022. shared-memory-ring-lwt < "3.1.1"
  2023. shared-secret
  2024. shcaml >= "0.2.0"
  2025. shexp < "v0.12.0"
  2026. shine
  2027. should
  2028. sibylfs
  2029. sibylfs-lem
  2030. sid
  2031. sill
  2032. simlog
  2033. simple-bmc
  2034. simple-diff
  2035. simple_pam
  2036. skkserv-lite
  2037. slack-backup
  2038. slacko < "0.15.0"
  2039. slap >= "3.0.1"
  2040. slug
  2041. smart-print
  2042. smbc
  2043. smtlib-utils < "0.4"
  2044. smtp
  2045. snabela
  2046. snappy
  2047. so
  2048. socialpeek
  2049. sociaml-facebook-api < "0.4.1"
  2050. sociaml-oauth-client
  2051. sociaml-tumblr-api
  2052. sociaml-vcard
  2053. socket-daemon
  2054. socketcan
  2055. sodium
  2056. solo5-kernel-muen
  2057. solo5-kernel-ukvm
  2058. solo5-kernel-virtio
  2059. solvuu-build
  2060. sonet
  2061. sosa
  2062. soundtouch
  2063. space-search
  2064. spacetime_lib
  2065. spatial_index
  2066. spawn
  2067. spdiff
  2068. spdx_licenses < "1.1.0"
  2069. speex < "0.4.0"
  2070. spelll != "0.3"
  2071. spf
  2072. sphinxcontrib-ocaml
  2073. spirv
  2074. splay_tree < "v0.12.0"
  2075. splittable_random < "v0.15.0"
  2076. spoc = "20170724"
  2077. spotify-cli
  2078. spotify-web-api < "0.2.1"
  2079. spotinstall
  2080. spotlib >= "2.4.1" & < "4.1.0"
  2081. spreadsheet
  2082. spreadsheetml
  2083. sqlexpr != "0.7.1"
  2084. sqlgg
  2085. sqlite3 < "5.0.2"
  2086. sqlite3_utils < "0.4"
  2087. sqlite3EZ
  2088. srs
  2089. srt < "0.1.1"
  2090. ssh-agent < "0.4.0"
  2091. ssh-agent-unix
  2092. ssl >= "0.5.3"
  2093. sslconf
  2094. starterkit
  2095. stationary
  2096. statmemprof-emacs
  2097. statsd-client >= "1.0.2"
  2098. statverif
  2099. stb_image
  2100. stb_image_write
  2101. stb_truetype < "0.7"
  2102. stdcompat
  2103. stdint != "0.6.0"
  2104. stdio < "v0.15.0"
  2105. stdlib-shims
  2106. stemmer
  2107. stemming
  2108. stitch
  2109. stog = "0.11.1" | >= "0.13.0" & < "0.19.0"
  2110. stog-rdf
  2111. stog-writing < "0.19.0"
  2112. stone
  2113. string_dict < "v0.15.0"
  2114. stringext
  2115. sturgeon
  2116. subscriptions-transport-ws
  2117. subtype-refinement
  2118. sugar
  2119. sundialsml
  2120. swagger
  2121. swdogen
  2122. swhid_core
  2123. symkat
  2124. syndic
  2125. sys-socket
  2126. sys-socket-unix
  2127. syslog
  2128. syslog-message
  2129. systemverilog < "0.0.2"
  2130. TCSLib
  2131. tablecloth-native < "0.0.8"
  2132. taglib < "0.3.7"
  2133. taglog
  2134. tallgeese
  2135. tar < "2.0.0"
  2136. tar-format
  2137. tar-mirage < "2.0.0"
  2138. tar-unix
  2139. tcpip < "4.0.0"
  2140. tcx
  2141. tdk
  2142. teash
  2143. telegraml
  2144. tensorflow < "0.0.11"
  2145. termbox
  2146. terminal
  2147. terminal_size < "0.2.0"
  2148. testrunner
  2149. testsimple
  2150. text >= "0.8.0"
  2151. text-tags < "2.1.0"
  2152. textrazor
  2153. textutils != "112.17.00" & != "113.33.03" & < "v0.12.0"
  2154. textutils_kernel < "v0.12.0"
  2155. textwrap
  2156. tezos-lwt-result-stdlib < "9.0"
  2157. tezos-protocol-environment-packer
  2158. tezos-shell-services < "8.0"
  2159. tezos-version < "8.0"
  2160. tftp
  2161. tgls < "0.8.6"
  2162. themoviedb
  2163. theora < "0.4.0"
  2164. thrift
  2165. tidy
  2166. time_now < "v0.15.0"
  2167. timed < "1.1"
  2168. tiny_httpd
  2169. tiny_httpd_camlzip
  2170. tiny_json
  2171. tiny_json_conv < "1.4.0"
  2172. tip-parser < "0.5"
  2173. tjr_simple_earley
  2174. tls < "0.11.0"
  2175. tlstunnel
  2176. toc
  2177. tofn
  2178. toml < "7.0.0"
  2179. toml-cconv
  2180. toml_cconv < "7.0.0"
  2181. tophide >= "1.0.4"
  2182. topkg
  2183. topkg-care
  2184. topkg-jbuilder
  2185. toplevel_expect_test < "113.33.02" | >= "v0.9.1" & < "v0.12.0"
  2186. topological_sort < "v0.12.0"
  2187. topology
  2188. touist
  2189. tplib
  2190. tptp
  2191. traildb
  2192. trakeva
  2193. transmission-rpc
  2194. traverse
  2195. travis-opam
  2196. travis-senv
  2197. trax < "0.4.0"
  2198. tree_layout
  2199. treeprint >= "2.1.1" & < "2.3.0"
  2200. trie
  2201. tsdl < "0.9.9"
  2202. tsdl-image
  2203. tsdl-mixer
  2204. tsdl-ttf
  2205. tsort
  2206. tuareg
  2207. tube
  2208. tuntap
  2209. type-beat
  2210. type_conv >= "113.00.02"
  2211. typebeat
  2212. typehashlib
  2213. typerep < "112.35.00" | = "113.24.00" | >= "v0.9.0" & < "v0.15.0"
  2214. typerep_extended != "113.00.00" & != "113.33.03"
  2215. typerex-attic >= "1.0.2"
  2216. typerex-binutils
  2217. typerex-clibs
  2218. typerex-lldb >= "1.1"
  2219. typerex-system
  2220. typpx = "1.3.0" | = "1.4.1"
  2221. tyre
  2222. tyxml
  2223. tyxml-jsx
  2224. tyxml-ppx
  2225. tyxml-syntax
  2226. ubase < "0.20"
  2227. ubpf
  2228. ucaml
  2229. uchar
  2230. ucorelib
  2231. udunits
  2232. uecc >= "0.3"
  2233. uint >= "1.1.5" & < "2.0.1"
  2234. ulex
  2235. ulex-camlp5 < "1.3"
  2236. unidecode
  2237. unionFind
  2238. unison >= "2.48.15v4" & < "2.52.0"
  2239. unix-dirent
  2240. unix-errno
  2241. unix-sys-resource
  2242. unix-sys-stat
  2243. unix-time
  2244. unix-type-representations
  2245. unix-unistd
  2246. unmagic < "1.0.3"
  2247. uri
  2248. uri-re
  2249. uritemplate >= "0.2.0"
  2250. usb
  2251. usbmux >= "1.2.0"
  2252. user-agent-parser
  2253. user-setup
  2254. utop >= "1.19.3" & < "2.11.0"
  2255. utp
  2256. uucd
  2257. uucp
  2258. uuidm < "0.9.8"
  2259. uunf != "2.0.0"
  2260. uuseg != "1.0.0"
  2261. uutf != "1.0.0"
  2262. uuuu
  2263. uwt
  2264. valentine
  2265. variantslib != "109.15.03" & != "113.33.03" & < "v0.15.0"
  2266. varint
  2267. vcardgen < "1.2"
  2268. vchan < "5.0.0"
  2269. vchan-unix < "5.0.0"
  2270. vchan-xen < "5.0.0"
  2271. vecosek
  2272. vecosek-engine
  2273. vecosek-scene
  2274. vector
  2275. vector3
  2276. vg
  2277. vhd-format
  2278. vhd-format-lwt
  2279. vhd-tool
  2280. vhdlib
  2281. vimebac
  2282. virtual_dom < "v0.12.0"
  2283. visitors >= "20170828" & != "20210127"
  2284. vlq
  2285. vmnet
  2286. voaacenc
  2287. volt
  2288. vorbis
  2289. vpnkit
  2290. vpt < "5.0.0"
  2291. vrt
  2292. vue-jsoo = "0.2"
  2293. wall
  2294. wamp
  2295. wamp-msgpck
  2296. wamp-yojson
  2297. wasm < "1.1"
  2298. wcs
  2299. wcs-api
  2300. wcs-lib
  2301. wdialog
  2302. webbrowser
  2303. webdav >= "1.1.5"
  2304. weberizer
  2305. webidl
  2306. webmachine
  2307. websocket < "2.12"
  2308. websocket-async < "2.12"
  2309. websocket-lwt < "2.12"
  2310. websocketaf
  2311. webtest
  2312. webtest-js
  2313. wget
  2314. why >= "2.32"
  2315. why3 < "1.6.0"
  2316. why3-base
  2317. why3-coq < "1.6.0"
  2318. why3-ide < "1.6.0"
  2319. wikitext
  2320. win-error
  2321. win-eventlog < "0.4"
  2322. wiringpi
  2323. ws
  2324. wseg
  2325. wtf8
  2326. wxOCaml
  2327. wyrd >= "1.4.6"
  2328. x509 < "0.10.0"
  2329. xapi-backtrace
  2330. xapi-forkexecd
  2331. xapi-idl
  2332. xapi-inventory != "1.2.1"
  2333. xapi-libs-transitional
  2334. xapi-rrd != "1.8.2" & < "1.9.1"
  2335. xapi-rrd-transport
  2336. xapi-rrdd
  2337. xapi-stdext
  2338. xapi-stdext-encodings
  2339. xapi-stdext-pervasives < "4.16.0"
  2340. xapi-stdext-threads
  2341. xapi-stdext-unix = "4.20.0"
  2342. xapi-stdext-zerocheck
  2343. xapi-tapctl
  2344. xapi-xenops
  2345. xdg-basedir
  2346. xe
  2347. xe-unikernel-upload
  2348. xen-api-client
  2349. xen-block-driver >= "0.2.5"
  2350. xen-disk
  2351. xen-evtchn
  2352. xen-evtchn-unix
  2353. xen-gnt < "4.0.1"
  2354. xen-gnt-unix < "4.0.1"
  2355. xenctrl >= "0.9.29"
  2356. xenstore
  2357. xenstore_transport
  2358. xentropyd
  2359. xml-light
  2360. xmldiff < "0.6.0"
  2361. xmlm
  2362. xmlplaylist
  2363. xstr
  2364. xstrp4
  2365. xtmpl = "0.10" | >= "0.14.0" & < "0.18.0"
  2366. xxhash
  2367. yajl
  2368. yajl-extra
  2369. yaml != "0.2.1" & < "3.0.1"
  2370. yara
  2371. yices2
  2372. yojson
  2373. yurt
  2374. yuscii
  2375. z3 < "4.8.14"
  2376. zarith >= "1.3"
  2377. zarith-freestanding
  2378. zarith-ppx
  2379. zarith-xen
  2380. zarith_stubs_js
  2381. zbar
  2382. zed
  2383. zeit
  2384. zenon < "0.8.5"
  2385. zephyrus
  2386. zero < "109.19.00"
  2387. zipperposition < "2.0"
  2388. zipperposition-tools < "2.0"
  2389. zlib
  2390. zlist < "0.4.0"
  2391. zmq < "4.0-1" | >= "4.0-8"
  2392. zmq-async
  2393. zmq-lwt
  2394. zstd
  2395. zxcvbn

Conflicts

    None