package ocaml

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

None

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

None