package ocaml

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

None

1. 0install < "2.17"
2. 0install-gtk < "2.17"
3. ANSITerminal
4. aacplus
5. abella < "2.0.8"
6. acgtk < "2.1.0"
7. acpc < "2.0.0"
8. aez
9. afl
10. afl-persistent
11. ago
12. agrid
13. ahrocksdb
14. aifad
15. aio
16. alba < "0.4.1"
17. alcotest < "1.8.0"
18. alcotest-async < "1.7.0"
19. aliases
20. alsa
21. alt-ergo < "2.5.1"
22. alt-ergo-free
23. alt-ergo-lib < "2.5.1"
24. alt-ergo-parsers < "2.5.1"
25. altgr-ergo
26. amqp-client < "2.3.0"
27. amqp-client-async < "2.3.0"
28. amqp-client-lwt < "2.3.0"
29. ancient
30. angstrom
31. angstrom-async
32. angstrom-lwt-unix
33. angstrom-unix
34. ansi-parse
35. ansicolor
36. anycache
37. anycache-async
38. anycache-lwt
39. ao < "0.2.2"
40. apero-core
41. apero-net
42. apero-time
43. apron
44. archi
45. archi-async
46. archi-lwt
47. archimedes
48. arg-complete >= "0.2.1"
49. argon2
50. arp
51. asak < "0.4"
52. ascii85
53. asetmap
54. asl
55. asn1-combinators < "0.2.6"
56. assertions
57. assimp
58. astring
59. async-uri >= "0.4.0"
60. atd < "2.3.3"
61. atd2cconv
62. atdgen < "2.3.3"
63. atdgen-codec-runtime < "2.3.3"
64. atdgen-runtime < "2.3.3"
65. atdj < "2.3.3"
66. atds < "2.3.3"
67. atomic < "base"
68. augeas
69. aws
70. aws-async
71. aws-autoscaling
72. aws-cloudformation
73. aws-cloudtrail
74. aws-cloudwatch
75. aws-ec2
76. aws-elasticache
77. aws-elasticloadbalancing
78. aws-lwt
79. aws-rds
80. aws-route53
81. aws-s3 < "4.4.0"
82. aws-s3-async < "4.6.0"
83. aws-s3-lwt < "4.8.1"
84. aws-sdb
85. aws-sqs
86. aws-ssm
87. aws-sts
88. azblob
89. azblob-async
90. BetterErrors
91. balancer
92. bap-emacs-dot
93. bap-emacs-goodies
94. bap-emacs-mode
95. bap-frames
96. bap-signatures < "2.4.0"
97. base < "v0.14.0"
98. base-bytes >= "base"
99. base-implicits
100. base-metaocaml-ocamlfind
101. base-native-int63
102. base32
103. base58
104. base64 != "2.3.0"
105. base_quickcheck < "v0.15.0"
106. bastet < "2.0.0"
107. bastet_async
108. bastet_lwt
109. batch_jaro_winkler
110. batsat < "0.7"
111. batteries
112. bdd < "0.5"
113. bddapron
114. bddrand
115. bear
116. beluga < "1.0"
117. benchmark
118. benchpress
119. benchpress-server
120. bencode
121. bestline
122. bheap
123. bibtex2html
124. bigarray-compat
125. bigstring
126. bigstring-unix
127. bigstringaf < "0.9.0"
128. bimage < "0.2.1"
129. bimage-gtk < "0.2.1"
130. bimage-sdl < "0.2.1"
131. bimage-unix < "0.2.1"
132. bimap
133. bin_prot < "v0.14.1"
134. bin_tree
135. binaryen_dsl
136. binbin
137. bindlib < "6.0.0"
138. biniou
139. biocaml
140. bip32
141. bisect
142. bisect-summary
143. bisect_ppx
144. bisect_ppx-ocamlbuild
145. bitcoin < "3.0"
146. bitcoinml
147. bitmasks
148. bitstring
149. bitv
150. bjack < "0.1.6"
151. blake2 >= "0.2"
152. bloomf
153. bn128
154. bogue-tutorials < "0.2.0"
155. bolt
156. bookaml
157. bos < "0.2.1"
158. bpf
159. bracetax
160. broken
161. brotli
162. brozip
163. bsdowl
164. bson2
165. bst
166. buffer-pool
167. build_path_prefix_map
168. bun
169. bwrap
170. bytearray
171. bytepdf
172. cairo2
173. cairo2-gtk
174. cairo2-pango
175. calculon < "0.7"
176. calculon-web
177. calendar
178. calendars
179. callipyge
180. camelsnakekebab
181. caml-mode
182. camlbz2
183. camldiets
184. camlgpc
185. camlidl
186. camlimages < "5.0.2"
187. camllib
188. camlmix
189. camlon < "3.0.0"
190. camlp-streams
191. camlp4 = "4.02.0-1modular-implicits" | >= "4.06+1" & < "4.07+1"
192. camlp5 < "8.02.01"
193. camlpdf < "2.5"
194. camlprime
195. camltc
196. camlzip < "1.11"
197. camomile < "2.0.0"
198. capnp < "3.6.0"
199. captureio
200. caqti < "2.0.1"
201. caqti-async
202. caqti-driver-mariadb
203. caqti-driver-pgx < "2.1.1"
204. caqti-driver-postgresql
205. caqti-driver-sqlite3 != "1.7.0"
206. caqti-dynload
207. caqti-lwt
208. caqti-mirage
209. caqti-tls
210. caqti-type-calendar
211. catala-format >= "0.2.0"
212. cbor < "0.5"
213. cconv
214. cconv-ppx
215. cdrom
216. ceph
217. certify < "0.3.3"
218. cfg < "2.3.0"
219. cfgen
220. cfstream
221. cgi
222. cgroups
223. chacha
224. chalk
225. charInfo_width
226. chase
227. checkseum < "0.1.1"
228. choice
229. cinaps < "v0.12.0" | >= "v0.15.0"
230. clangml < "4.3.0"
231. clangml-transforms < "0.26"
232. cll
233. cloudi
234. cmark
235. cmarker
236. cmdliner < "1.3.0"
237. cmdtui
238. cmdtui-lambda-term
239. cmitomli
240. coccinelle < "1.3.0"
241. codept < "0.12.1"
242. codept-lib
243. cohttp < "4.0.0"
244. cohttp-async < "4.1.2"
245. cohttp-lwt < "4.0.0"
246. cohttp-lwt-jsoo < "5.3.0"
247. cohttp-lwt-unix < "4.0.0"
248. coin
249. colombe != "0.2.0"
250. color < "0.3.0"
251. color-brewery
252. combic
253. combinat < "3.0"
254. combine
255. conduit < "6.1.0"
256. conduit-async < "6.2.3"
257. conduit-lwt < "6.1.0"
258. conduit-lwt-unix < "2.2.2"
259. conex
260. conf-bap-llvm < "1.7"
261. conf-binutils < "0.3"
262. conf-cuda
263. conf-ida
264. conf-libev
265. conf-radare2
266. config >= "0.0.3"
267. config-file
268. configuration
269. configurator
270. conjury < "2.1"
271. containers < "3.13"
272. containers-data < "3.13"
273. containers-thread
274. coq < "8.16.0"
275. coq-lsp >= "0.1.9+8.17"
276. coq-serapi < "8.10.0+0.7.0"
277. coq-shell
278. coqide < "8.10.0"
279. cordova
280. cordova-plugin-activity-indicator
281. cordova-plugin-background-mode
282. cordova-plugin-barcode-scanner
283. cordova-plugin-battery-status
284. cordova-plugin-camera
285. cordova-plugin-clipboard
286. cordova-plugin-datepicker
287. cordova-plugin-device
288. cordova-plugin-device-motion
289. cordova-plugin-device-orientation
290. cordova-plugin-dialogs
291. cordova-plugin-email-composer
292. cordova-plugin-fcm
293. cordova-plugin-file
294. cordova-plugin-file-opener
295. cordova-plugin-file-transfer
296. cordova-plugin-geolocation
297. cordova-plugin-globalization
298. cordova-plugin-image-picker
299. cordova-plugin-inappbrowser
300. cordova-plugin-insomnia
301. cordova-plugin-keyboard
302. cordova-plugin-loading-spinner
303. cordova-plugin-local-notifications
304. cordova-plugin-media
305. cordova-plugin-media-capture
306. cordova-plugin-network-information
307. cordova-plugin-progress
308. cordova-plugin-push-notifications
309. cordova-plugin-qrscanner
310. cordova-plugin-screen-orientation
311. cordova-plugin-sim-card
312. cordova-plugin-sms
313. cordova-plugin-social-sharing
314. cordova-plugin-statusbar
315. cordova-plugin-toast
316. cordova-plugin-touch-id
317. cordova-plugin-vibration
318. cordova-plugin-videoplayer
319. corecount
320. cow
321. cowabloga
322. cpdf < "2.4"
323. cpm
324. cppo
325. cppo_ocamlbuild
326. cpu
327. cpuid
328. craml
329. crc
330. crdt-ml
331. crlibm
332. crontab
333. crowbar < "0.2"
334. crunch < "4.0.0"
335. cry < "1.0.0"
336. crypt
337. cryptodbm
338. cryptohash
339. cryptokit < "1.20"
340. cryptoverif < "2.08"
341. csexp
342. cstruct < "6.2.0"
343. cstruct-lwt < "6.2.0"
344. cstruct-sexp < "6.2.0"
345. cstruct-unix
346. csv
347. csv-lwt
348. csvtool
349. ctypes
350. ctypes-build
351. ctypes-foreign >= "0.21.1"
352. cubicle < "1.2.0"
353. cudf < "0.10"
354. cuid
355. curly
356. curses
357. curve-sampling
358. cviode
359. daft < "0.0.4"
360. datakit-server
361. datakit-server-9p
362. datalog < "0.7"
363. dblp-api
364. dbm
365. debian-formats
366. decimal < "0.1.1"
367. decoders
368. decoders-bencode
369. decoders-cbor
370. decoders-ezjsonm
371. decoders-ezxmlm
372. decoders-jsonm
373. decoders-msgpck
374. decoders-sexplib
375. decoders-yojson
376. decompress < "0.9.1"
377. dedukti < "2.7"
378. delimcc < "2020.10.08"
379. depext
380. depgraph
381. deriving
382. devkit < "1.20240429"
383. diet
384. digestif < "1.1.2"
385. disml
386. dispatch
387. dispatch-js
388. distributed
389. distributed-lwt
390. distributed-uwt
391. diy
392. dkml-component-offline-ocamlrun
393. dkml-option-vcpkg
394. dkml-runtime-common >= "2.0.3"
395. dlist
396. dlm
397. dns < "4.4.1"
398. dns-forward
399. dns-forward-lwt-unix
400. dns-lwt
401. dnssd
402. docker-api
403. dockerfile < "8.1.0"
404. dockerfile-cmd < "8.2.7"
405. dockerfile-opam < "8.2.7"
406. docout
407. dokeysto
408. dokeysto_camltc
409. dokeysto_lz4
410. dolmen < "0.5"
411. dolmen_bin
412. dolmen_loop
413. dolmen_lsp
414. dolmen_model
415. dolmen_type
416. dolog
417. domain-name
418. domainslib < "0.3.2"
419. dose3
420. dose3-extra
421. dotenv
422. down < "0.3.0"
423. dream-inertia
424. dryunit
425. dssi < "0.1.3"
426. dtoa
427. dtools
428. duff < "0.5"
429. dum
430. dune < "3.18.2"
431. dune-configurator >= "2.9.3" & < "3.18.2"
432. dune-deps < "1.4.0"
433. dune-release < "1.6.1"
434. dune_deps_extra
435. duppy < "0.9.0"
436. duration
437. dynload-sys
438. dyntype
439. earley < "3.0.0"
440. easy-format < "1.3.3"
441. easy_logging < "0.8.1"
442. easy_logging_yojson < "0.8.1"
443. edn < "0.2.0"
444. efl
445. ego
446. eigen
447. either
448. elasticsearch-cli
449. electrod < "0.8.0"
450. electrumAnalyzer
451. elina
452. elpi-option-legacy-parser
453. emile
454. emoji
455. encore < "0.6"
456. enumerators
457. epictetus
458. eqaf < "0.8"
459. errpy
460. esgg
461. exenum
462. exit
463. exn-source
464. expect < "0.1.0"
465. extlib
466. extprot
467. extunix < "0.4.4"
468. ez-conf-lib
469. ez_cmdliner < "0.2.0"
470. ez_config < "0.2.0"
471. ez_file < "0.2.0"
472. ez_hash >= "0.5.3"
473. ezcurl
474. ezcurl-lwt
475. ezdl
476. ezgzip
477. ezjs_ace
478. ezjs_blockies
479. ezjs_cleave
480. ezjs_crypto
481. ezjs_cytoscape
482. ezjs_d3pie
483. ezjs_extension
484. ezjs_fetch < "0.3"
485. ezjs_idb
486. ezjs_jquery
487. ezjs_min < "0.3.0"
488. ezjs_odometer
489. ezjs_push
490. ezjs_qrcode
491. ezjs_recaptcha
492. ezjs_timeline
493. ezjsonm < "1.3.0"
494. ezjsonm-lwt
495. ezsqlite
496. ezxmlm
497. FrontC < "4.0.0"
498. faad < "0.5.0"
499. facile
500. faraday
501. faraday-async < "0.7.2"
502. faraday-lwt
503. faraday-lwt-unix
504. farfadet
505. farmhash
506. fasmifra < "2.1.0"
507. fat-filesystem
508. fd-send-recv < "2.0.2"
509. fdkaac < "0.3.2"
510. feat
511. feat-core
512. feat-num
513. feather < "0.2.0"
514. febusy
515. ffmpeg < "1.0.0~beta1"
516. fftw3
517. fieldslib < "v0.15.0"
518. fileutils < "0.6.6"
519. findlib_top
520. fix
521. flac
522. flex-array
523. flock
524. fm-simplex-plugin
525. fmt < "0.9.0"
526. forester < "3.0.0"
527. format
528. fpath
529. frama-c < "22.0"
530. frama-c-metacsl < "0.2"
531. freetds
532. freetennis
533. frei0r < "0.1.2"
534. fstar < "2025.02.17"
535. fstreams
536. fswatch
537. fswatch_async
538. fswatch_lwt
539. functory
540. funfields
541. General
542. gadelac
543. gammu
544. gavl
545. gbddml
546. gd < "1.1"
547. gdal
548. gdbprofiler
549. gedcom
550. gemini < "0.3.0"
551. gen
552. gen-bs
553. genlet
554. genprint
555. genspio
556. genspir
557. geoip
558. get_line < "5.0.0"
559. getopt < "20230213"
560. getopts
561. gettext < "0.5.0"
562. gettext-camomile < "0.5.0"
563. gettext-stub < "0.5.0"
564. github < "4.4.0"
565. github-hooks
566. github-hooks-unix
567. github-jsoo < "4.4.0"
568. github-unix < "4.4.0"
569. gitlab_pipeline_notifier
570. gles3
571. glfw-ocaml
572. glical
573. glicko2
574. globlon
575. glpk
576. gluten < "0.4.0"
577. gluten-async < "0.4.0"
578. gluten-lwt < "0.4.0"
579. gluten-lwt-unix < "0.4.0"
580. gluten-mirage < "0.4.0"
581. gmap
582. gmp
583. gmp-xen
584. gnuplot
585. gobba < "0.4.2"
586. gobject-introspection
587. goblint-cil
588. gperftools
589. gpr < "1.5.0"
590. gptar
591. gpx
592. gr < "0.0.2"
593. graphicspdf
594. graphql < "0.14.0"
595. graphql-async < "0.14.0"
596. graphql-cohttp < "0.14.0"
597. graphql-lwt < "0.14.0"
598. graphql_jsoo_client
599. graphql_parser < "0.14.0"
600. graphql_ppx
601. grenier < "0.12"
602. grib
603. grid
604. gsl < "1.24.2"
605. gstreamer
606. gxl-light
607. h2 < "0.10.0"
608. h2-async < "0.10.0"
609. h2-lwt < "0.10.0"
610. h2-lwt-unix < "0.10.0"
611. h2-mirage < "0.10.0"
612. hack_parallel
613. hacl-star < "0.4.0"
614. hacl-star-raw < "0.4.0"
615. hacl_x25519
616. hamt
617. hashcons < "1.4.0"
618. hashids
619. hashset
620. haxe
621. hc < "0.2"
622. hdf5
623. hdfs
624. headache >= "1.06" & < "1.08"
625. heptagon
626. herdtools7 < "7.56.3"
627. heroicons-reason-react
628. hevea < "2.35"
629. hex < "1.5.0"
630. hidapi
631. hidapi-lwt
632. higher
633. higlo < "0.8"
634. hiredis
635. hiredis-value
636. hlarp
637. hll < "4.3"
638. hmap
639. hol_light
640. horned_worm
641. hpack < "0.10.0"
642. hts_shrink
643. httpaf
644. httpaf-async
645. httpaf-lwt-unix
646. huffman
647. humane-re
648. hvsock
649. hweak
650. hxd < "0.3.2"
651. hyper < "1.0.0~alpha2"
652. ISO3166
653. ISO8601
654. i2c
655. i3ipc
656. idd
657. idds
658. igvxml
659. index < "1.3.0"
660. index-bench
661. inferno < "20211222"
662. influxdb
663. influxdb-async
664. influxdb-lwt
665. inotify
666. inquire < "0.2.0"
667. inquirer_oc
668. inspect
669. integers
670. integration1d
671. interface-prime
672. interface-prime-lwt
673. interval < "1.6"
674. interval_base < "1.6"
675. interval_crlibm < "1.6"
676. interval_intel < "1.6"
677. inuit
678. io
679. io-page < "3.0.0"
680. io-page-unix
681. ipaddr < "5.6.0"
682. ipv6-multicast
683. ipv6-multicast-lwt
684. irc-client
685. irc-client-lwt
686. irc-client-lwt-ssl
687. irc-client-tls
688. irc-client-unix
689. iri < "0.5.0"
690. irmin-chunk
691. irmin-cli
692. irmin-containers
693. irmin-fs
694. irmin-git
695. irmin-graphql
696. irmin-http
697. irmin-indexeddb
698. irmin-layers
699. irmin-pack-tools
700. irmin-test
701. irmin-unix
702. irmin-watcher
703. irrlicht
704. iso639
705. iter < "1.7"
706. itv-tree
707. jane-street-headers < "v0.16.0"
708. javalib < "3.2.2"
709. javascriptcore
710. jbuilder
711. jekyll-format < "0.3.3"
712. jemalloc
713. jhupllib < "0.2.2"
714. jingoo
715. joolog
716. js-build-tools
717. js_of_ocaml < "5.1.0"
718. js_of_ocaml-camlp4
719. js_of_ocaml-compiler < "5.1.0"
720. js_of_ocaml-lwt < "5.1.0"
721. js_of_ocaml-ocamlbuild != "3.5.2"
722. js_of_ocaml-ppx < "5.1.0"
723. js_of_ocaml-ppx_deriving_json < "5.1.0"
724. js_of_ocaml-toplevel < "5.1.0"
725. js_of_ocaml-tyxml < "5.1.0"
726. json-data-encoding < "0.9"
727. json-data-encoding-browser < "0.9"
728. json-data-encoding-bson < "0.9"
729. json-derivers
730. json-rpc
731. json-static
732. json-wheel
733. json_decoder
734. json_of_jsonm
735. jsondiff
736. jsonm
737. jsonrpc < "1.6.0"
738. jsonxt
739. jsoo_broadcastchannel
740. jsoo_storage
741. jst-config < "v0.15.0"
742. junit < "2.0.1" | = "2.2.0"
743. junit_alcotest < "2.0.1"
744. junit_ounit < "2.0.1"
745. jupyter < "2.7.8"
746. jupyter-archimedes
747. jupyter-kernel < "0.8"
748. jwt
749. jwto < "0.4.0"
750. kafka
751. kafka_async
752. kafka_lwt
753. kappa-agents < "4.1.3"
754. kappa-binaries < "4.1.3"
755. kappa-library < "4.1.3"
756. kappa-server
757. kaputt
758. ke < "0.6"
759. key-parsers < "1.2.1"
760. kicadsch < "0.5.1"
761. kinetic-client
762. kubecaml
763. kyotocabinet
764. lablgl < "1.07"
765. lablgtk
766. lablgtk-extras
767. lablgtk3 < "3.1.2"
768. lablgtk3-gtkspell3 < "3.1.2"
769. lablgtk3-sourceview3 < "3.1.2"
770. lablgtkosx
771. lablqml < "0.7"
772. labrys
773. lacaml < "11.0.6"
774. ladspa < "0.2.0"
775. lambda
776. lambda-term < "3.2.0"
777. lambda_streams
778. lambda_streams_lwt
779. lambdasoup
780. lame < "0.3.4"
781. landmarks < "1.4"
782. lascar < "0.6.0"
783. lastfm < "0.3.3"
784. launchd
785. lazy-trie
786. lbfgs
787. lbvs_consent < "2.0.0"
788. ldap
789. ledit
790. lem < "2022-12-10"
791. lemonade
792. lemonade-sqlite
793. lens < "1.2.4"
794. letters < "0.1.1"
795. leveldb
796. levenshtein
797. libdash < "0.3"
798. libevent
799. libsail < "0.19"
800. libssh
801. libsvm
802. libudev
803. libzipperposition < "2.0"
804. line_oriented
805. linenoise
806. linkage
807. links < "0.9.2"
808. links-postgresql < "0.9.2"
809. links-sqlite3 < "0.9.2"
810. linksem < "0.8"
811. lipsum
812. liquidsoap-daemon
813. llopt
814. llvm
815. llvmgraph
816. lmdb >= "1.0"
817. lo < "0.2.0"
818. loga
819. logical
820. logs < "0.8.0"
821. logs-async >= "1.3"
822. logs-async-reporter >= "1.3"
823. logs-syslog
824. logtk < "2.0"
825. lpd
826. lpi
827. lru != "0.3.0-1"
828. lru-cache
829. lsp < "1.6.0"
830. lua_pattern
831. lustre-v6
832. lutils
833. lutin
834. luv
835. luv_unix
836. lwd
837. lwt < "5.6.0"
838. lwt-binio
839. lwt-canceler
840. lwt-dllist
841. lwt-pipe
842. lwt-pipeline
843. lwt-watcher
844. lwt-zmq
845. lwt_camlp4
846. lwt_domain < "0.2.0"
847. lwt_eio < "0.2"
848. lwt_glib
849. lwt_log
850. lwt_named_threads
851. lwt_ppx < "2.1.0"
852. lwt_react < "1.2.0"
853. lwt_ssl
854. lymp
855. lz4
856. lz4_chans >= "3.0.0"
857. lzo
858. macaddr < "5.6.0"
859. macaque
860. macaroons
861. mad < "0.5.0"
862. magic < "0.7.4"
863. magic-mime
864. maildir
865. make-random
866. malfunction < "0.5"
867. markdown
868. markup
869. mastodon-archive-viewer < "0.4.0"
870. matplotlib
871. maxminddb
872. mc2
873. mccs
874. mdx < "2.0.0"
875. mecab
876. mechaml
877. mel
878. melange-atdgen-codec-runtime
879. melange-fest
880. melange-fetch
881. melange-json >= "1.1.0"
882. melange-moment
883. melange-numeral
884. melange-react-dates
885. melange-recharts
886. melange-testing-library
887. melange-webapi >= "0.21.0"
888. meldep
889. memcpy < "0.2.2"
890. memgraph_kitty
891. memo < "0.2"
892. menhir != "20211125"
893. menhirLib
894. menhirSdk
895. merge-fmt < "0.4"
896. mergeable-vector
897. merlin < "4.5-411"
898. merlin-extend
899. merlin-of-pds
900. mesh
901. mesh-display
902. mesh-easymesh
903. mesh-graphics
904. mesh-triangle
905. metapp < "0.3.0"
906. metaquot < "0.3.0"
907. metrics
908. metrics-influx
909. metrics-lwt
910. metrics-unix
911. mew
912. mew_vi
913. milter
914. mindstorm
915. mindstorm-lwt
916. minicaml
917. minicli
918. minilight
919. minima-theme
920. minimal
921. minisat != "0.3"
922. minivpt
923. mirage < "4.0.0"
924. mirage-block < "3.0.2"
925. mirage-block-combinators
926. mirage-block-lwt
927. mirage-block-ramdisk
928. mirage-block-unix
929. mirage-btrees
930. mirage-channel < "4.1.0"
931. mirage-channel-lwt
932. mirage-clock < "4.2.0"
933. mirage-clock-lwt
934. mirage-clock-unix < "4.2.0"
935. mirage-conduit
936. mirage-console
937. mirage-console-lwt
938. mirage-device
939. mirage-dns
940. mirage-flow < "3.0.0"
941. mirage-flow-lwt
942. mirage-fs < "4.0.0"
943. mirage-fs-lwt
944. mirage-kv < "4.0.0"
945. mirage-kv-lwt
946. mirage-kv-mem < "3.1.0"
947. mirage-kv-unix < "3.0.0"
948. mirage-net < "4.0.0"
949. mirage-net-lwt
950. mirage-net-macosx
951. mirage-net-unix
952. mirage-no-solo5
953. mirage-no-xen
954. mirage-profile
955. mirage-protocols < "7.0.0"
956. mirage-protocols-lwt
957. mirage-qubes-ipv4
958. mirage-random < "3.0.0"
959. mirage-seal
960. mirage-stack < "3.0.0"
961. mirage-stack-lwt
962. mirage-tc
963. mirage-time < "3.0.0"
964. mirage-time-lwt
965. mirage-types
966. mirage-types-lwt
967. mirage-unix
968. mirage-xen-minios
969. mirage-xen-posix
970. misuja
971. mixture
972. mkaudio
973. mkocaml >= "1.2"
974. mlbdd
975. mlcuddidl
976. mldonkey
977. mlgmpidl
978. mlmpfr
979. mm < "0.5.0" | >= "0.7.0" & < "0.7.4"
980. mmap
981. mmdb
982. mmseg
983. mock < "1.0.0"
984. mock-ounit < "1.0.0"
985. modular-arithmetic
986. molenc < "15.4.0"
987. monadlib
988. monolith < "20230604"
989. monomorphic < "2.0"
990. morbig < "0.11.0"
991. more-ocaml
992. morsmall
993. mosquitto
994. moss
995. mparser
996. mparser-pcre
997. mparser-re
998. mpg123
999. mpi
1000. mpp
1001. mpris
1002. mpris-clients
1003. msat
1004. msat-bin
1005. msgpack
1006. msgpck < "1.5"
1007. mssql
1008. mstruct
1009. mtime < "1.4.0"
1010. mtl
1011. multicodec
1012. multipart-form-data < "0.3.0"
1013. murmur3
1014. mustache < "3.2.0"
1015. mvar
1016. mwt
1017. mybuild
1018. mysql
1019. naboris < "0.1.1"
1020. named-pipe
1021. namespaces
1022. nanoev_tiny_httpd
1023. nbd < "6.0.0"
1024. netlink
1025. nice_parser
1026. nlopt-ocaml
1027. nlp
1028. nmea
1029. nocoiner
1030. nocrypto
1031. noise
1032. nonstd
1033. nosetup
1034. notty < "0.2.3"
1035. notty_async < "v0.12.0"
1036. nproc
1037. npy
1038. nsq
1039. num
1040. numalib
1041. OCanren-ppx < "0.3.0"
1042. oasis
1043. oasis2debian
1044. oasis2opam
1045. obandit
1046. obeam < "0.1.0" | = "0.1.2"
1047. obelisk < "0.5.0"
1048. obi
1049. objsize
1050. obuild
1051. obus < "1.2.5"
1052. obytelib != "1.5"
1053. oc45
1054. ocal
1055. ocaml-base-compiler = "4.06.1"
1056. ocaml-basics
1057. ocaml-buddy
1058. ocaml-canvas
1059. ocaml-compiler-libs < "v0.17.0"
1060. ocaml-expat < "1.3.0"
1061. ocaml-http
1062. ocaml-inifiles
1063. ocaml-js-stdlib
1064. ocaml-logicalform
1065. ocaml-lsp-server < "1.9.0"
1066. ocaml-makefile < "6.39.2"
1067. ocaml-markdown
1068. ocaml-migrate-parsetree >= "1.3.0~4.08.0+beta3"
1069. ocaml-migrate-parsetree-ocamlbuild
1070. ocaml-monadic
1071. ocaml-print-intf
1072. ocaml-protoc < "3.0.0"
1073. ocaml-protoc-plugin >= "1.0.0" & < "4.3.1"
1074. ocaml-protoc-yojson
1075. ocaml-r < "0.4.0"
1076. ocaml-sat-solvers < "0.7"
1077. ocaml-src = "4.06.1"
1078. ocaml-syntax-shims
1079. ocaml-system < "4.13.0"
1080. ocaml-systemd
1081. ocaml-top < "1.2.0"
1082. ocaml-twt
1083. ocaml-variants >= "4.06.1+32bit" & < "4.06.2+trunk"
1084. ocaml-version < "3.5.0"
1085. ocaml-xdg-basedir < "transition"
1086. ocamlapi
1087. ocamlapi_async
1088. ocamlapi_lwt_unix
1089. ocamlapi_ppx
1090. ocamlbuild < "0.15.0"
1091. ocamlbuild-atdgen
1092. ocamlbuild-pkg
1093. ocamlbuild-protoc
1094. ocamlclean
1095. ocamldap
1096. ocamldiff < "1.2"
1097. ocamldsort
1098. ocamlfind
1099. ocamlfind-lint
1100. ocamlformat != "0.13.0" & < "0.17.0"
1101. ocamlfuse
1102. ocamlgraph < "2.1.0"
1103. ocamlgraph_gtk < "2.2.0"
1104. ocamlify < "0.1.0"
1105. ocamline
1106. ocamlmod
1107. ocamlnet
1108. ocamlog
1109. ocamlpp
1110. ocamlrss
1111. ocamlscript < "3.0.0"
1112. ocamlsdl
1113. ocamlsdl2
1114. ocamlsdl2-image
1115. ocamlsdl2-ttf
1116. ocamlwc
1117. ocamlyices
1118. ocb
1119. ocb-stubblr
1120. ocephes
1121. ockt
1122. oclock
1123. ocolor
1124. ocp-browser != "1.2.1" & < "1.3.4"
1125. ocp-build
1126. ocp-indent
1127. ocp-indent-nlfork
1128. ocp-index < "1.3.4"
1129. ocp-index-top
1130. ocp-ocamlres
1131. ocp-pack-split
1132. ocp-pp
1133. ocp-reloc
1134. ocp_reveal
1135. ocplib-endian
1136. ocplib-json-typed
1137. ocplib-json-typed-browser
1138. ocplib-json-typed-bson
1139. ocplib-resto
1140. ocplib-simplex
1141. ocplib_stuff < "0.3.0"
1142. ocsfml
1143. ocsigen-i18n < "3.6.0"
1144. ocsigen-start < "6.1.1"
1145. ocsigenserver < "2.18.0"
1146. octavius
1147. ocurl < "transition"
1148. ocveralls
1149. odash
1150. odbc
1151. odds < "1.1"
1152. odepack
1153. odnnr
1154. odoc
1155. odoc-depgraph
1156. odoc-parser
1157. ofx
1158. ogen
1159. ogg < "1.0.0"
1160. olinq
1161. ollvm
1162. ollvm-tapir
1163. olmi
1164. omake
1165. omd < "2.0.0~alpha3"
1166. omg
1167. oml
1168. omlr
1169. oolc
1170. opaca
1171. opal
1172. opam-bin = "0.9.5"
1173. opam-build < "0.2.3"
1174. opam-bundle
1175. opam-ci
1176. opam-client < "2.2.0"
1177. opam-core < "2.2.0"
1178. opam-depext
1179. opam-devel < "2.2.0"
1180. opam-ed
1181. opam-file-format
1182. opam-format < "2.2.0"
1183. opam-installer < "2.2.0"
1184. opam-lib
1185. opam-lock
1186. opam-package-upgrade < "0.2"
1187. opam-publish < "2.5.1"
1188. opam-repository < "2.2.0"
1189. opam-solver < "2.2.0"
1190. opam-state < "2.2.0"
1191. opam-test < "0.2.3"
1192. opam_bin_lib < "1.0.0"
1193. opamconfig
1194. opamfu
1195. opasswd
1196. opazl
1197. open
1198. openai-gym
1199. openbsd
1200. opencc
1201. opencc0
1202. opencc1
1203. opencc1_1
1204. operf-micro < "1.1.3"
1205. opium < "0.19.0"
1206. opium_kernel
1207. oplot
1208. oplsr
1209. opti
1210. optimization1d
1211. oqamldebug
1212. oraft < "0.3.0"
1213. orandforest
1214. ordma
1215. orec
1216. orf < "1.0.1"
1217. orm
1218. orocksdb
1219. orpie
1220. orrandomForest
1221. orsetto < "1.1"
1222. orsvm_e1071
1223. orxgboost
1224. osbx
1225. osc < "0.2.0"
1226. osdp < "1.1.1"
1227. oseq < "0.5"
1228. ostap < "0.6"
1229. osx-acl
1230. osx-attr
1231. osx-cf
1232. osx-fsevents
1233. osx-membership
1234. osx-mount
1235. osx-plutil
1236. osx-secure-transport
1237. osx-xattr
1238. otf
1239. otfm
1240. ott < "0.33"
1241. otto
1242. ounit < "2.2.0"
1243. ounit-lwt < "2.2.0"
1244. ounit2
1245. ounit2-lwt
1246. override < "0.4.0"
1247. owee < "0.8"
1248. owl < "0.9.0"
1249. owl-base < "0.9.0"
1250. owl-jupyter
1251. owl-ode < "0.4.0"
1252. owl-ode-base < "0.4.0"
1253. owl-ode-odepack < "0.4.0"
1254. owl-ode-sundials < "0.4.0"
1255. owl-opt
1256. owl-opt-lbfgs
1257. owl-plplot < "0.9.0"
1258. owl-symbolic
1259. owl-top < "0.9.0"
1260. owl-zoo < "0.9.0"
1261. owork
1262. pa_comprehension
1263. pa_monad_custom
1264. pa_qualified
1265. pa_solution
1266. pa_where
1267. pacomb
1268. pandoc-abbreviations
1269. papi
1270. parany
1271. pardi
1272. pareto
1273. parmap
1274. parsexp < "v0.15.0"
1275. parsexp_io < "v0.15.0"
1276. partition_map
1277. passmaker
1278. passmakercmd
1279. patch < "3.0.0~alpha1"
1280. path_glob
1281. pattern = "0.2.0"
1282. pbrt < "3.0.0"
1283. pbs
1284. pcap-format < "0.6.0"
1285. pci
1286. pci-db
1287. pcre < "7.4.2"
1288. pds < "5.42"
1289. pds-reachability < "0.2.3"
1290. pecu
1291. petr4
1292. pfff
1293. pgocaml < "4.0"
1294. pgsolver < "4.3"
1295. pgx < "1.0"
1296. pgx_async < "1.0"
1297. pgx_lwt < "1.0"
1298. pgx_unix < "1.0"
1299. phantom-algebra
1300. phashtbl
1301. phonetic
1302. pilat < "1.6"
1303. piqi
1304. piqilib
1305. pixel_pusher
1306. pkcs11 < "1.0.1"
1307. pkcs11-driver < "1.0.1"
1308. pla < "2.0"
1309. plato
1310. plist
1311. plplot
1312. podge
1313. polars
1314. polka
1315. polly < "0.4.1"
1316. polyglot
1317. pomap < "4.1.2"
1318. portaudio < "0.2.2"
1319. portia
1320. posix-clock
1321. posix-getopt < "2.0.0"
1322. posix-math
1323. posix-mqueue
1324. posix-semaphore
1325. posix-time
1326. posix-types
1327. postgresql < "4.5.1"
1328. pp < "1.1.2"
1329. pprint
1330. ppx-owl-opt
1331. ppx_assert < "v0.15.0"
1332. ppx_base < "v0.15.0"
1333. ppx_bench < "v0.15.0"
1334. ppx_bin_prot < "v0.15.0"
1335. ppx_blob < "0.9.0"
1336. ppx_cold < "v0.15.0"
1337. ppx_compare < "v0.15.0"
1338. ppx_compose
1339. ppx_const
1340. ppx_cstruct < "6.0.0"
1341. ppx_cstubs
1342. ppx_custom_printf < "v0.15.0"
1343. ppx_defer < "0.5.0"
1344. ppx_derivers
1345. ppx_deriving
1346. ppx_deriving_argparse
1347. ppx_deriving_cmdliner
1348. ppx_deriving_madcast
1349. ppx_deriving_protobuf
1350. ppx_deriving_protocol
1351. ppx_deriving_variant_string
1352. ppx_deriving_yojson
1353. ppx_distr_guards < "0.3"
1354. ppx_dream_eml
1355. ppx_enumerate < "v0.15.0"
1356. ppx_expect < "v0.15.0"
1357. ppx_fail
1358. ppx_fields_conv < "v0.15.0"
1359. ppx_fixed_literal < "v0.15.0"
1360. ppx_gen_rec
1361. ppx_getenv
1362. ppx_hash < "v0.15.0"
1363. ppx_here < "v0.15.0"
1364. ppx_import
1365. ppx_inline_alcotest
1366. ppx_inline_test < "v0.15.0"
1367. ppx_irmin < "2.3.0"
1368. ppx_jane < "v0.15.0"
1369. ppx_js_style < "v0.15.0"
1370. ppx_let < "v0.15.0"
1371. ppx_log < "v0.15.0"
1372. ppx_matches
1373. ppx_module_timer < "v0.15.0"
1374. ppx_monoid
1375. ppx_mysql
1376. ppx_mysql_identity
1377. ppx_nanocaml
1378. ppx_optcomp < "v0.14.3"
1379. ppx_optint
1380. ppx_optional < "v0.15.0"
1381. ppx_pipebang < "v0.15.0"
1382. ppx_protocol_conv < "5.2.0"
1383. ppx_protocol_conv_json < "5.2.1"
1384. ppx_protocol_conv_jsonm < "5.2.1"
1385. ppx_protocol_conv_msgpack < "5.2.1"
1386. ppx_protocol_conv_xml_light < "5.2.1"
1387. ppx_protocol_conv_xmlm < "5.2.1"
1388. ppx_protocol_conv_yaml < "5.2.1"
1389. ppx_python < "v0.15.0"
1390. ppx_regexp
1391. ppx_seq >= "0.2.0"
1392. ppx_sexp_conv < "v0.15.0"
1393. ppx_sexp_message < "v0.15.0"
1394. ppx_sexp_value < "v0.15.0"
1395. ppx_stable < "v0.15.0"
1396. ppx_string < "v0.15.0"
1397. ppx_string_interpolation < "1.1.0"
1398. ppx_system
1399. ppx_there
1400. ppx_tools_versioned
1401. ppx_traverse_builtins
1402. ppx_type_conv
1403. ppx_typerep_conv < "v0.15.0"
1404. ppx_tyre
1405. ppx_unreachable
1406. ppx_variants_conv < "v0.15.0"
1407. ppx_wideopen
1408. ppx_yojson < "1.2.0"
1409. ppx_yojson_conv < "v0.15.0"
1410. ppx_yojson_conv_lib < "v0.16.0"
1411. ppxfind
1412. ppxlib < "0.14.0" | = "0.17.0" | >= "0.21.1" & < "0.35.0"
1413. pratter != "1.0" & < "2.0.0"
1414. pretty_expressive
1415. primes
1416. pringo
1417. printbox < "0.7"
1418. printbox-text < "0.8"
1419. process
1420. prof_spacetime
1421. profiler-plugin
1422. proj4
1423. prometheus
1424. prometheus-app < "1.2"
1425. promise
1426. prooftree
1427. protocell
1428. protocol-9p
1429. protocol-9p-tool
1430. protocol-9p-unix
1431. proverif
1432. psmt2-frontend
1433. psq
1434. psyche
1435. ptime < "1.2.0"
1436. ptmap != "2.0.4"
1437. ptset
1438. publish
1439. pulseaudio < "0.1.4"
1440. pumping
1441. pure-splitmix
1442. pvem
1443. pxp
1444. py
1445. pyast
1446. pyml
1447. qbf < "0.3"
1448. qcheck < "0.25"
1449. qcheck-core < "0.25"
1450. qcheck-ounit < "0.25"
1451. qcow < "0.12.1"
1452. qcow-tool < "0.12.1"
1453. qcstm
1454. qfs
1455. qiskit
1456. qmp
1457. qrencode
1458. qtest
1459. quest
1460. quests
1461. quick_print
1462. r2pipe
1463. radamsa
1464. radare2
1465. randomconv < "0.2.0"
1466. range
1467. ranger
1468. rangeSet
1469. raw_spacetime
1470. rawlink < "2.1"
1471. raygui >= "1.4.0"
1472. raygun4ocaml
1473. rdbg
1474. rdf < "0.12.0"
1475. rdr
1476. re != "1.9.0" & < "1.12.0"
1477. reactiveData < "0.2.4"
1478. reactjs-jsx-ppx
1479. reanalyze < "2.23.0"
1480. reason < "3.16.0"
1481. reason-react >= "0.14.0"
1482. received < "0.5.2"
1483. records < "1.0.0"
1484. redirect >= "0.1.1"
1485. redis
1486. redis-lwt
1487. redis-sync
1488. reed-solomon-erasure
1489. reedsolomon
1490. refl < "0.4.0"
1491. regenerate
1492. remu_ts
1493. res < "5.0.2"
1494. rescript-syntax
1495. reshowcase
1496. resource-pooling
1497. resp < "0.10.0"
1498. resp-client < "0.10.0"
1499. resp-mirage < "0.10.0"
1500. resp-server < "0.10.0"
1501. resp-unix < "0.10.0"
1502. result
1503. revops
1504. rfc1951 < "0.9.1"
1505. rfc6287 < "1.0.4"
1506. rfc7748
1507. rfsm < "1.6.0"
1508. rhythm
1509. riak
1510. riak-pb
1511. ringo < "1.0.0"
1512. ringo-lwt
1513. rlp
1514. rml < "1.09.06"
1515. rmlbuild
1516. roman
1517. root1d
1518. rope < "0.6.3"
1519. rosetta
1520. rotor
1521. routes < "2.0.0"
1522. rpc
1523. rpclib-async
1524. rpclib-html
1525. rpclib-js
1526. rpclib-lwt
1527. rresult < "0.7.0"
1528. rtop < "3.16.0"
1529. rtree
1530. rungen
1531. rusage
1532. rust-staticlib-virtual
1533. safa
1534. safepass
1535. sail < "0.15"
1536. salsa20 < "1.1.0"
1537. salsa20-core
1538. samplerate < "0.1.6"
1539. sanddb
1540. sanlock
1541. satML-plugin
1542. sattools
1543. satyrographos < "0.0.2.7"
1544. savvy
1545. sawja < "1.5.8"
1546. scgi
1547. schroedinger
1548. scid
1549. scrypt
1550. secp256k1
1551. secp256k1-internal < "0.2.0"
1552. sedlex < "2.6"
1553. sek
1554. selfie
1555. semaphore-compat
1556. semver < "0.2.1"
1557. semver2
1558. sendmail >= "0.2.0"
1559. sendmail-lwt >= "0.2.0"
1560. sendmail-mirage
1561. sendmsg
1562. seq = "0.3.1"
1563. sequence
1564. session < "0.5.0"
1565. session-cohttp < "0.5.0"
1566. session-cohttp-async < "0.5.0"
1567. session-cohttp-lwt < "0.5.0"
1568. session-postgresql < "0.5.0"
1569. session-postgresql-async < "0.5.0"
1570. session-postgresql-lwt < "0.5.0"
1571. session-redis-lwt < "0.5.0"
1572. session-webmachine < "0.5.0"
1573. sessions
1574. setcore
1575. setr
1576. sexplib < "v0.15.0"
1577. sexplib0 < "v0.15.1"
1578. sfml >= "0.09"
1579. sgf
1580. sha
1581. shades
1582. shapefile
1583. shared-block-ring
1584. shared-secret
1585. shcaml
1586. sherlodoc
1587. shine
1588. sid
1589. sifun
1590. simlog < "0.0.4"
1591. simple-diff
1592. simple_pam
1593. slacko < "0.15.0"
1594. slap
1595. slug
1596. smart-print
1597. smbc
1598. smtlib-utils < "0.4"
1599. smtp
1600. snappy
1601. snf_mcp
1602. so
1603. socketcan
1604. sodium
1605. sosa
1606. soundtouch
1607. spacetime_lib
1608. spawn
1609. spdx_licenses < "1.1.0"
1610. spelll != "0.3"
1611. spf
1612. spin < "0.6.0"
1613. spirv
1614. splittable_random < "v0.15.0"
1615. spotify_ml
1616. spotlib < "4.1.0"
1617. spreadsheet
1618. sqlgg
1619. sqlite3 < "5.0.3"
1620. sqlite3_utils < "0.4"
1621. srs
1622. ssh-agent < "0.4.0"
1623. ssl
1624. sslconf
1625. starred_ml
1626. starterkit
1627. statmemprof-emacs
1628. statocaml
1629. statocaml_changelog
1630. statocaml_community
1631. statocaml_db
1632. statocaml_github
1633. statocaml_go
1634. statocaml_gui
1635. statocaml_html
1636. statocaml_plots
1637. statocaml_profile
1638. statverif
1639. stb_image
1640. stb_image_write
1641. stb_truetype
1642. stdcompat < "20.0"
1643. stdint != "0.6.0"
1644. stdio < "v0.15.0"
1645. stdlib-shims
1646. stemmer
1647. stemming
1648. stitch
1649. stog < "0.19.0"
1650. stog-rdf
1651. stog-writing < "0.19.0"
1652. stone
1653. store
1654. string_dict < "v0.15.0"
1655. stringext
1656. sturgeon
1657. subscriptions-transport-ws
1658. subtype-refinement
1659. sugar
1660. sundialsml
1661. swagger
1662. swhid_core
1663. symkat
1664. syndic
1665. sys-socket
1666. sys-socket-unix
1667. syslog
1668. syslog-message < "1.2.0"
1669. systemverilog < "0.0.2"
1670. TCSLib < "0.5"
1671. tablecloth-native != "0.0.8"
1672. tabr
1673. taglib < "0.3.7"
1674. tallgeese
1675. tcx
1676. tdk
1677. telegraml
1678. tensorboard
1679. tensorflow
1680. termbox
1681. terminal
1682. terminal_size < "0.2.0"
1683. testu01
1684. text
1685. textrazor
1686. textwrap
1687. tezos-protocol-environment-packer
1688. tezt-bam
1689. thrift
1690. tidy
1691. time_now < "v0.15.0"
1692. timed < "1.1"
1693. timedesc < "0.8.0"
1694. timere < "0.8.0"
1695. timere-parse
1696. tiny_httpd < "0.16"
1697. tiny_httpd_camlzip < "0.15"
1698. tiny_json
1699. tip-parser < "0.5"
1700. tjr_simple_earley
1701. tls < "0.12.8"
1702. toc
1703. tofn
1704. toml < "7.0.0"
1705. toml-cconv
1706. toml_cconv < "7.0.0"
1707. tophide < "1.1.0"
1708. topkg < "1.0.8"
1709. topkg-jbuilder
1710. torch < "0.6"
1711. touist
1712. tplib
1713. tptp
1714. traildb
1715. trampoline
1716. traverse
1717. trax < "0.4.0"
1718. tree_layout
1719. treeprint < "2.3.0"
1720. trie
1721. tsdl < "1.1.0"
1722. tsdl-image
1723. tsdl-mixer
1724. tsdl-ttf
1725. tsort
1726. tuareg
1727. tube
1728. tuntap
1729. type_conv
1730. type_eq
1731. type_id
1732. typerep < "v0.15.0"
1733. typerex-binutils
1734. tyre
1735. tyxml
1736. tyxml-jsx
1737. tyxml-ppx
1738. tyxml-syntax
1739. ubase < "0.20"
1740. ubpf
1741. ucaml
1742. uchar
1743. uecc >= "0.3"
1744. uint < "2.0.1"
1745. ulex
1746. ulex-camlp5 < "1.3"
1747. unidecode
1748. unionFind
1749. unison < "2.52.0"
1750. unix-dirent
1751. unix-errno
1752. unix-sys-resource
1753. unix-sys-stat
1754. unix-time
1755. unix-type-representations
1756. unix-unistd
1757. unmagic
1758. uri < "4.4.0"
1759. uri-re < "4.4.0"
1760. uring-trace
1761. uritemplate >= "0.2.0"
1762. usb
1763. user-agent-parser
1764. user-setup
1765. utop < "2.11.0"
1766. uucd < "16.0.0"
1767. uucp < "16.0.0"
1768. uuidm < "0.9.8"
1769. uunf < "16.0.0"
1770. uuseg < "16.0.0"
1771. uutf < "1.0.4"
1772. uuuu
1773. uwt
1774. valentine
1775. variantslib < "v0.15.0"
1776. varint
1777. vcardgen < "1.2"
1778. vchan < "6.0.1"
1779. vecosek
1780. vecosek-engine
1781. vecosek-scene
1782. vector
1783. vector3
1784. vg < "0.9.5"
1785. vhd-format < "0.13.0"
1786. vhd-format-lwt < "0.13.0"
1787. vhdlib
1788. visitors != "20210127"
1789. vlq
1790. vmnet
1791. voaacenc
1792. volt
1793. vorbis
1794. vpnkit
1795. vpt
1796. vue-jsoo = "0.2"
1797. wall
1798. wamp
1799. wamp-msgpck
1800. wamp-yojson
1801. wasm < "1.1"
1802. wcs
1803. wcs-api
1804. wcs-lib
1805. webbrowser < "0.6.2"
1806. weberizer
1807. webidl
1808. webmachine
1809. websocket != "2.12"
1810. websocket-async != "2.12"
1811. websocket-lwt-unix
1812. websocketaf
1813. webtest
1814. webtest-js
1815. why3 < "1.6.0"
1816. why3-coq < "1.6.0"
1817. why3-ide < "1.6.0"
1818. wikitext
1819. win-error
1820. win-eventlog < "0.4"
1821. winsvc >= "1.0.1"
1822. wiringpi
1823. ws
1824. ws-server
1825. wseg
1826. wtf8
1827. wxOCaml
1828. x509 < "0.11.2"
1829. xapi-backtrace
1830. xapi-inventory >= "1.2.3"
1831. xapi-rrd = "1.9.0"
1832. xapi-stdext-encodings < "4.22.0"
1833. xapi-stdext-pervasives < "4.16.0"
1834. xapi-stdext-threads
1835. xapi-stdext-unix = "4.20.0"
1836. xapi-stdext-zerocheck
1837. xdg-basedir < "0.0.5"
1838. xen-evtchn
1839. xen-evtchn-unix
1840. xenstore_transport
1841. xml-light
1842. xmlm
1843. xmlplaylist
1844. xtmpl < "0.18.0"
1845. xtmpl_ppx >= "1.1.0"
1846. xxhash
1847. yajl
1848. yaml < "3.0.1"
1849. yara
1850. yices2
1851. yojson < "3.0.0"
1852. yosqlite
1853. yurt
1854. yuscii
1855. z3 < "4.8.14"
1856. zar < "0.9.2"
1857. zarith < "1.14"
1858. zarith-ppx
1859. zarith_stubs_js < "v0.16.0"
1860. zbar
1861. zed
1862. zeit
1863. zenon < "0.8.5"
1864. zipperposition < "2.0"
1865. zipperposition-tools < "2.0"
1866. zlib
1867. zlist
1868. zmq
1869. zmq-async
1870. zmq-eio
1871. zmq-lwt
1872. zstd
1873. zxcvbn

None