package ocaml

  1. Overview
  2. No Docs
The OCaml compiler (virtual package)

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (80)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp

Description

This package requires a matching implementation of OCaml, and polls it to initialise specific variables like ocaml:native-dynlink

Published: 28 Mar 2018

Dependencies (4)

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

Dev Dependencies

None

  1. 0install < "2.15.1"
  2. ANSITerminal
  3. aacplus
  4. abella < "2.0.8"
  5. acpc < "2.0.0"
  6. aez
  7. afl
  8. afl-persistent >= "1.2" & < "1.4"
  9. ago
  10. aifad
  11. aio
  12. alba < "0.4.1"
  13. alcotest < "1.7.0"
  14. alcotest-async < "1.7.0"
  15. aliases
  16. alsa
  17. alt-ergo < "2.4.1"
  18. alt-ergo-free
  19. alt-ergo-lib < "2.4.1"
  20. alt-ergo-parsers < "2.4.1"
  21. altgr-ergo < "2.4.1"
  22. amqp-client < "2.3.0"
  23. amqp-client-async < "2.3.0"
  24. amqp-client-lwt < "2.3.0"
  25. ancient
  26. angstrom
  27. angstrom-async
  28. angstrom-lwt-unix
  29. angstrom-unix
  30. ansi-parse
  31. ansicolor
  32. anycache
  33. anycache-async
  34. anycache-lwt
  35. ao < "0.2.2"
  36. apero-core
  37. apero-net
  38. apero-time
  39. apron
  40. archimedes
  41. arg-complete >= "0.2.1"
  42. argon2
  43. ascii85
  44. asetmap
  45. asl
  46. asn1-combinators < "0.2.5"
  47. assertions
  48. assimp
  49. astring < "0.8.5"
  50. async-uri >= "0.4.0"
  51. atd < "2.3.3"
  52. atd2cconv
  53. atdgen < "2.3.3"
  54. atdgen-codec-runtime < "2.3.3"
  55. atdgen-runtime < "2.3.3"
  56. atdj < "2.3.3"
  57. atds < "2.3.3"
  58. atomic < "base"
  59. augeas
  60. aws
  61. aws-async
  62. aws-autoscaling
  63. aws-cloudformation
  64. aws-cloudtrail
  65. aws-cloudwatch
  66. aws-ec2
  67. aws-elasticache
  68. aws-elasticloadbalancing
  69. aws-lwt
  70. aws-rds
  71. aws-route53
  72. aws-s3-async < "4.4.0"
  73. aws-s3-lwt < "4.4.0"
  74. aws-sdb
  75. aws-sqs
  76. aws-ssm
  77. aws-sts
  78. BetterErrors
  79. balancer
  80. bap-emacs-dot
  81. bap-emacs-goodies
  82. bap-emacs-mode
  83. bap-frames
  84. bap-signatures < "2.4.0"
  85. base < "v0.14.0"
  86. base-bytes >= "base"
  87. base-implicits
  88. base-metaocaml-ocamlfind
  89. base-native-int63
  90. base-num
  91. base32
  92. base58
  93. base64 != "2.3.0" & < "3.5.2"
  94. base_quickcheck < "v0.15.0"
  95. batch_jaro_winkler
  96. batteries < "3.7.2"
  97. bdd < "0.5"
  98. bddapron
  99. bddrand < "2.71.15"
  100. bear
  101. beluga < "1.0"
  102. benchmark
  103. benchpress
  104. benchpress-server
  105. bencode
  106. bestline
  107. bheap
  108. bibtex2html
  109. bigarray-compat
  110. bigstring
  111. bigstring-unix
  112. bigstringaf < "0.9.0"
  113. bimage < "0.2.1"
  114. bimage-gtk < "0.2.1"
  115. bimage-sdl < "0.2.1"
  116. bin_prot < "v0.14.1"
  117. bin_tree
  118. binaryen_dsl
  119. binbin
  120. bindlib < "6.0.0"
  121. biniou
  122. biocaml
  123. bip32
  124. bisect
  125. bisect-summary
  126. bisect_ppx
  127. bisect_ppx-ocamlbuild
  128. bitcoin < "3.0"
  129. bitmasks
  130. bitstring < "5.0.0"
  131. bitv < "2.1"
  132. bjack < "0.1.6"
  133. bloomf < "0.2.0"
  134. bn128
  135. bogue-tutorials < "0.2.0"
  136. bolt
  137. bookaml
  138. bos < "0.2.1"
  139. bpf
  140. bracetax
  141. broken
  142. brotli
  143. brozip
  144. bsdowl
  145. bson2
  146. bst
  147. build_path_prefix_map
  148. bun < "0.3.1"
  149. bwrap
  150. bytearray
  151. bytepdf
  152. cairo2
  153. cairo2-gtk
  154. cairo2-pango
  155. calculon < "0.7"
  156. calculon-web
  157. calendar
  158. callipyge
  159. camelsnakekebab
  160. caml-mode
  161. camlbz2
  162. camldiets
  163. camlgpc
  164. camlidl < "1.12"
  165. camllib
  166. camlmix
  167. camlon < "3.0.0"
  168. camlp-streams
  169. camlp4 = "4.02.0-1modular-implicits" | >= "4.04+1" & < "4.05+1"
  170. camlp5 < "8.00.04"
  171. camlpdf < "2.5"
  172. camlprime
  173. camltc
  174. camlzip < "1.11"
  175. camomile != "1.0.0" & < "2.0.0"
  176. capnp < "3.6.0"
  177. captureio
  178. caqti < "2.0.1"
  179. caqti-async
  180. caqti-driver-mariadb
  181. caqti-driver-pgx < "2.1.1"
  182. caqti-driver-postgresql
  183. caqti-driver-sqlite3 != "1.7.0"
  184. caqti-dynload
  185. caqti-lwt
  186. caqti-mirage
  187. caqti-tls
  188. caqti-type-calendar
  189. catala-format >= "0.2.0"
  190. cbor < "0.5"
  191. cconv
  192. cconv-ppx
  193. cdrom
  194. ceph
  195. certify < "0.3.3"
  196. cf_workers
  197. cfg < "2.3.0"
  198. cfgen
  199. cfstream
  200. cgi
  201. cgroups
  202. chacha
  203. chalk
  204. charInfo_width
  205. checkseum < "0.1.1"
  206. choice
  207. cinaps < "v0.12.0" | >= "v0.15.0"
  208. clangml < "4.3.0"
  209. clangml-transforms < "0.26"
  210. cloudi
  211. cmark
  212. cmarker
  213. cmdliner < "1.3.0"
  214. cmdtui
  215. cmdtui-lambda-term
  216. cmitomli
  217. coccinelle < "1.3.0"
  218. codept < "0.12.1"
  219. codept-lib
  220. cohttp < "4.0.0"
  221. cohttp-async < "4.1.2"
  222. cohttp-lwt < "4.0.0"
  223. cohttp-lwt-jsoo < "5.3.0"
  224. cohttp-lwt-unix < "4.0.0"
  225. coin < "0.1.5"
  226. colombe != "0.2.0"
  227. color-brewery
  228. combic
  229. combine
  230. conduit < "6.1.0"
  231. conduit-async < "6.2.3"
  232. conduit-lwt < "6.1.0"
  233. conduit-lwt-unix < "2.2.2"
  234. conex < "0.11.0"
  235. conf-bap-llvm < "1.7"
  236. conf-binutils < "0.3"
  237. conf-cuda
  238. conf-ida
  239. conf-libev
  240. conf-radare2
  241. config >= "0.0.3"
  242. config-file
  243. configuration
  244. configurator
  245. conjury < "2.1"
  246. containers < "3.13"
  247. containers-data < "3.13"
  248. containers-thread
  249. coq < "8.10.0"
  250. coq-lsp >= "0.1.9+8.17" & < "0.2.5+8.20"
  251. coq-shell
  252. coqide < "8.10.0"
  253. cordova
  254. cordova-plugin-activity-indicator
  255. cordova-plugin-background-mode
  256. cordova-plugin-barcode-scanner
  257. cordova-plugin-battery-status
  258. cordova-plugin-camera
  259. cordova-plugin-clipboard
  260. cordova-plugin-datepicker
  261. cordova-plugin-device
  262. cordova-plugin-device-motion
  263. cordova-plugin-device-orientation
  264. cordova-plugin-dialogs
  265. cordova-plugin-email-composer
  266. cordova-plugin-fcm
  267. cordova-plugin-file
  268. cordova-plugin-file-opener
  269. cordova-plugin-file-transfer
  270. cordova-plugin-geolocation
  271. cordova-plugin-globalization
  272. cordova-plugin-image-picker
  273. cordova-plugin-inappbrowser
  274. cordova-plugin-insomnia
  275. cordova-plugin-keyboard
  276. cordova-plugin-loading-spinner
  277. cordova-plugin-local-notifications
  278. cordova-plugin-media
  279. cordova-plugin-media-capture
  280. cordova-plugin-network-information
  281. cordova-plugin-progress
  282. cordova-plugin-push-notifications
  283. cordova-plugin-qrscanner
  284. cordova-plugin-screen-orientation
  285. cordova-plugin-sim-card
  286. cordova-plugin-sms
  287. cordova-plugin-social-sharing
  288. cordova-plugin-statusbar
  289. cordova-plugin-toast
  290. cordova-plugin-touch-id
  291. cordova-plugin-vibration
  292. cordova-plugin-videoplayer
  293. corecount
  294. cow
  295. cowabloga
  296. cpdf < "2.4"
  297. cpm
  298. cppo
  299. cppo_ocamlbuild
  300. cpu
  301. cpuid
  302. craml
  303. crc
  304. crdt-ml
  305. crlibm
  306. crontab
  307. crowbar < "0.2"
  308. cry < "1.0.0"
  309. crypt
  310. cryptodbm
  311. cryptohash
  312. cryptokit < "1.20"
  313. cryptoverif < "2.08"
  314. csexp
  315. cstruct < "6.2.0"
  316. cstruct-lwt < "6.2.0"
  317. cstruct-sexp < "6.2.0"
  318. csv
  319. csv-lwt
  320. csvtool
  321. ctypes < "0.24.0"
  322. ctypes-build
  323. ctypes-foreign >= "0.21.1" & < "0.24.0"
  324. cubicle < "1.2.0"
  325. cudf < "0.10"
  326. cuid
  327. curly
  328. curses
  329. curve-sampling
  330. daft < "0.0.4"
  331. datakit-server
  332. datakit-server-9p
  333. datalog < "0.7"
  334. dbm
  335. debian-formats
  336. decoders
  337. decoders-bencode
  338. decoders-cbor
  339. decoders-ezjsonm
  340. decoders-ezxmlm
  341. decoders-jsonm
  342. decoders-msgpck
  343. decoders-sexplib
  344. decoders-yojson
  345. decompress < "0.9.1"
  346. dedukti < "2.7"
  347. delimcc < "2020.10.08"
  348. depext
  349. depgraph
  350. deriving
  351. devkit < "0.7"
  352. diet
  353. digestif < "1.1.2"
  354. disml
  355. dispatch
  356. dispatch-js
  357. distributed
  358. distributed-lwt
  359. distributed-uwt
  360. diy
  361. dkml-component-offline-ocamlrun
  362. dkml-option-vcpkg
  363. dkml-runtime-common >= "2.0.3"
  364. dlist
  365. dlm
  366. dns < "4.4.1"
  367. dns-forward
  368. dns-forward-lwt-unix
  369. dns-lwt
  370. dnssd
  371. docker-api
  372. dockerfile < "8.1.0"
  373. dockerfile-cmd < "8.2.7"
  374. dockerfile-opam < "8.2.7"
  375. docout
  376. dokeysto
  377. dokeysto_camltc
  378. dokeysto_lz4
  379. dolmen < "0.5"
  380. dolmen_bin
  381. dolmen_loop
  382. dolmen_lsp
  383. dolmen_model
  384. dolmen_type
  385. dolog
  386. domain-name
  387. domainslib < "0.3.2"
  388. dose3
  389. dose3-extra
  390. down < "0.3.0"
  391. dream-inertia
  392. dryunit
  393. dssi < "0.1.3"
  394. dtoa
  395. dtools < "0.4.2"
  396. duff < "0.5"
  397. dum
  398. dune < "3.18.2"
  399. dune-configurator >= "2.9.3" & < "3.18.2"
  400. dune-deps < "1.4.0"
  401. dune_deps_extra
  402. duppy < "0.9.0"
  403. duration
  404. dynload-sys
  405. dyntype
  406. earley < "3.0.0"
  407. easy-format < "1.3.3"
  408. easy_logging < "0.8.1"
  409. easy_logging_yojson < "0.8.1"
  410. edn < "0.2.0"
  411. efl
  412. ego
  413. eigen
  414. either
  415. elasticsearch-cli
  416. electrumAnalyzer
  417. elina
  418. elpi-option-legacy-parser
  419. emile
  420. emoji
  421. encore < "0.6"
  422. enumerators
  423. epictetus
  424. eqaf < "0.8"
  425. errpy < "0.0.10"
  426. esgg
  427. exenum
  428. exn-source
  429. expect < "0.1.0"
  430. extlib
  431. extprot
  432. extunix < "0.3.1"
  433. ez-conf-lib
  434. ez_cmdliner < "0.2.0"
  435. ez_config < "0.2.0"
  436. ez_file < "0.2.0"
  437. ez_hash >= "0.5.3"
  438. ezcurl
  439. ezcurl-lwt
  440. ezdl < "2.71.15"
  441. ezgzip
  442. ezjsonm < "1.3.0"
  443. ezjsonm-lwt
  444. ezsqlite
  445. ezxmlm
  446. FrontC < "4.0.0"
  447. faad < "0.5.0"
  448. facile
  449. faraday
  450. faraday-async < "0.7.2"
  451. faraday-lwt
  452. faraday-lwt-unix
  453. farfadet
  454. farmhash
  455. fasmifra < "2.1.0"
  456. fat-filesystem < "0.14.0"
  457. fd-send-recv < "2.0.2"
  458. fdkaac < "0.3.2"
  459. feat
  460. feat-core
  461. feat-num
  462. feather < "0.2.0"
  463. febusy
  464. ffmpeg < "0.2.0"
  465. fftw3
  466. fieldslib < "v0.15.0"
  467. fileutils < "0.6.6"
  468. findlib_top
  469. fix
  470. flac
  471. flex-array
  472. flock
  473. fm-simplex-plugin
  474. fmt < "0.8.8"
  475. forester < "3.0.0"
  476. format
  477. fpath
  478. frama-c < "20.0"
  479. freetds < "0.7"
  480. freetennis
  481. frei0r < "0.1.2"
  482. frontmatter_extractor
  483. fstar < "2025.02.17"
  484. fstreams
  485. fswatch
  486. fswatch_async
  487. fswatch_lwt
  488. functory
  489. funfields
  490. General
  491. gadelac
  492. gammu
  493. gavl
  494. gbddml < "2.71.15"
  495. gd < "1.1"
  496. gdal
  497. gdbprofiler
  498. gedcom
  499. gen
  500. gen-bs
  501. genlet
  502. genprint
  503. genspio
  504. genspir
  505. geoip
  506. get_line < "5.0.0"
  507. getopt < "20230213"
  508. getopts
  509. gettext < "0.5.0"
  510. gettext-camomile < "0.5.0"
  511. gettext-stub < "0.5.0"
  512. github < "4.4.0"
  513. github-hooks
  514. github-hooks-unix
  515. github-jsoo < "4.4.0"
  516. github-unix < "4.4.0"
  517. gitlab_pipeline_notifier
  518. gles3
  519. glfw-ocaml
  520. glical
  521. glicko2
  522. globlon
  523. glpk
  524. gluten-async < "0.4.0"
  525. gluten-lwt < "0.4.0"
  526. gluten-lwt-unix < "0.4.0"
  527. gluten-mirage < "0.4.0"
  528. gmap
  529. gmp
  530. gmp-xen
  531. gnuplot
  532. gobject-introspection
  533. goblint-cil < "1.8.2"
  534. gperftools
  535. gpr < "1.5.0"
  536. gptar
  537. gpx
  538. graft
  539. graphicspdf
  540. graphql < "0.14.0"
  541. graphql-async < "0.14.0"
  542. graphql-cohttp < "0.9.0"
  543. graphql-lwt < "0.14.0"
  544. graphql_jsoo_client
  545. graphql_parser < "0.14.0"
  546. grenier < "0.12"
  547. grib
  548. grid
  549. gsl < "1.22.0"
  550. gstreamer
  551. gxl-light
  552. h2 < "0.5.0"
  553. h2-lwt < "0.5.0"
  554. h2-lwt-unix < "0.5.0"
  555. h2-mirage < "0.5.0"
  556. hack_parallel
  557. hacl_x25519
  558. hamt
  559. hashcons < "1.4.0"
  560. hashids
  561. hashset
  562. haxe
  563. hdf5
  564. hdfs
  565. headache >= "1.06" & < "1.08"
  566. heptagon
  567. herdtools7 < "7.54"
  568. heroicons-reason-react
  569. hevea < "2.35"
  570. hex < "1.5.0"
  571. hidapi
  572. hidapi-lwt
  573. higher
  574. higlo < "0.8"
  575. hiredis
  576. hiredis-value
  577. hlarp
  578. hll < "4.3"
  579. hmap
  580. hol_light
  581. horned_worm
  582. hpack < "0.10.0"
  583. hts_shrink
  584. httpaf
  585. httpaf-async
  586. httpaf-lwt-unix
  587. huffman
  588. humane-re
  589. huml
  590. huml-cli
  591. hvsock
  592. hweak
  593. hyper < "1.0.0~alpha2"
  594. ISO3166
  595. ISO8601
  596. i2c
  597. i3ipc
  598. idd
  599. idds
  600. igvxml
  601. index-bench
  602. inferno < "20211222"
  603. influxdb
  604. influxdb-async
  605. influxdb-lwt
  606. inifiles
  607. inotify
  608. inquirer_oc
  609. inspect
  610. integers != "0.5.0"
  611. integration1d
  612. interface-prime
  613. interface-prime-lwt
  614. interval < "1.6"
  615. interval_base < "1.6"
  616. interval_crlibm < "1.6"
  617. interval_intel < "1.6"
  618. inuit
  619. io
  620. io-page < "3.0.0"
  621. io-page-unix
  622. ipaddr < "5.6.0"
  623. ipv6-multicast
  624. ipv6-multicast-lwt
  625. irc-client
  626. irc-client-lwt
  627. irc-client-lwt-ssl
  628. irc-client-tls
  629. irc-client-unix
  630. iri < "0.5.0"
  631. irmin-chunk
  632. irmin-cli
  633. irmin-containers
  634. irmin-fs
  635. irmin-git
  636. irmin-graphql
  637. irmin-http
  638. irmin-layers
  639. irmin-pack-tools
  640. irmin-test
  641. irmin-unix
  642. irmin-watcher
  643. irrlicht
  644. iso639
  645. iter < "1.7"
  646. itv-tree
  647. jane-street-headers < "v0.16.0"
  648. javalib < "3.2.2"
  649. javascriptcore
  650. jbuilder
  651. jekyll-format < "0.2.0"
  652. jemalloc
  653. jhupllib < "0.2.2"
  654. jingoo
  655. joolog
  656. js-build-tools
  657. js_of_ocaml < "5.1.0"
  658. js_of_ocaml-camlp4
  659. js_of_ocaml-compiler < "5.1.0"
  660. js_of_ocaml-lwt < "5.1.0"
  661. js_of_ocaml-ocamlbuild != "3.5.2"
  662. js_of_ocaml-ppx < "5.1.0"
  663. js_of_ocaml-ppx_deriving_json < "5.1.0"
  664. js_of_ocaml-toplevel < "5.1.0"
  665. js_of_ocaml-tyxml < "5.1.0"
  666. json-data-encoding < "0.9"
  667. json-data-encoding-browser < "0.9"
  668. json-data-encoding-bson < "0.9"
  669. json-derivers
  670. json-rpc
  671. json-static
  672. json_decoder
  673. json_of_jsonm
  674. jsondiff
  675. jsonxt
  676. jsoo_broadcastchannel
  677. jsoo_storage
  678. jst-config < "v0.15.0"
  679. junit < "2.0.1" | = "2.2.0"
  680. junit_alcotest < "2.0.1"
  681. junit_ounit < "2.0.1"
  682. jupyter < "2.7.8"
  683. jupyter-archimedes
  684. jupyter-kernel < "0.8"
  685. jwt
  686. kafka
  687. kafka_async
  688. kafka_lwt
  689. kappa-agents < "4.1.3"
  690. kappa-binaries < "4.1.3"
  691. kappa-server
  692. kaputt
  693. ke < "0.6"
  694. key-parsers < "1.2.1"
  695. kicadsch < "0.4.0"
  696. kinetic-client
  697. kyotocabinet
  698. lablgl < "1.07"
  699. lablgtk-extras
  700. lablgtkosx
  701. lablqml < "0.7"
  702. labrys
  703. lacaml < "11.0.1"
  704. ladspa < "0.2.0"
  705. lambda-term < "3.2.0"
  706. lambdasoup
  707. lame < "0.3.4"
  708. landmarks < "1.4"
  709. lascar < "0.6-alpha"
  710. lastfm < "0.3.3"
  711. launchd
  712. lazy-trie
  713. lbfgs
  714. lbvs_consent < "2.0.0"
  715. ldap
  716. ledit
  717. lem < "2022-12-10"
  718. lemonade
  719. lemonade-sqlite
  720. lens < "1.2.4"
  721. letters < "0.1.1"
  722. leveldb < "1.3.0"
  723. levenshtein
  724. libdash < "0.3"
  725. libevent
  726. libsail < "0.19"
  727. libssh
  728. libsvm
  729. libudev
  730. libzipperposition < "2.0"
  731. line_oriented
  732. linenoise
  733. linkage
  734. lipsum
  735. liquidsoap-daemon
  736. llhttp
  737. llopt
  738. llvm
  739. llvmgraph
  740. lmdb = "1.0"
  741. lo < "0.2.0"
  742. logical
  743. logs < "0.8.0"
  744. logs-async >= "1.3"
  745. logs-async-reporter >= "1.3"
  746. logs-syslog
  747. logtk < "2.0"
  748. lpd
  749. lpi
  750. lru != "0.3.0-1"
  751. lru-cache
  752. lua_pattern
  753. lustre-v6 < "6.101.7"
  754. lutils
  755. lutin != "2.70.4" & < "2.71.15"
  756. luv
  757. luv_unix
  758. lwd
  759. lwt < "5.6.0"
  760. lwt-binio
  761. lwt-canceler
  762. lwt-dllist
  763. lwt-pipe
  764. lwt-pipeline
  765. lwt-watcher
  766. lwt-zmq
  767. lwt_camlp4
  768. lwt_domain < "0.2.0"
  769. lwt_eio < "0.2"
  770. lwt_glib
  771. lwt_log
  772. lwt_named_threads
  773. lwt_ppx < "2.1.0"
  774. lwt_react < "1.2.0"
  775. lwt_ssl
  776. lymp
  777. lz4
  778. lz4_chans >= "3.0.0"
  779. lzo
  780. macaddr < "5.6.0"
  781. macaque
  782. macaroons
  783. mad < "0.5.0"
  784. magic < "0.7.4"
  785. magic-mime
  786. maildir
  787. make-random
  788. malfunction < "0.5"
  789. markdown
  790. markup
  791. mastodon-archive-viewer < "0.2"
  792. maxminddb
  793. mc2
  794. mccs
  795. mdx < "2.0.0"
  796. mecab
  797. mechaml
  798. mel
  799. melange-atdgen-codec-runtime
  800. melange-fest
  801. melange-fetch
  802. melange-json >= "1.1.0"
  803. melange-moment
  804. melange-numeral
  805. melange-react-dates
  806. melange-recharts
  807. melange-testing-library
  808. melange-webapi >= "0.21.0"
  809. meldep
  810. memcpy < "0.2.2"
  811. menhir != "20211125" & < "20260122"
  812. menhirLib < "20260122"
  813. menhirSdk < "20260122"
  814. mergeable-vector
  815. merlin < "4.5-411"
  816. merlin-extend
  817. merlin-of-pds
  818. mesh
  819. mesh-display
  820. mesh-easymesh
  821. mesh-graphics
  822. mesh-triangle
  823. metapp < "0.3.0"
  824. metaquot < "0.3.0"
  825. metrics
  826. mew
  827. mew_vi
  828. milter
  829. mindstorm
  830. mindstorm-lwt
  831. minicaml < "0.3.1"
  832. minicli
  833. minilight
  834. minima-theme
  835. minisat != "0.3"
  836. minivpt
  837. mirage < "4.0.0"
  838. mirage-block < "2.0.1"
  839. mirage-block-lwt
  840. mirage-block-unix < "2.12.1"
  841. mirage-btrees
  842. mirage-channel < "4.0.1"
  843. mirage-channel-lwt
  844. mirage-clock < "4.2.0"
  845. mirage-clock-lwt
  846. mirage-clock-unix < "4.2.0"
  847. mirage-conduit
  848. mirage-console
  849. mirage-console-lwt
  850. mirage-device < "2.0.0"
  851. mirage-flow < "3.0.0"
  852. mirage-flow-lwt
  853. mirage-fs < "4.0.0"
  854. mirage-kv < "2.0.0"
  855. mirage-kv-lwt < "2.0.0"
  856. mirage-net < "4.0.0"
  857. mirage-net-lwt
  858. mirage-net-macosx < "1.8.0"
  859. mirage-no-solo5
  860. mirage-no-xen
  861. mirage-profile
  862. mirage-protocols < "7.0.0"
  863. mirage-protocols-lwt
  864. mirage-random < "3.0.0"
  865. mirage-seal
  866. mirage-stack < "3.0.0"
  867. mirage-stack-lwt
  868. mirage-tc
  869. mirage-time < "3.0.0"
  870. mirage-time-lwt
  871. mirage-types < "3.6.0"
  872. mirage-types-lwt < "3.6.0"
  873. mirage-xen-minios
  874. mirage-xen-posix
  875. misuja
  876. mixture
  877. mkaudio
  878. mkocaml >= "1.2"
  879. mlbdd
  880. mlcuddidl
  881. mldonkey
  882. mlgmpidl
  883. mlgpx
  884. mlmpfr
  885. mm < "0.5.0" | >= "0.7.0" & < "0.7.4"
  886. mmap
  887. mmdb
  888. mmseg
  889. mock < "1.0.0"
  890. mock-ounit < "1.0.0"
  891. molenc < "15.4.0"
  892. monadlib
  893. monolith < "20230604"
  894. monomorphic < "2.0"
  895. morbig < "0.11.0"
  896. more-ocaml
  897. morsmall
  898. mosquitto
  899. moss
  900. mparser
  901. mparser-pcre
  902. mparser-re
  903. mpg123
  904. mpp
  905. mpris
  906. mpris-clients
  907. msat
  908. msat-bin
  909. mset
  910. msgpack
  911. msgpck < "1.5"
  912. mstruct
  913. mtime < "1.4.0"
  914. mtl
  915. multicodec
  916. multipart-form-data < "0.3.0"
  917. murmur3
  918. mustache < "3.2.0"
  919. mvar
  920. mwt
  921. mybuild
  922. mysql
  923. naboris < "0.1.0"
  924. named-pipe
  925. namespaces
  926. nanoev_tiny_httpd
  927. nbd < "6.0.0"
  928. netlink
  929. nlopt-ocaml
  930. nlp
  931. nocoiner
  932. nocrypto
  933. noise
  934. nonstd
  935. nosetup
  936. notty < "0.2.2"
  937. nproc
  938. nsq
  939. numalib
  940. OCanren-ppx < "0.3.0"
  941. oasis
  942. oasis2debian
  943. oasis2opam
  944. obandit
  945. obeam < "0.1.0" | = "0.1.2"
  946. obelisk < "0.5.0"
  947. objsize
  948. obuild
  949. obus < "1.2.5"
  950. obytelib != "1.5"
  951. oc45
  952. ocal
  953. ocaml-base-compiler = "4.04.2"
  954. ocaml-basics
  955. ocaml-buddy
  956. ocaml-canvas
  957. ocaml-compiler-libs < "v0.17.0"
  958. ocaml-expat < "1.3.0"
  959. ocaml-http
  960. ocaml-inifiles
  961. ocaml-js-stdlib
  962. ocaml-logicalform
  963. ocaml-makefile < "6.39.2"
  964. ocaml-markdown
  965. ocaml-migrate-parsetree >= "1.3.0~4.08.0+beta3"
  966. ocaml-migrate-parsetree-ocamlbuild
  967. ocaml-monadic
  968. ocaml-print-intf < "1.1.0"
  969. ocaml-protoc < "3.0.0"
  970. ocaml-protoc-yojson
  971. ocaml-r < "0.4.0"
  972. ocaml-sat-solvers < "0.7"
  973. ocaml-src = "4.04.2"
  974. ocaml-syntax-shims
  975. ocaml-system < "4.13.0"
  976. ocaml-systemd
  977. ocaml-top < "1.2.0"
  978. ocaml-twt
  979. ocaml-variants >= "4.04.2+32bit" & < "4.04.3+trunk"
  980. ocaml-version < "3.5.0"
  981. ocaml-xdg-basedir < "transition"
  982. ocamlapi
  983. ocamlapi_async
  984. ocamlapi_lwt_unix
  985. ocamlapi_ppx
  986. ocamlbuild < "0.15.0"
  987. ocamlbuild-atdgen
  988. ocamlbuild-pkg
  989. ocamlbuild-protoc
  990. ocamlclean
  991. ocamldap
  992. ocamldiff < "1.2"
  993. ocamldsort
  994. ocamlfind
  995. ocamlfind-lint
  996. ocamlfuse
  997. ocamlgraph < "2.1.0"
  998. ocamlgraph_gtk < "2.2.0"
  999. ocamlify < "0.1.0"
  1000. ocamline
  1001. ocamlmod < "0.1.1"
  1002. ocamlnet
  1003. ocamlog
  1004. ocamlpp
  1005. ocamlrss
  1006. ocamlscript < "3.0.0"
  1007. ocamlsdl
  1008. ocamlsdl2
  1009. ocamlsdl2-image
  1010. ocamlsdl2-ttf
  1011. ocamlwc
  1012. ocamlyices
  1013. ocb-stubblr
  1014. ocephes
  1015. ockt
  1016. oclock
  1017. ocolor
  1018. ocp-browser != "1.2.1" & < "1.3.4"
  1019. ocp-build
  1020. ocp-indent < "1.9.0"
  1021. ocp-indent-nlfork
  1022. ocp-index < "1.3.4"
  1023. ocp-index-top
  1024. ocp-ocamlres
  1025. ocp-pack-split
  1026. ocp-pp
  1027. ocp-reloc
  1028. ocplib-endian
  1029. ocplib-json-typed
  1030. ocplib-json-typed-browser
  1031. ocplib-json-typed-bson
  1032. ocplib-resto
  1033. ocplib-simplex
  1034. ocplib_stuff < "0.3.0"
  1035. ocsfml
  1036. octavius
  1037. ocurl < "transition"
  1038. ocveralls
  1039. odash
  1040. odbc
  1041. odds < "1.1"
  1042. odepack
  1043. odnnr
  1044. odoc < "3.1.0"
  1045. odoc-depgraph
  1046. odoc-parser < "3.1.0"
  1047. ofx
  1048. ogen
  1049. ogg < "1.0.0"
  1050. olinq
  1051. ollvm
  1052. ollvm-tapir
  1053. olmi
  1054. omake
  1055. omd < "2.0.0~alpha3"
  1056. oml
  1057. omlr
  1058. oolc
  1059. opaca
  1060. opal
  1061. opam-build < "0.2.3"
  1062. opam-bundle
  1063. opam-client < "2.2.0"
  1064. opam-core < "2.2.0"
  1065. opam-depext
  1066. opam-devel < "2.2.0"
  1067. opam-ed
  1068. opam-file-format
  1069. opam-format < "2.2.0"
  1070. opam-installer < "2.2.0"
  1071. opam-lib
  1072. opam-lock
  1073. opam-package-upgrade < "0.2"
  1074. opam-publish < "2.5.1"
  1075. opam-repository < "2.2.0"
  1076. opam-solver < "2.2.0"
  1077. opam-state < "2.2.0"
  1078. opam-test < "0.2.3"
  1079. opam_bin_lib < "0.9.5"
  1080. opamconfig
  1081. opamfu
  1082. opasswd
  1083. open
  1084. openai-gym
  1085. openbsd
  1086. opencc
  1087. opencc0
  1088. opencc1
  1089. opencc1_1
  1090. operf-micro < "1.1.3"
  1091. opium < "0.19.0"
  1092. opium_kernel
  1093. oplsr
  1094. opti
  1095. optimization1d
  1096. oqamldebug
  1097. orandforest
  1098. ordma
  1099. orf < "1.0.1"
  1100. orm
  1101. orocksdb
  1102. orpie
  1103. orrandomForest
  1104. orsvm_e1071
  1105. orxgboost
  1106. osbx
  1107. osc < "0.2.0"
  1108. osdp < "1.1.1"
  1109. oseq < "0.5"
  1110. ostap < "0.6"
  1111. osx-acl
  1112. osx-attr
  1113. osx-cf
  1114. osx-fsevents
  1115. osx-membership
  1116. osx-mount
  1117. osx-plutil
  1118. osx-secure-transport
  1119. osx-xattr
  1120. ott < "0.33"
  1121. otto
  1122. ounit < "2.2.0"
  1123. ounit-lwt < "2.2.0"
  1124. ounit2
  1125. ounit2-lwt
  1126. override < "0.4.0"
  1127. owork
  1128. pa_comprehension
  1129. pa_monad_custom
  1130. pa_qualified
  1131. pa_solution
  1132. pa_where
  1133. pacomb < "1.4.3"
  1134. pandoc-abbreviations
  1135. papi
  1136. parany
  1137. pareto
  1138. parmap
  1139. parsexp < "v0.15.0"
  1140. parsexp_io < "v0.15.0"
  1141. patch < "3.0.0~alpha1"
  1142. path_glob
  1143. pattern = "0.2.0"
  1144. pbrt < "3.0.0"
  1145. pbs
  1146. pcap-format < "0.6.0"
  1147. pci
  1148. pci-db
  1149. pcre < "7.4.2"
  1150. pds < "5.42"
  1151. pds-reachability < "0.2.3"
  1152. pecu
  1153. petr4
  1154. pfff < "0.39.1"
  1155. pgocaml < "3.1"
  1156. pgx < "1.0"
  1157. pgx_async < "1.0"
  1158. pgx_lwt < "1.0"
  1159. pgx_unix < "1.0"
  1160. phantom-algebra < "1.0.1"
  1161. phashtbl
  1162. pilat < "1.6"
  1163. piqi
  1164. piqilib
  1165. pixel_pusher
  1166. pkcs11 < "1.0.1"
  1167. pkcs11-driver < "1.0.1"
  1168. pla < "2.0"
  1169. plist
  1170. plplot
  1171. podge
  1172. polars
  1173. polka < "2.71.15"
  1174. polly < "0.4.1"
  1175. polyglot
  1176. pomap < "4.1.2"
  1177. portaudio < "0.2.2"
  1178. portia
  1179. posix-clock
  1180. posix-getopt < "2.0.0"
  1181. posix-math
  1182. posix-mqueue
  1183. posix-semaphore
  1184. posix-time
  1185. posix-types
  1186. postgresql < "4.4.1"
  1187. pp < "1.1.2"
  1188. pprint
  1189. ppx_assert < "v0.15.0"
  1190. ppx_base < "v0.15.0"
  1191. ppx_bench < "v0.15.0"
  1192. ppx_bin_prot < "v0.15.0"
  1193. ppx_blob < "0.9.0"
  1194. ppx_cold < "v0.15.0"
  1195. ppx_compare < "v0.15.0"
  1196. ppx_compose
  1197. ppx_const
  1198. ppx_cstruct < "6.0.0"
  1199. ppx_cstubs
  1200. ppx_custom_printf < "v0.15.0"
  1201. ppx_defer < "0.5.0"
  1202. ppx_derivers
  1203. ppx_deriving < "5.0"
  1204. ppx_deriving_argparse
  1205. ppx_deriving_cmdliner < "0.6.0"
  1206. ppx_deriving_madcast
  1207. ppx_deriving_protobuf < "3.0.0"
  1208. ppx_deriving_protocol
  1209. ppx_deriving_variant_string
  1210. ppx_deriving_yojson < "3.6.0"
  1211. ppx_distr_guards < "0.3"
  1212. ppx_dream_eml
  1213. ppx_enumerate < "v0.15.0"
  1214. ppx_expect < "v0.15.0"
  1215. ppx_fail
  1216. ppx_fields_conv < "v0.15.0"
  1217. ppx_fixed_literal < "v0.15.0"
  1218. ppx_gen_rec
  1219. ppx_getenv
  1220. ppx_hash < "v0.15.0"
  1221. ppx_here < "v0.15.0"
  1222. ppx_import < "1.9.0"
  1223. ppx_inline_test < "v0.15.0"
  1224. ppx_jane < "v0.15.0"
  1225. ppx_js_style < "v0.15.0"
  1226. ppx_let < "v0.15.0"
  1227. ppx_log < "v0.15.0"
  1228. ppx_matches < "0.1.0"
  1229. ppx_module_timer < "v0.15.0"
  1230. ppx_monoid
  1231. ppx_nanocaml
  1232. ppx_optcomp < "v0.14.3"
  1233. ppx_optint
  1234. ppx_optional < "v0.15.0"
  1235. ppx_pipebang < "v0.15.0"
  1236. ppx_protocol_conv < "5.2.0"
  1237. ppx_protocol_conv_json < "5.2.1"
  1238. ppx_protocol_conv_jsonm < "5.2.1"
  1239. ppx_protocol_conv_msgpack < "5.2.1"
  1240. ppx_protocol_conv_xml_light < "5.2.1"
  1241. ppx_protocol_conv_xmlm < "5.2.1"
  1242. ppx_protocol_conv_yaml < "5.2.1"
  1243. ppx_python < "v0.15.0"
  1244. ppx_regexp
  1245. ppx_seq >= "0.2.0"
  1246. ppx_sexp_conv < "v0.15.0"
  1247. ppx_sexp_message < "v0.15.0"
  1248. ppx_sexp_value < "v0.15.0"
  1249. ppx_stable < "v0.15.0"
  1250. ppx_string < "v0.15.0"
  1251. ppx_string_interpolation < "1.1.0"
  1252. ppx_system
  1253. ppx_there
  1254. ppx_tools_versioned
  1255. ppx_traverse_builtins
  1256. ppx_type_conv
  1257. ppx_typerep_conv < "v0.15.0"
  1258. ppx_tyre >= "0.4.3"
  1259. ppx_unreachable
  1260. ppx_variants_conv < "v0.15.0"
  1261. ppx_wideopen
  1262. ppx_yojson < "1.2.0"
  1263. ppx_yojson_conv < "v0.15.0"
  1264. ppx_yojson_conv_lib < "v0.16.0"
  1265. ppxfind
  1266. ppxlib < "0.14.0" | = "0.17.0" | >= "0.21.1" & < "0.35.0"
  1267. pratter >= "1.1" & < "2.0.0"
  1268. primes
  1269. printbox < "0.7"
  1270. printbox-text < "0.8"
  1271. process
  1272. prof_spacetime
  1273. profiler-plugin
  1274. proj4
  1275. prometheus
  1276. prometheus-app < "1.2"
  1277. promise
  1278. protocell
  1279. protocol-9p < "2.1.0"
  1280. protocol-9p-tool < "2.1.0"
  1281. protocol-9p-unix < "2.1.0"
  1282. proverif
  1283. psmt2-frontend
  1284. psq
  1285. psyche
  1286. ptime < "1.2.0"
  1287. ptmap != "2.0.4"
  1288. ptset
  1289. publish
  1290. pulseaudio < "0.1.4"
  1291. pumping
  1292. pure-splitmix
  1293. pvem
  1294. pxp
  1295. py < "1.1"
  1296. pyast
  1297. pyml < "20250807"
  1298. qbf < "0.3"
  1299. qcheck < "0.25"
  1300. qcheck-core < "0.25"
  1301. qcheck-ounit < "0.25"
  1302. qcow < "0.12.1"
  1303. qcow-tool < "0.12.1"
  1304. qcstm < "0.1.1"
  1305. qfs < "0.12"
  1306. qmp
  1307. qrencode
  1308. qtest
  1309. quest
  1310. quick_print
  1311. r2pipe
  1312. radare2
  1313. raga
  1314. randomconv < "0.2.0"
  1315. range
  1316. ranger
  1317. rangeSet
  1318. raw_spacetime
  1319. rawlink < "2.1"
  1320. raygun4ocaml
  1321. rdbg < "1.184.1"
  1322. rdf < "0.12.0"
  1323. rdr
  1324. re != "1.9.0" & < "1.12.0"
  1325. reactiveData < "0.2.2"
  1326. reactjs-jsx-ppx
  1327. reason < "3.12.0"
  1328. reason-react >= "0.14.0"
  1329. reason-react-day-picker
  1330. received < "0.5.2"
  1331. records < "1.0.0"
  1332. redirect >= "0.1.1"
  1333. redis
  1334. redis-lwt
  1335. redis-sync
  1336. reedsolomon
  1337. refl < "0.4.0"
  1338. regenerate
  1339. remu_ts
  1340. res < "5.0.2"
  1341. rescript-syntax
  1342. reshowcase
  1343. resource-pooling < "0.5"
  1344. result
  1345. revops
  1346. rfc1951 < "0.9.1"
  1347. rfc6287 < "1.0.4"
  1348. rfc7748
  1349. rfsm < "1.6-alpha-3"
  1350. rhythm
  1351. riak
  1352. riak-pb
  1353. rlp
  1354. rml < "1.09.06"
  1355. rmlbuild
  1356. roman
  1357. root1d
  1358. rope < "0.6.3"
  1359. rosetta
  1360. rotor
  1361. rpc
  1362. rpclib-async < "10.0.0"
  1363. rpclib-html
  1364. rpclib-js
  1365. rpclib-lwt
  1366. rresult < "0.7.0"
  1367. rtop < "3.13.0"
  1368. rtree
  1369. rungen
  1370. rusage
  1371. rust-staticlib-virtual
  1372. safa
  1373. safepass
  1374. salsa20 < "1.1.0"
  1375. salsa20-core
  1376. samplerate < "0.1.6"
  1377. sanddb < "0.3.0"
  1378. sanlock
  1379. satML-plugin
  1380. sattools
  1381. savvy
  1382. sawja < "1.5.8"
  1383. schroedinger
  1384. scid
  1385. scrypt
  1386. secp256k1 < "0.5.0"
  1387. secp256k1-internal < "0.2.0"
  1388. sedlex < "2.6"
  1389. sek
  1390. selfie
  1391. semaphore-compat
  1392. semver < "0.2.1"
  1393. semver2
  1394. sendmail >= "0.2.0"
  1395. sendmail-lwt >= "0.2.0"
  1396. sendmail-mirage
  1397. sendmsg
  1398. seq = "0.3.1"
  1399. sequence
  1400. session < "0.5.0"
  1401. session-cohttp < "0.5.0"
  1402. session-cohttp-async < "0.5.0"
  1403. session-cohttp-lwt < "0.5.0"
  1404. session-postgresql < "0.5.0"
  1405. session-postgresql-async < "0.5.0"
  1406. session-postgresql-lwt < "0.5.0"
  1407. session-redis-lwt < "0.5.0"
  1408. session-webmachine < "0.5.0"
  1409. sessions
  1410. setcore
  1411. setr
  1412. sexplib >= "v0.10.0" & < "v0.15.0"
  1413. sexplib0 < "v0.15.1"
  1414. sgf
  1415. sha
  1416. shades
  1417. shapefile
  1418. shared-secret
  1419. shcaml
  1420. shellwords
  1421. sherlodoc
  1422. shine
  1423. sid
  1424. simlog < "0.0.4"
  1425. simple-diff
  1426. simple_pam
  1427. slacko < "0.15.0"
  1428. slap
  1429. smart-print
  1430. smbc
  1431. smtlib-utils < "0.4"
  1432. smtp
  1433. snappy
  1434. snf_mcp
  1435. socketcan
  1436. sodium
  1437. sosa
  1438. soundtouch
  1439. spacetime_lib
  1440. spawn < "v0.15.0"
  1441. spdx_licenses < "1.1.0"
  1442. spelll != "0.3"
  1443. spf
  1444. spirv
  1445. splittable_random < "v0.15.0"
  1446. spotify_ml
  1447. spotlib < "4.1.0"
  1448. spreadsheet
  1449. sqlgg
  1450. sqlite3 < "4.4.0"
  1451. sqlite3_utils < "0.4"
  1452. srs
  1453. ssh-agent < "0.4.0"
  1454. ssl
  1455. sslconf
  1456. starred_ml
  1457. starterkit
  1458. statmemprof-emacs
  1459. statocaml
  1460. statocaml_changelog
  1461. statocaml_community
  1462. statocaml_db
  1463. statocaml_github
  1464. statocaml_go
  1465. statocaml_gui
  1466. statocaml_html
  1467. statocaml_plots
  1468. statocaml_profile
  1469. statverif
  1470. stb_image
  1471. stb_image_write
  1472. stb_truetype < "0.7"
  1473. stdcompat < "20.0"
  1474. stdint != "0.6.0"
  1475. stdio < "v0.15.0"
  1476. stdlib-shims
  1477. stemmer
  1478. stemming
  1479. stog < "0.19.0"
  1480. stog-rdf
  1481. stog-writing < "0.19.0"
  1482. stone < "0.5.2"
  1483. string_dict < "v0.15.0"
  1484. stringext
  1485. sturgeon
  1486. subscriptions-transport-ws
  1487. subtype-refinement
  1488. sugar
  1489. sundialsml
  1490. swhid_core
  1491. symkat
  1492. syndic
  1493. sys-socket
  1494. sys-socket-unix
  1495. syslog
  1496. syslog-message < "1.2.0"
  1497. syslog-rfc5424 >= "0.2"
  1498. systemverilog < "0.0.2"
  1499. TCSLib < "0.5"
  1500. tablecloth-native != "0.0.8"
  1501. tabr
  1502. tacit
  1503. taglib < "0.3.7"
  1504. tallgeese
  1505. tcx
  1506. tdk
  1507. telegraml
  1508. termbox
  1509. terminal
  1510. terminal_size < "0.2.0"
  1511. text
  1512. textrazor
  1513. textwrap
  1514. tezos-protocol-environment-packer
  1515. tezt-bam
  1516. thrift
  1517. tidy
  1518. time_now < "v0.15.0"
  1519. timed < "1.1"
  1520. tiny_httpd < "0.14"
  1521. tiny_httpd_camlzip < "0.14"
  1522. tinyfiledialogs
  1523. tip-parser < "0.5"
  1524. tjr_simple_earley
  1525. tls < "0.10.6"
  1526. toc
  1527. tofn
  1528. toml < "7.0.0"
  1529. toml-cconv
  1530. toml_cconv < "7.0.0"
  1531. tophide < "1.1.0"
  1532. topkg < "1.0.8"
  1533. topkg-jbuilder
  1534. touist
  1535. tplib
  1536. tptp
  1537. traildb
  1538. trampoline
  1539. traverse
  1540. trax < "0.4.0"
  1541. tree_layout
  1542. treeprint < "2.3.0"
  1543. trie
  1544. tsdl < "1.1.0"
  1545. tsdl-image
  1546. tsdl-mixer
  1547. tsdl-ttf
  1548. tsort
  1549. tuareg
  1550. tube
  1551. type_conv
  1552. type_eq
  1553. type_id
  1554. typerep < "v0.15.0"
  1555. typerex-binutils
  1556. tyre < "1.0"
  1557. tyxml
  1558. tyxml-jsx
  1559. tyxml-ppx
  1560. tyxml-syntax
  1561. ubpf
  1562. ucaml
  1563. uchar
  1564. uecc >= "0.3"
  1565. uint < "2.0.1"
  1566. ulex
  1567. ulex-camlp5 < "1.3"
  1568. unionFind < "20220107"
  1569. unison < "2.52.0"
  1570. unix-dirent
  1571. unix-errno
  1572. unix-sys-resource
  1573. unix-sys-stat
  1574. unix-time
  1575. unix-type-representations
  1576. unix-unistd
  1577. uri < "4.4.0"
  1578. uri-re < "4.4.0"
  1579. uring-trace
  1580. uritemplate >= "0.2.0"
  1581. usb
  1582. user-setup
  1583. utop < "2.11.0"
  1584. uucd < "16.0.0"
  1585. uucp < "16.0.0"
  1586. uuidm < "0.9.8"
  1587. uunf < "16.0.0"
  1588. uuseg < "16.0.0"
  1589. uutf < "1.0.4"
  1590. uuuu < "0.4.0"
  1591. uwt
  1592. valentine
  1593. variantslib < "v0.15.0"
  1594. varint
  1595. vcardgen < "1.2"
  1596. vchan < "6.0.1"
  1597. vecosek
  1598. vecosek-engine
  1599. vecosek-scene
  1600. vector
  1601. vector3
  1602. vg < "0.9.5"
  1603. vhd-format < "0.13.0"
  1604. vhd-format-lwt < "0.13.0"
  1605. vhdlib
  1606. visitors < "20210127"
  1607. vlq
  1608. vmnet
  1609. voaacenc
  1610. volt
  1611. vorbis
  1612. vpnkit
  1613. vpt
  1614. wall
  1615. wamp
  1616. wamp-msgpck
  1617. wamp-yojson
  1618. wasm < "1.1"
  1619. wcs
  1620. wcs-api
  1621. wcs-lib
  1622. webbrowser < "0.6.2"
  1623. weberizer
  1624. webidl
  1625. webmachine
  1626. websocket < "2.12"
  1627. websocket-async < "2.12"
  1628. websocketaf
  1629. webtest
  1630. webtest-js
  1631. why3 < "1.3.0"
  1632. why3-coq < "1.3.0"
  1633. why3-ide < "1.3.0"
  1634. win-error
  1635. win-eventlog < "0.4"
  1636. wiringpi
  1637. wseg
  1638. wtf8
  1639. wxOCaml
  1640. wyrd
  1641. x509 < "0.8.1"
  1642. xapi-backtrace
  1643. xapi-inventory >= "1.2.3"
  1644. xapi-stdext-encodings < "4.22.0"
  1645. xapi-stdext-pervasives < "4.16.0"
  1646. xapi-stdext-threads
  1647. xapi-stdext-unix = "4.20.0"
  1648. xapi-stdext-zerocheck
  1649. xdg-basedir < "0.0.5"
  1650. xen-evtchn
  1651. xen-evtchn-unix
  1652. xenstore-tool
  1653. xenstore_transport
  1654. xml-light
  1655. xmlplaylist
  1656. xtmpl < "0.18.0"
  1657. xtmpl_ppx = "1.1.0"
  1658. xxhash
  1659. yajl
  1660. yaml != "0.2.1" & < "3.0.0"
  1661. yara
  1662. yices2
  1663. yojson < "3.0.0"
  1664. yosqlite
  1665. yurt
  1666. yuscii
  1667. z3 < "4.8.14"
  1668. zarith < "1.14"
  1669. zarith-ppx
  1670. zarith_stubs_js < "v0.16.0"
  1671. zbar
  1672. zed
  1673. zeit
  1674. zenon < "0.8.5"
  1675. zipperposition < "2.0"
  1676. zipperposition-tools < "2.0"
  1677. zlib
  1678. zlist
  1679. zmq
  1680. zmq-async
  1681. zmq-eio
  1682. zmq-lwt
  1683. zstd
  1684. zxcvbn

Conflicts

None