package ocaml

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

None