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: 16 Jul 2019

Dependencies (4)

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

Conflicts

None