package ocaml

  1. Overview
  2. No Docs

Description

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

Published: 21 Oct 2019

Dependencies (4)

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

Dev Dependencies

None

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

Conflicts

None