package ocaml

Part of the compiler
  1. Overview
  2. No Docs

Description

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

Added to opam-repository:

Dependencies (4)

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

Dev Dependencies

None

Optional Dependencies

None

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

Conflicts

None

Build status

check.ci.ocaml.org installs an OCaml compiler before each build it checks, so it does not build the compiler packages themselves, and ocaml is one of them (see opam-health-check).