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: 25 Feb 2022

Dependencies (4)

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

Conflicts

None