package ocamlfind
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A library manager for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
findlib-1.0.4.tar.gz
sha256=dcd0970672b6893cb91ba8dafe56b5f9508b13277e2b68bad7596b9ec1b68516
md5=dbfabe1b3677a03bcf238ecccb36d84f
Description
Findlib is a library manager for OCaml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.
Published: 04 Mar 2021
Dev Dependencies
None
-
ANSITerminal
< "0.7"
- aacplus
-
abella
< "2.0.8"
- abt
- acme
- aez
-
afl-persistent
!= "1.1" & < "1.3"
- agrep
- aio
-
alba
< "0.4.1"
- alberto
-
alcotest
< "0.8.0"
- aliases
- alphaCaml
-
alsa
< "0.3.0"
-
amqp-client
< "1.1.0"
- ancient
-
angstrom
< "0.6.0"
- annexlib
-
ansi-parse
< "0.4.0"
- ansicolor
-
anycache
< "0.7.4"
-
ao
< "0.2.2"
- aperf
- apron
- arakoon
- archimedes
- archsat
-
argon2
< "1.0.0"
- argot
-
arp
< "1.0.0"
-
ascii85
< "0.4"
- asetmap
- asl
-
asli
< "0.2.0"
-
asn1-combinators
< "0.2.2"
- assertions
- assimp
- astring
-
async
< "108.00.02"
- async-mvar
- async-zmq
-
async_core
< "108.00.02"
-
async_extra
< "108.00.02"
-
async_graphics
< "0.7.0"
-
async_unix
< "108.00.02"
-
atd
< "1.2.1"
- atd2cconv
-
atdgen
< "1.10.2"
- augeas
- avroc
-
aws
< "1.2"
-
aws-autoscaling
< "1.2"
-
aws-cloudformation
< "1.2"
-
aws-cloudtrail
< "1.2"
-
aws-ec2
< "1.2"
-
aws-elasticloadbalancing
< "1.2"
-
aws-sdb
< "1.2"
-
aws-ssm
< "1.2"
-
aws-sts
< "1.2"
- BetterErrors
- b0
- baardskeerder
- baby
- bamboo
-
bap-build
>= "2.2.0"
-
bap-byteweight-frontend
>= "2.2.0"
-
bap-frontend
>= "2.2.0"
-
bap-plugins
>= "2.2.0"
- bap-toplevel
- base58
-
base64
< "2.2.0"
-
batteries
< "2.3.0"
- bau
- bdd
- bddapron
- bear
-
beluga
< "1.0"
- bench
-
benchmark
< "1.5"
-
bencode
< "2.0"
- bes
-
bheap
< "2.0.0"
- bigarray-overlap
- bigbro
-
bigstring
< "0.2"
-
bin_prot
< "113.24.00"
-
bindlib
< "6.0.0"
-
biniou
< "1.1.0"
-
binsec
< "0.4.0"
-
biocaml
< "0.9.0"
- bisect
- bisect-summary
-
bisect_ppx
< "1.3.0" | >= "1.3.3" & < "2.6.0"
-
bistro
< "0.3.0"
-
bitmasks
< "1.1.0"
-
bitstring
< "3.0.0"
-
bitv
>= "1.1" & < "1.4"
-
bjack
< "0.1.6"
- blahcaml
- bn128
- bolt
- bookaml
- boomerang
- bos
- bpf
- bracetax
- broken
-
brotli
< "2.0.3"
- brozip
- brr
- bsdowl
- bson
- bt
- bulletml
- Camldiets
- CamlGI
- cache
- cairo
-
cairo2
< "0.6"
-
calculon
< "0.2"
-
calendar
< "3.0.0"
- caml2html
-
camlbz2
< "transition"
- camldm
- camlgpc
- camlhighlight
- camlimages
- camllib
-
camlon
< "2.0.1"
-
camlp4
>= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
-
camlp5
>= "8.00.03"
- camlpdf
- camlprime
-
camltc
< "0.9.8"
- camltemplate
- camlzip
-
camomile
< "0.8.6"
- caper
- captureio
-
caqti
< "1.0.0"
- caqti-dynload
- caradoc
- caravan
-
catala
>= "0.8.0"
-
cbor
< "0.3"
-
cconv
< "0.5"
- cconv-ppx
- ccss
-
cdrom
< "0.9.3"
- cduce
-
certify
< "0.3.0"
-
cfg
< "2.1.0"
-
cfstream
< "1.2.3"
- cgi
- cgroups
- chalk
-
chamo
< "4.0"
- channel
-
charrua-client
< "0.9"
-
charrua-core
< "0.8"
-
charrua-unix
< "0.9"
-
checkseum
>= "0.2.0"
-
choice
< "0.4"
- cil
-
clangml
< "4.0.0"
-
clarity
< "0.4.0"
-
cloudi
< "1.7.4"
- cmark
- cmarkit
-
cmdliner
< "0.9.7" | >= "1.0.0" & < "1.0.3"
- cmdtui
- coccinelle
- coclobas
-
cohttp
< "0.99.0"
-
coin
>= "0.1.2"
-
combine
< "0.42"
- commonjs_of_ocaml
- comparelib
-
conduit
< "1.0.0"
-
conex
< "0.10.0"
-
config-file
< "1.2.1"
- configuration
-
containers
< "2.0"
- cookie-js
-
coq
>= "8.6" & < "8.16.0"
-
coq-serapi
< "8.9.0+0.6.0"
-
coqide
>= "8.11.2" & < "8.16.0" | >= "8.17.0"
- cordova
- cordova-plugin-activity-indicator
- cordova-plugin-background-mode
- cordova-plugin-barcode-scanner
- cordova-plugin-battery-status
- cordova-plugin-camera
- cordova-plugin-clipboard
- cordova-plugin-datepicker
- cordova-plugin-device
- cordova-plugin-device-motion
- cordova-plugin-device-orientation
- cordova-plugin-dialogs
- cordova-plugin-email-composer
- cordova-plugin-fcm
- cordova-plugin-file
- cordova-plugin-file-opener
- cordova-plugin-file-transfer
- cordova-plugin-geolocation
- cordova-plugin-globalization
- cordova-plugin-image-picker
- cordova-plugin-inappbrowser
- cordova-plugin-insomnia
- cordova-plugin-keyboard
- cordova-plugin-loading-spinner
- cordova-plugin-local-notifications
- cordova-plugin-media
- cordova-plugin-media-capture
- cordova-plugin-network-information
- cordova-plugin-progress
- cordova-plugin-push-notifications
- cordova-plugin-qrscanner
- cordova-plugin-screen-orientation
- cordova-plugin-sim-card
- cordova-plugin-sms
- cordova-plugin-social-sharing
- cordova-plugin-statusbar
- cordova-plugin-toast
- cordova-plugin-touch-id
- cordova-plugin-vibration
- cordova-plugin-videoplayer
-
core
< "109.19.00"
-
core_extended
< "108.00.02"
- corecount
-
cow
< "2.3.0"
-
cowabloga
< "0.4.0"
- cpdf
-
cpm
< "4.0.0"
-
cppo
>= "0.9.4" & < "1.6.0"
- cppo_ocamlbuild
-
cpuid
< "0.1.2"
-
crc
= "1.0.0"
- crdt-ml
-
crunch
< "2.1.0"
-
cry
< "0.6.5"
- crypt
- cryptgps
-
cryptodbm
< "0.84.2"
- cryptohash
-
cryptokit
< "1.16.1"
- cryptoverif
-
cstruct
< "3.0.0"
-
csv
< "1.4"
- csvprovider
-
ctypes
< "0.21.1"
- ctypes-build
- cubicle
-
cudf
>= "0.7" & < "0.10"
-
curses
< "1.0.9"
- custom_printf
- DAGaml
-
DrawGrammar
< "0.2.1"
- d3
-
datakit
< "0.10.0"
-
datakit-bridge-github
< "0.10.0"
-
datakit-bridge-local-git
< "0.10.0"
-
datakit-ci
< "0.10.0"
-
datakit-client
< "0.10.0"
-
datakit-github
< "0.10.0"
-
datakit-server
< "0.10.0"
-
datalog
< "0.6"
- dbforge
- dbm
-
debian-formats
< "0.1.2"
-
decompress
< "0.8"
-
dedukti
< "2.7"
- delimcc
-
depext
< "0.3"
- depgraph
-
depyt
< "0.2.0"
- deriving
- deriving-ocsigen
- deriving-yojson
-
devkit
< "1.0"
- dht
-
digestif
< "0.6.1" | >= "0.8.1"
-
dispatch
< "0.4.0"
-
distributed
< "0.5.0"
- distwit
-
dns
< "1.0.0"
-
dns-forward
< "0.9.0"
- dnscurve
- doc-ock
- doc-ock-html
- doc-ock-xml
-
dockerfile
< "3.0.0"
- docout
-
dog
>= "0.2.0"
-
dolmen
< "0.4"
-
dolog
< "4.0.0"
-
domain-name
< "0.1.2"
-
dose3
< "6.1"
- down
-
dropbox
< "0.2"
- dsfo
-
dssi
< "0.1.3"
-
dtoa
< "0.3.0"
-
dtools
< "0.4.2"
-
dum
< "1.0.2"
- dumpast
-
duppy
< "0.9.0"
-
duration
< "0.1.2"
- dyntype
- dypgen
-
earley
< "2.0.0"
- earley-ocaml
-
easy-format
< "1.3.0"
-
edn
< "0.1.6-1-gff9db95"
- efl
-
eigen
< "0.1.0"
-
elasticsearch-cli
< "0.5"
-
electrod
< "0.1.6"
-
electrumAnalyzer
>= "0.3.5-2"
- elf2json
- elina
- eliom
-
elpi
>= "1.2.0" & < "1.4.0"
- emoji
- enumerators
- erm_xml
- erm_xmpp
-
erssical
< "1.1.0"
- estring
-
exenum
< "0.86"
- exn-source
- expect
-
extlib
< "1.7.9"
- extlib-compat
- extprot
-
extunix
< "0.3.1"
- ezirmin
-
ezjsonm
< "1.0.0"
-
ezjsonm-lwt
< "1.0.0"
-
ezsqlite
< "0.4"
-
ezxmlm
< "1.0.2"
-
FrontC
< "3.4.2"
-
faad
< "0.5.0"
-
fadbadml
< "0.1.2"
- faillib
-
faraday
< "0.3.0"
- farfadet
-
farmhash
< "0.4"
-
fat-filesystem
< "0.12.1"
-
fd-send-recv
< "1.0.5"
-
fdkaac
< "0.3.2"
-
ffmpeg
< "1.0.0~beta1"
-
fftw3
< "0.8"
-
fieldslib
< "109.19.00"
-
fileutils
< "0.6.1"
-
fix
< "20181206"
-
flac
< "0.3.0"
- flock
- flow
-
flow_parser
< "0.229.1"
-
flowtype
>= "0.72.0"
-
fluent-logger
< "1.1.0"
- fmt
- forkwork
- format
- fpath
- frag
-
frama-c
>= "16.0" & < "28.0~beta"
- frama-c-base
-
freetds
< "0.5.2"
- freetennis
-
frei0r
< "0.1.2"
-
frenetic
< "5.0.0"
- fstar
- fstreams
- ftp
-
functoria
< "2.1.0"
-
functoria-runtime
< "2.1.0" | = "4.3.5"
- functory
- funfields
- fury-puyo
- future
-
General
< "0.4.0"
- GT
- GuaCaml
- gamepad
-
gammu
< "0.9.4"
-
gapi-ocaml
< "0.3.6"
- gasoline
- gavl
-
gd
< "1.1"
-
gdal
< "0.10.0"
- gdb
-
gdbprofiler
< "0.2"
- gedcom
-
gen
< "0.5.1"
-
gen_js_api
< "1.0.6"
- gen_server
- genet
- genlet
-
genspio
< "0.0.1"
-
genspir
< "1.0.0"
- gensqlite
- geoip
-
getopt
< "20230213"
- getopts
-
gettext
< "0.4.1"
- gg
-
github
< "3.0.0"
-
github-hooks
< "0.2.0"
- gles3
-
glical
>= "0.0.4"
- glMLite
- glpk
- glsurf
-
gmap
< "0.2.1"
-
goblint
< "1.1.1"
- goblint-cil
-
google-drive-ocamlfuse
< "0.6.23"
-
gospel
>= "0.2.0"
-
gperftools
< "0.4"
- gpx
- grain_dypgen
- grain_wasm_spec
- graphicspdf
-
graphql_ppx
< "0.7.1"
-
grenier
< "0.7"
- grib
-
gstreamer
< "0.3.1"
- gtk-light
- gtktop
- gufo
- gxl-light
-
h2-lwt-unix
< "0.4.0"
- hachis
- hacl-star-raw
- hamt
-
hardcaml
< "v0.12.0"
- hardcaml-affirm
- hardcaml-bloop
-
hardcaml-llvmsim
>= "0.3.0"
- hardcaml-reedsolomon
-
hardcaml-vpi
>= "0.3.0"
-
hardcaml-waveterm
>= "0.2.0"
- hardcaml-yosys
-
hashcons
< "1.4.0"
- hashset
- haxe
- hdf
-
hdf5
< "0.1.5"
- hector
- heptagon
-
herdtools7
>= "7.55" & < "7.56.1"
- herelib
-
hevea
< "2.25"
-
hex
< "1.1.0"
-
higher
!= "0.3.0"
-
higlo
< "0.8"
-
hiredis
< "0.8"
-
hkdf
< "1.0.3"
- hlarp
- hll
- hmap
- htmlit
- http2https
- http_router
- humane-re
-
hvsock
< "1.0.0"
- hydro
-
ISO8601
< "0.2.6"
-
i3ipc
< "0.1.4"
-
ibx
< "0.5.8"
- igvxml
-
imagelib
< "20200929"
- imagemagick
- imaplet-lwt
- indexmap
-
inferno
< "20190924"
-
inotify
< "2.4"
- inspect
-
integers
< "0.3.0"
-
integration1d
< "0.5"
-
interval
< "1.4"
-
inuit
< "0.4.1"
- io
-
io-page
< "2.0.0"
-
io-page-unix
< "2.0.0"
-
io-page-xen
< "2.0.0"
- iocaml
- iocaml-kernel
- iocamljs-kernel
-
ipaddr
< "2.8.0"
-
ipv6-multicast
< "0.9"
-
irc-client
>= "0.3.0" & < "0.6.0"
-
iri
< "0.6.0"
-
irmin
>= "0.9.6" & < "1.2.0"
-
irmin-chunk
< "1.3.0"
-
irmin-git
< "1.2.0"
-
irmin-http
< "1.2.0"
-
irmin-mirage
< "1.2.0"
-
irmin-unix
>= "1.0.0" & < "1.2.0"
-
irmin-watcher
< "0.3.0"
- irrlicht
- iso-filesystem
-
itv-tree
< "2.2"
- ivy
-
JsOfOCairo
< "1.0.1"
- jasmin
- javalib
- javascriptcore
-
jbuilder
>= "1.0+beta5" & < "1.0+beta19"
-
jekyll-format
< "0.2.0"
-
jemalloc
< "0.2"
-
jhupllib
< "0.2.2"
-
jingoo
< "1.3.0"
- jitsu
- joolog
-
js_of_ocaml
< "2.5"
-
js_of_ocaml-compiler
< "3.5.0"
-
js_of_ocaml-ocamlbuild
< "3.5.0"
- json-static
- json-wheel
- jsondiff
- jsonm
-
jsoo_broadcastchannel
< "2.0.0"
- jsoo_router
-
jsoo_storage
< "1.0.1"
-
junit
< "2.0"
-
KaSim
>= "4.0.0"
-
kafka
< "0.3"
- kaputt
- karamel
- ketrew
-
key-parsers
< "0.10.0"
-
kinetic-client
< "0.0.11"
-
kremlin
< "transition"
- lablgtk-extras
-
lablgtk3
>= "3.1.3"
-
lablgtk3-extras
< "3.0.1"
- lablqml
- labltk
- lacc
-
ladspa
< "0.2.0"
-
lambda-term
< "1.11"
-
lambdapi
< "2.0.0"
-
lambdasoup
< "0.6.1"
- lambdoc
-
lame
< "0.3.4"
-
landmarks
< "1.3"
-
lascar
< "0.6-alpha"
-
lastfm
< "0.3.3"
-
launchd
< "1.3"
-
lazy-trie
< "1.2.0"
-
lbfgs
< "0.8.6"
- learn-ocaml
- learn-ocaml-client
-
ledit
>= "2.06"
- lemonade
- lemonade-sqlite
-
lens
< "1.2.1"
-
leveldb
< "1.3.0"
-
levenshtein
< "1.1.3"
- libevent
- libra-tk
- libssh
-
libsvm
< "0.9.3"
- libudev
- libvhd
- libvirt
- lilis
-
linenoise
< "1.1.0"
- linkage
-
links
!= "0.7.2"
- linksem
- lipsum
-
liquidsoap
< "2.2.0"
- litiom
-
llvm
>= "3.9" & < "15.0.7+nnp-2"
- llvmgraph
-
lmdb
< "1.0"
-
lo
< "0.2.0"
-
loga
< "0.0.5"
- logger-p5
- logs
-
logs-syslog
< "0.2.0"
-
logtk
< "1.5.1"
-
lpd
< "1.2.2"
- lpi
-
lru
< "0.3.0"
- lru-cache
-
lua-ml
>= "0.9.1" & < "0.9.3"
- lua_pattern
- lustre-v6
- lutils
- lutin
-
lwt
< "2.4.6"
-
lwt-parallel
< "1.0.0"
- lwt-zmq
-
lwt_glib
< "1.1.0"
- lwt_named_threads
- lymp
-
lz4
< "1.2.0"
-
lzo
< "0.0.3"
- m17n
- macaque
- macaque_lwt
- macaroons
-
mad
< "0.5.0"
- magic
-
magic-mime
< "1.1.0"
- maildir
- maki
- malfunction
- mariadb
-
markup
< "0.7.6"
- mascot
- maxminddb
-
mbr-format
< "1.0.0"
-
mdx
>= "1.11.0"
-
mechaml
< "1.1.0"
- memcpy
-
menhir
< "20200123"
- mergeable-vector
-
merlin
< "2.1.0"
-
merlin-extend
< "0.4"
- merlin-of-pds
-
mesh
< "0.8.7"
- message-switch
- meta_conv
- mezzo
- mikmatch
-
milter
< "1.0.4"
-
mindstorm
< "0.5.4"
-
minicli
< "5.0.0"
- minima-theme
-
minisat
< "0.2"
- minivpt
-
mirage
< "0.9.1" | >= "3.0.0" & < "3.1.0"
-
mirage-block
< "1.2.0"
-
mirage-block-ccm
< "1.1.0"
-
mirage-block-lwt
< "1.2.0"
-
mirage-block-ramdisk
< "0.4"
-
mirage-block-solo5
< "0.6.0"
-
mirage-block-unix
< "2.8.3"
-
mirage-block-xen
< "1.6.0"
-
mirage-bootvar-solo5
>= "0.2.0" & < "0.6.0"
-
mirage-bootvar-xen
= "0.4.0"
- mirage-btrees
-
mirage-channel
< "3.1.0"
-
mirage-channel-lwt
< "3.1.0"
-
mirage-clock
< "1.3.0"
-
mirage-clock-freestanding
< "1.3.0"
-
mirage-clock-lwt
< "1.3.0"
-
mirage-clock-unix
< "1.3.0"
- mirage-clock-xen
-
mirage-console
< "2.3.2"
-
mirage-console-lwt
< "2.3.2"
-
mirage-console-solo5
< "0.6.0"
-
mirage-console-unix
< "2.3.2"
-
mirage-console-xen
!= "2.3.2" & < "2.3.4"
-
mirage-console-xen-backend
!= "2.3.2" & < "2.3.4"
- mirage-console-xen-cli
-
mirage-console-xen-proto
!= "2.3.2" & < "2.3.4"
-
mirage-device
< "1.1.0"
-
mirage-dns
< "3.0.0"
-
mirage-entropy
< "0.5.1"
- mirage-entropy-unix
- mirage-entropy-xen
-
mirage-flow
< "1.3.0"
-
mirage-flow-lwt
< "1.3.0"
-
mirage-flow-unix
< "1.3.0"
-
mirage-fs
< "0.4.0" | = "1.0.0"
-
mirage-fs-lwt
< "1.1.1"
-
mirage-fs-unix
< "1.4.0"
-
mirage-http
< "3.2.0"
- mirage-http-unix
- mirage-http-xen
-
mirage-kv
< "1.1.1"
-
mirage-kv-lwt
< "1.1.0"
-
mirage-logs
< "1.0.0"
-
mirage-net
< "0.9.1" | = "1.0.0"
- mirage-net-direct
-
mirage-net-fd
< "0.2.1"
-
mirage-net-lwt
< "1.1.0"
-
mirage-net-macosx
< "1.5.0"
- mirage-net-socket
-
mirage-net-solo5
< "0.4.3"
-
mirage-net-unix
< "2.4.1"
-
mirage-net-xen
< "1.7.1"
- mirage-os-shim
-
mirage-profile
< "0.8.1"
-
mirage-profile-unix
< "0.8.1"
-
mirage-profile-xen
< "0.8.1"
-
mirage-protocols
< "1.2.0"
-
mirage-protocols-lwt
< "1.2.0"
-
mirage-qubes
!= "0.5" & < "0.7.0"
-
mirage-qubes-ipv4
= "0.6"
-
mirage-random
< "1.1.0"
-
mirage-runtime
< "3.0.5"
-
mirage-solo5
< "0.6.2"
-
mirage-stack
< "1.1.0"
-
mirage-stack-lwt
< "1.1.0"
- mirage-tcpip-unix
- mirage-tcpip-xen
-
mirage-time
< "1.1.0"
-
mirage-time-lwt
< "1.1.0"
-
mirage-types
< "3.0.5"
-
mirage-types-lwt
< "3.0.5"
-
mirage-unix
< "3.2.0"
-
mirage-vnetif
= "0.3.1"
-
mirage-www
< "1.0.0"
-
mirage-xen
< "3.2.0"
-
mirage-xen-ocaml
>= "2.3.1"
- mirari
- mirror
- missinglib
- misuja
- mixture
-
mkaudio
< "1.1.0"
- ml2mxml
-
mlbdd
< "0.7.2"
- mlcuddidl
- mld
- mlgmp
-
mlgmpidl
< "1.2.14"
-
mlmpfr
< "4.0.2+dune"
- mlpost
-
mm
< "0.7.0"
-
mmseg
< "transition"
- modelica_ml
- monadlib
- mongo
-
monomorphic
< "1.3"
- mopsa
- more-ocaml
-
mparser
< "1.3"
- mpi
-
mpp
< "0.3.4"
-
mpris
= "0.1.1"
-
mqtt
< "0.2.2"
- mqtt_client
- mrt-format
-
msat
< "0.8"
- msgpack
-
msgpck
< "1.3"
-
mstruct
< "1.3.3"
- mtime
- mtl
-
multipart-form-data
< "0.2.0"
-
murmur3
< "0.3"
-
mustache
< "3.0.2"
- mvar
-
mybuild
< "7"
- mysql
-
mysql_protocol
< "3.0.1"
- named-pipe
- namespaces
- nanomsg
-
nbd
!= "2.2.0" & < "4.0.3"
- netamqp
-
netlink
< "0.3.4"
-
nlopt-ocaml
< "transition"
- nlp
-
noCanren
< "0.3.0~alpha1"
- nocrypto
- nonstd
- nosetup
- note
-
notty
< "0.2.3"
- nproc
-
npy
< "0.0.8"
-
nunchaku
< "0.5.1"
- OCanren
-
oasis
< "0.4.0"
- oasis-mirage
- oasis2debian
-
oasis2opam
< "0.6.1"
- obandit
- obeanstalk
-
obelisk
< "0.5.0"
- obigstore
- objsize
- obrowser
-
obuild
>= "0.1.11"
-
obus
< "1.2.0"
-
ocal
< "0.2.2"
- ocaml-arg
-
ocaml-basics
< "0.5.0"
- ocaml-buddy
- ocaml-data-notation
- ocaml-expat
- ocaml-freestanding
- ocaml-freestanding-cross-aarch64
- ocaml-gist
- ocaml-http
- ocaml-indent
- ocaml-inifiles
- ocaml-js-stdlib
-
ocaml-lua
< "1.8"
-
ocaml-markdown
< "transition"
-
ocaml-migrate-parsetree
< "1.1.0"
-
ocaml-migrate-parsetree-ocamlbuild
>= "1.2.0"
-
ocaml-monadic
< "0.4.0"
-
ocaml-protoc
< "2.0.1"
- ocaml-protoc-yojson
-
ocaml-r
< "0.1.0"
- ocaml-sat-solvers
- ocaml-solo5
- ocaml-solo5-cross-aarch64
-
ocaml-systemd
< "1.3"
- ocaml-topexpect
-
ocaml-variants
>= "4.00.1+mirage-unix" & < "4.00.1+open-types"
- ocaml-webworker
-
ocaml-xdg-basedir
< "transition"
- ocaml-xml-rpc
- ocaml-zmq
- ocaml9p
- ocaml_at_p
-
ocaml_plugin
>= "109.32.00" & < "113.24.00"
- ocamlbrowser
-
ocamlbuild
>= "0.15.0"
- ocamlbuild-atdgen
- ocamlbuild-protoc
-
ocamlclean
< "2.1"
-
ocamldap
< "transition"
- ocamldbi
-
ocamldiff
< "1.2"
- ocamldot
- ocamlfind-lint
-
ocamlfuse
< "2.7.1-cvs6"
-
ocamlgraph
< "2.0.0"
- ocamlify
- ocamlmod
- ocamlnet
-
ocamlpp
< "1.1"
- ocamlrss
- ocamlscript
- ocamlsdl
- ocamlsdl2
- ocamlsdl2-image
- ocamlsdl2-ttf
- ocamltter
- ocamlyices
- ocb-stubblr
- ocephes
-
ocf
< "0.8.0"
- oci
- oclaunch
- oclock
-
ocp-build
!= "1.99.17-beta"
-
ocp-indent
>= "1.7.0"
- ocp-index-top
- ocp-ocamlres
- ocp-reloc
- ocplib-concur
-
ocplib-endian
< "1.1"
-
ocplib-json-typed
< "0.7"
- ocplib-resto
-
ocplib-simplex
< "0.5"
- ocs
- ocsfml
-
ocsigen-i18n
< "4.0.0"
- ocsigenserver
-
octavius
< "1.2.1"
- ocurl
- ocveralls
-
odate
< "0.6"
- odbc
-
odds
< "1.1"
-
odepack
< "0.6.9"
- odiff-gtk
- odig
- odisco
-
odoc
!= "1.3.0"
- ofx
- ogen
-
ogg
!= "0.6.0" & < "0.7.0"
- ojquery
- ojs-base
- ojwidgets
-
olinq
< "0.3"
- ollvm
- ollvm-tapir
- olmi
- omake
-
omd
< "1.3.1"
- oml
- omod
- omonad
- oni
- oolc
- opa-base
- opal
- opam-bundle
-
opam-core
< "2.0.0~beta5"
-
opam-depext
>= "1.2.1"
- opam-doc
-
opam-dune-lint
< "0.2"
-
opam-ed
< "0.4"
- opam-lib
-
opam-publish
!= "0.3.0+transition" & < "2.0.0~beta"
- opam-query
- opam-sync-github-prs
-
opam2web
>= "1.3.0" & < "2.0"
- opamfind
- opamfu
- opass
-
opasswd
< "1.3.1"
-
opencc
< "transition"
- openflow
- operf-macro
-
opium
< "0.16.0"
- oplay
- optcomp
-
optimization1d
< "0.6"
-
opus
< "0.2.0"
- orakuda
-
ordma
< "0.0.5"
- orm
- orocksdb
-
osbx
< "1.2.1"
-
osc
= "0.1.4"
- osdp
-
oseq
< "0.2"
- ospec
- ostap
- osx-acl
- osx-attr
- osx-cf
- osx-fsevents
- osx-membership
- osx-mount
- osx-plutil
-
osx-secure-transport
< "0.1.1"
- osx-xattr
- otfm
- oth
-
otr
< "0.3.6"
-
ott
>= "0.32"
- otto
-
ounit
!= "2.1.2"
-
ounit-lwt
>= "2.2.0"
- owebl
-
owee
< "0.3"
-
owl
< "0.3.0"
- ox
- oxylc
- pa_bench
- pa_bin_prot
- pa_comprehension
- pa_do
- pa_monad_custom
- pa_ounit
- pa_ovisitor
- pa_qualified
- pa_sexp_conv
- pa_solution
- pa_structural_sexp
- pa_test
- pa_variants_conv
- pa_where
- packet
-
papi
< "0.1.1"
-
parany
< "5.0.0"
- pareto
-
parmap
< "1.1.1"
-
parse-argv
< "0.1.0"
- patoline
-
pbkdf
< "0.3.0"
- pbs
-
pcap-format
< "0.5.1"
- pcf-format
- pci
- pci-db
-
pcre
< "7.1.2"
- pds
-
pds-reachability
< "0.2.3"
- perf
-
pfff
< "0.37.1" | >= "0.37.6"
-
pgocaml
< "4.0"
- pgsolver
- phox
- pilat
- pipebang
-
piqi
< "0.7.8"
-
piqilib
< "0.6.16"
-
pkcs11
< "0.18.0"
- planck
- plasma
- plist
-
plotkicadsch
< "0.2.0"
-
plplot
< "5.11.0-1"
- podge
- polka
- polyglot
-
portaudio
< "0.2.2"
- portia
-
posix-getopt
< "2.0.0"
-
posix-types
< "2.0.0"
-
pprint
< "20200226"
-
ppx_bitstring
< "1.3.1"
-
ppx_const
< "2.0"
-
ppx_cstubs
< "0.5.0"
- ppx_curried_constr
- ppx_debugger
-
ppx_defer
< "0.3.0"
-
ppx_deriving
< "0.3" | >= "5.0"
- ppx_deriving_argparse
-
ppx_deriving_cmdliner
< "0.6.0"
- ppx_deriving_crowbar
-
ppx_deriving_encoding
>= "0.2.3" & < "0.4.0"
-
ppx_deriving_hardcaml
< "v0.12.0"
-
ppx_deriving_madcast
< "0.2"
- ppx_deriving_morphism
-
ppx_deriving_protobuf
< "2.7"
-
ppx_deriving_yojson
>= "2.0" & < "3.3"
-
ppx_distr_guards
< "0.2"
- ppx_dotbracket
-
ppx_fun
< "0.0.9"
- ppx_implicits
-
ppx_import
< "1.5-3-gbd627d5"
- ppx_include
-
ppx_jsobject_conv
< "0.5.1"
- ppx_json_types
- ppx_measure
-
ppx_meta_conv
< "4.0.0"
-
ppx_monadic
< "2.3.0"
-
ppx_monoid
< "0.3.2"
-
ppx_orakuda
< "3.3.0"
-
ppx_overload
= "1.0.1"
- ppx_pattern_guard
-
ppx_poly_record
< "1.3.0"
- ppx_relit
- ppx_sexp
-
ppx_test
< "1.0.1"
-
ppx_tools
< "0.99"
- ppx_where
-
ppxlib
>= "0.4.0"
-
ppxx
< "2.4.0"
- primes
- pringo
-
printbox
< "0.2"
- prob-cache
- process
- procord
-
prof_spacetime
< "0.2.0"
- profound
- proj4
- promela
-
prometheus
< "0.3"
-
prometheus-app
< "0.3"
- protobuf
-
protocol-9p
< "0.11.1"
-
protocol-9p-tool
< "0.11.2"
-
protocol-9p-unix
< "0.11.2"
- proverif
-
psmt2-frontend
< "0.3.0"
-
psq
< "0.1.1"
- psyche
- ptime
-
ptmap
< "2.0.5"
-
ptset
< "1.0.1"
-
publish
< "0.3.4+transition"
-
pulseaudio
< "0.1.4"
- pumping
- pvem
- pvem_lwt_unix
- pxp
-
py
< "1.1"
- pyml
-
qbf
< "0.3"
-
qcheck
< "0.8"
-
qcow
< "0.10.2"
- qcow-format
-
qcow-tool
< "0.11.0"
- qcstm
-
qmp
< "0.19.0"
-
qocamlbrowser
>= "0.2.9"
- qrc
-
qrencode
< "0.2"
-
qtest
< "2.9"
- quickcheck
- r2pipe
-
radare2
< "0.0.3"
-
randomconv
< "0.1.1"
- ranger
- rashell
-
rawlink
< "1.0"
- raygun4ocaml
- rdbg
-
rdf
< "0.13.0"
- rdr
-
re
< "1.7.2"
- react
-
reactiveData
< "0.3.0"
-
reason
!= "3.5.0"
- reason-parser
-
records
< "1.0.0"
-
redis
< "0.3.4"
-
reedsolomon
< "0.3"
- regstab
- reins
- release
-
relit-reason
< "0.0.2"
-
resource-pooling
< "1.1"
- revops
-
rfc6287
< "1.0.4"
-
rfsm
< "1.6-alpha-3"
- riak
- riak-pb
- riakc
- riakc_ppx
-
river
< "0.2"
- rlp
-
rml
>= "1.09.00" & < "1.09.03"
-
root1d
< "0.5.1"
-
rope
< "0.6"
- rotor
-
rpc
< "5.9.0"
- rresult
- rtime
- rubytt
-
runtime_events_tools
< "0.5.1"
- Snowflake
- safa
-
safepass
< "3.0"
-
sail
< "0.15"
-
salsa20
< "1.0.0"
-
salsa20-core
< "1.0.0"
-
samplerate
< "0.1.5"
- sanlock
- sattools
- sawja
- schoca
- schroedinger
- scid
- scrypt
-
scrypt-kdf
< "1.0.0"
-
secp256k1
< "0.2.5"
-
sedlex
!= "1.99.2" & < "2.0"
-
semver
< "0.2.1"
- sendmsg
-
seq
< "0.2"
-
sequence
< "1.0"
- sequoia
-
session
< "0.4.0"
- sessions
- setr
-
sexplib
< "113.24.00"
- sfml
-
sgf
< "1.0.1"
-
sha
< "1.12"
-
shared-block-ring
< "3.0.0"
-
shared-memory-ring
< "3.0.1"
-
shared-memory-ring-lwt
< "3.1.0"
-
shared-secret
< "0.4"
- shcaml
-
shine
< "0.2.2"
- should
- sibylfs
- sibylfs-lem
- sid
- sill
- simple-diff
- simple_pam
- skkserv-lite
- slack-backup
-
slacko
< "0.14.1"
-
slap
< "2.0.1"
-
smart-print
< "0.3.0"
-
smbc
< "0.4.2"
- smtp
- snabela
-
snappy
< "0.1.2"
- sodium
- solvuu-build
- solvuu_build
- sonet
- sosa
-
soundtouch
< "0.1.9"
-
spacetime_lib
< "0.3.0"
- sparrow
- spatial_index
-
speex
< "0.4.0"
-
spelll
< "0.3"
-
spf
< "2.0.2"
-
sphinxcontrib-ocaml
< "0.3.0"
- spirv
- spotinstall
-
spotlib
< "4.1.0"
- spotlib_js
- spreadsheet
-
sqlexpr
< "0.9.0"
-
sqlgg
< "20200521"
- sqlite3EZ
-
srs
< "2.0.0"
-
srt
>= "0.2.0"
-
ssl
< "0.5.6"
- starterkit
- stationary
- statmemprof-emacs
- statsd-client
- statverif
- stb_image
- stb_image_write
- stb_truetype
-
stdcompat
< "5"
-
stdint
>= "0.4.0" & < "0.4.2"
- stemmer
- stemming
-
stog
< "0.20.0"
- stone
- stringCodepointSplitter
-
stringext
< "1.5.0"
-
sturgeon
< "0.4.2"
-
subtype-refinement
< "0.2"
- sundialsml
- swdogen
- symkat
-
syndic
< "1.6.0"
-
syslog
< "2.0.0"
-
syslog-message
< "1.0.0"
-
systemverilog
< "0.0.2"
- TCSLib
-
taglib
< "0.3.7"
- taglog
- tallgeese
-
tar
< "0.9.0"
- tar-format
-
tar-mirage
< "0.9.0"
-
tar-unix
< "0.9.0"
-
tcpip
< "3.2.0"
- tcx
- tdk
-
telegraml
< "2.2.0"
- tensorflow
- termbox
-
terminal_size
< "0.1.4"
- testrunner
- testsimple
- text
-
textwrap
< "0.2.1"
- tftp
- tgls
- themoviedb
-
theora
< "0.4.0"
-
thrift
< "0.10.0"
-
tidy
< "5-0.2"
-
timed
< "1.1"
-
tiny_json
< "1.1.6"
- tiny_json_conv
-
tip-parser
< "0.4"
- tjr_simple_earley
-
tls
< "0.11.0"
- tlstunnel
-
toml
< "5.0.0"
- tophide
- topology
-
touist
< "3.5.0"
- tplib
- tptp
- trakeva
- transmission-rpc
- travis-senv
-
tree_layout
< "0.2"
-
treeprint
< "2.2.0"
-
trie
< "1.0.0"
- tryocaml
- tsdl
- ttweetnacl
-
tuntap
< "1.5.0"
- type-beat
-
type_conv
< "108.07.00" | >= "109.07.00" & < "109.28.00"
- typehashlib
- typerex-binutils
- typerex-build
- typerex-clibs
- typerex-system
-
typpx
< "1.4.3"
-
tyre
< "0.4"
-
tyxml
< "4.3.0"
-
ubpf
< "0.2"
- ucorelib
- udunits
-
uint
< "1.2.1"
- ulex
- ulex-camlp5
- unison-gui
- unix-dirent
-
unix-errno
< "0.6.0"
- unix-fcntl
- unix-sys-resource
- unix-sys-stat
- unix-time
- unix-type-representations
- unix-unistd
-
unmagic
< "1.0.4"
-
uri
< "1.9.6"
- usb
- usbmux
- user-setup
-
utop
< "1.16"
- utp
- uucd
- uucp
- uuidm
- uunf
- uuseg
- uutf
-
uuuu
>= "0.2.0"
- uwt
- valentine
-
variantslib
< "113.24.00"
-
vchan
< "4.0.0"
-
vchan-unix
< "4.0.0"
-
vchan-xen
< "4.0.0"
-
vector3
< "1.0.0"
- vg
-
vhd-format
< "0.9.1"
- vhd-tool
- vhdlib
-
visitors
< "20200207"
- vlt
-
vmnet
< "1.3.0"
- voaacenc
- volt
-
vorbis
< "0.8.0"
-
vpnkit
< "0.1.1"
- vrt
- vscoq-language-server
-
wamp
< "1.2"
- wasm
-
wcs-lib
< "2017-05-26.02"
- wdialog
- webbrowser
- webdav
-
weberizer
< "0.7.8"
-
webmachine
< "0.5.0"
- websocketml
-
webtest
< "2.0.0"
-
why3
>= "1.0.0"
- why3-base
- why3-coq
- why3-ide
-
win-error
< "0.3"
-
win-eventlog
< "0.2"
- wiringpi
- wxOCaml
-
x509
< "0.6.3"
-
xapi-backtrace
< "0.5"
- xapi-forkexecd
- xapi-idl
-
xapi-inventory
< "1.2.3"
- xapi-libs-transitional
-
xapi-rrd
< "1.8.2"
- xapi-rrdd
- xapi-stdext
- xapi-tapctl
- xe
- xe-unikernel-upload
- xen-api-client
- xen-block-driver
- xen-disk
-
xen-evtchn
< "2.1.0"
-
xen-evtchn-unix
< "2.1.0"
-
xen-gnt
>= "2.2.0" & < "3.0.1"
-
xen-gnt-unix
< "3.0.1"
- xenbigarray
- xenctrl
-
xenstore
< "2.0.0"
-
xenstore_transport
< "1.1.0"
- xentropyd
-
xml-light
< "2.5"
-
xmldiff
< "0.7.0"
- xmlm
-
xmlplaylist
< "0.1.5"
- xstr
- xstrp4
-
xtmpl
< "0.19.0"
- yajl
- yajl-extra
- yices2
- yices2_bindings
-
yojson
< "1.4.0"
-
yurt
< "0.6"
- z3
- zarith
- zarith-freestanding
- zarith-xen
-
zed
< "1.5"
- zipc
-
zipperposition
< "1.5.1"
-
zlib
< "0.6"
-
zmq
< "5.0.0"
-
zstd
< "0.3"
-
zxcvbn
< "2.3+2"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page