package ocaml

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

Install

Dune Dependency

ocaml.org Edit opam file Versions (73)

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. David Allsopp

Description

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

Published: 04 Mar 2021

Dependencies (4)

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

Dev Dependencies

None

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

Conflicts

None