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

None