package ocaml

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

None

1. 0install != "2.8" & < "2.12.1"
2. ANSITerminal
3. aacplus
4. abella < "2.0.4"
5. abt
6. acme
7. acpc < "2.0.0"
8. aez
9. afl
10. afl-persistent >= "1.2" & < "1.4"
11. ago
12. agrep
13. aifad < "2.1.0"
14. aio
15. alcotest < "0.8.0"
16. aliases
17. alphaCaml
18. alsa
19. alt-ergo < "2.0.0"
20. altgr-ergo < "2.3.0"
21. amf < "0.1.2"
22. amqp-client < "1.0.0"
23. ancient < "0.9.1"
24. angstrom < "0.5.0"
25. annexlib
26. annot
27. ansi-parse < "0.4.0"
28. ansicolor
29. anycache
30. anycache-async
31. anycache-lwt
32. ao < "0.2.2"
33. apalogretrieve
34. apron
35. arakoon >= "1.8.6" & < "1.8.10"
36. archimedes >= "0.4.15"
37. argon2 < "1.0.0"
38. arp < "0.2.1"
39. ascii85
40. asetmap
41. asl
42. asn1-combinators < "0.2.2"
43. assertions
44. assimp
45. astring < "0.8.4"
46. async < "113.24.00"
47. async-mvar
48. async-uri >= "0.4.0"
49. async-zmq < "0.3.0"
50. async_core
51. async_extended < "113.24.00"
52. async_extra < "113.24.00"
53. async_find < "113.24.00"
54. async_graphics < "0.7.0"
55. async_inotify < "113.24.00"
56. async_kernel < "113.24.00"
57. async_parallel < "113.24.00"
58. async_rpc_kernel < "113.24.00"
59. async_shell < "113.24.00"
60. async_smtp < "113.24.00"
61. async_ssl < "113.24.00"
62. async_unix < "113.24.00"
63. atd < "1.13.0" | = "2.2.1"
64. atd2cconv
65. atdgen >= "1.4.0" & < "1.13.0" | = "2.2.1"
66. atdgen-codec-runtime < "2.3.3"
67. atdgen-runtime = "2.2.1"
68. atdj = "2.2.1" | >= "20151001.01"
69. atds < "2.3.3"
70. augeas
71. avroc
72. aws < "1.2"
73. aws-autoscaling < "1.2"
74. aws-cloudformation < "1.2"
75. aws-cloudtrail < "1.2"
76. aws-ec2 < "1.2"
77. aws-elasticloadbalancing < "1.2"
78. aws-s3 < "2.0.0"
79. aws-sdb < "1.2"
80. aws-ssm < "1.2"
81. aws-sts < "1.2"
82. BetterErrors
83. balancer
84. bamboo
85. bap = "0.9.5" | >= "0.9.8" & < "1.0.0"
86. bap-abi < "1.4.0"
87. bap-api < "1.4.0"
88. bap-arm < "1.4.0"
89. bap-beagle < "1.4.0"
90. bap-byteweight < "1.4.0"
91. bap-byteweight-frontend < "1.4.0"
92. bap-c < "1.4.0"
93. bap-cache < "1.4.0"
94. bap-callsites < "1.4.0"
95. bap-cxxfilt < "1.4.0"
96. bap-dead-code-elimination < "1.4.0"
97. bap-demangle < "1.4.0"
98. bap-dump-symbols < "1.4.0"
99. bap-dwarf < "1.4.0"
100. bap-elf < "1.5.0"
101. bap-emacs-dot
102. bap-emacs-goodies
103. bap-emacs-mode
104. bap-frames < "2.1.1"
105. bap-frontc < "1.4.0"
106. bap-frontend < "1.4.0"
107. bap-fsi-benchmark < "1.4.0"
108. bap-future < "1.4.0"
109. bap-ida < "1.4.0"
110. bap-ida-plugin < "1.4.0"
111. bap-ida-python < "1.4.0"
112. bap-mc < "1.4.0"
113. bap-microx < "1.4.0"
114. bap-objdump < "1.4.0"
115. bap-phoenix < "1.4.0"
116. bap-piqi < "1.4.0"
117. bap-primus < "1.4.0"
118. bap-primus-lisp < "1.4.0"
119. bap-primus-support < "1.4.0"
120. bap-primus-x86 < "1.4.0"
121. bap-print < "1.4.0"
122. bap-relocatable < "1.4.0"
123. bap-run < "1.4.0"
124. bap-saluki
125. bap-signatures < "2.4.0"
126. bap-ssa < "1.4.0"
127. bap-strings < "1.4.0"
128. bap-symbol-reader < "1.4.0"
129. bap-taint < "1.4.0"
130. bap-taint-propagator < "1.4.0"
131. bap-term-mapper < "1.4.0"
132. bap-trace < "1.4.0"
133. bap-traces < "1.4.0"
134. bap-warn-unused < "1.4.0"
135. bap-x86 < "1.4.0"
136. base-bytes >= "base"
137. base-implicits
138. base-metaocaml-ocamlfind
139. base-native-int63
140. base-num
141. base-ocamlbuild
142. base-unsafe-string
143. base58
144. base64 < "2.3.0"
145. batch_jaro_winkler
146. batsh
147. batteries >= "2.3.0" & < "3.6.0"
148. bau < "0.0.2"
149. bdd
150. bddapron < "2.3.3"
151. bddrand < "2.71.15"
152. bear
153. beluga >= "0.8" & < "1.0"
154. bench
155. benchmark >= "1.3.1"
156. bencode
157. bes
158. bestline
159. bheap
160. bibtex2html < "1.99"
161. bigbro
162. bignum < "113.24.00"
163. bigstring < "0.2"
164. bin_prot < "113.24.00"
165. bin_tree
166. binaryen_dsl
167. binbin
168. bindlib < "6.0.0"
169. biniou < "1.1.0"
170. biocaml < "0.5.0" | >= "0.9.0"
171. bip32
172. bisect >= "1.3"
173. bisect-summary
174. bisect_ppx < "2.8.1"
175. bisect_ppx-ocamlbuild
176. bistro < "0.2.0"
177. bitcoin < "3.0"
178. bitcoinml < "0.4.1"
179. bitmasks
180. bitstring >= "2.0.4" & < "3.0.0"
181. bitv < "2.0"
182. bjack < "0.1.6"
183. blahcaml
184. bogue-tutorials < "0.2.0"
185. bolt >= "1.3"
186. bookaml
187. boomerang
188. bos < "0.2.1"
189. bpf
190. bracetax
191. broken
192. bsdowl
193. bson
194. bst >= "3.0.0"
195. bt
196. bytearray < "1.0.2"
197. Camldiets
198. CamlGI
199. c3
200. cairo >= "0.4.2"
201. cairo2 < "0.6.4"
202. cairo2-gtk
203. cairo2-pango
204. calculon < "0.4"
205. calculon-web < "0.4"
206. calendar != "2.03.1" & < "3.0.0"
207. callipyge < "0.2"
208. caml-mode
209. caml2html >= "1.4.3"
210. camlbz2
211. camldm
212. camlgpc
213. camlhighlight
214. camlidl < "1.07"
215. camlimages >= "4.1.2" & < "4.2.5"
216. camllib
217. camlmix
218. camlp4 >= "4.02+1" & < "4.03+1"
219. camlp5 >= "6.12" & != "7.09" & < "8.00.03"
220. camlpdf < "2.5"
221. camlprime
222. camltc < "0.9.3"
223. camltemplate
224. camlzip < "1.11"
225. camomile < "0.8.6"
226. capnp < "3.3.0"
227. captureio
228. caqti-async
229. caqti-driver-mariadb
230. caqti-driver-pgx < "2.1.1"
231. caqti-driver-postgresql
232. caqti-driver-sqlite3 != "1.7.0"
233. caqti-dynload < "0.10.2"
234. caqti-lwt
235. caqti-mirage
236. caqti-tls
237. caqti-type-calendar
238. caradoc
239. caravan
240. cbor < "0.5"
241. cconv
242. cconv-ppx
243. ccss
244. cdrom
245. ceph
246. certify < "0.3.0"
247. cfg < "2.1.0"
248. cfgen
249. cfstream < "1.3.0"
250. cgi
251. cgroups
252. chacha
253. chalk
254. chamo = "2.03"
255. channel
256. charrua-core < "0.5" | >= "0.11.0"
257. charrua-unix < "0.5"
258. choice < "0.4"
259. cil >= "1.7.3"
260. clangml < "0.5.2" | = "3.7.0.2"
261. clangml-transforms < "0.25"
262. cmark
263. cmarker
264. cmdliner < "1.0.3"
265. cmitomli
266. coccinelle != "1.0.0-rc23"
267. cohttp < "0.99.0"
268. combic
269. combine
270. commonjs_of_ocaml
271. comparelib
272. conduit < "0.12.0"
273. conf-bap-llvm < "1.7"
274. conf-binutils < "0.3"
275. conf-ida < "0.3"
276. conf-libev
277. conf-pic-switch
278. conf-radare2
279. config >= "0.0.3"
280. config-file
281. configuration
282. containers < "2.8"
283. cookie-js
284. coq >= "8.4.5" & < "8.7.0"
285. coq-lsp >= "0.1.9+8.17"
286. coq-shell
287. coqide < "8.7.0"
288. core >= "109.35.00" & < "113.24.00"
289. core-lwt < "0.2.0"
290. core_bench < "113.24.00"
291. core_extended >= "108.00.02" & < "113.24.00"
292. core_kernel >= "111.25.00" & < "113.24.00"
293. core_profiler < "113.24.00"
294. cow >= "1.0.0" & < "2.2.0"
295. cowabloga
296. cpdf < "2.4"
297. cpm
298. cppo < "1.6.6"
299. cppo_ocamlbuild
300. cpu
301. cpuid < "0.1.2"
302. craml
303. crc
304. crdt-ml
305. crlibm < "0.3"
306. crontab
307. crunch < "2.0.0"
308. cry < "1.0.0"
309. crypt
310. cryptgps
311. cryptodbm < "0.84.2"
312. cryptohash
313. cryptokit < "1.16.1"
314. cstruct < "2.0.0"
315. csv < "2.0"
316. csvprovider < "1.2"
317. ctypes < "0.15.0"
318. ctypes-build
319. cubicle < "1.1.2"
320. cudf < "0.10"
321. curses
322. custom_printf >= "111.21.00" & < "113.00.00"
323. d3
324. daft < "0.0.4"
325. datakit < "0.12.2"
326. datakit-bridge-github
327. datakit-bridge-local-git
328. datakit-client
329. datakit-client-9p
330. datakit-client-git
331. datakit-github
332. datakit-server
333. datakit-server-9p
334. datalog < "0.6"
335. dbforge
336. dbm
337. debian-formats < "0.1.2"
338. decoders < "0.3.0"
339. decoders-ezjsonm < "0.3.0"
340. decoders-yojson < "0.3.0"
341. decompress < "0.5"
342. delimcc < "2017.03.02"
343. depext
344. depyt < "0.2.0"
345. deriving >= "0.7" & < "0.8.1"
346. deriving-ocsigen
347. deriving-yojson
348. devkit < "0.4"
349. dht
350. dispatch < "0.4.1"
351. diy
352. dkml-component-offline-ocamlrun
353. dlist
354. dlm
355. dns < "0.19.1"
356. dnscurve
357. doc-ock-xml
358. docker-api < "0.2"
359. dockerfile < "1.7.2"
360. docout
361. dog < "0.2.1"
362. dokeysto
363. dokeysto_camltc
364. dokeysto_lz4
365. dolmen < "0.4"
366. dolog
367. domainslib < "0.3.2"
368. dose
369. dose3 < "6.1"
370. dot-merlin-reader < "4.1"
371. dropbox < "0.2"
372. dsfo
373. dssi < "0.1.3"
374. dtoa
375. dtools < "0.4.2"
376. dum != "1.0.2"
377. dumpast
378. dune >= "1.3.0" & != "2.9.2"
379. dune-build-info < "2.0.0"
380. dune-configurator = "1.11.4"
381. dune-deps
382. duppy < "0.7.0"
383. duration < "0.1.2"
384. dyntype >= "0.8.3"
385. dypgen
386. earley < "1.0.1"
387. earley-ocaml < "1.0.1"
388. easy-format < "1.3.0"
389. edn < "0.2.0"
390. efl
391. ego
392. eigen >= "0.0.3" & < "0.1.4" | >= "0.1.6" & < "0.3.2" | >= "0.4.0"
393. either
394. elasticsearch-cli
395. electrumAnalyzer
396. elf2json
397. elina
398. eliom < "6.1.0"
399. elpi < "1.2.0"
400. elpi-option-legacy-parser
401. email_message < "113.24.00"
402. enumerate
403. enumerators
404. erm_xml
405. erm_xmpp
406. errpy < "0.0.9"
407. erssical < "1.1.0"
408. estring
409. exenum < "0.86"
410. exn-source
411. expect
412. extlib >= "1.5.3"
413. extlib-compat
414. extprot >= "1.1.2" & < "1.7.0"
415. extunix < "0.3.1"
416. ez-conf-lib
417. ezdl < "2.71.15"
418. ezirmin
419. ezjsonm < "1.1.0"
420. ezjsonm-lwt != "1.0.0"
421. ezxenstore
422. ezxmlm < "1.0.2"
423. FrontC < "4.0.0"
424. faad < "0.5.0"
425. facebook-sdk
426. facile < "1.1.4"
427. faillib
428. faraday < "0.7.3"
429. faraday-async < "0.7.2"
430. faraday-lwt < "0.7.3"
431. faraday-lwt-unix < "0.7.3"
432. farmhash
433. fasmifra
434. fat-filesystem < "0.11.0" | = "0.12.1"
435. fd-send-recv < "2.0.2"
436. fdkaac < "0.3.2"
437. feather < "0.2.0"
438. ffmpeg < "0.2.0"
439. fftw3 >= "0.7.1" & < "0.8"
440. fiat-p256 < "0.2.1"
441. fieldslib < "113.24.00"
442. fileutils < "0.6.1"
443. fix < "20181206"
444. fkie-cad-cwe-checker < "0.2"
445. flac < "0.1.5"
446. flex-array
447. flock
448. flow >= "0.3"
449. flow_parser < "0.44.0"
450. flowcaml
451. flowtype < "0.44.0"
452. fluent-logger < "1.1.0"
453. fm-simplex-plugin
454. fmt < "0.8.6"
455. forester < "3.0.0"
456. forkwork
457. format
458. fpath < "0.7.3"
459. frag
460. frama-c >= "10.0" & < "14.0"
461. frama-c-base < "14.0"
462. frama-c-e-acsl
463. freetds < "0.5.2"
464. freetennis
465. frei0r < "0.1.2"
466. frenetic < "5.0.0"
467. fstar < "0.9.3.0-beta1"
468. fstreams
469. ftp
470. functoria < "2.0.0"
471. functoria-runtime < "2.2.1"
472. functory < "0.6"
473. funfields
474. fury-puyo
475. future
476. gadelac
477. gamepad
478. gammu < "0.9.4"
479. gapi-ocaml < "0.3.5"
480. gasoline >= "0.3.0"
481. gavl
482. gbddml < "2.71.15"
483. gd < "1.1"
484. gdal
485. gdb
486. gdbprofiler < "0.4"
487. gedcom
488. gen < "0.5.3"
489. gen-bs < "0.1.0"
490. gen_server
491. genet
492. genlet
493. genprint < "0.3"
494. genspir
495. gensqlite
496. geoip
497. get_line < "5.0.0"
498. getopt < "20230213"
499. getopts < "0.4.0"
500. gettext >= "0.3.7" & < "0.4.1"
501. gg < "0.9.2"
502. git < "1.9.0"
503. git-unix < "1.10.0"
504. github < "1.1.0"
505. github-hooks
506. github-hooks-unix
507. gitlab_pipeline_notifier
508. gles3
509. glfw-ocaml
510. glical
511. glMLite < "0.03.53"
512. glpk
513. glsurf
514. gmp
515. gmp-freestanding
516. gmp-xen
517. gnuplot < "0.5.1"
518. gobject-introspection
519. google-drive-ocamlfuse < "0.6.22"
520. gperftools
521. gpr < "1.3.0"
522. gptar
523. gpx
524. graphics < "3.07" | = "4.02.1"
525. graphicspdf
526. graphql_jsoo_client
527. grenier < "0.10"
528. grib
529. grid
530. gsasl
531. gsl < "1.20.0"
532. gstreamer
533. gtktop
534. gxl-light
535. hacl_x25519
536. hamt
537. hardcaml < "v0.12.0"
538. hardcaml-affirm
539. hardcaml-examples
540. hardcaml-framework
541. hardcaml-llvmsim
542. hardcaml-reedsolomon
543. hardcaml-vpi
544. hardcaml-waveterm
545. hardcaml-yosys
546. hashcons < "1.4.0"
547. hashset
548. haxe
549. hdf5 < "0.1.5"
550. headache < "1.04" | >= "1.06" & < "1.08"
551. heptagon < "1.03.03"
552. herdtools7 < "7.54"
553. herelib
554. hevea < "2.35"
555. hex < "1.4.0"
556. hidapi
557. hidapi-lwt
558. higher
559. higlo < "0.8"
560. hkdf < "1.0.3"
561. hlarp < "0.0.2"
562. hll
563. hmap
564. hol_light
565. http2https
566. http_router
567. humane-re
568. hvsock < "0.11.0"
569. hweak
570. hydro
571. hyper < "1.0.0~alpha2"
572. ISO8601
573. i2c
574. i3ipc < "0.2"
575. ibx < "0.8.1"
576. igvxml
577. imagelib < "20171028"
578. imagemagick
579. imap
580. imaplet-lwt
581. immutable
582. incremental < "113.24.00"
583. indexmap
584. inferno < "20190924"
585. inotify < "2.4"
586. inquirer_oc
587. inspect
588. integers < "0.5.0"
589. integration1d < "0.5.1"
590. interval < "1.5"
591. inuit
592. io
593. io-page < "2.0.0"
594. io-page-unix < "2.0.0"
595. io-page-xen < "2.0.0"
596. iocaml >= "0.4.6"
597. iocaml-kernel >= "0.4.6"
598. iocamljs-kernel < "0.4.3" | >= "0.4.6"
599. ipaddr < "2.7.0"
600. ipv6-multicast < "0.9"
601. irc-client
602. irc-client-lwt
603. irc-client-lwt-ssl
604. irc-client-tls
605. irc-client-unix
606. irmin < "1.0.0"
607. irmin-chunk < "2.0.0"
608. irmin-cli
609. irmin-git < "2.0.0"
610. irmin-http < "2.0.0"
611. irmin-indexeddb < "2.0"
612. irmin-mirage < "2.0.0"
613. irmin-pack-tools
614. irmin-tezos >= "3.2.1" & < "3.4.0"
615. irmin-tezos-utils
616. irmin-unix
617. irmin-watcher
618. irrlicht < "0.0.5"
619. iso-filesystem
620. iter < "1.3"
621. itv-tree
622. ivy
623. javalib < "3.1"
624. jbuilder >= "transition"
625. jenga < "113.24.00"
626. jhupllib < "0.2.1"
627. jingoo < "1.2.19"
628. jitsu
629. jitsu-libvirt
630. jitsu-libxl
631. jitsu-xapi
632. joolog
633. js-lz4
634. js_of_ocaml >= "2.5" & < "3.10.0"
635. js_of_ocaml-camlp4
636. js_of_ocaml-compiler < "3.10.0"
637. js_of_ocaml-lwt < "3.10.0"
638. js_of_ocaml-ocamlbuild < "3.5.0"
639. js_of_ocaml-ppx < "3.10.0"
640. js_of_ocaml-ppx_deriving_json < "3.4.0"
641. js_of_ocaml-toplevel < "3.10.0"
642. js_of_ocaml-tyxml < "3.10.0"
643. json-pointer
644. json-predicate
645. json-static
646. json-wheel < "1.0.6+safe-string"
647. jsondiff
648. jsonm < "1.0.2"
649. jsoo_broadcastchannel
650. jsoo_storage
651. junit < "1.0"
652. jupyter < "2.3.1"
653. jupyter-archimedes < "2.3.2"
654. jupyter-kernel < "0.5"
655. jwt
656. KaSim < "4.0.0"
657. kafka < "0.3"
658. kappa-agents < "4.1.3"
659. kappa-binaries < "4.1.3"
660. kappa-server
661. kaputt >= "1.2"
662. ketrew < "1.1.1"
663. key-parsers < "0.10.0"
664. kinetic-client < "0.0.11"
665. krb5
666. kyotocabinet
667. lablgl < "1.06"
668. lablgtk < "2.18.6"
669. lablgtk-extras >= "1.5"
670. lablgtkosx
671. lablqt
672. labltk < "8.06.1"
673. lacaml < "9.0.0"
674. lacc
675. ladspa < "0.2.0"
676. lambda-term < "1.11"
677. lambdasoup < "1.0.0"
678. lambdoc
679. lame < "0.3.4"
680. landmarks = "1.3"
681. lastfm < "0.3.3"
682. launchd < "1.3"
683. lazy-trie < "1.2.0"
684. lbfgs != "0.8.5"
685. lbvs_consent < "2.0.0"
686. ldap < "2.4.1"
687. ledit < "2.04"
688. lemonade
689. lemonade-sqlite
690. lens < "1.2.0"
691. let-if
692. leveldb != "1.0.3" & < "1.2.0"
693. levenshtein
694. libdash < "0.3"
695. libevent
696. libra-tk
697. libres3
698. libsvm < "0.9.4"
699. libudev
700. libvhd
701. libvirt
702. lilis
703. line_oriented
704. linenoise != "1.0.0" & < "1.4.0"
705. lipsum
706. liquidsoap < "1.3.4"
707. liquidsoap-daemon
708. litiom
709. llopt
710. llvm
711. llvmgraph
712. lo < "0.2.0"
713. logs < "0.6.3"
714. logs-async >= "1.3"
715. logs-async-reporter >= "1.3"
716. logs-syslog < "0.1.0"
717. logtk < "1.5.1"
718. lpd
719. lpi
720. lru < "0.3.0"
721. lru-cache
722. lustre-v6 < "6.101.7"
723. lutils
724. lutin != "2.70.4" & < "2.71.15"
725. luv < "0.5.12"
726. luv_unix < "0.5.1"
727. lwt >= "2.4.4" & < "5.6.0"
728. lwt-binio
729. lwt-canceler < "0.3"
730. lwt-dllist >= "1.0.1"
731. lwt-parallel < "1.0.0"
732. lwt-watcher
733. lwt-zmq
734. lwt_camlp4
735. lwt_domain < "0.2.0"
736. lwt_eio < "0.2"
737. lwt_glib
738. lwt_log < "1.1.2"
739. lwt_named_threads
740. lwt_ppx < "2.1.0"
741. lwt_react < "1.2.0"
742. lwt_ssl
743. lymp
744. lz4
745. lz4_chans >= "3.0.0"
746. lzo
747. macaque
748. macaque_lwt
749. macaroons
750. mad < "0.5.0"
751. magic
752. magic-mime < "1.0.1"
753. maildir
754. maki
755. malfunction < "0.3"
756. markup < "1.0.3"
757. mbr-format < "1.0.0"
758. mccs
759. md2mld < "0.6"
760. mecab
761. mechaml < "1.0.0"
762. mel
763. melange-atdgen-codec-runtime
764. melange-fest
765. melange-fetch
766. melange-json >= "1.1.0"
767. melange-moment
768. melange-numeral
769. melange-react-dates
770. melange-recharts
771. melange-testing-library
772. melange-webapi >= "0.21.0"
773. meldep
774. melt
775. memcad < "1.1.0"
776. memcpy < "0.2.2"
777. menhir < "20200123"
778. merge-queues
779. merge-ropes
780. mergeable-vector
781. merlin >= "2.0.0" & < "3.3.4~4.10preview1"
782. merlin-acme
783. merlin-of-pds
784. mesh < "0.9.0"
785. mesh-display
786. mesh-easymesh < "0.9.0"
787. mesh-triangle < "0.9.0"
788. message-switch
789. meta_conv >= "1.1.5"
790. mezzo
791. mikmatch = "1.0.8"
792. milter >= "1.0.1"
793. mindstorm < "0.8"
794. minicaml < "0.3.1"
795. minicli
796. minilight
797. minisat < "0.3"
798. minivpt
799. mirage < "2.8.0"
800. mirage-block < "1.2.0"
801. mirage-block-ccm < "1.1.0"
802. mirage-block-lwt < "1.2.0"
803. mirage-block-ramdisk < "0.3"
804. mirage-block-solo5 < "0.3.0"
805. mirage-block-unix < "2.5.0"
806. mirage-block-xen < "1.5.0" | >= "1.6.0" & < "1.7.0"
807. mirage-bootvar-solo5 < "0.3.0"
808. mirage-bootvar-xen < "0.6.0"
809. mirage-btrees
810. mirage-channel < "3.1.0"
811. mirage-channel-lwt < "3.1.0"
812. mirage-clock < "2.0.0"
813. mirage-clock-freestanding < "2.0.0"
814. mirage-clock-lwt < "2.0.0"
815. mirage-clock-unix < "1.4.1"
816. mirage-clock-xen
817. mirage-conduit >= "2.0.0" & < "2.3.1"
818. mirage-console < "2.2.0" | = "2.3.3"
819. mirage-console-lwt != "2.3.2" & < "2.3.4"
820. mirage-console-solo5 < "0.2.0"
821. mirage-console-unix < "2.2.0"
822. mirage-console-xen < "2.2.0"
823. mirage-console-xen-backend < "2.3.2"
824. mirage-device < "1.2.0"
825. mirage-dns < "3.0.0"
826. mirage-entropy-unix
827. mirage-entropy-xen
828. mirage-flow < "1.5.0"
829. mirage-flow-lwt < "1.5.0"
830. mirage-flow-rawlink
831. mirage-flow-unix < "1.5.0"
832. mirage-fs < "1.1.1"
833. mirage-fs-lwt < "1.1.1"
834. mirage-fs-unix >= "1.1.1" & < "1.2.1"
835. mirage-git
836. mirage-http < "3.1.0"
837. mirage-http-unix
838. mirage-http-xen
839. mirage-irmin
840. mirage-kv < "1.1.1"
841. mirage-kv-lwt < "2.0.0"
842. mirage-logs < "1.2.0"
843. mirage-nat < "1.1.0"
844. mirage-net < "1.1.1"
845. mirage-net-direct
846. mirage-net-lwt < "1.2.0"
847. mirage-net-macosx < "1.5.0"
848. mirage-net-socket
849. mirage-net-solo5 < "0.3.0"
850. mirage-net-unix < "2.3.0"
851. mirage-net-xen >= "1.4.2" & < "1.7.1"
852. mirage-no-solo5
853. mirage-no-xen
854. mirage-os-shim < "3.1.0"
855. mirage-profile < "0.8.1"
856. mirage-profile-unix < "0.8.1"
857. mirage-profile-xen < "0.8.1"
858. mirage-protocols-lwt < "1.2.0"
859. mirage-qubes < "0.3"
860. mirage-random < "1.2.0"
861. mirage-seal
862. mirage-solo5 < "0.2.0"
863. mirage-stack < "1.1.0"
864. mirage-stack-lwt < "1.1.0"
865. mirage-tc
866. mirage-tcpip-unix
867. mirage-tcpip-xen
868. mirage-time < "1.3.0"
869. mirage-time-lwt < "1.3.0"
870. mirage-time-unix < "1.3.0"
871. mirage-types != "2.8.0" & < "3.0.7"
872. mirage-types-lwt < "3.0.7"
873. mirage-unix < "3.0.8"
874. mirage-vnetif < "0.4.1"
875. mirage-www
876. mirage-xen >= "2.2.0" & < "3.0.6"
877. mirage-xen-minios
878. mirage-xen-ocaml < "3.0.4"
879. mirage-xen-posix < "3.1.0" | >= "3.3.0"
880. mirari
881. mirror
882. missinglib
883. mixture < "1.0.0"
884. mkaudio < "1.1.2"
885. ml2mxml
886. mlbdd < "0.7.2"
887. mlcuddidl < "3.0.7"
888. mld
889. mldonkey >= "3.1.6" & < "3.2.1"
890. mlgmp
891. mlgmpidl
892. mlpost < "0.8.2"
893. mm < "0.5.0" | >= "0.7.0" & < "0.7.4"
894. mmap = "1.1.0"
895. mmseg
896. mock < "0.1.1"
897. mock-ounit < "0.1.1"
898. modelica_ml
899. molenc >= "7.0.1" & < "15.4.0"
900. monadlib
901. monads < "1.4.0"
902. mongo
903. monomorphic < "1.5"
904. more-ocaml
905. mosquitto
906. moss
907. mparser
908. mparser-pcre
909. mparser-re
910. mpp < "0.3.4"
911. mpris < "0.2.0"
912. mqtt < "0.2.2"
913. mqtt_client
914. mrt-format
915. msat < "0.8"
916. msgpack
917. msgpck < "1.5"
918. mstruct
919. mtime < "1.0.0"
920. mtl
921. multipart-form-data < "0.3.0"
922. murmur3
923. mustache < "3.0.0"
924. mvar
925. mybuild < "7"
926. mysql
927. mysql_protocol < "3.0.1"
928. named-pipe
929. namespaces
930. nanomsg
931. nbd < "2.1.3"
932. netamqp
933. netlink
934. nit
935. nlopt-ocaml
936. nlp
937. nocrypto >= "0.2.0"
938. nonstd
939. nosetup
940. not-ocamlfind != "0.07" & < "0.09"
941. notty < "0.2.0"
942. nproc
943. num < "1.0"
944. numerix
945. nunchaku
946. OCanren < "0.2.0"
947. OCanren-ppx < "0.3.0~alpha1"
948. oasis >= "0.3.0"
949. oasis-mirage
950. oasis2debian
951. oasis2opam
952. obandit
953. obeam = "0.1.2"
954. obeanstalk
955. obigstore
956. objsize < "0.18"
957. obuild
958. obus != "1.1.8" & < "1.2.5"
959. obytelib >= "1.6"
960. oc45
961. ocal < "0.2.0"
962. ocaml-arg
963. ocaml-base-compiler = "4.02.1"
964. ocaml-buddy
965. ocaml-data-notation
966. ocaml-expat < "1.3.0"
967. ocaml-http < "0.1.6"
968. ocaml-inifiles
969. ocaml-lua < "1.8"
970. ocaml-makefile < "6.39.2"
971. ocaml-manual = "4.02.0"
972. ocaml-markdown
973. ocaml-migrate-parsetree < "1.2.0"
974. ocaml-migrate-parsetree-ocamlbuild < "1.2.0"
975. ocaml-monadic < "0.4.0"
976. ocaml-protoc < "2.1"
977. ocaml-protoc-yojson
978. ocaml-r < "0.4.0"
979. ocaml-src = "4.02.1"
980. ocaml-system < "4.13.0"
981. ocaml-systemd
982. ocaml-top < "1.2.0"
983. ocaml-twt
984. ocaml-variants >= "4.02.1+32bit" & < "4.02.2+improved-errors"
985. ocaml-version >= "2.3.0" & < "3.0.0"
986. ocaml-xdg-basedir < "transition"
987. ocaml-xml-rpc
988. ocaml-zmq
989. ocaml9p
990. ocaml_plugin < "113.24.00"
991. ocamlbuild < "0.9.0"
992. ocamlbuild-atdgen
993. ocamlbuild-pkg
994. ocamlbuild-protoc
995. ocamlclean < "2.1" | >= "2.3"
996. ocamlcodoc < "1.0.1"
997. ocamldap >= "2.2"
998. ocamldbi
999. ocamldiff < "1.2"
1000. ocamldot < "1.1"
1001. ocamldsort
1002. ocamlfind >= "1.5.1"
1003. ocamlfind-lint
1004. ocamlfuse < "2.7.1-cvs7"
1005. ocamlgraph < "2.0.0"
1006. ocamlify
1007. ocamline
1008. ocamllint
1009. ocamlmod
1010. ocamlnet >= "3.7.5"
1011. ocamlrss
1012. ocamlscript < "3.0.0"
1013. ocamlsdl
1014. ocamlsdl2-image
1015. ocamlsdl2-ttf
1016. ocamlspot = "4.02.1.2.3.0"
1017. ocamltter < "2.0.1" | >= "2.1.1" & < "4.0.2"
1018. ocamlviz
1019. ocamlwc
1020. ocamlweb
1021. ocamlyices
1022. ocb-stubblr
1023. ocephes
1024. ocf < "0.5.0"
1025. oci
1026. oclaunch
1027. oclock
1028. ocp-browser != "1.2.1" & < "1.3.4"
1029. ocp-build
1030. ocp-indent < "0.9.2" | >= "1.4.2"
1031. ocp-indent-nlfork < "1.5.4"
1032. ocp-index >= "1.0.3" & < "1.3.4"
1033. ocp-index-top
1034. ocp-manager
1035. ocp-ocamlres
1036. ocp-pack-split
1037. ocp-pp
1038. ocp-reloc
1039. ocplib-compat
1040. ocplib-concur
1041. ocplib-config
1042. ocplib-endian < "1.1"
1043. ocplib-file
1044. ocplib-json-typed < "0.7"
1045. ocplib-resto
1046. ocplib-simplex
1047. ocs
1048. ocsfml
1049. ocsigen-toolkit < "1.1.0"
1050. ocsigenserver < "2.9"
1051. ocurl < "0.9.2"
1052. ocveralls
1053. odash
1054. odate < "0.6"
1055. odb-server
1056. odbc
1057. odds < "1.1"
1058. odepack >= "0.6.3"
1059. odiff-gtk
1060. odisco
1061. odnnr
1062. odoc >= "1.3.0"
1063. odoc-depgraph
1064. odoc-parser
1065. ofx
1066. ogen
1067. ogg != "0.6.0" & < "0.7.0"
1068. ogre < "1.4.0"
1069. ojquery
1070. ojs-base < "0.5.0"
1071. ojwidgets
1072. olinq
1073. ollvm
1074. ollvm-tapir
1075. olmi
1076. oloop
1077. omake < "0.9.8.7"
1078. omd < "1.3.2"
1079. oml < "0.0.6"
1080. omlr
1081. omonad = "0.3.0"
1082. oni = "1.0.11"
1083. oolc
1084. opal
1085. opam-build < "0.2.1"
1086. opam-build-revdeps
1087. opam-bundle
1088. opam-client < "2.0.0~beta5"
1089. opam-core < "2.0.0~beta5"
1090. opam-depext
1091. opam-devel < "2.0.0~beta5"
1092. opam-file-format
1093. opam-format < "2.0.0~beta5"
1094. opam-lib
1095. opam-lock
1096. opam-package-upgrade < "0.2"
1097. opam-publish < "2.0.0"
1098. opam-query
1099. opam-repository < "2.0.0~beta5"
1100. opam-solver < "2.0.0~beta5"
1101. opam-state < "2.0.0~beta5"
1102. opam-sync-github-prs
1103. opam-test < "0.2.1"
1104. opam2web < "2.0"
1105. opam_of_packagejson
1106. opamconfig
1107. opamfu
1108. opass
1109. opasswd
1110. openbsd
1111. opencc
1112. openflow
1113. operf-macro
1114. operf-micro
1115. opium < "0.16.0"
1116. oplay
1117. oplsr
1118. optcomp
1119. opti
1120. optimization1d
1121. opus < "0.2.0"
1122. oqamldebug
1123. orakuda
1124. orandforest
1125. ordma
1126. orf < "1.0.1"
1127. orm >= "0.7.0"
1128. orocksdb < "0.3.0"
1129. orrandomForest
1130. orsvm_e1071
1131. orxgboost
1132. osc < "0.2.0"
1133. osdp < "1.1.1"
1134. oseq < "0.4"
1135. osm_xml
1136. ospec >= "0.3.1"
1137. ostap < "0.6"
1138. osx-acl
1139. osx-attr
1140. osx-cf
1141. osx-fsevents
1142. osx-membership
1143. osx-mount
1144. osx-plutil
1145. osx-secure-transport
1146. osx-xattr
1147. otetris
1148. otfm < "0.4.0"
1149. otr < "0.3.1"
1150. ott < "0.33"
1151. otto
1152. ounit < "2.1.2"
1153. override >= "0.2.0" & < "0.3.0"
1154. owebl
1155. owee < "0.3"
1156. owl < "0.2.0"
1157. ox
1158. oxylc
1159. pa_bench
1160. pa_bin_prot
1161. pa_comprehension
1162. pa_fields_conv
1163. pa_monad_custom
1164. pa_ounit
1165. pa_ovisitor
1166. pa_qualified
1167. pa_sexp_conv
1168. pa_solution
1169. pa_sqlexpr
1170. pa_structural_sexp
1171. pa_test
1172. pa_typerep_conv
1173. pa_variants_conv
1174. pa_where
1175. packet
1176. papi
1177. parany >= "7.0.2" & < "12.0.2"
1178. pareto
1179. parmap < "1.1.1"
1180. patdiff < "113.24.00"
1181. patience_diff < "113.24.00"
1182. patoline < "0.2"
1183. pbkdf < "0.3.0"
1184. pbs
1185. pcap-format < "0.5.2"
1186. pcf-format
1187. pci
1188. pci-db
1189. pcre < "7.3.0"
1190. pds < "5.38"
1191. pds-reachability < "0.2.2"
1192. perf
1193. pfff = "0.29"
1194. pgocaml < "3.1"
1195. phashtbl
1196. phox
1197. pipebang
1198. piqi
1199. piqilib < "0.6.15"
1200. pixel_pusher
1201. pkcs11 < "0.12.0"
1202. pla < "1.3"
1203. planck >= "2.0.1" & < "2.2.0"
1204. planets >= "0.1.14"
1205. plist < "1.0.0"
1206. plotkicadsch >= "0.2.0" & < "0.4.0"
1207. plplot
1208. podge = "0.3" | = "0.7.0"
1209. polars
1210. polka < "2.71.15"
1211. polly < "0.4.1"
1212. polyglot
1213. pomap < "4.0.0"
1214. portaudio < "0.2.2"
1215. portia
1216. posix-clock
1217. posix-getopt < "2.0.0"
1218. posix-math
1219. posix-mqueue
1220. posix-semaphore
1221. posix-time
1222. posix-types < "2.0.0"
1223. postgresql < "4.1.0"
1224. pprint < "20220103"
1225. ppx_bigarray < "2.0.0"
1226. ppx_bitstring < "1.0.1"
1227. ppx_blob < "0.9.0"
1228. ppx_const < "2.0"
1229. ppx_derivers
1230. ppx_deriving < "2.0" | >= "3.1" & < "4.2" | >= "4.3" & != "4.4.1" & < "5.0"
1231. ppx_deriving_cmdliner < "0.4.1"
1232. ppx_deriving_madcast >= "0.2"
1233. ppx_deriving_morphism
1234. ppx_deriving_protobuf != "2.5" & < "2.7"
1235. ppx_deriving_protocol >= "0.8.1"
1236. ppx_deriving_variant_string
1237. ppx_deriving_yojson < "3.3"
1238. ppx_distr_guards < "0.3"
1239. ppx_dream_eml
1240. ppx_fast_pipe
1241. ppx_gen_rec
1242. ppx_getenv < "2.0"
1243. ppx_graphql
1244. ppx_implicits < "0.1.0"
1245. ppx_import < "1.5-3-gbd627d5"
1246. ppx_include
1247. ppx_json_types
1248. ppx_meta_conv < "2.2.0"
1249. ppx_monadic < "1.0.4"
1250. ppx_monoid < "0.3.2"
1251. ppx_nanocaml
1252. ppx_netblob < "1.1"
1253. ppx_optint
1254. ppx_orakuda < "3.0.0"
1255. ppx_overload < "1.4"
1256. ppx_pattern_guard
1257. ppx_poly_record < "1.1.0"
1258. ppx_sexp
1259. ppx_sexp_conv >= "113.33.00" & < "113.33.01+4.03"
1260. ppx_sqlexpr
1261. ppx_system
1262. ppx_test < "1.3.0"
1263. ppx_tools >= "0.99.1" & < "4.03.0" | = "5.0+4.02.0"
1264. ppx_tools_versioned
1265. ppx_where
1266. pratter >= "1.1" & < "2.0.0"
1267. primes
1268. printbox < "0.2"
1269. prob-cache
1270. process
1271. procord
1272. prof_spacetime
1273. profiler-plugin
1274. profound
1275. proj4
1276. promela
1277. prometheus
1278. promise
1279. protobuf
1280. protocol-9p < "0.8.0"
1281. proverif < "2.01"
1282. psq < "0.1.1"
1283. ptime < "0.8.6"
1284. ptmap != "2.0.4"
1285. ptset
1286. publish
1287. pulseaudio < "0.1.4"
1288. pure-splitmix < "0.3"
1289. pvem
1290. pvem_lwt_unix
1291. pxp
1292. pyml
1293. qbf < "0.3"
1294. qcheck < "0.9"
1295. qcow < "0.8.1" | >= "0.11.0"
1296. qcow-format
1297. qfs < "0.12"
1298. qmp
1299. qocamlbrowser < "0.2.8"
1300. qrencode
1301. qtest < "2.11"
1302. quest
1303. quick_print
1304. quickcheck != "1.0.0"
1305. r2pipe
1306. randomconv < "0.1.1"
1307. range < "0.4" | >= "0.8.3"
1308. ranger
1309. rashell
1310. rawlink < "0.4"
1311. raygun4ocaml
1312. rdbg < "1.184.1"
1313. rdf < "0.10.0"
1314. rdr
1315. re < "1.7.2" | = "1.10.3"
1316. re2 < "113.24.00"
1317. react < "1.2.2"
1318. reactiveData < "0.2.2"
1319. reactjs-jsx-ppx
1320. reason >= "1.11.0" & < "3.6.0"
1321. reason-parser
1322. reason-react >= "0.14.0"
1323. receive-mail
1324. records < "1.0.0"
1325. redis < "0.3.4"
1326. reedsolomon
1327. regstab
1328. reins
1329. release != "1.0.2"
1330. res < "5.0.0"
1331. rescript-syntax
1332. reshowcase
1333. resource-pooling < "0.5"
1334. result
1335. rfc6287 < "1.0.2"
1336. riak
1337. riak-pb
1338. riakc
1339. riakc_ppx < "3.1.3"
1340. river < "0.2"
1341. rlp
1342. rml >= "1.09.00" & < "1.09.06"
1343. root1d
1344. rope < "0.6"
1345. rpc < "5.9.0"
1346. rpc_parallel < "113.24.00"
1347. rpclib-async != "6.0.0"
1348. rpclib-html
1349. rpclib-js
1350. rpclib-lwt != "6.0.0"
1351. rresult < "0.7.0"
1352. rtime
1353. rtop < "3.6.0" | = "3.8.0"
1354. rtree
1355. rubytt
1356. rungen
1357. rusage
1358. safa
1359. safepass
1360. salsa20 < "1.1.0"
1361. salsa20-core
1362. samplerate < "0.1.5"
1363. sanlock
1364. satML-plugin
1365. sattools
1366. sawja < "1.5.8"
1367. schoca
1368. schroedinger
1369. scid
1370. scrypt
1371. scrypt-kdf < "1.0.0"
1372. secp256k1
1373. secp256k1-internal < "0.2.0"
1374. sedlex >= "1.99.1" & < "1.99.3"
1375. selective
1376. semaphore-compat
1377. semver < "0.2.1"
1378. sendmsg
1379. seq != "0.3" & < "base"
1380. sequence
1381. session < "0.4.0"
1382. session-cohttp < "0.5.0"
1383. session-cohttp-async < "0.5.0"
1384. session-cohttp-lwt < "0.5.0"
1385. session-postgresql < "0.5.0"
1386. session-postgresql-async < "0.5.0"
1387. session-postgresql-lwt < "0.5.0"
1388. session-redis-lwt < "0.5.0"
1389. session-webmachine < "0.5.0"
1390. setcore
1391. setr
1392. sexplib < "113.24.00"
1393. sgf
1394. sha
1395. shades
1396. shapefile
1397. shared-block-ring < "3.0.0"
1398. shared-memory-ring < "3.1.1"
1399. shared-memory-ring-lwt < "3.1.1"
1400. shared-secret
1401. shcaml >= "0.2.0"
1402. sherlodoc
1403. shine < "0.2.2"
1404. should
1405. sibylfs
1406. sibylfs-lem
1407. sill
1408. simlog < "0.0.4"
1409. simple-bmc
1410. simple-diff
1411. simple_pam
1412. skkserv-lite
1413. slack-backup
1414. slacko < "0.14.1"
1415. slap
1416. smart-print
1417. smbc < "0.4.2"
1418. smtp
1419. snappy
1420. sociaml-facebook-api
1421. sociaml-oauth-client
1422. sociaml-tumblr-api
1423. sociaml-vcard
1424. socketcan
1425. sodium
1426. solvuu-build
1427. solvuu_build
1428. sonet
1429. sosa
1430. soundtouch
1431. space-search
1432. spacetime_lib
1433. spatial_index
1434. spdiff
1435. speex < "0.4.0"
1436. spelll < "0.3"
1437. spf
1438. spirv
1439. spoc = "20170724"
1440. spotify-cli
1441. spotify-web-api < "0.2.1"
1442. spotify_ml
1443. spotinstall < "1.2.1"
1444. spotlib >= "2.0.1" & < "3.0.0" | = "3.1.2"
1445. spreadsheet
1446. sqlexpr
1447. sqlgg < "20231201"
1448. sqlite3 < "4.2.0"
1449. sqlite3EZ
1450. srs
1451. srt < "0.1.1"
1452. ssh-agent-unix
1453. ssl < "0.6.0"
1454. starred_ml
1455. starterkit
1456. statmemprof-emacs
1457. statsd-client
1458. statverif
1459. stb_image
1460. stb_image_write
1461. stb_truetype < "0.7"
1462. stdcompat
1463. stdint < "0.6.0"
1464. stemmer
1465. stemming
1466. stog = "0.11.1" | >= "0.13.0" & < "0.17.0"
1467. stog-rdf
1468. stog-writing < "0.17.0"
1469. stone
1470. stringext < "1.5.0"
1471. sturgeon
1472. subtype-refinement
1473. sundialsml < "3.1.1p0"
1474. swdogen
1475. symkat
1476. syndic < "1.6.0"
1477. sys-socket
1478. sys-socket-unix
1479. syslog < "2.0.0"
1480. systemverilog < "0.0.2"
1481. tablecloth-native != "0.0.8"
1482. tabr
1483. taglib < "0.3.7"
1484. taglog
1485. tar < "0.9.0"
1486. tar-format
1487. tar-mirage < "0.9.0"
1488. tar-unix < "0.9.0"
1489. tcpip < "2.8.0"
1490. tcx
1491. tdk
1492. telegraml < "2.2.0"
1493. tensorflow < "0.0.8"
1494. termbox
1495. terminal_size < "0.2.0"
1496. testsimple
1497. text >= "0.6"
1498. text-tags < "1.4.0"
1499. textutils < "113.24.00"
1500. textwrap
1501. tezos-lwt-result-stdlib < "9.0"
1502. tezos-shell-services < "8.0"
1503. tezt-bam
1504. tftp
1505. tgls < "0.8.6"
1506. themoviedb
1507. theora < "0.4.0"
1508. thrift < "0.10.0"
1509. tidy < "5-0.2"
1510. tiny_json < "1.1.5"
1511. tiny_json_conv
1512. tip-parser < "0.5"
1513. tjr_simple_earley
1514. tls < "0.7.1"
1515. tlstunnel
1516. toc
1517. tofn
1518. toml < "7.0.0"
1519. toml-cconv
1520. toml_cconv < "7.0.0"
1521. tophide = "1.0.3"
1522. topkg < "1.0.1"
1523. topkg-care < "1.0.1"
1524. topkg-jbuilder
1525. topology
1526. touist < "3.5.0"
1527. tplib
1528. tptp
1529. traildb
1530. trakeva
1531. trampoline
1532. transmission-rpc
1533. travis-opam
1534. travis-senv
1535. trax < "0.4.0"
1536. tree_layout < "0.2"
1537. treeprint >= "1.0.2" & < "2.3.0"
1538. trie
1539. tsdl < "0.9.7"
1540. tsdl-image < "0.3.0"
1541. tsdl-mixer < "0.3.0"
1542. tsdl-ttf < "0.3"
1543. tuareg
1544. tuntap < "1.5.0"
1545. type_conv
1546. type_id
1547. typehashlib
1548. typerep < "113.24.00"
1549. typerep_extended < "113.24.00"
1550. typerex-attic
1551. typerex-binutils
1552. typerex-build
1553. typerex-clibs
1554. typerex-lldb
1555. typerex-system
1556. tyre < "0.5"
1557. tyxml < "4.6.0"
1558. tyxml-jsx < "4.5.0"
1559. tyxml-ppx < "4.5.0"
1560. tyxml-syntax < "4.6.0"
1561. ubpf
1562. ucaml
1563. uchar
1564. ucorelib
1565. udunits
1566. uint < "2.0.1"
1567. ulex
1568. ulex-camlp5 < "1.3"
1569. unison < "2.51.4"
1570. unix-dirent
1571. unix-errno < "0.6.0"
1572. unix-fcntl
1573. unix-sys-resource
1574. unix-sys-stat
1575. unix-time
1576. unix-type-representations
1577. unix-unistd
1578. uri < "1.9.2"
1579. uring-trace
1580. uritemplate >= "0.2.0"
1581. usb
1582. usbmux
1583. user-setup
1584. utop >= "1.16" & < "2.0.0"
1585. uucd < "15.1.0"
1586. uucp < "13.0.0"
1587. uuidm < "0.9.7"
1588. uunf < "13.0.0"
1589. uuseg < "13.0.0"
1590. uutf < "1.0.3"
1591. uwt
1592. valentine
1593. variantslib < "113.24.00"
1594. varint
1595. vcardgen < "1.2"
1596. vchan < "2.3.0"
1597. vchan-unix < "4.0.0"
1598. vchan-xen < "4.0.0"
1599. vector
1600. vector3
1601. vg < "0.9.0"
1602. vhd-format < "0.8.0"
1603. vhd-tool
1604. vhdlib
1605. vimebac
1606. vlq
1607. vmnet < "1.3.2"
1608. voaacenc
1609. vorbis < "0.7.1"
1610. vpnkit
1611. vpt < "5.0.0"
1612. vrt
1613. wall
1614. wamp < "1.2"
1615. wdialog
1616. webbrowser
1617. webdav >= "1.1.5"
1618. weberizer < "0.7.8"
1619. webmachine < "0.5.0"
1620. websocket < "2.12"
1621. websocket-async < "2.11"
1622. websocket-lwt < "2.12"
1623. webtest
1624. webtest-js
1625. wget
1626. why >= "2.32"
1627. why3 < "0.88.0"
1628. why3-base < "0.88.0"
1629. win-error
1630. win-eventlog < "0.4"
1631. wiringpi
1632. wtf8
1633. wxOCaml
1634. wyrd >= "1.4.6"
1635. x509 < "0.5.1"
1636. xapi-backtrace
1637. xapi-forkexecd
1638. xapi-idl
1639. xapi-inventory != "1.2.1"
1640. xapi-libs-transitional
1641. xapi-rrd < "1.8.2"
1642. xapi-rrd-transport
1643. xapi-rrdd
1644. xapi-stdext
1645. xapi-stdext-encodings < "4.22.0"
1646. xapi-stdext-pervasives < "4.16.0"
1647. xapi-stdext-threads
1648. xapi-stdext-unix = "4.20.0"
1649. xapi-stdext-zerocheck
1650. xapi-tapctl
1651. xapi-xenops
1652. xdg-basedir
1653. xe
1654. xe-unikernel-upload
1655. xen-api-client
1656. xen-block-driver >= "0.2.5"
1657. xen-disk
1658. xen-evtchn < "2.1.0"
1659. xen-evtchn-unix < "2.1.0"
1660. xen-gnt < "3.0.1"
1661. xen-gnt-unix < "3.0.1"
1662. xenctrl >= "0.9.29"
1663. xenstore < "2.0.0"
1664. xenstore_transport < "1.0.0"
1665. xentropyd
1666. xml-light < "2.5"
1667. xmldiff < "0.6.0"
1668. xmlm < "1.4.0"
1669. xmlplaylist < "0.1.5"
1670. xstr
1671. xstrp4
1672. xtmpl >= "0.10" & < "0.13.0"
1673. xxhash
1674. yajl
1675. yajl-extra
1676. yices2
1677. yojson < "1.4.0"
1678. yosqlite
1679. z3 < "4.8.14"
1680. zarith < "1.12"
1681. zarith-freestanding
1682. zarith-xen
1683. zbar
1684. zed < "1.5"
1685. zeit
1686. zenon < "0.8.5"
1687. zephyrus
1688. zero
1689. zipperposition = "1.1"
1690. zlib
1691. zlist < "0.4.0"
1692. zmq < "5.1.0"
1693. zmq-async < "5.1.0"
1694. zmq-lwt < "5.1.0"
1695. zstd
1696. zxcvbn < "2.3+2"

None