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

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

None