1. ocaml-system >= "4.10.2" & < "4.10.3~"
2. ocaml-variants >= "4.10.2" & < "4.10.3~"
3. ocaml-base-compiler = "4.10.2"
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.14" | >= "8.00~alpha04"
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" & != "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.2"
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.2"
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.2+32bit" & < "4.10.3+trunk"
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 != "0.07"
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
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
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" & < "11.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