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

None

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

None