package ocaml

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

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (79)

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: 24 Feb 2021

Dependencies (5)

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

Dev Dependencies

None

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

Conflicts

None