package ocamlfind
A library manager for OCaml
Install
Dune Dependency
Authors
Maintainers
Sources
findlib-1.9.8.tar.gz
md5=ca770e5806032a96131b670f6e07f146
sha512=8967986de2ab4ec5993f437b0a4206742adf37aa7a292a3bba0a04438d78539b84d001191e60b2d5bde98a695b38cba2593b7051f7749adbdb964a0df3c4b661
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: 05 Feb 2025
Dependencies (1)
-
ocaml
>= "3.08.0"
Dev Dependencies
None
-
ANSITerminal
< "0.8"
- aacplus
-
abella
< "2.0.8"
- aez
-
afl-persistent
!= "1.1" & < "1.3"
- aio
-
alba
< "0.4.1"
- aliases
-
alsa
< "0.3.0"
-
amqp-client
< "1.1.0"
- ancient
- ansicolor
-
anycache
< "0.7.4"
-
ao
< "0.2.2"
- apron
- archimedes
- archsat
-
arp
< "1.0.0"
-
ascii85
< "0.4"
- asetmap
- asl
-
asli
< "0.2.0"
-
asn1-combinators
< "0.2.2"
- assertions
- assimp
- astring
-
atd
< "1.2.1"
- atd2cconv
-
atdgen
< "1.10.2"
- augeas
-
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
-
baby
< "20241204"
-
bap-build
>= "2.2.0"
-
bap-byteweight-frontend
>= "2.2.0"
-
bap-frontend
>= "2.2.0"
-
bap-plugins
>= "2.2.0"
- bap-std
- bap-toplevel
- base-bytes
- base58
-
base64
< "2.2.0"
- batteries
- bdd
- bddapron
- bear
-
beluga
< "1.0"
-
benchmark
< "1.5"
-
bencode
< "2.0"
-
bheap
< "2.0.0"
- bigarray-overlap
-
bindlib
< "6.0.0"
- bisect
- bisect-summary
-
bisect_ppx
>= "1.3.3" & < "2.6.0"
-
bitv
< "1.4"
-
bjack
< "0.1.6"
- bn128
- bolt
- bookaml
- bos
- bpf
- bracetax
- broken
- brotli
- brozip
- brr
- bsdowl
- bytesrw
-
cairo2
< "0.6"
-
calendar
< "3.0.0"
-
camlbz2
< "transition"
- camlgpc
- camlimages
- camllib
-
camlp4
>= "4.02+1" & < "4.02+6" | = "4.02.0-1modular-implicits" | >= "5.0"
-
camlp5
>= "8.00.03"
- camlpdf
- camlprime
-
camltc
< "0.9.8"
- camlzip
- caper
- captureio
-
caqti
< "1.0.0"
- caqti-dynload
-
carton
< "0.7.2"
-
catala
>= "0.8.0"
-
cbor
< "0.3"
-
cconv
< "0.5"
- cconv-ppx
-
cdrom
< "0.9.3"
-
certify
< "0.3.0"
- cgi
- cgroups
- chalk
-
checkseum
>= "0.2.0"
-
choice
< "0.4"
- clangml
- cmark
- cmarkit
-
cmdliner
< "1.0.3"
- cmdtui
- coccinelle
-
coin
>= "0.1.2"
- combine
-
conex
< "0.10.0"
-
config-file
< "1.2.1"
- configuration
- conjury
-
coq
< "8.17.0"
- coq-core
-
coq-lsp
>= "0.2.0+8.17" & != "0.2.0+8.20"
- coq-of-ocaml
-
coq-serapi
< "8.16.0+0.16.0" | >= "8.20.0+0.20.0"
-
coqide
>= "8.11.2"
- 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
- corecount
-
cow
< "2.3.0"
-
cowabloga
< "0.4.0"
- cpdf
-
cpm
< "4.0.0"
- cppo_ocamlbuild
-
cpuid
< "0.1.2"
-
crc
< "2.0.0"
- crdt-ml
-
crunch
< "2.1.0"
-
cry
< "0.6.5"
- crypt
- cryptohash
-
cryptokit
< "1.16.1"
- cryptoverif
-
csv
< "2.0"
-
ctypes
< "0.21.1"
- ctypes-build
- cubicle
-
cudf
>= "0.7" & < "0.10"
-
curses
< "1.0.9"
- DAGaml
-
datalog
< "0.6"
- dbm
-
debian-formats
< "0.1.2"
-
dedukti
< "2.7"
- delimcc
-
depext
< "0.3"
- depgraph
- deriving
-
devkit
< "1.0"
-
digestif
< "0.6.1" | >= "0.8.1"
-
dispatch
< "0.4.0"
-
docker-api
< "0.2"
-
dockerfile
< "3.0.0"
- docout
-
dolmen
< "0.4"
-
dolog
< "4.0.0"
-
domain-name
< "0.1.2"
-
dose3
< "6.1"
- dot-merlin-reader
- down
-
dssi
< "0.1.3"
-
dtoa
< "0.3.0"
-
dtools
< "0.4.2"
-
dum
< "1.0.3"
-
dune
>= "3.17.0"
-
duppy
< "0.9.0"
-
duration
< "0.1.2"
- dyntype
-
earley
< "3.0.0"
-
easy-format
< "1.3.0"
- efl
-
eigen
< "0.1.0"
-
elasticsearch-cli
< "0.5"
- electrumAnalyzer
- elina
- eliom
-
elpi
>= "1.2.0" & < "1.4.0"
-
emoji
< "2.0.0"
- enumerators
-
exenum
< "0.86"
- exn-source
-
expect
< "0.1.0"
-
extlib
< "1.7.9"
- extprot
-
extunix
< "0.3.1"
-
ezjsonm
< "1.0.0"
-
ezsqlite
< "0.4"
-
FrontC
< "3.4.2"
-
faad
< "0.5.0"
-
fadbadml
< "0.1.2"
-
faraday
< "0.3.0"
- farfadet
-
farmhash
< "0.4"
-
fdkaac
< "0.3.2"
-
ffmpeg
< "1.0.0~beta1"
-
fieldslib
< "v0.12.0"
-
fileutils
< "0.6.1"
-
fix
< "20181206"
-
flac
< "0.3.0"
- flock
-
flow_parser
< "0.229.1"
- fmt
- format
- fpath
-
frama-c
< "28.0~beta"
-
freetds
< "0.5.2"
- freetennis
-
frei0r
< "0.1.2"
-
fstar
< "2025.02.17"
- fstreams
-
functoria-runtime
< "2.1.0" | = "4.3.5"
- functory
- funfields
- GT
- GuaCaml
-
gammu
< "0.9.4"
-
gapi-ocaml
< "0.3.6"
- gavl
-
gd
< "1.1"
-
gdal
< "0.10.0"
- gedcom
-
gen
< "0.5.1"
- gen-bs
- genlet
-
genspir
< "1.0.0"
- geoip
-
getopt
< "20230213"
- getopts
-
gettext
< "0.4.1"
- gg
-
git-unix
>= "3.0.0" & < "3.16.0"
- gles3
-
glical
>= "0.0.4"
- glicko2
- glMLite
- glpk
-
gmap
< "0.2.1"
- goblint-cil
-
google-drive-ocamlfuse
< "0.6.23"
-
gospel
>= "0.2.0"
-
gperftools
< "0.4"
- gpx
- grain_dypgen
- grain_wasm_spec
- graphicspdf
-
grenier
< "0.7"
- grib
-
gsl
< "1.20.0"
-
gstreamer
< "0.3.1"
- gufo
- gxl-light
-
h2-lwt-unix
< "0.4.0"
- hachis
- hacl-star-raw
- hamt
-
hashcons
< "1.4.0"
-
hashset
< "1.0.1"
- haxe
-
hdf5
< "0.1.5"
- hdfs
-
hector
< "20241208"
- heptagon
-
herdtools7
>= "7.55" & < "7.56.1"
-
higher
!= "0.3.0"
-
higlo
< "0.8"
-
hiredis
< "0.8"
-
hkdf
< "1.0.3"
- hlarp
- hll
- hmap
- htmlit
- humane-re
-
ISO8601
< "0.2.6"
- i2c
- igvxml
-
inferno
< "20190924"
-
inotify
< "2.4"
- inspect
-
integers
< "0.3.0"
-
interval
< "1.4"
-
inuit
< "0.4.1"
- io
-
irc-client
< "0.6.0"
-
iri
< "0.6.0"
- irrlicht
-
itv-tree
< "2.2"
- jasmin
- javalib
- javascriptcore
-
jekyll-format
< "0.2.0"
-
jemalloc
< "0.2"
-
jhupllib
< "0.2.2"
-
jingoo
< "1.3.0"
- joolog
- js-build-tools
-
js_of_ocaml-compiler
< "3.5.0"
-
js_of_ocaml-ocamlbuild
< "3.5.0"
- js_of_ocaml-toplevel
- json-rpc
- json-static
- json-wheel
- jsondiff
- jsonm
- jsont
-
junit
< "2.0"
- kaputt
- karamel
-
key-parsers
< "0.10.1"
-
kinetic-client
< "0.0.11"
-
kremlin
< "transition"
-
lablgl
>= "1.07"
- lablgtk
- lablgtk-extras
-
lablgtk3
< "3.0.beta4" | >= "3.1.3"
-
lablgtk3-extras
< "3.0.1"
- lablqml
- labltk
-
lacaml
< "10.0.1"
-
ladspa
< "0.2.0"
-
lambdasoup
< "0.6.2"
-
lame
< "0.3.4"
-
lascar
< "0.6-alpha"
-
lastfm
< "0.3.3"
-
launchd
< "1.3"
- learn-ocaml
- learn-ocaml-client
-
ledit
>= "2.06"
- lem
- lemonade
- lemonade-sqlite
-
lens
< "1.2.1"
-
leveldb
< "1.3.0"
- libdash
- libevent
- libssh
-
libsvm
< "0.9.4"
- libudev
-
linenoise
< "1.1.0"
- linkage
- links
- linksem
- lipsum
-
liquidsoap
< "2.2.0"
-
llvm
>= "3.9" & < "15.0.7+nnp-2"
- llvmgraph
-
lmdb
< "1.0"
-
lo
< "0.2.0"
- logger-p5
- logs
-
logs-syslog
< "0.2.0"
- lpi
-
lru
< "0.3.0"
- lru-cache
-
lua-ml
>= "0.9.1" & < "0.9.3"
- lua_pattern
- lustre-v6
- lutils
- lutin
- lwt
- lwt-zmq
-
lwt_glib
< "1.1.0"
- lwt_named_threads
- lymp
-
lz4
< "1.2.0"
-
lzo
< "0.0.3"
- macaque
- macaroons
-
mad
< "0.5.0"
- magic
-
magic-mime
< "1.1.0"
- maildir
- malfunction
-
mariadb
< "1.2.0"
-
markup
< "0.7.6"
- maxminddb
- mdx
- mecab
- memcpy
-
menhir
< "20200123"
- mergeable-vector
-
merlin
< "3.4.0"
- merlin-of-pds
-
mesh
< "0.9.3"
- mesh-display
-
mesh-easymesh
< "0.9.3"
-
mesh-graphics
< "0.9.3"
-
mesh-triangle
< "0.9.3"
- metapp
- metaquot
- mikmatch
-
milter
< "1.0.4"
-
mindstorm
< "0.8"
-
minicli
< "5.0.0"
- minima-theme
-
minisat
< "0.2"
- minivpt
-
mirage-block
< "1.2.0"
-
mirage-block-ramdisk
< "0.4"
-
mirage-block-solo5
< "0.6.0"
-
mirage-block-unix
< "2.8.3"
-
mirage-bootvar-solo5
< "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-backend
= "2.3.3"
-
mirage-console-xen-proto
!= "2.3.2" & < "2.3.4"
-
mirage-device
< "1.1.0"
-
mirage-entropy
< "0.5.1"
-
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-kv
< "1.1.1"
-
mirage-kv-lwt
< "1.1.0"
-
mirage-logs
< "1.0.0"
-
mirage-net
< "1.1.1"
-
mirage-net-lwt
< "1.1.0"
-
mirage-net-macosx
< "1.5.0"
-
mirage-net-solo5
< "0.4.3"
- mirage-os-shim
-
mirage-profile
< "0.8.1"
-
mirage-profile-xen
< "0.8.1"
-
mirage-protocols
< "1.2.0"
-
mirage-protocols-lwt
< "1.2.0"
-
mirage-qubes
= "0.6"
-
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-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-xen-ocaml
- misuja
- mixture
-
mkaudio
< "1.1.0"
-
mlbdd
< "0.7.2"
- mlcuddidl
- mlgmpidl
-
mlmpfr
< "4.0.2+dune"
- mlpost
-
mm
< "0.7.0"
-
mmseg
< "transition"
- monadlib
-
monomorphic
< "1.3"
- mopsa
- more-ocaml
- mosquitto
-
mparser
< "1.3"
- mpi
-
mpp
< "0.3.4"
-
msat
< "0.8"
- msgpack
-
msgpck
< "1.3"
- mtime
- mtl
-
murmur3
< "0.3"
-
mustache
< "3.1.0"
- mvar
-
mybuild
< "7"
- mysql
- named-pipe
- namespaces
-
nbd
< "4.0.3"
-
netlink
< "0.3.4"
-
nlopt-ocaml
< "transition"
- nlp
-
noCanren
< "0.3.0~alpha1"
- nocrypto
- nonstd
- nosetup
- not-ocamlfind
- note
-
notty
< "0.2.3"
- nproc
-
npy
< "0.0.8"
-
num
< "1.5"
- OCanren
- oasis
- oasis2debian
- oasis2opam
- obandit
-
obelisk
< "0.5.0"
- objsize
-
obuild
>= "0.1.11"
-
obus
< "1.2.0"
-
ocal
< "0.2.2"
-
ocaml-basics
< "0.5.0"
- ocaml-buddy
- ocaml-expat
- ocaml-freestanding
- ocaml-freestanding-cross-aarch64
- ocaml-http
- ocaml-inifiles
- ocaml-js-stdlib
-
ocaml-lsp-server
< "1.6.0"
- ocaml-migrate-parsetree-ocamlbuild
-
ocaml-monadic
< "0.4.0"
-
ocaml-protoc
< "2.0.1"
- ocaml-protoc-yojson
- ocaml-sat-solvers
- ocaml-solo5
- ocaml-solo5-cross-aarch64
-
ocaml-systemd
< "1.3"
-
ocaml-variants
>= "4.00.1+mirage-unix" & < "4.00.1+open-types"
-
ocaml-xdg-basedir
< "transition"
- ocamlbrowser
-
ocamlbuild
>= "0.15.0"
- ocamlbuild-atdgen
- ocamlbuild-pkg
- ocamlbuild-protoc
-
ocamldap
< "transition"
-
ocamldiff
< "1.2"
- ocamldot
- ocamleditor
- ocamlfind-lint
-
ocamlfuse
< "2.7.1-cvs6"
-
ocamlgraph
< "2.0.0"
- ocamlify
- ocamlmod
- ocamlnet
- ocamlrss
- ocamlscript
- ocamlsdl
- ocamlsdl2
- ocamlsdl2-image
- ocamlsdl2-ttf
- ocamlyices
- ocb-stubblr
- ocephes
-
ocf
< "0.8.0"
- oclock
- ocp-build
-
ocp-indent
>= "1.7.0"
- ocp-index-top
- ocp-ocamlres
- ocp-reloc
-
ocplib-endian
< "1.1"
-
ocplib-json-typed
< "0.7"
- ocplib-resto
-
ocplib-simplex
!= "0.5"
- ocsfml
-
ocsigen-i18n
< "4.0.0"
- ocsigenserver
-
octavius
< "1.2.1"
- ocurl
- ocveralls
- odbc
-
odds
< "1.1"
- odep
-
odepack
< "0.6.9"
- odig
- odoc
- odoc-driver
- ofx
- ogen
-
ogg
!= "0.6.0" & < "0.7.0"
- ojs-base
-
olinq
< "0.3"
- ollvm
- ollvm-tapir
- olmi
- omake
-
omd
< "1.3.2"
- oml
- omod
- omonad
- oolc
- opal
- opam-bundle
-
opam-depext
>= "1.2.1"
-
opam-dune-lint
< "0.2"
-
opam-ed
< "0.4"
- opam-lib
-
opam-publish
= "0.3.5"
- opamfu
-
opencc
< "transition"
-
opus
< "0.2.0"
-
ordma
< "0.0.5"
- orm
- orocksdb
-
osc
< "0.2.0"
- osdp
-
oseq
< "0.2"
- ostap
- osx-acl
- osx-attr
- osx-cf
- osx-fsevents
- osx-membership
- osx-mount
- osx-plutil
- osx-xattr
- otfm
-
otr
< "0.3.6"
-
ott
>= "0.32"
- otto
-
ounit
!= "2.1.2"
-
ounit-lwt
>= "2.2.0"
- pa_comprehension
- pa_monad_custom
- pa_qualified
- pa_solution
- pa_where
-
papi
< "0.1.1"
-
parany
< "5.0.0"
- pareto
-
parmap
< "1.1.1"
-
parse-argv
< "0.1.0"
-
pbkdf
< "0.3.0"
- pbs
-
pcap-format
< "0.5.2"
- pci
- pci-db
-
pcre
< "7.3.0"
- pds
-
pds-reachability
< "0.2.3"
-
pfff
>= "0.37.6"
-
pgocaml
< "4.0"
- pgsolver
- pilat
-
piqi
< "0.7.8"
-
piqilib
< "0.6.16"
-
pkcs11
< "0.18.0"
-
pla
< "1.2"
- plist
-
plplot
< "5.11.0-1"
- podge
- polka
- polyglot
-
portaudio
< "0.2.2"
- portia
- posix-clock
-
posix-getopt
< "2.0.0"
- posix-math
- posix-mqueue
- posix-semaphore
- posix-time
-
posix-types
< "2.0.0"
-
postgresql
< "4.1.0"
-
pprint
< "20200226"
-
ppx_blob
< "0.3.0"
-
ppx_const
< "2.0"
- ppx_cstubs
-
ppx_defer
< "0.3.0"
-
ppx_deriving
>= "5.0"
- ppx_deriving_argparse
-
ppx_deriving_cmdliner
< "0.6.0"
-
ppx_deriving_encoding
>= "0.2.3" & < "0.4.0"
-
ppx_deriving_madcast
< "0.2"
-
ppx_distr_guards
< "0.2"
-
ppx_monoid
< "0.3.2"
-
ppx_tools
< "6.0+4.08.0"
- ppxfind
- ppxlib
- primes
- pringo
-
printbox
< "0.2"
- process
- proj4
-
prometheus
< "0.3"
-
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"
-
pulseaudio
< "0.1.4"
- pumping
- pvem
- pxp
-
py
< "1.1"
- pyml
-
qbf
< "0.3"
-
qcheck
< "0.8"
-
qcow
< "0.10.2"
-
qcow-tool
< "0.11.0"
- qcstm
- qfs
-
qmp
< "0.19.0"
- qocamlbrowser
- qrc
-
qtest
< "2.9"
- r2pipe
-
radare2
< "0.0.3"
-
randomconv
< "0.1.1"
- ranger
- raw_spacetime
- raygun4ocaml
- rdbg
-
rdf
< "0.13.0"
- rdr
-
re
< "1.7.2"
- react
-
reactiveData
< "0.3.0"
-
reason
>= "3.5.2"
-
records
< "1.0.0"
-
res
< "5.0.0"
-
resource-pooling
< "1.1"
- revops
-
rfc6287
< "1.0.4"
-
rfsm
< "1.6-alpha-3"
- riak
- riak-pb
- rlp
-
rml
< "1.09.03"
-
root1d
< "0.5.1"
- rotor
- rresult
-
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.6"
- sanlock
- sattools
- sawja
- schroedinger
- scid
- scrypt
-
scrypt-kdf
< "1.0.0"
-
secp256k1
< "0.2.5"
-
sedlex
< "2.0"
- selfie
-
semver
< "0.2.1"
- sendmsg
- sequence
-
session
< "0.4.0"
- sessions
- setr
- sfml
-
sgf
< "1.0.1"
-
sha
< "1.12"
-
shared-memory-ring
< "3.0.1"
-
shared-memory-ring-lwt
< "3.1.0"
-
shared-secret
< "0.4"
- shcaml
-
shine
< "0.2.2"
- sid
- simple-diff
- simple_pam
- slap
-
smart-print
< "0.3.0"
- smtp
-
snappy
< "0.1.2"
- socketcan
- sodium
- sosa
-
soundtouch
< "0.1.9"
-
speex
< "0.4.0"
-
spelll
< "0.3"
- spirv
-
spotlib
< "4.1.0"
- spreadsheet
-
sqlgg
< "20200521"
-
sqlite3
< "4.2.0"
-
srt
>= "0.2.0"
-
ssl
< "0.5.6"
- starterkit
- statmemprof-emacs
- statverif
- stb_image
- stb_image_write
- stb_truetype
-
stdcompat
< "7"
-
stdint
< "0.5.1"
- stemmer
- stemming
-
stog
< "0.20.0"
- stone
- stringCodepointSplitter
-
stringext
< "1.5.0"
-
sturgeon
< "0.4.2"
-
subtype-refinement
< "0.2"
- sundialsml
- symkat
-
syndic
< "1.6.0"
-
syslog-message
< "1.0.0"
-
systemverilog
< "0.0.2"
- TCSLib
-
taglib
< "0.3.7"
- tallgeese
- tcx
- tdk
- tensorflow
- termbox
-
terminal_size
< "0.1.4"
- text
-
textwrap
< "0.2.1"
- tgls
-
theora
< "0.4.0"
-
tidy
< "5-0.2"
-
timed
< "1.1"
-
tiny_json
< "1.1.6"
-
tip-parser
< "0.4"
- tjr_simple_earley
-
tls
< "0.11.0"
- tlstunnel
- tophide
- topkg
- topkg-care
- toplevel_backend
- toplevel_expect_test
-
touist
< "3.5.0"
- tplib
- tptp
-
tree_layout
< "0.2"
-
treeprint
< "2.2.0"
- tsdl
- ttweetnacl
-
tuntap
< "1.5.0"
- type_conv
-
typerep
< "v0.12.0"
- typerex-binutils
-
tyre
< "0.4"
-
tyxml
< "4.3.0"
-
ubpf
< "0.2"
-
uint
< "2.0.1"
- ulex
- ulex-camlp5
- unison-gui
- unix-dirent
-
unix-errno
< "0.6.0"
- unix-sys-resource
- unix-sys-stat
- unix-time
- unix-type-representations
- unix-unistd
-
uri
< "1.9.6"
- usb
- user-setup
- utop
- uucd
- uucp
- uuidm
- uunf
- uuseg
- uutf
-
uuuu
>= "0.2.0"
- uwt
- valentine
-
variantslib
< "v0.12.0"
-
vector3
< "1.0.0"
- vg
- vhdlib
-
visitors
< "20200207"
- vlt
- voaacenc
- volt
-
vorbis
< "0.8.0"
- vscoq-language-server
-
wamp
< "1.2"
- wasm
-
wcs-lib
< "2017-05-26.02"
- webbrowser
- webidl
-
webmachine
< "0.5.0"
- websocketml
- why3
- why3-coq
- why3-ide
-
win-error
< "0.3"
-
win-eventlog
< "0.2"
- wiringpi
- wxOCaml
-
xapi-inventory
< "1.2.3"
-
xen-evtchn
< "2.1.0"
-
xen-evtchn-unix
< "2.1.0"
-
xen-gnt
< "3.0.1"
-
xen-gnt-unix
< "3.0.1"
-
xenstore_transport
< "1.1.0"
-
xml-light
< "2.5"
-
xmldiff
< "0.7.0"
- xmlm
-
xmlplaylist
< "0.1.5"
-
xtmpl
< "0.19.0"
- yajl
- yices2
- yices2_bindings
-
yurt
< "0.6"
- z3
- zarith
- zarith-freestanding
- zarith-xen
- zipc
-
zlist
< "0.4.0"
-
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