package ocamlfind

1. ocaml >= "4.02.0" & < "5.0"

None

1. ANSITerminal < "0.8"
2. aacplus
3. abella < "2.0.8"
4. aez
5. afl-persistent != "1.1" & < "1.3"
6. aio
7. alba < "0.4.1"
8. aliases
9. alsa < "0.3.0"
10. amqp-client < "1.1.0"
11. ancient
12. ansicolor
13. anycache < "0.7.4"
14. ao < "0.2.2"
15. apron
16. archimedes
17. archsat
18. arp < "1.0.0"
19. ascii85 < "0.4"
20. asetmap
21. asl
22. asli < "0.2.0"
23. asn1-combinators < "0.2.2"
24. assertions
25. assimp
26. astring
27. atd < "1.2.1"
28. atd2cconv
29. atdgen < "1.10.2"
30. augeas
31. aws < "1.2"
32. aws-autoscaling < "1.2"
33. aws-cloudformation < "1.2"
34. aws-cloudtrail < "1.2"
35. aws-ec2 < "1.2"
36. aws-elasticloadbalancing < "1.2"
37. aws-sdb < "1.2"
38. aws-ssm < "1.2"
39. aws-sts < "1.2"
40. BetterErrors
41. b0
42. baby < "20241204"
43. bap-build >= "2.2.0"
44. bap-byteweight-frontend >= "2.2.0"
45. bap-frontend >= "2.2.0"
46. bap-plugins >= "2.2.0"
47. bap-std
48. bap-toplevel
49. base-bytes
50. base58
51. base64 < "2.2.0"
52. batteries
53. bdd < "0.5"
54. bddapron
55. bear
56. beluga < "1.0"
57. benchmark < "1.5"
58. bencode < "2.0"
59. bheap < "2.0.0"
60. bigarray-overlap
61. bindlib < "6.0.0"
62. bisect
63. bisect-summary
64. bisect_ppx >= "1.3.3" & < "2.6.0"
65. bitv < "1.4"
66. bjack < "0.1.6"
67. bn128
68. bolt
69. bookaml
70. bos
71. bpf
72. bracetax
73. broken
74. brotli
75. brozip
76. brr
77. bsdowl
78. bytesrw
79. cairo2 < "0.6"
80. calendar < "3.0.0"
81. camlbz2 < "transition"
82. camlgpc
83. camlimages
84. camllib
85. camlp4 >= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
86. camlp5 >= "8.00.03"
87. camlpdf
88. camlprime
89. camltc < "0.9.8"
90. camlzip
91. caper
92. captureio
93. caqti < "1.0.0"
94. caqti-dynload
95. carton < "0.7.2"
96. cbor < "0.3"
97. cconv < "0.5"
98. cconv-ppx
99. cdrom < "0.9.3"
100. certify < "0.3.0"
101. cgi
102. cgroups
103. chalk
104. checkseum >= "0.2.0"
105. choice < "0.4"
106. clangml
107. cmark
108. cmarkit
109. cmdliner < "1.0.3"
110. cmdtui
111. coccinelle
112. coin >= "0.1.2"
113. combine
114. conex < "0.10.0"
115. config-file < "1.2.1"
116. configuration
117. conjury
118. coq < "8.17.0"
119. coq-core < "9.0.0"
120. coq-lsp >= "0.2.0+8.17" & != "0.2.0+8.20" & < "0.2.3+8.17" | >= "0.2.3+9.0"
121. coq-of-ocaml
122. coq-serapi
123. coqide >= "8.11.2"
124. cordova
125. cordova-plugin-activity-indicator
126. cordova-plugin-background-mode
127. cordova-plugin-barcode-scanner
128. cordova-plugin-battery-status
129. cordova-plugin-camera
130. cordova-plugin-clipboard
131. cordova-plugin-datepicker
132. cordova-plugin-device
133. cordova-plugin-device-motion
134. cordova-plugin-device-orientation
135. cordova-plugin-dialogs
136. cordova-plugin-email-composer
137. cordova-plugin-fcm
138. cordova-plugin-file
139. cordova-plugin-file-opener
140. cordova-plugin-file-transfer
141. cordova-plugin-geolocation
142. cordova-plugin-globalization
143. cordova-plugin-image-picker
144. cordova-plugin-inappbrowser
145. cordova-plugin-insomnia
146. cordova-plugin-keyboard
147. cordova-plugin-loading-spinner
148. cordova-plugin-local-notifications
149. cordova-plugin-media
150. cordova-plugin-media-capture
151. cordova-plugin-network-information
152. cordova-plugin-progress
153. cordova-plugin-push-notifications
154. cordova-plugin-qrscanner
155. cordova-plugin-screen-orientation
156. cordova-plugin-sim-card
157. cordova-plugin-sms
158. cordova-plugin-social-sharing
159. cordova-plugin-statusbar
160. cordova-plugin-toast
161. cordova-plugin-touch-id
162. cordova-plugin-vibration
163. cordova-plugin-videoplayer
164. corecount
165. cow < "2.3.0"
166. cowabloga < "0.4.0"
167. cpdf
168. cpm < "4.0.0"
169. cppo_ocamlbuild
170. cpuid < "0.1.2"
171. crc < "2.0.0"
172. crdt-ml
173. crunch < "2.1.0"
174. cry < "0.6.5"
175. crypt
176. cryptohash
177. cryptokit < "1.16.1"
178. cryptoverif
179. csv < "2.0"
180. ctypes < "0.21.1"
181. ctypes-build
182. cubicle
183. cudf >= "0.7" & < "0.10"
184. curses < "1.0.9"
185. DAGaml
186. datalog < "0.6"
187. dbm
188. debian-formats < "0.1.2"
189. dedukti < "2.7"
190. delimcc
191. depext < "0.3"
192. depgraph
193. deriving
194. devkit < "1.0"
195. digestif < "0.6.1" | >= "0.8.1"
196. dispatch < "0.4.0"
197. docker-api < "0.2"
198. dockerfile < "3.0.0"
199. docout
200. dolmen < "0.4"
201. dolog < "4.0.0"
202. domain-name < "0.1.2"
203. dose3 < "6.1"
204. dot-merlin-reader
205. down
206. dssi < "0.1.3"
207. dtoa < "0.3.0"
208. dtools < "0.4.2"
209. dum < "1.0.3"
210. dune >= "3.17.0"
211. duppy < "0.9.0"
212. duration < "0.1.2"
213. dyntype
214. earley < "3.0.0"
215. easy-format < "1.3.0"
216. efl
217. eigen < "0.1.0"
218. elasticsearch-cli < "0.5"
219. electrumAnalyzer
220. elina
221. eliom
222. elpi >= "1.2.0" & < "1.4.0"
223. emoji < "2.0.0"
224. enumerators
225. exenum < "0.86"
226. exn-source
227. expect < "0.1.0"
228. extlib < "1.7.9"
229. extprot
230. extunix < "0.3.1"
231. ezjsonm < "1.0.0"
232. ezsqlite < "0.4"
233. FrontC < "3.4.2"
234. faad < "0.5.0"
235. fadbadml < "0.1.2"
236. faraday < "0.3.0"
237. farfadet
238. farmhash < "0.4"
239. fdkaac < "0.3.2"
240. ffmpeg < "1.0.0~beta1"
241. fieldslib < "v0.12.0"
242. fileutils < "0.6.1"
243. fix < "20181206"
244. flac < "0.3.0"
245. flock
246. flow_parser < "0.229.1"
247. fmt
248. format
249. fpath
250. frama-c < "28.0~beta"
251. freetds < "0.5.2"
252. freetennis
253. frei0r < "0.1.2"
254. fstar < "2025.02.17"
255. fstreams
256. functoria-runtime < "2.1.0" | = "4.3.5"
257. functory
258. funfields
259. GT
260. GuaCaml
261. gammu < "0.9.4"
262. gapi-ocaml < "0.3.6"
263. gavl
264. gd < "1.1"
265. gdal < "0.10.0"
266. gedcom
267. gen < "0.5.1"
268. gen-bs
269. genlet
270. genspir < "1.0.0"
271. geoip
272. getopt < "20230213"
273. getopts
274. gettext < "0.4.1"
275. gg
276. git-unix >= "3.0.0" & < "3.16.0"
277. gles3
278. glical >= "0.0.4"
279. glicko2
280. glMLite
281. glpk
282. gmap < "0.2.1"
283. goblint-cil
284. google-drive-ocamlfuse < "0.6.23"
285. gospel >= "0.2.0"
286. gperftools < "0.4"
287. gpx
288. grain_dypgen < "0.2.1"
289. grain_wasm_spec
290. graphicspdf
291. grenier < "0.7"
292. grib
293. gsl < "1.20.0"
294. gstreamer < "0.3.1"
295. gufo
296. gxl-light
297. h2-lwt-unix < "0.4.0"
298. hachis
299. hacl-star-raw
300. hamt
301. hashcons < "1.4.0"
302. hashset < "1.0.1"
303. haxe
304. hdf5 < "0.1.5"
305. hdfs
306. hector < "20241208"
307. heptagon
308. herdtools7 >= "7.55" & < "7.56.1"
309. higher != "0.3.0"
310. higlo < "0.8"
311. hiredis < "0.8"
312. hkdf < "1.0.3"
313. hlarp
314. hll
315. hmap
316. htmlit
317. humane-re
318. ISO8601 < "0.2.6"
319. i2c
320. igvxml
321. inferno < "20190924"
322. inotify < "2.4"
323. inspect
324. integers < "0.3.0"
325. interval < "1.4"
326. inuit < "0.4.1"
327. io
328. irc-client < "0.6.0"
329. iri < "0.6.0"
330. irrlicht
331. itv-tree < "2.2"
332. jasmin
333. javalib
334. javascriptcore
335. jekyll-format < "0.2.0"
336. jemalloc < "0.2"
337. jhupllib < "0.2.2"
338. jingoo < "1.3.0"
339. joolog
340. js-build-tools
341. js_of_ocaml-compiler < "3.5.0"
342. js_of_ocaml-ocamlbuild < "3.5.0"
343. js_of_ocaml-toplevel
344. json-rpc
345. json-static
346. json-wheel
347. jsondiff
348. jsonm
349. jsont
350. junit < "2.0"
351. kaputt
352. karamel
353. key-parsers < "0.10.1"
354. kinetic-client < "0.0.11"
355. kremlin < "transition"
356. lablgl >= "1.07"
357. lablgtk
358. lablgtk-extras
359. lablgtk3 < "3.0.beta4" | >= "3.1.3"
360. lablgtk3-extras < "3.0.1"
361. lablqml
362. labltk
363. lacaml < "10.0.1"
364. ladspa < "0.2.0"
365. lambdasoup < "0.6.2"
366. lame < "0.3.4"
367. lascar < "0.6-alpha"
368. lastfm < "0.3.3"
369. launchd < "1.3"
370. learn-ocaml
371. learn-ocaml-client
372. ledit >= "2.06"
373. lem
374. lemonade
375. lemonade-sqlite
376. lens < "1.2.1"
377. leveldb < "1.3.0"
378. libdash
379. libevent
380. libssh
381. libsvm < "0.9.4"
382. libudev
383. linenoise < "1.1.0"
384. linkage
385. links
386. linksem
387. lipsum
388. liquidsoap < "2.2.0"
389. llvm >= "3.9" & < "15.0.7+nnp-2" | >= "18-shared"
390. llvmgraph
391. lmdb < "1.0"
392. lo < "0.2.0"
393. logger-p5
394. logs
395. logs-syslog < "0.2.0"
396. lpi
397. lru < "0.3.0"
398. lru-cache
399. lua-ml >= "0.9.1" & < "0.9.3"
400. lua_pattern
401. lustre-v6
402. lutils
403. lutin
404. lwt
405. lwt-zmq
406. lwt_glib < "1.1.0"
407. lwt_named_threads
408. lymp
409. lz4 < "1.2.0"
410. lzo < "0.0.3"
411. macaque
412. macaroons
413. mad < "0.5.0"
414. magic
415. magic-mime < "1.1.0"
416. maildir
417. malfunction
418. mariadb < "1.2.0"
419. markup < "0.7.6"
420. maxminddb
421. mdx
422. mecab
423. memcpy
424. menhir < "20200123"
425. mergeable-vector
426. merlin < "3.4.0"
427. merlin-of-pds
428. mesh < "0.9.3"
429. mesh-display
430. mesh-easymesh < "0.9.3"
431. mesh-graphics < "0.9.3"
432. mesh-triangle < "0.9.3"
433. metapp
434. metaquot
435. mikmatch
436. milter < "1.0.4"
437. mindstorm < "0.8"
438. minicli < "5.0.0"
439. minima-theme
440. minisat < "0.2"
441. minivpt
442. mirage-block < "1.2.0"
443. mirage-block-ramdisk < "0.4"
444. mirage-block-solo5 < "0.6.0"
445. mirage-block-unix < "2.8.3"
446. mirage-bootvar-solo5 < "0.6.0"
447. mirage-bootvar-xen = "0.4.0"
448. mirage-btrees
449. mirage-channel < "3.1.0"
450. mirage-channel-lwt < "3.1.0"
451. mirage-clock < "1.3.0"
452. mirage-clock-freestanding < "1.3.0"
453. mirage-clock-lwt < "1.3.0"
454. mirage-clock-unix < "1.3.0"
455. mirage-clock-xen
456. mirage-console < "2.3.2"
457. mirage-console-lwt < "2.3.2"
458. mirage-console-solo5 < "0.6.0"
459. mirage-console-unix < "2.3.2"
460. mirage-console-xen-backend = "2.3.3"
461. mirage-console-xen-proto != "2.3.2" & < "2.3.4"
462. mirage-device < "1.1.0"
463. mirage-entropy < "0.5.1"
464. mirage-flow < "1.3.0"
465. mirage-flow-lwt < "1.3.0"
466. mirage-flow-unix < "1.3.0"
467. mirage-fs < "0.4.0" | = "1.0.0"
468. mirage-fs-lwt < "1.1.1"
469. mirage-kv < "1.1.1"
470. mirage-kv-lwt < "1.1.0"
471. mirage-logs < "1.0.0"
472. mirage-net < "1.1.1"
473. mirage-net-lwt < "1.1.0"
474. mirage-net-macosx < "1.5.0"
475. mirage-net-solo5 < "0.4.3"
476. mirage-os-shim
477. mirage-profile < "0.8.1"
478. mirage-profile-xen < "0.8.1"
479. mirage-protocols < "1.2.0"
480. mirage-protocols-lwt < "1.2.0"
481. mirage-qubes = "0.6"
482. mirage-qubes-ipv4 = "0.6"
483. mirage-random < "1.1.0"
484. mirage-runtime < "3.0.5"
485. mirage-solo5 < "0.6.2"
486. mirage-stack < "1.1.0"
487. mirage-stack-lwt < "1.1.0"
488. mirage-time < "1.1.0"
489. mirage-time-lwt < "1.1.0"
490. mirage-types < "3.0.5"
491. mirage-types-lwt < "3.0.5"
492. mirage-unix < "3.2.0"
493. mirage-vnetif = "0.3.1"
494. mirage-xen-ocaml
495. misuja
496. mixture
497. mkaudio < "1.1.0"
498. mlbdd < "0.7.2"
499. mlcuddidl
500. mlgmpidl
501. mlmpfr < "4.0.2+dune"
502. mlpost
503. mm < "0.7.0"
504. mmseg < "transition"
505. monadlib
506. monomorphic < "1.3"
507. mopsa
508. more-ocaml
509. mosquitto
510. mparser < "1.3"
511. mpi
512. mpp < "0.3.4"
513. msat < "0.8"
514. msgpack
515. msgpck < "1.3"
516. mtime
517. mtl
518. murmur3 < "0.3"
519. mustache < "3.1.0"
520. mvar
521. mybuild < "7"
522. mysql
523. named-pipe
524. namespaces
525. nbd < "4.0.3"
526. netlink < "0.3.4"
527. nlopt-ocaml < "transition"
528. nlp
529. noCanren < "0.3.0~alpha1"
530. nocrypto
531. nonstd
532. nosetup
533. not-ocamlfind
534. note
535. notty < "0.2.3"
536. nproc
537. npy < "0.0.8"
538. num < "1.5"
539. OCanren
540. oasis
541. oasis2debian
542. oasis2opam
543. obandit
544. obelisk < "0.5.0"
545. objsize
546. obuild >= "0.1.11"
547. obus < "1.2.0"
548. ocal < "0.2.2"
549. ocaml-basics < "0.5.0"
550. ocaml-buddy
551. ocaml-expat
552. ocaml-freestanding
553. ocaml-freestanding-cross-aarch64
554. ocaml-http
555. ocaml-inifiles
556. ocaml-js-stdlib
557. ocaml-lsp-server < "1.6.0"
558. ocaml-migrate-parsetree-ocamlbuild
559. ocaml-monadic < "0.4.0"
560. ocaml-protoc < "2.0.1"
561. ocaml-protoc-yojson
562. ocaml-sat-solvers
563. ocaml-solo5
564. ocaml-solo5-cross-aarch64
565. ocaml-systemd < "1.3"
566. ocaml-unikraft-arm64
567. ocaml-unikraft-default-arm64
568. ocaml-unikraft-default-x86_64
569. ocaml-unikraft-x86_64
570. ocaml-variants >= "4.00.1+mirage-unix" & < "4.00.1+open-types"
571. ocaml-xdg-basedir < "transition"
572. ocamlbrowser
573. ocamlbuild >= "0.15.0"
574. ocamlbuild-atdgen
575. ocamlbuild-pkg
576. ocamlbuild-protoc
577. ocamldap < "transition"
578. ocamldiff < "1.2"
579. ocamldot
580. ocamleditor
581. ocamlfind-lint
582. ocamlfuse < "2.7.1-cvs6"
583. ocamlgraph < "2.0.0"
584. ocamlify < "0.1.0"
585. ocamlmod
586. ocamlnet
587. ocamlrss
588. ocamlscript
589. ocamlsdl
590. ocamlsdl2
591. ocamlsdl2-image
592. ocamlsdl2-ttf
593. ocamlyices
594. ocb-stubblr
595. ocephes
596. ocf < "0.8.0"
597. oclock
598. ocp-build
599. ocp-indent >= "1.7.0"
600. ocp-index-top
601. ocp-ocamlres
602. ocp-reloc
603. ocplib-endian < "1.1"
604. ocplib-json-typed < "0.7"
605. ocplib-resto
606. ocplib-simplex != "0.5"
607. ocsfml
608. ocsigen-i18n < "4.0.0"
609. ocsigenserver
610. octavius < "1.2.1"
611. ocurl < "transition"
612. ocveralls
613. odbc
614. odds < "1.1"
615. odep
616. odepack < "0.6.9"
617. odig
618. odoc
619. odoc-driver
620. ofx
621. ogen
622. ogg != "0.6.0" & < "0.7.0"
623. ojs-base
624. olinq < "0.3"
625. ollvm
626. ollvm-tapir
627. olmi
628. omake
629. omd < "1.3.2"
630. oml
631. omod
632. omonad
633. oolc
634. opal
635. opam-bundle
636. opam-depext >= "1.2.1"
637. opam-dune-lint < "0.2"
638. opam-ed < "0.4"
639. opam-lib
640. opam-publish = "0.3.5"
641. opamfu
642. opencc < "transition"
643. opus < "0.2.0"
644. ordma < "0.0.5"
645. orm
646. orocksdb
647. osc < "0.2.0"
648. osdp
649. oseq < "0.2"
650. ostap
651. osx-acl
652. osx-attr
653. osx-cf
654. osx-fsevents
655. osx-membership
656. osx-mount
657. osx-plutil
658. osx-xattr
659. otfm
660. otr < "0.3.6"
661. ott >= "0.32"
662. otto
663. ounit != "2.1.2"
664. ounit-lwt >= "2.2.0"
665. pa_comprehension
666. pa_monad_custom
667. pa_qualified
668. pa_solution
669. pa_where
670. papi < "0.1.1"
671. parany < "5.0.0"
672. pareto
673. parmap < "1.1.1"
674. parse-argv < "0.1.0"
675. pbkdf < "0.3.0"
676. pbs
677. pcap-format < "0.5.2"
678. pci
679. pci-db
680. pcre < "7.3.0"
681. pds
682. pds-reachability < "0.2.3"
683. pfff >= "0.37.6"
684. pgocaml < "4.0"
685. pgsolver
686. pilat
687. piqi < "0.7.8"
688. piqilib < "0.6.16"
689. pkcs11 < "0.18.0"
690. pla < "1.2"
691. plist
692. plplot < "5.11.0-1"
693. podge
694. polka
695. polyglot
696. portaudio < "0.2.2"
697. portia
698. posix-clock
699. posix-getopt < "2.0.0"
700. posix-math
701. posix-mqueue
702. posix-semaphore
703. posix-time
704. posix-types < "2.0.0"
705. postgresql < "4.1.0"
706. pprint < "20200226"
707. ppx_blob < "0.3.0"
708. ppx_const < "2.0"
709. ppx_cstubs
710. ppx_defer < "0.3.0"
711. ppx_deriving >= "5.0"
712. ppx_deriving_argparse
713. ppx_deriving_cmdliner < "0.6.0"
714. ppx_deriving_encoding >= "0.2.3" & < "0.4.0"
715. ppx_deriving_madcast < "0.2"
716. ppx_distr_guards < "0.2"
717. ppx_monoid < "0.3.2"
718. ppx_tools < "6.0+4.08.0"
719. ppxfind
720. ppxlib
721. primes
722. pringo
723. printbox < "0.2"
724. process
725. proj4
726. prometheus < "0.3"
727. protocol-9p < "0.11.1"
728. protocol-9p-tool < "0.11.2"
729. protocol-9p-unix < "0.11.2"
730. proverif
731. psmt2-frontend < "0.3.0"
732. psq < "0.1.1"
733. psyche
734. ptime
735. ptmap < "2.0.5"
736. pulseaudio < "0.1.4"
737. pumping
738. pvem
739. pxp
740. py < "1.1"
741. pyml
742. qbf < "0.3"
743. qcheck < "0.8"
744. qcow < "0.10.2"
745. qcow-tool < "0.11.0"
746. qcstm
747. qfs
748. qmp < "0.19.0"
749. qocamlbrowser
750. qrc
751. qtest < "2.9"
752. r2pipe
753. radare2 < "0.0.3"
754. randomconv < "0.1.1"
755. ranger
756. raw_spacetime
757. raygun4ocaml
758. rdbg
759. rdf < "0.13.0"
760. rdr
761. re < "1.7.2"
762. react
763. reactiveData < "0.2.4"
764. reason >= "3.5.2"
765. records < "1.0.0"
766. res < "5.0.0"
767. resource-pooling < "1.1"
768. revops
769. rfc6287 < "1.0.4"
770. rfsm < "1.6-alpha-3"
771. riak
772. riak-pb
773. rlp
774. rml < "1.09.03"
775. rocq-runtime
776. rocqide
777. root1d < "0.5.1"
778. rotor
779. rresult
780. runtime_events_tools < "0.5.1"
781. Snowflake
782. safa
783. safepass < "3.0"
784. sail < "0.15"
785. salsa20 < "1.0.0"
786. salsa20-core < "1.0.0"
787. samplerate < "0.1.6"
788. sanlock
789. sattools
790. sawja
791. schroedinger
792. scid
793. scrypt
794. scrypt-kdf < "1.0.0"
795. secp256k1 < "0.2.5"
796. sedlex < "2.0"
797. selfie
798. semver < "0.2.1"
799. sendmsg
800. sequence
801. session < "0.4.0"
802. sessions
803. setr
804. sfml
805. sgf < "1.0.1"
806. sha < "1.12"
807. shared-memory-ring < "3.0.1"
808. shared-memory-ring-lwt < "3.1.0"
809. shared-secret < "0.4"
810. shcaml
811. shine < "0.2.2"
812. sid
813. simple-diff
814. simple_pam
815. slap
816. smart-print < "0.3.0"
817. smtp
818. snappy < "0.1.2"
819. socketcan
820. sodium
821. sosa
822. soundtouch < "0.1.9"
823. speex < "0.4.0"
824. spelll < "0.3"
825. spirv
826. spotlib < "4.1.0"
827. spreadsheet
828. sqlgg < "20200521"
829. sqlite3 < "4.2.0"
830. srt >= "0.2.0"
831. ssl < "0.5.6"
832. starterkit
833. statmemprof-emacs
834. statverif
835. stb_image
836. stb_image_write
837. stb_truetype
838. stdcompat < "7"
839. stdint < "0.5.1"
840. stemmer
841. stemming
842. stog < "0.20.0"
843. stone
844. stringCodepointSplitter
845. stringext < "1.5.0"
846. strymonas-pure
847. sturgeon < "0.4.2"
848. subtype-refinement < "0.2"
849. sundialsml
850. symkat
851. syndic < "1.6.0"
852. syslog-message < "1.0.0"
853. systemverilog < "0.0.2"
854. TCSLib < "0.5"
855. taglib < "0.3.7"
856. tallgeese
857. tcx
858. tdk
859. tensorflow
860. termbox
861. terminal_size < "0.1.4"
862. text
863. textwrap < "0.2.1"
864. tgls
865. theora < "0.4.0"
866. tidy < "5-0.2"
867. timed < "1.1"
868. tiny_json < "1.1.6"
869. tip-parser < "0.4"
870. tjr_simple_earley
871. tls < "0.11.0"
872. tlstunnel
873. tophide
874. topkg
875. topkg-care
876. toplevel_backend
877. toplevel_expect_test
878. touist < "3.5.0"
879. tplib
880. tptp
881. tree_layout < "0.2"
882. treeprint < "2.2.0"
883. tsdl
884. ttweetnacl
885. tuntap < "1.5.0"
886. type_conv
887. typerep < "v0.12.0"
888. typerex-binutils
889. tyre < "0.4"
890. tyxml < "4.3.0"
891. ubpf < "0.2"
892. uint < "2.0.1"
893. ulex
894. ulex-camlp5
895. unison-gui
896. unix-dirent
897. unix-errno < "0.6.0"
898. unix-sys-resource
899. unix-sys-stat
900. unix-time
901. unix-type-representations
902. unix-unistd
903. uri < "1.9.6"
904. usb
905. user-setup
906. utop
907. uucd
908. uucp
909. uuidm
910. uunf
911. uuseg
912. uutf
913. uuuu >= "0.2.0"
914. uwt
915. valentine
916. variantslib < "v0.12.0"
917. vector3 < "1.0.0"
918. vg
919. vhdlib
920. visitors < "20200207"
921. vlt
922. voaacenc
923. volt
924. vorbis < "0.8.0"
925. vscoq-language-server
926. wamp < "1.2"
927. wasm < "2.0.2"
928. wcs-lib < "2017-05-26.02"
929. webbrowser
930. webidl
931. webmachine < "0.5.0"
932. websocketml
933. why3
934. why3-coq
935. why3-ide
936. win-error < "0.3"
937. win-eventlog < "0.2"
938. wiringpi
939. wxOCaml
940. xapi-inventory < "1.2.3"
941. xen-evtchn < "2.1.0"
942. xen-evtchn-unix < "2.1.0"
943. xen-gnt < "3.0.1"
944. xen-gnt-unix < "3.0.1"
945. xenstore_transport < "1.1.0"
946. xml-light < "2.5"
947. xmldiff < "0.7.0"
948. xmlm
949. xmlplaylist < "0.1.5"
950. xtmpl < "0.19.0"
951. yajl
952. yices2
953. yices2_bindings
954. yurt < "0.6"
955. z3
956. zarith
957. zarith-freestanding
958. zarith-xen
959. zipc
960. zlist < "0.4.0"
961. zmq < "5.0.0"
962. zstd < "0.3"
963. zxcvbn < "2.3+2"

None