OCamllabs icon Home|Differences with the last checks|Previous runs

Filter form:
Only show these compilers:
Only show packages available in:
Show failures only:
Only show packages whose build status differs between each compilers:
Only show the latest version of each packages:
Sort by number of revdeps:
Only show packages maintained by [posix regexp]:
Only show packages whose log matches [posix regexp]:
Legend:
Package successfully built
One of the dependencies failed to build
Package failed to build
Package is not available in this environment
Internal failure
About this run:

Packages with current filters: 2747
Packages failing with current filters: 66
Packages whose dependencies failed with current filters: 104

Run made on the 2021-10-20 17:50:41


4.124.12+domains4.12+nnpchecker5.00trunknumber of revdeps
0install.2.171
0install-gtk.2.170
0install-solver.2.1710
ANSITerminal.0.8.226
BetterErrors.0.0.17
FrontC.4.1.012
GT.0.4.23
GuaCaml.0.032
ISO8601.0.2.633
KaSim.4.0.00
OCanren.0.2.00
OCanren-ppx.0.2.00
SZXX.1.1.00
Snowflake.0.02.021
TCSLib.0.31
aacplus.0.2.22
abella.2.0.70
absolute.0.10
accessor.v0.14.14
accessor_async.v0.14.00
accessor_base.v0.14.12
accessor_core.v0.14.00
acgtk.1.5.30
acpc.1.2.30
advi.2.0.00
aez.0.30
afl.2.52b1
afl-persistent.1.38
ago.0.40
agrid.0.11
ahrocksdb.0.2.20
aifad.2.2.20
aio.0.0.30
alba.0.4.40
albatross.1.3.00
alcotest.1.5.0391
alcotest-async.1.5.05
alcotest-js.1.5.00
alcotest-lwt.1.5.089
alcotest-mirage.1.5.00
alg_structs.0.1.31
alg_structs_qcheck.0.1.30
aliases.0.0.50
alsa.0.3.04
alt-ergo.2.4.18
alt-ergo-free.2.2.05
alt-ergo-lib.2.4.111
alt-ergo-parsers.2.4.110
amqp-client.2.2.22
amqp-client-async.2.2.20
amqp-client-lwt.2.2.20
ancient.0.9.10
anders.0.7.20
angstrom.0.15.0735
angstrom-async.0.15.02
angstrom-lwt-unix.0.15.03
angstrom-unix.0.15.02
ansicolor.0.50
anycache.0.7.42
anycache-lwt.0.7.40
ao.0.2.34
apron.v0.9.1313
apronext.1.0.42
archetype.1.2.90
archi.0.1.02
archi-async.0.1.00
archi-lwt.0.1.00
archimedes.0.4.195
archsat.1.10
argon2.1.0.10
arp.2.3.23
arp-mirage.2.2.12
art.0.1.11
asak.0.32
ascii85.0.40
asetmap.0.8.135
ask.0.2.01
ask-integrator.0.2.00
asl.0.114
asli.0.2.00
asn1-combinators.0.2.6403
assertions.0.10
assimp.0.30
astring.0.8.51177
async.v0.14.01228
async-uri.0.3.00
async_durable.v0.14.00
async_extra.v0.14.03
async_find.v0.14.04
async_graphics.0.7.00
async_inotify.v0.14.01
async_interactive.v0.14.00
async_js.v0.14.06
async_kernel.v0.14.01426
async_rpc_kernel.v0.14.01228
async_sendfile.v0.14.01
async_shell.v0.14.02
async_smtp.v0.14.00
async_ssl.v0.14.0332
async_udp.v0.14.01
async_unix.v0.14.01233
async_websocket.v0.14.00
atable.0.10
atd.2.2.152
atd2cconv.0.0.00
atdgen.2.2.150
atdgen-codec-runtime.2.2.11
atdgen-runtime.2.2.149
atdj.2.2.10
atds.2.2.10
awa.0.0.330
awa-lwt.0.0.30
awa-mirage.0.0.328
aws.1.215
aws-async.1.20
aws-autoscaling.1.20
aws-cloudformation.1.20
aws-cloudtrail.1.20
aws-cloudwatch.1.20
aws-ec2.1.20
aws-elasticache.1.20
aws-elasticloadbalancing.1.20
aws-lwt.1.20
aws-rds.1.20
aws-route53.1.20
aws-s3.4.5.12
aws-s3-async.4.5.10
aws-s3-lwt.4.5.10
aws-sdb.1.20
aws-sqs.1.20
aws-ssm.1.20
aws-sts.1.20
azblob.0.1.01
azblob-async.0.1.00
azure-cosmos-db.0.1.60
b0.0.0.31
bag.1.0.00
balancer.1.00
bap.2.3.08
bap-abi.2.3.049
bap-analyze.2.3.09
bap-api.2.3.048
bap-arm.2.3.012
bap-beagle.2.3.010
bap-beagle-strings.2.3.09
bap-bil.2.3.09
bap-build.2.3.092
bap-bundle.2.3.093
bap-byteweight.2.3.010
bap-byteweight-frontend.2.3.01
bap-c.2.3.047
bap-cache.2.3.09
bap-callgraph-collator.2.3.09
bap-callsites.2.3.09
bap-constant-tracker.2.3.09
bap-core-theory.2.3.091
bap-cxxfilt.2.3.09
bap-demangle.2.3.011
bap-dependencies.2.3.09
bap-disassemble.2.3.09
bap-dump-symbols.2.3.09
bap-dwarf.2.3.010
bap-elementary.2.3.09
bap-elf.2.3.09
bap-emacs-dot.0.111
bap-emacs-goodies.0.110
bap-emacs-mode.0.111
bap-frontc.2.3.09
bap-frontend.2.3.09
bap-fsi-benchmark.2.3.00
bap-future.2.3.093
bap-glibc-runtime.2.3.09
bap-ida.2.3.01
bap-ida-plugin.2.3.02
bap-ida-python.2.3.02
bap-knowledge.2.3.092
bap-llvm.2.3.013
bap-main.2.3.091
bap-mc.2.3.09
bap-microx.2.3.012
bap-mips.2.3.09
bap-objdump.2.3.09
bap-optimization.2.3.09
bap-phoenix.2.3.00
bap-piqi.2.3.00
bap-plugins.2.3.092
bap-powerpc.2.3.010
bap-primus.2.3.036
bap-primus-dictionary.2.3.09
bap-primus-exploring-scheduler.2.3.011
bap-primus-greedy-scheduler.2.3.011
bap-primus-limit.2.3.011
bap-primus-lisp.2.3.09
bap-primus-loader.2.3.011
bap-primus-mark-visited.2.3.011
bap-primus-powerpc.2.3.09
bap-primus-print.2.3.011
bap-primus-promiscuous.2.3.011
bap-primus-propagate-taint.2.3.09
bap-primus-random.2.3.09
bap-primus-region.2.3.09
bap-primus-round-robin-scheduler.2.3.011
bap-primus-support.2.3.010
bap-primus-symbolic-executor.2.3.09
bap-primus-systems.2.3.09
bap-primus-taint.2.3.09
bap-primus-test.2.3.09
bap-primus-track-visited.2.3.012
bap-primus-wandering-scheduler.2.3.011
bap-primus-x86.2.3.09
bap-print.2.3.09
bap-radare2.2.3.00
bap-raw.2.3.09
bap-recipe.2.3.092
bap-recipe-command.2.3.09
bap-relation.2.3.091
bap-relocatable.2.3.09
bap-report.2.3.09
bap-riscv.2.3.09
bap-run.2.3.09
bap-signatures.2.3.011
bap-specification.2.3.09
bap-ssa.2.3.09
bap-std.2.3.090
bap-strings.2.3.038
bap-stub-resolver.2.3.09
bap-symbol-reader.2.3.09
bap-systemz.2.3.09
bap-taint.2.3.011
bap-taint-propagator.2.3.09
bap-term-mapper.2.3.09
bap-thumb.2.3.09
bap-trace.2.3.09
bap-traces.2.3.011
bap-trivial-condition-form.2.3.09
bap-warn-unused.2.3.09
bap-x86.2.3.011
bare.2.3.013
bark.0.1.40
base.v0.14.12116
base-bigarray.base1565
base-bytes.base2387
base-domains.base2
base-native-int63.0.12120
base-threads.base3200
base-unix.base3204
base58.0.1.20
base64.3.5.0577
base_bigstring.v0.14.01513
base_quickcheck.v0.14.11529
bastet.2.0.02
bastet_async.0.1.00
bastet_lwt.0.1.00
batch_jaro_winkler.0.1.10
batsat.0.60
batteries.3.3.0+multicore0
bdd.0.33
bddrand.2.71.100
bear.0.0.10
bech32.0.10
bechamel.0.1.05
bechamel-js.0.1.00
bechamel-notty.0.1.01
bechamel-perf.0.1.00
beluga.1.01
benchmark.1.61456
benchpress.0.11
benchpress-server.0.10
bencode.2.07
bentov.12
bheap.2.0.01011
bibtex2html.1.99-10
bigarray-compat.1.0.01207
bigarray-overlap.0.2.055
bignum.v0.14.05
bigstring.0.3196
bigstring-unix.0.31
bigstringaf.0.8.0761
bimage.0.4.04
bimage-display.0.4.00
bimage-gtk.0.2.10
bimage-io.0.4.00
bimage-lwt.0.4.00
bimage-sdl.0.2.10
bimage-unix.0.4.00
bimap.202012310
bin_prot.v0.14.01531
binaryen.0.10.00
binbin.0.010
bindlib.5.0.12
biniou.1.2.11439
binning.0.0.00
bio_io.0.3.00
biocaml.0.11.11
biotk.0.0.00
bip32.0.20
bisect.1.3.17
bisect-summary.0.30
bisect_ppx.2.6.048
bisect_ppx-ocamlbuild.1.0.11
bitcoin.2.00
bitcoinml.0.4.10
bitlib.1.00
bitmasks.1.4.00
bitstring.4.1.021
bitv.1.65
bitvec.2.3.095
bitvec-binprot.2.3.092
bitvec-order.2.3.092
bitvec-sexp.2.3.093
bitwuzla.1.0.00
bitwuzla-bin.1.0.00
bitwuzla-c.1.0.01
bjack.0.1.62
blake2.0.3129
blake3.0.20
bloomf.0.2.00
bls12-381.1.0.1153
bls12-381-gen.0.5.0156
bls12-381-js.0.5.00
bls12-381-js-gen.0.5.01
bls12-381-legacy.0.4.30
bls12-381-unix.1.0.1153
bn128.0.1.30
bnfgen.3.0.01
bogue.202109170
boltzgen.0.9.30
bonsai.v0.14.00
bookaml.4.00
bos.0.2.1318
bpf.0.20
bracetax.0.40
broken.0.4.27
brr.0.0.20
bsdowl.3.0.0-201508308
bst.7.0.05
buffer-pool.0.20
build_path_prefix_map.0.20
builder.0.1.10
bun.0.3.40
bwrap.0.10
bytearray.1.0.20
bytebuffer.0.0.20
bytepdf.0.10
ca-certs.0.2.1236
ca-certs-nss.3.71.0.146
cactus.1.0.00
cairo2.0.6.239
cairo2-gtk.0.6.21
cairo2-pango.0.6.20
calculon.0.71
calculon-redis.0.60
calculon-redis-lib.0.61
calculon-web.0.70
caldav.0.1.00
calendar.2.0488
calendars.1.0.00
calipso.4.1.00
callipyge.0.21
camelot.1.7.00
camels.0.0.40
camelsnakekebab.0.40
caml-mode.4.92
camlbz2.0.7.05
camlgpc.1.00
camlidl.1.0925
camlimages.5.0.47
camllib.1.3.31
camlmix.1.3.01
camlon.3.0.09
camlp-streams.5.00
camlp4.4.12+12100
camlp5.8.00.0222
camlpdf.2.43
camlprime.0.50
camltc.0.9.87
camlzip.1.111353
camomile.1.0.21535
camyll.0.3.00
capnp.3.4.010
capnp-rpc.1.29
capnp-rpc-lwt.1.28
capnp-rpc-mirage.1.20
capnp-rpc-net.1.25
capnp-rpc-unix.1.23
captureio.0.1.20
caqti.1.6.032
caqti-async.1.6.01
caqti-driver-mariadb.1.6.09
caqti-driver-postgresql.1.6.07
caqti-driver-sqlite3.1.6.04
caqti-dynload.1.3.02
caqti-lwt.1.6.023
caqti-type-calendar.1.2.02
carton.0.4.337
carton-git.0.4.335
carton-lwt.0.4.336
catala.0.3.00
cbor.0.41
cca.0.40
cconv.0.54
cdrom.0.9.40
certify.0.3.30
cf.0.424
cf-lwt.0.422
cfg.2.2.11
cfgen.1.00
cfstream.1.3.14
cgi.0.102
cgroups.0.10
chacha.1.1.00
chalk.1.00
charInfo_width.1.1.0152
charrua.1.4.03
charrua-client.1.4.00
charrua-client-lwt.1.2.21
charrua-client-mirage.1.2.21
charrua-server.1.4.02
charrua-unix.1.4.00
chartjs.0.2.24
chartjs-annotation.0.2.20
chartjs-colorschemes.0.2.20
chartjs-datalabels.0.2.20
chartjs-streaming.0.2.20
chase.1.40
checkseum.0.3.247
choice.0.40
cinaps.v0.15.13
clangml.4.4.01
clap.0.1.01
clarity-lang.0.1.00
clim.0.3.01
clim-ppx.0.3.00
cloudi.2.0.20
clp_operations.0.0.10
cmark.0.2.00
cmarker.0.3.00
cmdliner.1.0.41615
cmdtui.0.4.31
cmdtui-lambda-term.0.4.30
cmitomli.1.0.00
coccinelle.1.1.10
codept.0.11.00
cohttp.4.0.0292
cohttp-async.4.0.014
cohttp-lwt.4.0.0243
cohttp-lwt-jsoo.4.0.015
cohttp-lwt-unix.4.0.0200
cohttp-mirage.4.0.05
cohttp-top.4.0.00
coin.0.1.318
colombe.0.5.08
color.0.2.01
color-brewery.0.20
combinat.1.00
combine.0.60
comby.1.7.00
comby-kernel.1.7.01
comby-semantic.1.7.01
command_rpc.v0.14.00
conan.0.0.14
conan-cli.0.0.10
conan-database.0.0.11
conan-lwt.0.0.10
conan-unix.0.0.11
conduit.4.0.2279
conduit-async.4.0.216
conduit-lwt.4.0.2248
conduit-lwt-unix.4.0.2215
conduit-mirage.4.0.28
conex.0.11.11
conex-mirage-crypto.0.11.10
conex-nocrypto.0.11.00
conf-aclocal.217
conf-adwaita-icon-theme.11
conf-alsa.17
conf-ao.15
conf-asciidoc.11
conf-autoconf.0.1405
conf-automake.119
conf-bap-llvm.1.615
conf-binutils.0.313
conf-bison.21
conf-blas.119
conf-bluetooth.12
conf-bmake.1.09
conf-boost.14
conf-brotli.0.0.12
conf-cairo.142
conf-capnproto.110
conf-clang.197
conf-cmake.113
conf-cpio.18
conf-csdp.11
conf-dbm.1.0.019
conf-diffutils.13
conf-dpkg.12
conf-dssi.13
conf-emacs.13
conf-env-travis.115
conf-expat.10
conf-ffmpeg.110
conf-fftw3.11
conf-findutils.11591
conf-flex.21
conf-freetype.140
conf-frei0r.13
conf-ftgl.10
conf-g++.1.038
conf-gcc.1.04
conf-gd.13
conf-gfortran.014
conf-ghostscript.11
conf-git.1.19
conf-glade.21689
conf-gles2.15
conf-glew.11
conf-glfw3.22
conf-glib-2.15
conf-glpk.12
conf-gmp.31448
conf-gmp-powm-sec.31335
conf-gnome-icon-theme3.00
conf-gnomecanvas.21689
conf-gnuplot.0.123
conf-gnutls.11315
conf-gobject-introspection.1.01
conf-goocanvas2.00
conf-gpiod.11
conf-graphviz.0.18
conf-gsl.213
conf-gssapi.11315
conf-gstreamer.15
conf-gtk2.11689
conf-gtk3.1818
conf-gtksourceview3.0+217
conf-haveged.1.0.00
conf-hidapi.091
conf-ida.0.33
conf-jack.13
conf-jq.12
conf-ladspa.14
conf-lapack.119
conf-leveldb.22
conf-libMagickCore.10
conf-libX11.13200
conf-libbz2.16
conf-libclang.122
conf-libcurl.128
conf-libdw.11
conf-libev.4-121588
conf-libevent.13
conf-libffi.2.0.0647
conf-libflac.13
conf-libfuse.12
conf-libgif.11
conf-libgsasl.11
conf-libjpeg.12
conf-liblinear-tools.1.0.01
conf-liblo.13
conf-liblz4.110
conf-liblzma.10
conf-libmagic.11
conf-libmaxminddb.12
conf-libmosquitto.11
conf-libmpg123.11
conf-libnl3.12
conf-libogg.110
conf-libopus.13
conf-libpcre.11759
conf-libpng.10
conf-libportmidi.10
conf-librsvg2.00
conf-libsamplerate.14
conf-libseccomp.11117
conf-libsodium.13
conf-libspeex.13
conf-libssl.31598
conf-libsvm.30
conf-libsvm-tools.1.0.00
conf-libtheora.15
conf-libtool.11
conf-libudev.11
conf-libuv.13
conf-libvorbis.13
conf-libwayland.11
conf-libxcursor.12
conf-libxi.12
conf-libxinerama.12
conf-libxrandr.12
conf-lilv.13
conf-linux-libc-dev.024
conf-llvm.13.0.08
conf-lua.10
conf-lz4.1.0.01
conf-m4.13201
conf-mariadb.213
conf-mbedtls.11
conf-mecab.0.9961
conf-mesa.12
conf-mpfr.321
conf-mpi.15
conf-mysql.112
conf-nanomsg.01
conf-nauty.1.00
conf-ncurses.11572
conf-neko.11
conf-netsnmp.1.0.01
conf-nlopt.12
conf-npm.17
conf-numa.0.1.01
conf-ode.10
conf-oniguruma.13
conf-openbabel.0.11
conf-openblas.0.2.115
conf-opencc1_1.11
conf-openimageio.11
conf-openjdk.11
conf-openssl.22
conf-pam.11
conf-pandoc.0.11
conf-pango.12
conf-perl.11730
conf-perl-ipc-system-simple.123
conf-perl-string-shellquote.123
conf-pixz.10
conf-pkg-config.23317
conf-plplot.110
conf-portaudio.14
conf-postgresql.123
conf-ppl.114
conf-protoc.1.0.01
conf-pulseaudio.15
conf-python-2-7.1.131
conf-python-2-7-dev.1.01
conf-python-3.1.0.022
conf-python-3-dev.14
conf-python3-yaml.12
conf-qt.5.2.12
conf-r.1.0.07
conf-r-mathlib.11
conf-radare2.0.12
conf-rdkit.16
conf-rocksdb.12
conf-ruby.1.0.02
conf-rust.0.1179
conf-rust-2018.12
conf-samplerate.13
conf-sdl-gfx.111
conf-sdl-image.111
conf-sdl-mixer.111
conf-sdl-net.10
conf-sdl-ttf.111
conf-sdl2.115
conf-sdl2-image.15
conf-sdl2-mixer.11
conf-sdl2-net.10
conf-sdl2-ttf.16
conf-sdpa.11
conf-secp256k1.1.0.02
conf-sfml2.12
conf-snappy.14
conf-soundtouch.13
conf-sqlite3.153
conf-srt.13
conf-sundials.14
conf-swi-prolog.11
conf-tcl.16
conf-texlive.12
conf-tidy.11
conf-time.11194
conf-timeout.10
conf-tk.16
conf-tree-sitter.10
conf-tzdata.10
conf-vim.10
conf-wayland-protocols.11
conf-wget.14
conf-which.12218
conf-xen.11016
conf-xkbcommon.11
conf-zlib.11380
conf-zmq.0.120
conf-zstd.1.3.82
config-file.1.2.19
configuration.0.4.11
conformist.0.6.07
conjury.2.0.11
containers.3.595
containers-data.3.57
containers-thread.3.50
cookie.0.1.83
cookies.1.0.00
coq.8.14.015
coq-native.118
coq-of-ocaml.2.5.10
coq-serapi.8.14.0+0.14.00
coq-shell.10
coqide.8.14.00
cordova.1.01
cordova-plugin-activity-indicator.1.00
cordova-plugin-background-mode.1.00
cordova-plugin-barcode-scanner.1.00
cordova-plugin-battery-status.1.00
cordova-plugin-camera.1.00
cordova-plugin-clipboard.1.00
cordova-plugin-datepicker.1.00
cordova-plugin-device.1.00
cordova-plugin-device-motion.1.00
cordova-plugin-device-orientation.1.00
cordova-plugin-dialogs.1.00
cordova-plugin-email-composer.1.00
cordova-plugin-fcm.1.00
cordova-plugin-file.1.00
cordova-plugin-file-opener.1.00
cordova-plugin-file-transfer.1.00
cordova-plugin-geolocation.1.00
cordova-plugin-globalization.1.00
cordova-plugin-image-picker.1.00
cordova-plugin-inappbrowser.1.00
cordova-plugin-insomnia.1.00
cordova-plugin-keyboard.1.00
cordova-plugin-loading-spinner.1.00
cordova-plugin-local-notifications.1.00
cordova-plugin-media.1.00
cordova-plugin-media-capture.1.00
cordova-plugin-network-information.1.00
cordova-plugin-progress.1.00
cordova-plugin-push-notifications.1.1.20
cordova-plugin-qrscanner.1.00
cordova-plugin-screen-orientation.1.00
cordova-plugin-sim-card.1.00
cordova-plugin-sms.1.00
cordova-plugin-social-sharing.1.00
cordova-plugin-statusbar.1.00
cordova-plugin-toast.1.00
cordova-plugin-touch-id.1.00
cordova-plugin-vibration.1.00
cordova-plugin-videoplayer.1.00
core.v0.14.11285
core-and-more.0.0.10
core_bench.v0.14.05
core_extended.v0.14.06
core_kernel.v0.14.21512
core_profiler.v0.14.00
corecount.1.0.00
cosovo.30
cow.2.4.030
cpdf.2.40
cpm.12.0.012
cppo.1.6.82237
cppo_ocamlbuild.1.6.81997
cps_toolbox.0.21
cpu.2.0.012
cpuid.0.1.2430
craml.1.0.03
crc.2.1.02
crdt-ml.0.10.00
crlibm.0.42
crontab.0.10
crowbar.0.242
crunch.3.2.047
cry.0.6.52
crypt.1.30
cryptodbm.0.84.20
cryptohash.0.1.20
cryptokit.1.16.11334
cryptoverif.2.050
csexp.1.5.13199
css-parser.0.2.50
cstruct.6.0.11200
cstruct-async.6.0.12
cstruct-lwt.6.0.1502
cstruct-sexp.6.0.1400
cstruct-unix.6.0.142
csv.2.437
csv-lwt.2.40
csvfields.v0.14.05
csvtool.2.40
ctoxml.4.1.00
ctypes.0.19.1368
ctypes-build.0.0.22
ctypes-foreign.0.18.0648
ctypes-zarith.0.2.01
cubicle.1.1.20
cudf.0.9-126
cuid.0.20
cumulus.0.0.10
curly.0.2.04
current.0.57
current_ansi.0.43
current_docker.0.51
current_examples.0.50
current_git.0.54
current_github.0.51
current_incr.0.58
current_ocluster.0.11
current_rpc.0.51
current_slack.0.50
current_web.0.52
curses.1.0.98
curve-sampling.0.20
cviode.0.0.40
daft.0.0.30
dap.1.0.61
data-encoding.0.44
datakit-client.1.0.06
datakit-client-9p.1.0.05
datakit-server.1.0.03
datakit-server-9p.1.0.02
datalog.0.60
daypack-lib.0.0.61
dbf.0.1.10
dbm.1.318
deadlock.1.00
debian-formats.0.1.21
decimal.0.2.10
decoders.0.6.07
decoders-bencode.0.6.00
decoders-cbor.0.6.00
decoders-ezjsonm.0.6.00
decoders-jsonm.0.6.00
decoders-msgpck.0.6.00
decoders-sexplib.0.6.00
decoders-yojson.0.6.00
decompress.1.4.243
dedukti.2.6.01
delimited_parsing.v0.14.00
depgraph.0.1.00
depyt.0.2.00
deriving.0.8.11283
devkit.1.202105171
diet.0.44
digestif.1.1.0264
directories.0.32
dirsift.0.0.40
dirsp-exchange.0.1.00
dirsp-exchange-kbb2017.0.1.01
dirsp-proscript.0.1.03
dirsp-proscript-mirage.0.1.01
dirsp-ps2ocaml.0.1.00
dispatch.0.5.015
dispatch-js.0.5.00
distributed.0.6.02
distributed-lwt.0.2.00
diy.5.010
dkim.0.2.01
dkim-mirage.0.2.00
dlm.0.3.10
dns.6.0.0187
dns-async.1.1.30
dns-certify.6.0.01
dns-cli.6.0.00
dns-client.6.0.018
dns-forward.0.10.01
dns-forward-lwt-unix.0.9.00
dns-lwt.1.1.3327
dns-lwt-unix.1.1.30
dns-mirage.6.0.05
dns-resolver.6.0.01
dns-server.6.0.03
dns-stub.6.0.00
dns-tsig.6.0.010
dnssd.0.5.01
docker-api.0.2.10
dockerfile.7.1.08
dockerfile-cmd.7.1.02
dockerfile-opam.7.1.03
docout.0.0.12
docteur.0.0.10
doi2bib.0.5.10
dokeysto.4.0.07
dokeysto_camltc.4.0.05
dokeysto_lz4.4.0.00
dolmen.0.65
dolmen_bin.0.60
dolmen_loop.0.62
dolmen_lsp.0.60
dolmen_type.0.63
dolog.6.0.011
domain-name.0.3.01075
domainslib.0.3.10
dose3.7.0.01
dose3-extra.7.0.00
dot-merlin-reader.4.117
dotenv.0.0.30
down.0.0.30
dream.1.0.0~alpha25
dream-cli.0.1.00
dream-encoding.0.1.00
dream-livereload.0.1.00
dream-serve.1.0.00
drom.0.3.00
drom_lib.0.3.01
dropbox.0.21
dropbox_lwt_unix.0.20
dryunit.0.5.00
dssi.0.1.32
dtoa.0.3.22
dtools.0.4.42
dual.0.1.00
duff.0.438
dum.1.0.10
dune.2.9.13199
dune-action-plugin.2.9.10
dune-build-info.2.9.121
dune-configurator.2.9.13199
dune-deps.1.3.00
dune-glob.2.9.11
dune-private-libs.2.9.15
dune-release.1.5.12
dune-site.2.9.11
duppy.0.9.22
duration.0.2.01047
dyntype.0.9.037
earley.3.0.01
earlybird.1.1.00
easy-format.1.3.21449
easy_logging.0.8.21
easy_logging_yojson.0.8.20
ecaml.v0.14.02
edn.0.1.6-1-gff9db950
ego.0.0.50
eigen.0.3.015
either.1.0.0184
elasticsearch-cli.1.20
electrod.1.0.00
elina.1.3.20
eliom.8.8.02
elpi.1.13.70
email_message.v0.14.01
embedded_ocaml_templates.0.70
emile.1.153
emoji.1.1.00
encore.0.835
enumerators.0.2.00
eqaf.0.8521
erlang.0.0.140
esgg.201903220
ethernet.2.2.0351
exenum.0.860
exit.0.0.10
exn-source.0.10
expect.0.0.61148
expect_test_helpers_async.v0.14.00
expect_test_helpers_core.v0.14.04
extlib.1.7.863
extprot.1.7.00
extunix.0.3.218
ez_api.0.1.00
ez_cmdliner.0.4.04
ez_config.0.1.14
ez_file.0.2.05
ez_hash.0.2.03
ez_opam_file.0.1.04
ez_pgocaml.1.0.00
ez_subst.0.2.05
ezcurl.0.2.13
ezcurl-lwt.0.2.10
ezdl.2.71.102
ezgzip.0.2.31
ezjs_ace.0.1.10
ezjs_blockies.0.1.10
ezjs_cleave.0.1.10
ezjs_crypto.0.10
ezjs_cytoscape.0.10
ezjs_d3pie.0.10
ezjs_extension.0.10
ezjs_fetch.0.20
ezjs_idb.0.1.10
ezjs_jquery.0.10
ezjs_min.0.2.36
ezjs_odometer.0.10
ezjs_push.0.20
ezjs_qrcode.0.10
ezjs_recaptcha.0.1.10
ezjs_timeline.0.1.10
ezjsonm.1.2.0271
ezjsonm-lwt.1.2.00
ezresto.0.6.11
ezresto-directory.0.6.10
ezsqlite.0.4.20
ezxmlm.1.1.026
faad.0.5.02
facile.1.1.40
fadbadml.0.1.20
faraday.0.8.166
faraday-async.0.8.14
faraday-lwt.0.8.140
faraday-lwt-unix.0.8.137
farfadet.0.30
farmhash.0.30
fasmifra.1.1.00
fat-filesystem.0.15.02
fd-send-recv.2.0.1448
feat.202012310
feather.0.3.01
feather_async.0.3.00
febusy.0.0.00
ff.0.6.20
ff-bench.0.6.20
ff-pbt.0.6.23
ff-sig.0.6.2164
ffmpeg.1.0.12
ffmpeg-av.1.0.14
ffmpeg-avcodec.1.0.16
ffmpeg-avdevice.1.0.13
ffmpeg-avfilter.1.0.13
ffmpeg-avutil.1.0.19
ffmpeg-swresample.1.0.13
ffmpeg-swscale.1.0.13
fftw3.0.8.40
fiat-p256.0.2.3376
fieldslib.v0.14.01534
fileutils.0.6.31487
finch.0.10
findlib_top.v0.11.00
fit.1.0.10
fix.2020112034
flac.0.3.02
flex-array.1.2.02
flock.1.0.00
flow_parser.0.159.00
fm-simplex-plugin.1.300
fmlib.0.3.14
fmlib_js.0.3.10
fmlib_parse.0.3.10
fmlib_pretty.0.3.10
fmlib_std.0.3.13
fmt.0.8.101267
format.0.10
fpath.0.7.3334
frama-c.23.13
frama-c-metacsl.0.10
freetds.0.71
frei0r.0.1.22
fromager.0.4.00
fsevents.0.3.022
fsevents-lwt.0.3.021
fsml.0.3.00
fstar.2021.06.061
fstreams.0.2.10
functoria.3.1.13
functoria-runtime.3.0.31020
functory.0.62
funfields.0.040
gadelac.0.6.10
gammu.0.9.30
gapi-ocaml.0.4.21
gappa.1.4.00
gavl.0.1.62
gbddml.2.71.102
gd.1.0a52
gdal.0.10.00
gdbprofiler.0.40
gedcom.1.0.00
gen.0.5.369
gen-bs.0.0.00
gen_js_api.1.0.845
genspio.0.0.20
genspir.1.0.00
geoip.0.0.31
get_line.7.0.01
getopt.201206151
getopts.0.4.01
gettext.0.4.21462
gettext-camomile.0.4.20
gettext-stub.0.4.20
gg.0.9.312
git.3.5.033
git-cohttp.3.5.025
git-cohttp-mirage.3.3.31
git-cohttp-unix.3.5.025
git-http.2.1.326
git-mirage.3.5.03
git-paf.3.5.01
git-unix.3.5.025
github.4.4.013
github-data.4.4.014
github-hooks.0.5.02
github-hooks-unix.0.5.02
github-jsoo.4.4.00
github-unix.4.4.09
glMLite.0.03.530
gles3.20160307.alpha0
glfw-ocaml.3.3.1-11
glical.0.0.70
glicko2.1.0.00
glpk.0.1.80
gluten.0.2.111
gluten-lwt.0.2.18
gluten-lwt-unix.0.2.14
gluten-mirage.0.2.11
gmap.0.3.0404
gmp.6.2.1-10
gmp-freestanding.6.2.1425
gmp-xen.6.0.0-1426
gnuplot.0.74
gobba.0.4.20
goblint-cil.1.8.01
google-drive-ocamlfuse.0.7.270
gopcaml-mode.0.0.3