package ocaml

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

None