package odoc

1. tyxml >= "4.3.0"
2. result
3. ocaml >= "4.02.0" & < "4.14"
4. fpath
5. dune
6. cppo build & >= "1.1.0"
7. cmdliner >= "1.0.0" & < "2.0.0"
8. astring

1. bisect_ppx dev & >= "1.3.0"
2. sexplib dev & >= "113.33.00" & with-test
3. ocamlfind dev
4. markup dev & >= "1.0.0" & with-test
5. alcotest dev & >= "0.8.3" & with-test

1. absolute >= "0.2"
2. acgtk >= "2.1.0"
3. activitypub
4. activitypub_client
5. activitypub_gui
6. activitypub_server
7. activitypub_server_gui
8. adelfa
9. adobe_font_metrics
10. agrid
11. aifad >= "2.3.0"
12. alba >= "0.4.1"
13. alcotest >= "1.5.0"
14. alcotest-async
15. alcotest-js
16. alcotest-lwt
17. alcotest-mirage
18. algaeff
19. alice
20. allegro5
21. alt-ergo >= "2.4.1"
22. alt-ergo-lib >= "2.4.1"
23. alt-ergo-parsers >= "2.4.1"
24. alt-ergo-plugin-ab-why3
25. altgr-ergo >= "2.4.1"
26. ambient-context
27. ambient-context-eio
28. ambient-context-lwt
29. ancient >= "0.10.0"
30. ansi >= "0.6.0"
31. ansifmt
32. anthropic
33. antic
34. ao >= "0.2.4"
35. api-watch
36. arb
37. archetype >= "1.2.3"
38. arg-complete
39. argon2
40. argsh
41. arrakis
42. arrayjit
43. asai
44. asak
45. ascend
46. ask
47. ask-integrator
48. async-uri >= "0.4.0"
49. atable
50. atacama < "0.0.4"
51. atd >= "2.3.3"
52. atdcpp
53. atdd
54. atdgen >= "2.3.3"
55. atdgen-codec-runtime >= "2.3.3"
56. atdgen-runtime >= "2.3.3"
57. atdj >= "2.3.3"
58. atdpy
59. atds >= "2.3.3"
60. atdts
61. autofonce
62. autofonce_config
63. autofonce_core
64. autofonce_lib
65. autofonce_m4
66. autofonce_misc
67. autofonce_patch
68. autofonce_share
69. avro
70. avro-compiler
71. avro-simple
72. awsm
73. awsm-async
74. awsm-codegen
75. awsm-lwt
76. azure-cosmos-db >= "0.3.2"
77. baby
78. backoff
79. baguette_sharp
80. bam
81. bam-ppx
82. bare_encoding
83. base32
84. bastet
85. bastet_async
86. bastet_lwt
87. batsat
88. batteries >= "3.7.1"
89. bencode >= "2.0"
90. bestline
91. bibfmt
92. bin_tree
93. bindlib >= "6.0.0"
94. binsec
95. bio_io
96. biotk
97. bitcoin >= "3.0"
98. bitcoin-cohttp-async
99. bitcoin-cohttp-lwt
100. bitcoin-ocurl
101. bitcoinml
102. bitgenerators
103. bitmasks
104. bitpack_serializer
105. bitstring >= "5.0.0"
106. bitwuzla
107. bitwuzla-c
108. bitwuzla-cxx
109. bls12-381 >= "6.0.1" & < "18.0"
110. blurhash
111. bogue >= "20210917"
112. bogue-tutorials
113. boltzgen >= "0.9.2"
114. boulangerie
115. box
116. brisk-reconciler
117. brr-lwd
118. bwd < "2.0.0"
119. bytebuffer
120. bytestring
121. bz2
122. CamelCase
123. ca-certs-nss >= "3.64.0.1"
124. cairn
125. caisar
126. caisar-ir
127. caisar-nnet
128. caisar-onnx
129. caisar-ovo
130. caisar-xgboost
131. calcium
132. calculon
133. calculon-web
134. calendar >= "3.0.0"
135. calipso
136. camelot >= "1.3.0"
137. camldiets
138. camlimages >= "5.0.5"
139. camlkit
140. camlkit-base
141. camlkit-gui
142. camlp-streams
143. camlrack
144. camomile >= "2.0.0"
145. camyll
146. canary
147. caqti >= "1.7.0"
148. caqti-async >= "1.7.0"
149. caqti-driver-mariadb >= "1.7.0"
150. caqti-driver-postgresql >= "1.7.0"
151. caqti-driver-sqlite3 >= "1.7.0"
152. caqti-eio
153. caqti-lwt >= "1.7.0"
154. caqti-miou
155. caqti-mirage
156. caqti-tls
157. caqti-type-calendar >= "1.9.0"
158. carbon
159. castore
160. catala >= "0.5.0"
161. catapult
162. catapult-client
163. catapult-daemon
164. catapult-file
165. catapult-sqlite
166. catt
167. cborl
168. ccbg
169. ceph
170. cf
171. cf-lwt
172. cf_workers
173. cfg >= "2.3.0"
174. chamo
175. checked_oint
176. chess_com_api
177. choice >= "0.4"
178. chrome-trace
179. cid
180. clangml >= "4.2.0"
181. clangml-transforms >= "0.26"
182. clap >= "0.2.0"
183. clarity-lang
184. class_group_vdf >= "0.0.5"
185. claudius
186. clim
187. clim-ppx
188. climate
189. cll
190. clp_operations
191. cmdlang
192. cmdlang-cmdliner-err-runner
193. cmdlang-stdlib-runner
194. cmdlang-to-base
195. cmdlang-to-climate
196. cmdlang-to-cmdliner
197. cmon
198. cobs
199. codept >= "0.12.1"
200. codept-lib
201. cohttp >= "6.0.0~alpha1"
202. cohttp-async >= "6.0.0~alpha1"
203. cohttp-bench
204. cohttp-curl
205. cohttp-curl-async
206. cohttp-curl-lwt
207. cohttp-eio
208. cohttp-lwt >= "6.0.0~beta2"
209. cohttp-lwt-jsoo >= "6.1.0"
210. cohttp-lwt-unix >= "6.0.0~beta2"
211. cohttp-mirage
212. cohttp-server-lwt-unix
213. cohttp-top
214. colibri2
215. colibrics
216. colibrilib
217. colors
218. combic
219. combinaml
220. combinat >= "3.0"
221. compsort
222. config
223. config-file >= "1.2.1"
224. conformist >= "0.8.1"
225. containers
226. containers-data
227. containers-thread
228. coq >= "8.19.0" & < "9.0.0"
229. coq-catt-plugin
230. coq-core >= "8.19.0"
231. coq-stdlib >= "8.19.0" & < "9.0.0"
232. coqide >= "8.19.0"
233. coqide-server >= "8.19.0"
234. corosync
235. crc >= "2.0.0"
236. crockford
237. crontab
238. crowbar >= "0.2.1"
239. crs
240. cry >= "0.6.6"
241. crypt >= "2.0"
242. csexp >= "1.5.1"
243. css
244. ctoxml
245. ctypes >= "0.21.1"
246. ctypes-foreign >= "0.21.1"
247. cucumber
248. cudajit
249. cudd
250. cudf >= "0.10"
251. cue_sheet_maker
252. cure2
253. curl
254. curl_lwt
255. curly >= "0.2.0"
256. current >= "0.7.1"
257. current-albatross-deployer
258. current-web-pipelines
259. current_docker >= "0.7.1"
260. current_examples >= "0.7.1"
261. current_git >= "0.7.1"
262. current_github >= "0.7.1"
263. current_gitlab >= "0.7.1"
264. current_ocluster >= "0.2"
265. current_rpc >= "0.6.4"
266. current_slack >= "0.7.1"
267. current_ssh
268. current_web >= "0.7.1"
269. curses >= "1.0.10"
270. cvc5
271. DkSDKFFIOCaml_Std
272. data-encoding >= "0.5"
273. datalog >= "0.6"
274. dates_calc
275. dbase4
276. dbf >= "0.2.0"
277. dblp
278. dblp-api
279. dead_code_analyzer
280. decimal
281. decoders >= "0.5.0"
282. decoders-bencode
283. decoders-cbor
284. decoders-ezjsonm >= "0.3.0"
285. decoders-ezxmlm
286. decoders-jsonaf
287. decoders-jsonm
288. decoders-msgpck
289. decoders-sexplib
290. decoders-yojson >= "0.3.0"
291. delimcc_of_fxhandler
292. devkit >= "1.20210120"
293. diff
294. diffast
295. diffast-api
296. diffast-cli
297. diffast-core
298. diffast-etc
299. diffast-git
300. diffast-git-cli
301. diffast-langs-common
302. diffast-langs-cpp
303. diffast-langs-cpp-parsing
304. diffast-langs-cpp-parsing-cli
305. diffast-langs-cpp-spec
306. diffast-langs-fortran
307. diffast-langs-fortran-parsing
308. diffast-langs-fortran-parsing-cli
309. diffast-langs-fortran-spec
310. diffast-langs-java
311. diffast-langs-java-parsing
312. diffast-langs-java-parsing-cli
313. diffast-langs-java-spec
314. diffast-langs-python
315. diffast-langs-python-parsing
316. diffast-langs-python-parsing-cli
317. diffast-langs-python-spec
318. diffast-langs-verilog
319. diffast-langs-verilog-parsing
320. diffast-langs-verilog-parsing-cli
321. diffast-langs-verilog-spec
322. diffast-misc
323. diskuvbox
324. disml
325. dkml-c-probe
326. dkml-component-offline-ocamlrun
327. dkml-component-offline-opam
328. dkml-component-staging-ocamlrun >= "4.12.1~v1.0.2"
329. dkml-component-staging-opam32 < "2.2.0~dkml20220801"
330. dkml-component-staging-opam64 < "2.2.0~dkml20220801"
331. dkml-dune-dsl
332. dkml-dune-dsl-show
333. dkml-install
334. dkml-install-installer
335. dkml-install-runner
336. dkml-option-vcpkg
337. dkml-package-console
338. dkml-runtime-distribution
339. dkml-workflows
340. dlm >= "0.3.3"
341. dmap
342. docfd
343. docker-api >= "0.2.2"
344. dockerfile >= "8.1.0"
345. dockerfile-cmd >= "8.2.7"
346. dockerfile-opam >= "8.2.7"
347. doculib
348. doi2bib
349. dolmen >= "0.5"
350. dolmen_bin
351. dolmen_loop
352. dolmen_lsp
353. dolmen_model
354. dolmen_type
355. domain-local-await
356. domain-local-timeout
357. domainslib >= "0.5.1"
358. dose3 >= "6.1"
359. dose3-extra
360. dream-accept
361. dream-cli
362. dream-encoding
363. dream-html
364. dream-htmx
365. dream-inertia
366. dream-livereload
367. dream_middleware_ext
368. drom
369. drom_lib
370. drom_toml
371. dscheck
372. dssi >= "0.1.4"
373. dtools >= "0.4.3"
374. dual
375. dune-action-plugin
376. dune-build-info
377. dune-cargo-build
378. dune-compiledb
379. dune-configurator >= "2.9.3"
380. dune-deps >= "1.4.0"
381. dune-expand
382. dune-glob
383. dune-private-libs >= "3.15.3"
384. dune-release
385. dune-rpc
386. dune-rpc-lwt
387. dune-site
388. dune_deps_extra
389. dunolint
390. dunolint-lib
391. dunolint-lib-base
392. duppy >= "0.9.1"
393. dyn
394. dynamic_gc
395. dypgen
396. earley >= "3.0.0"
397. earlybird
398. easy-format >= "1.3.3"
399. echo
400. ego
401. eio
402. eio-ssl >= "0.1.1"
403. eio-trace
404. eio_linux
405. eio_main
406. eio_posix
407. eio_windows
408. electrod >= "1.0.0"
409. eliom >= "10.1.2"
410. elm_core
411. elm_playground
412. elm_playground_native
413. elm_playground_web
414. elm_system
415. elpi
416. embedded_ocaml_templates >= "0.8"
417. emoji >= "2.0.0"
418. equinoxe
419. equinoxe-cohttp
420. equinoxe-hlc
421. erlang
422. errpy
423. esa
424. expect >= "0.1.0"
425. expr
426. extism
427. extism-manifest
428. extunix >= "0.4.0"
429. ez_cmdliner >= "0.2.0"
430. ez_config >= "0.2.0"
431. ez_dune_describe
432. ez_file >= "0.2.0"
433. ez_hash
434. ez_opam_file
435. ez_search
436. ez_subst
437. ezcurl
438. ezcurl-lwt
439. ezgzip
440. ezjs_extension >= "0.2"
441. ezjs_fetch >= "0.3"
442. ezjs_idb >= "0.1.1"
443. ezjs_min >= "0.2.3"
444. ezjsonm-encoding
445. FPauth
446. FPauth-core
447. FPauth-responses
448. FPauth-strategies
449. FrontC >= "4.0.0"
450. faad >= "0.5.1"
451. fadbadml >= "0.1.2"
452. fadecider
453. farith
454. fast_bitvector
455. fd-send-recv >= "2.0.1"
456. fdkaac >= "0.3.3"
457. feather >= "0.2.0"
458. feather_async >= "0.2.0"
459. fehu
460. ffmpeg >= "1.0.0~beta2"
461. ffmpeg-av >= "1.0.0~beta2"
462. ffmpeg-avcodec >= "1.0.0~beta2"
463. ffmpeg-avdevice >= "1.0.0~beta2"
464. ffmpeg-avfilter >= "1.0.0~beta2"
465. ffmpeg-avutil >= "1.0.0~beta2"
466. ffmpeg-swresample >= "1.0.0~beta2"
467. ffmpeg-swscale >= "1.0.0~beta2"
468. fiber
469. fiber-lwt
470. file-rewriter
471. fileutils >= "0.6.6"
472. fit >= "1.3.2"
473. flac
474. flatunionfind
475. flint
476. float_option
477. fmlib
478. fmlib_browser
479. fmlib_js
480. fmlib_parse
481. fmlib_pretty
482. fmlib_std
483. fontforge-of-ocaml
484. forester
485. fpath-base
486. fpath-sexp0
487. frama-c >= "27.0"
488. frama-c-lannotate >= "0.2.3"
489. frama-c-luncov >= "0.2.1"
490. frama-c-metacsl >= "0.4"
491. frama-clang
492. fred
493. frenetic
494. fsevents
495. fsevents-lwt
496. fun-postgresql
497. fun-sql
498. fun-sqlite
499. fungi
500. fuseau
501. fuseau-lwt
502. GT >= "0.5.0"
503. gccjit
504. gd >= "1.1"
505. gen >= "0.5.1"
506. gen_js_api >= "1.0.8"
507. gendarme
508. gendarme-csv
509. gendarme-ezjsonm
510. gendarme-json < "0.4.0"
511. gendarme-toml
512. gendarme-yaml
513. gendarme-yojson
514. geojson
515. geojsone
516. geoml
517. getopt >= "20230213"
518. gettext >= "0.5.0"
519. gettext-camomile >= "0.5.0"
520. gettext-stub >= "0.5.0"
521. giflib
522. git-split
523. github >= "4.4.0" & < "4.5.0"
524. github-data < "4.5.0"
525. github-jsoo >= "4.4.0" & < "4.5.0"
526. github-unix >= "4.4.0" & < "4.5.0"
527. gitlab
528. gitlab-jsoo
529. gitlab-unix
530. gitlab_pipeline_notifier
531. gl-legacy
532. globlon
533. gluon
534. gluten >= "0.5.0"
535. gluten-async >= "0.5.0"
536. gluten-eio >= "0.5.0"
537. gluten-lwt >= "0.5.0"
538. gluten-lwt-unix >= "0.5.0"
539. gluten-mirage >= "0.5.0"
540. gnuplot >= "0.6"
541. goblint
542. goblint-cil >= "1.8.0"
543. gospel >= "0.2.0"
544. gotd
545. gperftools >= "0.4"
546. gpiod
547. gpr >= "1.5.1"
548. gpt
549. gptar
550. grace
551. gradescope_submit
552. graft
553. grain_dypgen >= "0.2.1"
554. graphql_jsoo_client
555. graphv
556. graphv_core
557. graphv_core_lib
558. graphv_font
559. graphv_font_js
560. graphv_font_stb_truetype
561. graphv_gles2
562. graphv_gles2_native
563. graphv_gles2_native_impl
564. graphv_webgl
565. graphv_webgl_impl
566. grpc
567. grpc-async
568. grpc-bench
569. grpc-eio
570. grpc-examples
571. grpc-lwt
572. gsl >= "1.25.0"
573. guardian
574. guile
575. h1_parser
576. h2 >= "0.10.0"
577. h2-async >= "0.10.0"
578. h2-eio
579. h2-lwt >= "0.10.0"
580. h2-lwt-unix >= "0.10.0"
581. h2-mirage >= "0.10.0"
582. hachis
583. hacl-star >= "0.4.0"
584. hacl_func
585. handlebars-ml
586. hardcaml-lua
587. hashcons >= "1.4.0"
588. hc >= "0.2"
589. hdr_histogram
590. headache = "1.06"
591. header-check
592. hector
593. heroicons-reason-react
594. highlexer
595. higlo >= "0.8"
596. hilite
597. hockmd
598. hol2dk
599. hooke
600. hpack >= "0.10.0"
601. hsluv
602. html_of_jsx
603. htmlfromtexbooks
604. http
605. http-cookie
606. http-date
607. http-multipart-formdata
608. http_async
609. httpaf_caged >= "1.0.1"
610. httpun-ws
611. httpun-ws-async
612. httpun-ws-eio
613. httpun-ws-lwt
614. httpun-ws-lwt-unix
615. httpun-ws-mirage
616. hugin
617. huml
618. huml-cli
619. ISO3166
620. ISO8601 >= "0.2.6"
621. idds
622. imguiml
623. inotify >= "2.4"
624. inotify-eio
625. inquire >= "0.3.0"
626. inquirer_oc
627. interval-map
628. intPQueue
629. iomux
630. ip2location
631. ip2locationio
632. ip2proxy
633. ip2whois
634. irc-client >= "0.6.2"
635. irc-client-lwt >= "0.6.2"
636. irc-client-lwt-ssl
637. irc-client-tls >= "0.6.2"
638. irc-client-unix >= "0.6.2"
639. iri >= "0.6.0"
640. irmin >= "3.5.2"
641. irmin-watcher
642. iter
643. jekyll-format >= "0.2.0"
644. jext
645. jose
646. js_of_ocaml >= "3.10.0"
647. js_of_ocaml-compiler >= "3.10.0"
648. js_of_ocaml-lwt >= "3.10.0"
649. js_of_ocaml-ocamlbuild >= "3.10.0"
650. js_of_ocaml-ppx >= "3.10.0"
651. js_of_ocaml-ppx_deriving_json >= "3.10.0"
652. js_of_ocaml-toplevel >= "3.10.0"
653. js_of_ocaml-tyxml >= "3.10.0"
654. json-data-encoding >= "0.12"
655. jsonfeed
656. jsonoo
657. jsonrpc
658. jsonschema
659. jsonschema2atd
660. jsoo-react
661. junit >= "1.0"
662. junit_alcotest
663. junit_ounit
664. jupyter-kernel
665. jwto >= "0.4.0"
666. kappa-agents >= "4.1.3"
667. kappa-binaries >= "4.1.3"
668. kappa-library >= "4.1.3"
669. kaun
670. kcas >= "0.1.6" & < "0.6.0"
671. kcas_data < "0.6.0"
672. kdl
673. kind2
674. kittyimg
675. kkmarkdown
676. knights_tour
677. kqueue >= "0.2.0"
678. kuznechik
679. lab
680. lablgtk3-extras >= "3.0.1"
681. lacaml >= "11.0.10"
682. ladspa >= "0.2.1"
683. lambda
684. lambda-term >= "3.3.0"
685. lambda_streams
686. lambdapi
687. lame >= "0.3.6"
688. landmarks >= "1.4"
689. landmarks-ppx
690. lastfm >= "0.3.4"
691. ldap = "2.4.2"
692. ldp
693. ldp_curl
694. ldp_js
695. ldp_tls
696. leaflet
697. learn-ocaml
698. leaves
699. ledes
700. letters != "0.1.1"
701. leveldb >= "1.3.0"
702. libbpf
703. libbpf_maps
704. libc
705. libdrm
706. libsail
707. lichess_api
708. lilv
709. linenoise >= "1.3.1"
710. linol
711. linol-eio
712. linol-lwt
713. lintcstubs
714. lintcstubs-arity
715. lintcstubs-gen
716. liquidsoap >= "2.3.3"
717. liquidsoap-core
718. liquidsoap-js
719. liquidsoap-lang
720. liquidsoap-libs
721. liquidsoap-libs-extra
722. liquidsoap-mode
723. little_logger
724. llama
725. llama-cpp-ocaml
726. llama_core
727. llama_interactive
728. llama_midi
729. llhttp
730. lmdb >= "1.0"
731. loc
732. logical
733. logs-async >= "1.3"
734. logs-async-reporter >= "1.3"
735. loop
736. lreplay
737. lru_cache
738. lsp
739. lua-ml >= "0.9.3"
740. lua_parser >= "1.0.2"
741. lwd >= "0.2"
742. lwt-parallel
743. lwt-pipe
744. lwt_direct
745. lwt_eio
746. lwt_ppx >= "5.8.1"
747. lz4 >= "1.2.0"
748. MlFront_Cache
749. MlFront_Cli
750. MlFront_Codept
751. MlFront_Config
752. MlFront_Core
753. MlFront_Errors
754. MlFront_Exec
755. MlFront_Logs
756. MlFront_Manip
757. MlFront_Signify
758. MlFront_Thunk
759. MlFront_Tools
760. MlFront_ZipFile
761. m_tree
762. mad >= "0.5.1"
763. make-random
764. matita
765. mazeppa
766. mc2
767. md2mld
768. mdx >= "1.7.0"
769. mec
770. mehari
771. mehari-eio
772. mehari-eio-unix
773. mehari-lwt-unix
774. mehari-mirage
775. mel
776. melange
777. melange-atdgen-codec-runtime
778. melange-compiler-libs
779. melange-fest
780. melange-fetch
781. melange-jest
782. melange-json
783. melange-json-native
784. melange-moment
785. melange-numeral
786. melange-radix-icons
787. melange-react-dates
788. melange-react-query
789. melange-recharts
790. melange-testing-library
791. melange-webapi
792. meldep
793. mem_usage
794. memfd
795. memgraph
796. memgraph_kitty
797. memo >= "0.2"
798. memprof-limits >= "0.3.0"
799. merge-fmt >= "0.4"
800. metadata
801. metadb
802. metal
803. metapp >= "0.3.0"
804. metaquot >= "0.3.0"
805. middleware
806. minisat >= "0.2"
807. minttea
808. mirage-block-unikraft
809. mirage-net-unikraft
810. mirage-unikraft
811. mjson
812. mlbdd >= "0.7.2"
813. mlgpx
814. mlmpfr >= "4.2.0"
815. mlsolver
816. mlx
817. mm >= "0.7.2"
818. mnd
819. module-graph
820. monolith >= "20241126"
821. monomorphic >= "2.0"
822. moonpool
823. moonpool-io
824. moonpool-lwt
825. mopsa
826. morbig >= "0.10.3"
827. mosaique
828. mpg123 >= "0.3"
829. mpris
830. mpris-clients
831. mssql >= "2.0.3"
832. mugen
833. mula
834. multibase
835. multicodec
836. multicont >= "1.0.1"
837. multicore-magic-dscheck
838. multihash
839. multihash-digestif
840. mustache >= "3.2.0"
841. mustache-cli
842. mutaml
843. mysql_protocol
844. nanoev
845. nanoev-picos
846. nanoev-posix
847. nanoev_tiny_httpd
848. nanoid
849. nanosvg
850. nanosvg_text
851. nbd >= "6.0.0"
852. nbd-tool
853. nbd-unix
854. netkat
855. neural_nets_lib
856. nice_parser
857. ninja_utils
858. niru
859. nloge
860. nlopt
861. nmea
862. noCanren >= "0.3.0~alpha1"
863. node_of_ocaml
864. nomad
865. nottui >= "0.2"
866. nottui-lwt >= "0.2"
867. nottui-pretty >= "0.2"
868. nottui-unix
869. notty-community
870. nuscr >= "1.1.0"
871. nx
872. nx-datasets
873. nx-text
874. OCADml
875. OCanren
876. OCanren-ppx >= "0.3.0"
877. OSCADml
878. obatcher
879. obelisk >= "0.8.1"
880. obuilder
881. obuilder-spec
882. ocaml-canvas
883. ocaml-compiler-libs = "v0.12.4"
884. ocaml-in-python
885. ocaml-index
886. ocaml-logicalform
887. ocaml-lsp-server
888. ocaml-lua
889. ocaml-protoc >= "2.1"
890. ocaml-protoc-plugin >= "5.0.0"
891. ocaml-sat-solvers >= "0.8"
892. ocaml-version >= "4.0.1"
893. ocamlc-loc
894. ocamldiff >= "1.2"
895. ocamlformat >= "0.11.0"
896. ocamlformat-lib
897. ocamlformat-mlx
898. ocamlformat-mlx-lib
899. ocamlformat-rpc < "removed"
900. ocamlformat-rpc-lib
901. ocamlfuse
902. ocamlify >= "0.1.0"
903. ocamlmerlin-mlx
904. ocamlmig
905. ocamlmod >= "0.1.1"
906. ocamlregextkit
907. ocannl_npy
908. ocb
909. ocf >= "0.8.0"
910. ocf_ppx
911. ockt
912. ocluster >= "0.2"
913. ocluster-api >= "0.2"
914. ocluster-worker
915. ocp-browser >= "1.2.2"
916. ocp-index >= "1.2.2"
917. ocp-search
918. ocplib-simplex >= "0.5.1"
919. ocplib_stuff >= "0.3.0"
920. ocue
921. odep >= "0.2.0"
922. oenv
923. oepub
924. oframl
925. ogg >= "1.0.0"
926. oglsl
927. oidc
928. ojo
929. ojs >= "1.0.8"
930. ojs_base
931. ojs_base_all
932. ojs_base_ppx
933. ojs_ed
934. ojs_filetree
935. ojs_list
936. olinq >= "0.3"
937. oma
938. omd = "1.3.2" | >= "2.0.0~alpha3"
939. omigrate != "0.3.0"
940. omtl
941. oniguruma
942. ooh
943. opam-0install >= "0.4.2"
944. opam-0install-cudf >= "0.4.2" & < "0.5.0"
945. opam-bin >= "0.9.5"
946. opam-check-npm-deps
947. opam-ci-check-lint
948. opam-compiler >= "0.2.0"
949. opam-dune-lint
950. opam-monorepo >= "0.3.0"
951. opam-spin
952. opam_bin_lib >= "0.9.5"
953. opasswd
954. opatch
955. openapi
956. openapi-opium
957. openapi_router
958. openbsd
959. opencage
960. openstellina
961. opentelemetry
962. opentelemetry-client-cohttp-eio
963. opentelemetry-client-cohttp-lwt
964. opentelemetry-client-ocurl
965. opentelemetry-cohttp-lwt
966. opentelemetry-logs
967. opentelemetry-lwt
968. opine
969. opium >= "0.20.0"
970. opium-testing >= "0.20.0"
971. oplot >= "0.71"
972. optiml-transport
973. opus
974. oraft >= "0.3.0"
975. ordering
976. ordinal
977. orgeat
978. ortac-core >= "0.6.1"
979. ortac-dune
980. ortac-qcheck-stm >= "0.6.1"
981. ortac-runtime
982. ortac-runtime-qcheck-stm
983. ortac-wrapper
984. oseq
985. osh
986. osnap
987. ostap >= "0.6"
988. otaglibc
989. otoggl
990. otoml >= "0.9.3"
991. otp
992. ounit2 >= "2.2.7"
993. ounit2-lwt >= "2.2.7"
994. override >= "0.4.0"
995. owee >= "0.8"
996. owi
997. p5scm
998. packstream
999. pageantty
1000. pancake
1001. pandoc >= "0.2.1"
1002. pandoc-abbreviations >= "0.2.1"
1003. pandoc-comment >= "0.2.1"
1004. pandoc-crossref >= "0.2.1"
1005. pandoc-include >= "0.2.1"
1006. pandoc-inspect >= "0.2.1"
1007. pandoc-pdf2png >= "0.2.1"
1008. pandoc-replace >= "0.2.1"
1009. par_incr
1010. pari
1011. pari-bindings
1012. parmap >= "1.2.3"
1013. parsite
1014. passage
1015. path_glob
1016. patricia-tree < "0.10.0"
1017. pbrt
1018. pbrt_yojson
1019. pcrc
1020. pcre >= "7.5.0"
1021. pcre2
1022. petrol
1023. pgn_parser
1024. pgsolver >= "4.4"
1025. pgx >= "1.0"
1026. pgx_async >= "2.2"
1027. pgx_lwt >= "2.2"
1028. pgx_lwt_mirage >= "2.2"
1029. pgx_lwt_unix >= "2.2"
1030. pgx_unix >= "2.2"
1031. pgx_value_core >= "2.2"
1032. pgx_value_ptime >= "2.2"
1033. phylogenetics >= "0.2.0"
1034. piaf >= "0.2.0"
1035. picos >= "0.5.0"
1036. picos_aux
1037. picos_io
1038. picos_io_cohttp
1039. picos_lwt
1040. picos_mux
1041. picos_std
1042. piece_rope
1043. plateau
1044. plist-xml
1045. plist-xml-lwt
1046. plotly
1047. plplot >= "5.12.0"
1048. polars
1049. polars_async
1050. poll
1051. pomap >= "4.1.2"
1052. popper
1053. portaudio >= "0.2.3"
1054. portmidi
1055. posix-base >= "2.0.1"
1056. posix-bindings >= "2.0.1"
1057. posix-getopt >= "2.0.1"
1058. posix-math2
1059. posix-signal >= "2.0.1"
1060. posix-socket >= "2.0.1"
1061. posix-socket-unix >= "2.0.1"
1062. posix-time2 >= "2.0.1"
1063. posix-types >= "2.0.1"
1064. posix-uname >= "2.0.1"
1065. postgresql >= "5.1.0"
1066. pp >= "1.2.0"
1067. pp-binary-ints
1068. pp_loc
1069. pplumbing
1070. pplumbing-err
1071. pplumbing-log
1072. pplumbing-log-cli
1073. pplumbing-pp-tty
1074. ppx_bitstring >= "5.0.0"
1075. ppx_camlrack
1076. ppx_catch
1077. ppx_const >= "2.0"
1078. ppx_decimal
1079. ppx_default
1080. ppx_deriving_cad
1081. ppx_deriving_decoders
1082. ppx_deriving_encoding >= "0.3.0"
1083. ppx_deriving_ezjsonm
1084. ppx_deriving_hash
1085. ppx_deriving_json_schema
1086. ppx_deriving_jsonschema
1087. ppx_deriving_jsont
1088. ppx_deriving_madcast >= "0.2"
1089. ppx_deriving_popper
1090. ppx_deriving_qcheck
1091. ppx_deriving_scad
1092. ppx_deriving_yaml >= "0.2.0"
1093. ppx_distr_guards >= "0.3"
1094. ppx_dream_eml
1095. ppx_expect_nobase >= "v0.17.3.0"
1096. ppx_format
1097. ppx_fun
1098. ppx_getenv >= "2.0"
1099. ppx_interact
1100. ppx_make
1101. ppx_map
1102. ppx_marshal
1103. ppx_marshal_ext
1104. ppx_matches >= "0.1.0"
1105. ppx_mica
1106. ppx_minidebug
1107. ppx_monad
1108. ppx_monoid >= "0.3.3"
1109. ppx_open
1110. ppx_optint
1111. ppx_parser
1112. ppx_partial
1113. ppx_pyformat
1114. ppx_repr != "0.2.0"
1115. ppx_seq
1116. ppx_subliner
1117. ppx_system
1118. ppx_trace
1119. ppx_ts
1120. ppx_unreachable
1121. ppx_update
1122. ppx_viewpattern
1123. ppx_yojson >= "1.3.0"
1124. ppxlib >= "0.22.2"
1125. ppxlib-tools
1126. pratter
1127. prbnmcn-basic-structures
1128. prbnmcn-cgrph
1129. prbnmcn-clustering
1130. prbnmcn-dagger
1131. prbnmcn-dagger-gsl
1132. prbnmcn-dagger-stats
1133. prbnmcn-dagger-test
1134. prbnmcn-gnuplot
1135. prbnmcn-linalg
1136. prbnmcn-mcts
1137. prbnmcn-proptest
1138. prbnmcn-stats
1139. prbnmcn-ucb1 >= "0.0.2"
1140. preface
1141. prelude
1142. pretty_expressive
1143. primavera
1144. print-table
1145. printbox >= "0.2"
1146. printbox-ext-plot
1147. printbox-html
1148. printbox-md
1149. printbox-text
1150. processor
1151. producer
1152. progress
1153. prolect
1154. prometheus-liquidsoap >= "2"
1155. promise_jsoo
1156. promise_jsoo_lwt
1157. proton
1158. provider
1159. prr
1160. psmt2-frontend >= "0.3.0"
1161. pulseaudio >= "0.1.5"
1162. pure-html
1163. pvec
1164. pyast
1165. pyml >= "20210924"
1166. pyml_bindgen
1167. pyre-ast
1168. qbf >= "0.3"
1169. qcaml
1170. qcheck >= "0.13"
1171. qcheck-alcotest
1172. qcheck-core
1173. qcheck-lin
1174. qcheck-multicoretests-util
1175. qcheck-ounit
1176. qcheck-stm
1177. qcow >= "0.12.1"
1178. qcow-stream
1179. qcow-tool >= "0.12.1"
1180. qcow-types
1181. query-json
1182. quick_print
1183. quickjs
1184. quill
1185. raga
1186. randii
1187. random
1188. randoml
1189. raven
1190. raygui
1191. raylib >= "0.3.1"
1192. rdf >= "0.13.0"
1193. rdf_impls
1194. rdf_json_ld
1195. rdf_lwt
1196. rdf_mysql
1197. rdf_postgresql
1198. rdf_ppx
1199. re >= "1.13.2"
1200. rea < "0.2.0"
1201. reactiveData = "0.2.4" | >= "0.3.1"
1202. reactjs-jsx-ppx
1203. readline
1204. reason >= "3.9.0"
1205. reason-react
1206. reason-react-ppx
1207. red-black-tree
1208. reddit_api_async
1209. reddit_api_kernel
1210. redis >= "0.4"
1211. redis-lwt >= "0.4"
1212. redis-sync >= "0.4"
1213. refl >= "0.2.0"
1214. regrade
1215. relude
1216. reparse >= "2.0.0"
1217. reparse-lwt
1218. reparse-lwt-unix
1219. reparse-unix
1220. repr != "0.2.0"
1221. repr-bench
1222. repr-fuzz
1223. res >= "5.0.2"
1224. rescript-syntax
1225. reshowcase
1226. resto >= "0.7"
1227. rfsm >= "2.0"
1228. rich-string
1229. rio
1230. river
1231. rizzo
1232. rock >= "0.20.0"
1233. rocq-core
1234. rocq-devtools
1235. rocq-runtime
1236. rocqide
1237. roman
1238. routes >= "1.0.0"
1239. rpc
1240. rpmfile
1241. rpmfile-cli
1242. rpmfile-eio
1243. rpmfile-unix
1244. rsdd
1245. rtop >= "3.9.0"
1246. rtree
1247. rune
1248. runtime_events_tools
1249. runtime_events_tools_bare
1250. rust-staticlib-gen
1251. rust-staticlib-virtual
1252. SourceCode_ASCII
1253. safemoney
1254. saga
1255. sail >= "0.15"
1256. sail_c_backend
1257. sail_coq_backend
1258. sail_doc_backend
1259. sail_latex_backend
1260. sail_lean_backend
1261. sail_lem_backend
1262. sail_manifest
1263. sail_ocaml_backend
1264. sail_output
1265. sail_smt_backend
1266. sail_sv_backend
1267. salto-analyzer
1268. saltoIL
1269. samplerate >= "0.1.6"
1270. sanddb >= "0.2"
1271. sarek
1272. sarif
1273. saturn = "0.4.1"
1274. saturn_lockfree = "0.4.1"
1275. savvy
1276. scad_ml
1277. scfg
1278. scope
1279. sd_logic
1280. sdl-liquidsoap >= "3"
1281. secp256k1 >= "0.4.1"
1282. sedlex >= "2.4"
1283. sel
1284. semv
1285. semver >= "0.2.1"
1286. semver2
1287. seqes
1288. serde
1289. serde_debug
1290. serde_derive
1291. serde_json
1292. serde_sexpr
1293. serde_xml
1294. server-reason-react
1295. sexp_decode
1296. sexps-rewriter
1297. sha >= "1.15.1"
1298. shades
1299. shine >= "0.2.2"
1300. shuttle
1301. shuttle_http
1302. shuttle_ssl
1303. shuttle_websocket
1304. sifun
1305. signal
1306. sihl >= "0.1.5"
1307. sihl-cache
1308. sihl-contract
1309. sihl-core
1310. sihl-email
1311. sihl-facade
1312. sihl-persistence
1313. sihl-queue
1314. sihl-session
1315. sihl-storage
1316. sihl-token
1317. sihl-type
1318. sihl-user
1319. sihl-web
1320. simlog
1321. sitemap
1322. slipshow
1323. smart-print >= "0.3.0"
1324. smaws-clients
1325. smaws-lib
1326. smol
1327. smol-helpers
1328. smtlib-utils
1329. smtml
1330. snappy >= "0.1.2"
1331. snf_mcp
1332. snoke
1333. sodium-fmt
1334. solid
1335. solid_server
1336. solid_tools
1337. solidity-alcotest
1338. solidity-common
1339. solidity-parser
1340. solidity-test
1341. solidity-typechecker
1342. sowilo
1343. spatial-shell
1344. spawn >= "v0.15.0"
1345. spdx_licenses < "1.2.0"
1346. spectrum
1347. speed
1348. speex
1349. spelll >= "0.3"
1350. spices
1351. spin
1352. spoc
1353. spoc_ppx
1354. spotify_ml
1355. spurs
1356. sqids
1357. sqlgg >= "20200521"
1358. sqlite3 >= "5.0.3"
1359. sqlite3_utils
1360. srt
1361. ssl >= "0.7.0"
1362. sslconf
1363. starpath
1364. starred_ml
1365. statocaml
1366. statocaml_changelog
1367. statocaml_community
1368. statocaml_db
1369. statocaml_github
1370. statocaml_go
1371. statocaml_gui
1372. statocaml_html
1373. statocaml_plots
1374. statocaml_profile
1375. stdint = "0.7.0" | >= "0.7.2"
1376. stdint-literals
1377. stdlib-random
1378. stdune
1379. stk
1380. stk_iconv
1381. stk_ocf
1382. stk_ppx
1383. stk_rdf
1384. stk_xml
1385. stog >= "0.20.0"
1386. stog_all
1387. stog_asy
1388. stog_dot
1389. stog_extern
1390. stog_markdown
1391. stog_multi_doc
1392. stog_nocaml
1393. stog_noexec
1394. stog_plugins
1395. stog_rdf
1396. stog_rel_href
1397. stog_server
1398. stog_server_multi
1399. stog_sitemap
1400. stog_writing
1401. store
1402. stramon-lib
1403. stringCodepointSplitter
1404. stringx
1405. styled-ppx
1406. subprocess
1407. sun
1408. swapfs
1409. swhid
1410. swhid_compute
1411. swhid_core
1412. swhid_types
1413. swipl
1414. syguslib-utils
1415. synopsis
1416. TCSLib >= "0.5"
1417. tabr
1418. tacit
1419. taglib >= "0.3.7"
1420. talaria-bibtex
1421. talon
1422. tar
1423. tar-eio
1424. tar-mirage
1425. tar-unix
1426. tcalc >= "1.1.1"
1427. tcs-lib
1428. telemetry
1429. term-indexing
1430. term-tools
1431. terminal
1432. terminus
1433. terminus-cohttp
1434. terminus-hlc
1435. terml
1436. testo
1437. testo-diff
1438. testo-lwt
1439. testo-util
1440. testu01
1441. textmate-language
1442. textrazor
1443. tezos-bls12-381-polynomial >= "0.1.3"
1444. tezos-plompiler >= "0.1.3"
1445. tezos-plonk >= "0.1.3"
1446. tezt-bam
1447. theora
1448. thread-table
1449. tidy_email
1450. tidy_email_mailgun
1451. tidy_email_sendgrid
1452. tidy_email_smtp
1453. timed >= "1.1"
1454. timedesc >= "0.8.0"
1455. timedesc-json
1456. timedesc-sexp
1457. timedesc-tzdb
1458. timedesc-tzlocal
1459. timedesc-tzlocal-js
1460. timere >= "0.8.0"
1461. timmy
1462. timmy-jsoo
1463. timmy-lwt
1464. timmy-unix
1465. tiny_httpd
1466. tiny_httpd_camlzip
1467. tinyfiledialogs
1468. tip-parser >= "0.4"
1469. tls-liquidsoap
1470. toc
1471. togglelog
1472. toml
1473. toml_cconv >= "7.0.0"
1474. topojson
1475. topojsone
1476. touist >= "3.5.0"
1477. trace
1478. trace-fuchsia
1479. trace-tef
1480. tracy-client
1481. trail
1482. traits
1483. trampoline
1484. transept
1485. traverse >= "0.3.0"
1486. travesty >= "0.7.2"
1487. trexio
1488. trs
1489. tsdl-image >= "0.3.0"
1490. tsdl-mixer
1491. tsdl-ttf >= "0.3"
1492. tty
1493. twirp_cohttp_lwt_unix
1494. twirp_core
1495. twirp_ezcurl
1496. twirp_tiny_httpd
1497. tyabt
1498. type_eq
1499. type_id
1500. typed_list
1501. typeid
1502. tyre >= "0.5"
1503. tyxml >= "4.6.0"
1504. tyxml-jsx >= "4.6.0"
1505. tyxml-lwd >= "0.2"
1506. tyxml-ppx >= "4.6.0"
1507. tyxml-syntax >= "4.6.0"
1508. ubase >= "0.20"
1509. um-abt
1510. unionFind >= "20250818"
1511. unisim_archisec
1512. universal-portal
1513. uring
1514. uring-trace
1515. uritemplate >= "0.1.0"
1516. urn
1517. utop >= "2.15.0"
1518. validate
1519. validator
1520. varray
1521. vdom
1522. vec >= "0.2.0"
1523. vendredi
1524. vlt >= "0.2.4"
1525. volgo
1526. volgo-base
1527. volgo-git-backend
1528. volgo-git-eio
1529. volgo-git-unix
1530. volgo-hg-backend
1531. volgo-hg-eio
1532. volgo-hg-unix
1533. volgo-vcs
1534. voqc >= "0.2.0"
1535. vorbis
1536. vue-jsoo >= "0.3"
1537. vue-ppx
1538. wasm >= "2.0.2"
1539. wasm_of_ocaml-compiler
1540. wayland
1541. waylaunch < "0.3.0"
1542. wcwidth
1543. websocket >= "2.15"
1544. websocket-async >= "2.15"
1545. websocket-lwt-unix >= "2.15"
1546. why3find
1547. win-eventlog >= "0.4"
1548. winsvc >= "1.0.1"
1549. wtr
1550. wtr-ppx
1551. wu-manber-fuzzy-search
1552. xapi-stdext-date
1553. xapi-stdext-encodings
1554. xapi-stdext-pervasives >= "4.19.0"
1555. xapi-stdext-std >= "4.19.0"
1556. xapi-stdext-threads >= "4.19.0"
1557. xapi-stdext-unix >= "4.19.0"
1558. xapi-stdext-zerocheck
1559. xcursor
1560. xdg
1561. xdg-basedir >= "0.0.5"
1562. xdge
1563. xkbcommon
1564. xlsx2csv
1565. xmelly
1566. xmldiff >= "0.7.0"
1567. xmldiff_js
1568. xoshiro
1569. xtmpl >= "0.19.0"
1570. xtmpl_js
1571. xtmpl_ppx
1572. yocaml
1573. yocaml_cmark
1574. yocaml_cmarkit
1575. yocaml_eio
1576. yocaml_git
1577. yocaml_jingoo
1578. yocaml_liquid
1579. yocaml_markdown
1580. yocaml_mustache
1581. yocaml_omd
1582. yocaml_otoml
1583. yocaml_runtime
1584. yocaml_syndication
1585. yocaml_unix
1586. yocaml_yaml
1587. yojson >= "2.0.0"
1588. yojson-five
1589. yosqlite
1590. yuujinchou >= "0.10.0" & < "3.0.0"
1591. zanuda
1592. zar
1593. zarr
1594. zarr-eio
1595. zarr-lwt
1596. zarr-sync
1597. zdd
1598. zed >= "3.2.0"
1599. zlib
1600. zlist >= "0.4.0"
1601. zmq >= "5.2.1"
1602. zmq-async >= "5.2.1"
1603. zmq-eio
1604. zmq-lwt >= "5.2.1"

None