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

None