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

None