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

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

None