package ocaml

  1. Overview
  2. Docs

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

Conflicts

None

OCaml

Innovation. Community. Security.