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: 22 Dec 2023

Dependencies (5)

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

Dev Dependencies

None

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

Conflicts

None