package ocaml

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

None

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

None