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

None