package ocaml

  1. Overview
  2. Docs

Description

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

Published: 09 Dec 2020

Dependencies (4)

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

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

Conflicts

None