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

None

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

None