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.17☑☑☑☒☒1
0install-gtk.2.17☑☒☑☒☒0
0install-solver.2.17☑☑☑☑☑10
ANSITerminal.0.8.2☑☑☑☑☑26
BetterErrors.0.0.1☑☑☑☑☑7
FrontC.4.1.0☑☑☑☑☑12
GT.0.4.2☑☑☑☒☒3
GuaCaml.0.03☑☑☑☑☑2
ISO8601.0.2.6☑☑☑☑☑33
KaSim.4.0.0☒☒☒☒☒0
OCanren.0.2.0☑☑☑☒☒0
OCanren-ppx.0.2.0☑☑☑☒☒0
SZXX.1.1.0☑☑☑☒☒0
Snowflake.0.02.02☑☑☑☑☑1
TCSLib.0.3☑☑☑☒☑1
aacplus.0.2.2☒☒☒☒☒2
abella.2.0.7☑☑☑☒☒0
absolute.0.1☑☑☑☑☑0
accessor.v0.14.1☑☑☑☒☒4
accessor_async.v0.14.0☑☑☑☑☑0
accessor_base.v0.14.1☑☑☑☒☒2
accessor_core.v0.14.0☑☑☑☑☑0
acgtk.1.5.3☑☑☑☑☑0
acpc.1.2.3☑☑☑☒☒0
advi.2.0.0☑☑☑☒☒0
aez.0.3☑☑☑☑☑0
afl.2.52b☑☑☑☑☑1
afl-persistent.1.3☑☑☑☑☑8
ago.0.4☑☑☑☑☑0
agrid.0.1☑☑☑☑☑1
ahrocksdb.0.2.2☑☑☑☑☑0
aifad.2.2.2☑☑☑☑☑0
aio.0.0.3☑☑☑☑☑0
alba.0.4.4☑☑☑☒☒0
albatross.1.3.0☑☑☑☒☒0
alcotest.1.5.0☑☑☑☑☑391
alcotest-async.1.5.0☑☑☑☒☒5
alcotest-js.1.5.0☑☑☑☒☒0
alcotest-lwt.1.5.0☑☑☑☑☑89
alcotest-mirage.1.5.0☑☑☑☑☑0
alg_structs.0.1.3☑☑☑☒☒1
alg_structs_qcheck.0.1.3☑☑☑☒☒0
aliases.0.0.5☑☑☑☑☑0
alsa.0.3.0☑☑☑☑☑4
alt-ergo.2.4.1☑☑☑☑☑8
alt-ergo-free.2.2.0☑☑☑☑☑5
alt-ergo-lib.2.4.1☑☑☑☑☑11
alt-ergo-parsers.2.4.1☑☑☑☑☑10
amqp-client.2.2.2☑☑☑☑☑2
amqp-client-async.2.2.2☑☑☑☒☒0
amqp-client-lwt.2.2.2☑☑☑☑☑0
ancient.0.9.1☑☒☑☒☑0
anders.0.7.2☑☑☑☑☑0
angstrom.0.15.0☑☑☑☑☑735
angstrom-async.0.15.0☑☑☑☒☒2
angstrom-lwt-unix.0.15.0☑☑☑☑☑3
angstrom-unix.0.15.0☑☑☑☑☑2
ansicolor.0.5☑☑☑☑☑0
anycache.0.7.4☑☑☑☑☑2
anycache-lwt.0.7.4☑☑☑☑☑0
ao.0.2.3☑☑☑☑☑4
apron.v0.9.13☑☑☑☑☑13
apronext.1.0.4☑☑☑☑☑2
archetype.1.2.9☑☑☑☒☒0
archi.0.1.0☑☑☑☑☑2
archi-async.0.1.0☑☑☑☒☒0
archi-lwt.0.1.0☑☑☑☑☑0
archimedes.0.4.19☑☑☑☒☒5
archsat.1.1☑☑☑☑☑0
argon2.1.0.1☑☑☑☑☑0
arp.2.3.2☑☑☑☒☒3
arp-mirage.2.2.1☑☑☑☒☒2
art.0.1.1☑☑☑☑☑1
asak.0.3☑☒☑☒☒2
ascii85.0.4☑☑☑☑☑0
asetmap.0.8.1☑☑☑☑☑35
ask.0.2.0☑☑☑☒☒1
ask-integrator.0.2.0☑☑☑☒☒0
asl.0.11☑☑☑☑☑4
asli.0.2.0☑☑☑☑☑0
asn1-combinators.0.2.6☑☑☑☑☑403
assertions.0.1☑☑☑☑☑0
assimp.0.3☑☑☑☑☑0
astring.0.8.5☑☑☑☑☑1177
async.v0.14.0☑☑☑☒☒1228
async-uri.0.3.0☑☑☑☒☒0
async_durable.v0.14.0☑☑☑☒☒0
async_extra.v0.14.0☑☑☑☒☒3
async_find.v0.14.0☑☑☑☒☒4
async_graphics.0.7.0☑☑☑☒☒0
async_inotify.v0.14.0☑☑☑☒☒1
async_interactive.v0.14.0☑☑☑☒☒0
async_js.v0.14.0☑☑☑☒☒6
async_kernel.v0.14.0☑☑☑☒☒1426
async_rpc_kernel.v0.14.0☑☑☑☒☒1228
async_sendfile.v0.14.0☑☑☑☒☒1
async_shell.v0.14.0☑☑☑☒☒2
async_smtp.v0.14.0☑☑☑☒☒0
async_ssl.v0.14.0☑☑☑☒☒332
async_udp.v0.14.0☑☑☑☒☒1
async_unix.v0.14.0☑☑☑☒☒1233
async_websocket.v0.14.0☑☑☑☒☒0
atable.0.1☑☑☑☒☒0
atd.2.2.1☑☑☑☑☑52
atd2cconv.0.0.0☑☑☑☑☑0
atdgen.2.2.1☑☑☑☑☑50
atdgen-codec-runtime.2.2.1☑☑☑☑☑1
atdgen-runtime.2.2.1☑☑☑☑☑49
atdj.2.2.1☑☑☑☑☑0
atds.2.2.1☑☑☑☑☑0
awa.0.0.3☑☑☑☒☒30
awa-lwt.0.0.3☑☑☑☒☒0
awa-mirage.0.0.3☑☑☑☒☒28
aws.1.2☑☑☑☑☑15
aws-async.1.2☑☑☑☒☒0
aws-autoscaling.1.2☑☑☑☑☑0
aws-cloudformation.1.2☑☑☑☑☑0
aws-cloudtrail.1.2☑☑☑☑☑0
aws-cloudwatch.1.2☑☑☑☑☑0
aws-ec2.1.2☑☒☑☒☑0
aws-elasticache.1.2☑☑☑☑☑0
aws-elasticloadbalancing.1.2☑☑☑☑☑0
aws-lwt.1.2☑☑☑☒☒0
aws-rds.1.2☑☑☑☑☑0
aws-route53.1.2☑☑☑☑☑0
aws-s3.4.5.1☑☑☑☒☒2
aws-s3-async.4.5.1☑☑☑☒☒0
aws-s3-lwt.4.5.1☑☑☑☒☒0
aws-sdb.1.2☑☑☑☑☑0
aws-sqs.1.2☑☑☑☑☑0
aws-ssm.1.2☑☑☑☑☑0
aws-sts.1.2☑☑☑☑☑0
azblob.0.1.0☑☑☑☒☒1
azblob-async.0.1.0☑☑☑☒☒0
azure-cosmos-db.0.1.6☑☒☑☒☒0
b0.0.0.3☑☑☑☑☑1
bag.1.0.0☑☑☑☑☑0
balancer.1.0☑☑☑☑☑0
bap.2.3.0☑☑☑☒☒8
bap-abi.2.3.0☑☑☑☒☒49
bap-analyze.2.3.0☑☑☑☒☒9
bap-api.2.3.0☑☑☑☒☒48
bap-arm.2.3.0☑☑☑☒☒12
bap-beagle.2.3.0☑☑☑☒☒10
bap-beagle-strings.2.3.0☑☑☑☒☒9
bap-bil.2.3.0☑☑☑☒☒9
bap-build.2.3.0☑☑☑☒☒92
bap-bundle.2.3.0☑☑☑☒☒93
bap-byteweight.2.3.0☑☑☑☒☒10
bap-byteweight-frontend.2.3.0☑☑☑☒☒1
bap-c.2.3.0☑☑☑☒☒47
bap-cache.2.3.0☑☑☑☒☒9
bap-callgraph-collator.2.3.0☑☑☑☒☒9
bap-callsites.2.3.0☑☑☑☒☒9
bap-constant-tracker.2.3.0☑☑☑☒☒9
bap-core-theory.2.3.0☑☑☑☒☒91
bap-cxxfilt.2.3.0☑☑☑☒☒9
bap-demangle.2.3.0☑☑☑☒☒11
bap-dependencies.2.3.0☑☑☑☒☒9
bap-disassemble.2.3.0☑☑☑☒☒9
bap-dump-symbols.2.3.0☑☑☑☒☒9
bap-dwarf.2.3.0☑☑☑☒☒10
bap-elementary.2.3.0☑☑☑☒☒9
bap-elf.2.3.0☑☑☑☒☒9
bap-emacs-dot.0.1☑☑☑☑☑11
bap-emacs-goodies.0.1☑☑☑☑☑10
bap-emacs-mode.0.1☑☑☑☑☑11
bap-frontc.2.3.0☑☑☑☒☒9
bap-frontend.2.3.0☑☑☑☒☒9
bap-fsi-benchmark.2.3.0☒☒☒☒☒0
bap-future.2.3.0☑☑☑☒☒93
bap-glibc-runtime.2.3.0☑☑☑☒☒9
bap-ida.2.3.0☒☒☒☒☒1
bap-ida-plugin.2.3.0☑☑☑☒☒2
bap-ida-python.2.3.0☒☒☒☒☒2
bap-knowledge.2.3.0☑☑☑☒☒92
bap-llvm.2.3.0☑☑☑☒☒13
bap-main.2.3.0☑☑☑☒☒91
bap-mc.2.3.0☑☑☑☒☒9
bap-microx.2.3.0☑☑☑☒☒12
bap-mips.2.3.0☑☑☑☒☒9
bap-objdump.2.3.0☑☑☑☒☒9
bap-optimization.2.3.0☑☑☑☒☒9
bap-phoenix.2.3.0☑☑☑☒☒0
bap-piqi.2.3.0☑☑☑☒☒0
bap-plugins.2.3.0☑☑☑☒☒92
bap-powerpc.2.3.0☑☑☑☒☒10
bap-primus.2.3.0☑☑☑☒☒36
bap-primus-dictionary.2.3.0☑☑☑☒☒9
bap-primus-exploring-scheduler.2.3.0☑☑☑☒☒11
bap-primus-greedy-scheduler.2.3.0☑☑☑☒☒11
bap-primus-limit.2.3.0☑☑☑☒☒11
bap-primus-lisp.2.3.0☑☑☑☒☒9
bap-primus-loader.2.3.0☑☑☑☒☒11
bap-primus-mark-visited.2.3.0☑☑☑☒☒11
bap-primus-powerpc.2.3.0☑☑☑☒☒9
bap-primus-print.2.3.0☑☑☑☒☒11
bap-primus-promiscuous.2.3.0☑☑☑☒☒11
bap-primus-propagate-taint.2.3.0☑☑☑☒☒9
bap-primus-random.2.3.0☑☑☑☒☒9
bap-primus-region.2.3.0☑☑☑☒☒9
bap-primus-round-robin-scheduler.2.3.0☑☑☑☒☒11
bap-primus-support.2.3.0☑☑☑☒☒10
bap-primus-symbolic-executor.2.3.0☑☑☑☒☒9
bap-primus-systems.2.3.0☑☑☑☒☒9
bap-primus-taint.2.3.0☑☑☑☒☒9
bap-primus-test.2.3.0☑☑☑☒☒9
bap-primus-track-visited.2.3.0☑☑☑☒☒12
bap-primus-wandering-scheduler.2.3.0☑☑☑☒☒11
bap-primus-x86.2.3.0☑☑☑☒☒9
bap-print.2.3.0☑☑☑☒☒9
bap-radare2.2.3.0☑☑☑☒☒0
bap-raw.2.3.0☑☑☑☒☒9
bap-recipe.2.3.0☑☑☑☒☒92
bap-recipe-command.2.3.0☑☑☑☒☒9
bap-relation.2.3.0☑☑☑☑☑91
bap-relocatable.2.3.0☑☑☑☒☒9
bap-report.2.3.0☑☑☑☒☒9
bap-riscv.2.3.0☑☑☑☒☒9
bap-run.2.3.0☑☑☑☒☒9
bap-signatures.2.3.0☑☑☑☑☑11
bap-specification.2.3.0☑☑☑☒☒9
bap-ssa.2.3.0☑☑☑☒☒9
bap-std.2.3.0☑☑☑☒☒90
bap-strings.2.3.0☑☑☑☒☒38
bap-stub-resolver.2.3.0☑☑☑☒☒9
bap-symbol-reader.2.3.0☑☑☑☒☒9
bap-systemz.2.3.0☑☑☑☒☒9
bap-taint.2.3.0☑☑☑☒☒11
bap-taint-propagator.2.3.0☑☑☑☒☒9
bap-term-mapper.2.3.0☑☑☑☒☒9
bap-thumb.2.3.0☑☑☑☒☒9
bap-trace.2.3.0☑☑☑☒☒9
bap-traces.2.3.0☑☑☑☒☒11
bap-trivial-condition-form.2.3.0☑☑☑☒☒9
bap-warn-unused.2.3.0☑☑☑☒☒9
bap-x86.2.3.0☑☑☑☒☒11
bare.2.3.0☑☑☑☒☒13
bark.0.1.4☑☑☑☑☑0
base.v0.14.1☑☑☑☑☑2116
base-bigarray.base☑☑☑☑☑1565
base-bytes.base☑☑☑☑☑2387
base-domains.base☒☑☒☑☒2
base-native-int63.0.1☑☑☑☑☑2120
base-threads.base☑☑☑☑☑3200
base-unix.base☑☑☑☑☑3204
base58.0.1.2☑☑☑☑☑0
base64.3.5.0☑☑☑☑☑577
base_bigstring.v0.14.0☑☑☑☒☒1513
base_quickcheck.v0.14.1☑☑☑☒☒1529
bastet.2.0.0☑☑☑☒☒2
bastet_async.0.1.0☑☑☑☒☒0
bastet_lwt.0.1.0☑☑☑☒☒0
batch_jaro_winkler.0.1.1☑☑☑☑☑0
batsat.0.6☑☒☑☒☑0
batteries.3.3.0+multicore☒☑☒☒☒0
bdd.0.3☑☑☑☑☑3
bddrand.2.71.10☑☑☑☒☒0
bear.0.0.1☑☑☑☑☑0
bech32.0.1☑☑☑☑☑0
bechamel.0.1.0☑☑☑☑☑5
bechamel-js.0.1.0☑☑☑☑☑0
bechamel-notty.0.1.0☑☑☑☒☒1
bechamel-perf.0.1.0☑☑☑☑☑0
beluga.1.0☑☑☑☒☒1
benchmark.1.6☑☑☑☑☑1456
benchpress.0.1☑☑☑☑☑1
benchpress-server.0.1☑☑☑☑☑0
bencode.2.0☑☑☑☑☑7
bentov.1☑☑☑☑☑2
bheap.2.0.0☑☑☑☑☑1011
bibtex2html.1.99-1☑☑☑☑☑0
bigarray-compat.1.0.0☑☑☑☑☑1207
bigarray-overlap.0.2.0☑☑☑☑☑55
bignum.v0.14.0☑☑☑☒☒5
bigstring.0.3☑☑☑☑☑196
bigstring-unix.0.3☑☑☑☑☑1
bigstringaf.0.8.0☑☑☑☑☑761
bimage.0.4.0☑☑☑☑☑4
bimage-display.0.4.0☑☑☑☑☑0
bimage-gtk.0.2.1☑☑☑☑☑0
bimage-io.0.4.0☑☑☑☑☑0
bimage-lwt.0.4.0☑☑☑☑☑0
bimage-sdl.0.2.1☑☑☑☑☑0
bimage-unix.0.4.0☑☑☑☑☑0
bimap.20201231☑☑☑☒☒0
bin_prot.v0.14.0☑☑☑☒☒1531
binaryen.0.10.0☑☑☑☒☒0
binbin.0.01☑☑☑☑☑0
bindlib.5.0.1☑☑☑☑☑2
biniou.1.2.1☑☑☑☑☑1439
binning.0.0.0☑☑☑☑☑0
bio_io.0.3.0☑☑☑☒☒0
biocaml.0.11.1☑☑☑☒☒1
biotk.0.0.0☑☒☑☒☒0
bip32.0.2☑☑☑☒☒0
bisect.1.3.1☑☑☑☒☒7
bisect-summary.0.3☑☑☑☒☒0
bisect_ppx.2.6.0☑☑☑☒☒48
bisect_ppx-ocamlbuild.1.0.1☑☑☑☒☒1
bitcoin.2.0☑☑☑☑☑0
bitcoinml.0.4.1☑☑☑☒☒0
bitlib.1.0☑☑☑☑☑0
bitmasks.1.4.0☑☑☑☑☑0
bitstring.4.1.0☑☑☑☑☑21
bitv.1.6☑☑☑☑☑5
bitvec.2.3.0☑☑☑☑☑95
bitvec-binprot.2.3.0☑☑☑☒☒92
bitvec-order.2.3.0☑☑☑☑☑92
bitvec-sexp.2.3.0☑☑☑☑☑93
bitwuzla.1.0.0☑☑☑☑☑0
bitwuzla-bin.1.0.0☑☑☑☑☑0
bitwuzla-c.1.0.0☑☑☑☑☑1
bjack.0.1.6☑☑☑☑☑2
blake2.0.3☑☑☑☑☑129
blake3.0.2☑☑☑☑☑0
bloomf.0.2.0☑☑☑☑☑0
bls12-381.1.0.1☑☑☑☑☑153
bls12-381-gen.0.5.0☑☑☑☑☑156
bls12-381-js.0.5.0☑☑☑☒☒0
bls12-381-js-gen.0.5.0☑☑☑☒☒1
bls12-381-legacy.0.4.3☑☑☑☑☑0
bls12-381-unix.1.0.1☑☑☑☑☑153
bn128.0.1.3☑☑☑☑☑0
bnfgen.3.0.0☑☑☑☑☑1
bogue.20210917☑☑☑☑☑0
boltzgen.0.9.3☑☑☑☑☑0
bonsai.v0.14.0☑☑☑☒☒0
bookaml.4.0☑☒☑☒☒0
bos.0.2.1☑☑☑☑☑318
bpf.0.2☑☑☑☒☒0
bracetax.0.4☑☑☑☑☑0
broken.0.4.2☑☑☑☑☑7
brr.0.0.2☑☑☑☒☒0
bsdowl.3.0.0-20150830☑☑☑☑☑8
bst.7.0.0☑☑☑☒☒5
buffer-pool.0.2☑☑☑☑☑0
build_path_prefix_map.0.2☒☑☑☑☑0
builder.0.1.1☑☑☑☒☒0
bun.0.3.4☑☒☑☒☑0
bwrap.0.1☑☑☑☑☑0
bytearray.1.0.2☑☑☑☑☑0
bytebuffer.0.0.2☑☑☑☒☒0
bytepdf.0.1☑☑☑☒☒0
ca-certs.0.2.1☑☑☑☒☒236
ca-certs-nss.3.71.0.1☑☑☑☒☒46
cactus.1.0.0☑☑☑☒☒0
cairo2.0.6.2☑☑☑☑☑39
cairo2-gtk.0.6.2☑☑☑☑☑1
cairo2-pango.0.6.2☑☑☑☑☑0
calculon.0.7☑☑☑☑☑1
calculon-redis.0.6☑☑☑☑☑0
calculon-redis-lib.0.6☑☑☑☑☑1
calculon-web.0.7☑☑☑☑☑0
caldav.0.1.0☑☑☑☒☒0
calendar.2.04☑☑☑☑☑88
calendars.1.0.0☑☑☑☑☑0
calipso.4.1.0☑☑☑☑☑0
callipyge.0.2☑☑☑☑☑1
camelot.1.7.0☑☑☑☒☒0
camels.0.0.4☑☑☑☒☒0
camelsnakekebab.0.4☑☑☑☑☑0
caml-mode.4.9☑☑☑☑☑2
camlbz2.0.7.0☑☑☑☑☑5
camlgpc.1.0☑☑☑☑☑0
camlidl.1.09☑☑☑☑☑25
camlimages.5.0.4☑☑☑☒☒7
camllib.1.3.3☑☑☑☑☑1
camlmix.1.3.0☑☑☑☑☑1
camlon.3.0.0☑☑☑☑☑9
camlp-streams.5.0☑☑☑☑☑0
camlp4.4.12+1☑☑☑☒☒2100
camlp5.8.00.02☑☑☑☒☒22
camlpdf.2.4☑☑☑☑☑3
camlprime.0.5☑☑☑☑☑0
camltc.0.9.8☒☒☒☒☒7
camlzip.1.11☑☑☑☑☑1353
camomile.1.0.2☑☑☑☑☑1535
camyll.0.3.0☑☑☑☒☒0
capnp.3.4.0☑☑☑☒☒10
capnp-rpc.1.2☑☑☑☒☒9
capnp-rpc-lwt.1.2☑☑☑☒☒8
capnp-rpc-mirage.1.2☑☑☑☒☒0
capnp-rpc-net.1.2☑☑☑☒☒5
capnp-rpc-unix.1.2☑☑☑☒☒3
captureio.0.1.2☑☑☑☑☑0
caqti.1.6.0☑☑☑☑☑32
caqti-async.1.6.0☑☑☑☒☒1
caqti-driver-mariadb.1.6.0☑☑☑☒☒9
caqti-driver-postgresql.1.6.0☑☑☑☑☑7
caqti-driver-sqlite3.1.6.0☑☑☑☑☑4
caqti-dynload.1.3.0☑☑☑☑☑2
caqti-lwt.1.6.0☑☑☑☑☑23
caqti-type-calendar.1.2.0☑☑☑☑☑2
carton.0.4.3☑☑☑☑☑37
carton-git.0.4.3☑☑☑☑☑35
carton-lwt.0.4.3☑☑☑☑☑36
catala.0.3.0☑☑☑☒☒0
cbor.0.4☑☑☑☑☑1
cca.0.4☑☒☑☒☒0
cconv.0.5☑☑☑☑☑4
cdrom.0.9.4☑☑☑☑☑0
certify.0.3.3☑☑☑☒☒0
cf.0.4☑☑☑☑☑24
cf-lwt.0.4☑☑☑☑☑22
cfg.2.2.1☑☑☑☑☑1
cfgen.1.0☑☑☑☑☑0
cfstream.1.3.1☑☑☑☒☒4
cgi.0.10☑☑☑☑☑2
cgroups.0.1☑☑☑☑☑0
chacha.1.1.0☑☑☑☑☑0
chalk.1.0☑☑☑☑☑0
charInfo_width.1.1.0☑☑☑☑☑152
charrua.1.4.0☑☑☑☒☒3
charrua-client.1.4.0☑☑☑☒☒0
charrua-client-lwt.1.2.2☑☑☑☒☒1
charrua-client-mirage.1.2.2☑☑☑☒☒1
charrua-server.1.4.0☑☑☑☒☒2
charrua-unix.1.4.0☑☑☑☒☒0
chartjs.0.2.2☑☑☑☒☒4
chartjs-annotation.0.2.2☑☑☑☒☒0
chartjs-colorschemes.0.2.2☑☑☑☒☒0
chartjs-datalabels.0.2.2☑☑☑☒☒0
chartjs-streaming.0.2.2☑☑☑☒☒0
chase.1.4☑☑☑☑☑0
checkseum.0.3.2☑☑☑☑☑47
choice.0.4☑☑☑☑☑0
cinaps.v0.15.1☑☑☑☑☑3
clangml.4.4.0☑☒☑☒☒1
clap.0.1.0☑☑☑☑☑1
clarity-lang.0.1.0☑☑☑☑☑0
clim.0.3.0☑☑☑☑☑1
clim-ppx.0.3.0☑☑☑☒☒0
cloudi.2.0.2☑☑☑☑☑0
clp_operations.0.0.1☑☑☑☒☒0
cmark.0.2.0☑☑☑☑☑0
cmarker.0.3.0☑☑☑☒☒0
cmdliner.1.0.4☑☑☑☑☑1615
cmdtui.0.4.3☑☑☑☑☑1
cmdtui-lambda-term.0.4.3☑☑☑☑☑0
cmitomli.1.0.0☑☑☑☑☑0
coccinelle.1.1.1☑☑☑☑☑0
codept.0.11.0☑☑☑☒☒0
cohttp.4.0.0☑☑☑☒☒292
cohttp-async.4.0.0☑☑☑☒☒14
cohttp-lwt.4.0.0☑☑☑☒☒243
cohttp-lwt-jsoo.4.0.0☑☑☑☒☒15
cohttp-lwt-unix.4.0.0☑☑☑☒☒200
cohttp-mirage.4.0.0☑☑☑☒☒5
cohttp-top.4.0.0☑☑☑☒☒0
coin.0.1.3☑☑☑☑☑18
colombe.0.5.0☑☑☑☑☑8
color.0.2.0☑☑☑☑☑1
color-brewery.0.2☑☒☑☒☑0
combinat.1.0☑☑☑☒☒0
combine.0.6☑☑☑☑☑0
comby.1.7.0☑☑☑☒☒0
comby-kernel.1.7.0☑☑☑☒☒1
comby-semantic.1.7.0☑☑☑☒☒1
command_rpc.v0.14.0☑☑☑☒☒0
conan.0.0.1☑☑☑☑☑4
conan-cli.0.0.1☑☑☑☑☑0
conan-database.0.0.1☑☑☑☑☑1
conan-lwt.0.0.1☑☑☑☑☑0
conan-unix.0.0.1☑☑☑☑☑1
conduit.4.0.2☑☑☑☒☒279
conduit-async.4.0.2☑☑☑☒☒16
conduit-lwt.4.0.2☑☑☑☒☒248
conduit-lwt-unix.4.0.2☑☑☑☒☒215
conduit-mirage.4.0.2☑☑☑☒☒8
conex.0.11.1☑☑☑☑☑1
conex-mirage-crypto.0.11.1☑☑☑☒☒0
conex-nocrypto.0.11.0☑☑☑☒☒0
conf-aclocal.2☑☑☑☑☑17
conf-adwaita-icon-theme.1☑☑☑☑☑1
conf-alsa.1☑☑☑☑☑7
conf-ao.1☑☑☑☑☑5
conf-asciidoc.1☑☑☑☑☑1
conf-autoconf.0.1☑☑☑☑☑405
conf-automake.1☑☑☑☑☑19
conf-bap-llvm.1.6☑☑☑☑☑15
conf-binutils.0.3☑☑☑☑☑13
conf-bison.2☑☒☑☑☑1
conf-blas.1☑☑☑☑☑19
conf-bluetooth.1☑☑☑☑☑2
conf-bmake.1.0☑☑☑☑☑9
conf-boost.1☑☑☑☑☑4
conf-brotli.0.0.1☑☑☑☑☑2
conf-cairo.1☑☑☑☑☑42
conf-capnproto.1☑☑☑☑☑10
conf-clang.1☑☑☑☑☑97
conf-cmake.1☑☑☑☑☑13
conf-cpio.1☑☑☑☑☑8
conf-csdp.1☑☑☑☑☑1
conf-dbm.1.0.0☑☑☑☑☑19
conf-diffutils.1☑☑☑☑☑3
conf-dpkg.1☑☑☑☑☑2
conf-dssi.1☑☑☑☑☑3
conf-emacs.1☑☑☑☑☑3
conf-env-travis.1☑☑☑☑☑15
conf-expat.1☑☑☑☑☑0
conf-ffmpeg.1☑☑☑☑☑10
conf-fftw3.1☑☑☑☑☑1
conf-findutils.1☑☑☑☑☑1591
conf-flex.2☑☑☑☑☑1
conf-freetype.1☑☑☑☑☑40
conf-frei0r.1☑☑☑☑☑3
conf-ftgl.1☑☑☑☑☑0
conf-g++.1.0☑☑☑☑☑38
conf-gcc.1.0☑☑☑☑☑4
conf-gd.1☑☑☑☑☑3
conf-gfortran.0☑☑☑☑☑14
conf-ghostscript.1☑☑☑☑☑1
conf-git.1.1☑☑☑☑☑9
conf-glade.2☑☑☑☑☑1689
conf-gles2.1☑☑☑☑☑5
conf-glew.1☑☑☑☑☑1
conf-glfw3.2☑☑☑☑☑2
conf-glib-2.1☑☑☑☑☑5
conf-glpk.1☑☑☒☑☑2
conf-gmp.3☑☑☑☑☑1448
conf-gmp-powm-sec.3☑☑☑☑☑1335
conf-gnome-icon-theme3.0☑☑☑☑☑0
conf-gnomecanvas.2☑☑☑☑☑1689
conf-gnuplot.0.1☑☑☑☑☑23
conf-gnutls.1☑☑☑☑☑1315
conf-gobject-introspection.1.0☑☑☑☑☑1
conf-goocanvas2.0☑☑☑☑☑0
conf-gpiod.1☑☑☑☑☑1
conf-graphviz.0.1☑☑☑☑☑8
conf-gsl.2☑☑☑☑☑13
conf-gssapi.1☑☑☑☑☑1315
conf-gstreamer.1☑☑☑☑☑5
conf-gtk2.1☑☑☑☑☑1689
conf-gtk3.18☑☑☑☑☑18
conf-gtksourceview3.0+2☑☑☑☑☑17
conf-haveged.1.0.0☑☑☑☑☑0
conf-hidapi.0☑☑☑☑☑91
conf-ida.0.3☒☒☒☒☒3
conf-jack.1☑☑☑☑☑3
conf-jq.1☑☑☑☑☑2
conf-ladspa.1☑☑☑☑☑4
conf-lapack.1☑☑☑☑☑19
conf-leveldb.2☑☑☑☑☑2
conf-libMagickCore.1☑☑☑☑☑0
conf-libX11.1☑☑☑☑☑3200
conf-libbz2.1☑☑☑☑☑6
conf-libclang.12☑☑☑☑☑2
conf-libcurl.1☑☑☑☑☑28
conf-libdw.1☑☑☑☑☑1
conf-libev.4-12☑☑☑☑☑1588
conf-libevent.1☑☑☑☑☑3
conf-libffi.2.0.0☑☑☑☑☑647
conf-libflac.1☑☑☑☑☑3
conf-libfuse.1☑☑☑☑☑2
conf-libgif.1☑☑☑☑☑1
conf-libgsasl.1☑☑☑☑☑1
conf-libjpeg.1☑☑☑☑☑2
conf-liblinear-tools.1.0.0☑☑☑☑☑1
conf-liblo.1☑☑☑☑☑3
conf-liblz4.1☑☑☑☑☑10
conf-liblzma.1☑☑☑☑☑0
conf-libmagic.1☑☑☑☑☑1
conf-libmaxminddb.1☑☑☑☑☑2
conf-libmosquitto.1☑☑☑☑☑1
conf-libmpg123.1☑☑☑☑☑1
conf-libnl3.1☑☑☑☑☑2
conf-libogg.1☑☑☑☑☑10
conf-libopus.1☑☑☑☑☑3
conf-libpcre.1☑☑☑☑☑1759
conf-libpng.1☑☑☑☑☑0
conf-libportmidi.1☑☑☑☑☑0
conf-librsvg2.0☑☑☑☑☑0
conf-libsamplerate.1☑☑☑☑☑4
conf-libseccomp.1☑☑☑☑☑1117
conf-libsodium.1☑☑☑☑☑3
conf-libspeex.1☑☑☑☑☑3
conf-libssl.3☑☑☑☑☑1598
conf-libsvm.3☑☑☑☑☑0
conf-libsvm-tools.1.0.0☑☑☑☑☑0
conf-libtheora.1☑☑☑☑☑5
conf-libtool.1☑☑☑☑☑1
conf-libudev.1☑☑☑☑☑1
conf-libuv.1☑☑☑☑☑3
conf-libvorbis.1☑☑☑☑☑3
conf-libwayland.1☑☑☑☑☑1
conf-libxcursor.1☑☑☑☑☑2
conf-libxi.1☑☑☑☑☑2
conf-libxinerama.1☑☑☑☑☑2
conf-libxrandr.1☑☑☑☑☑2
conf-lilv.1☑☑☑☑☑3
conf-linux-libc-dev.0☑☑☑☑☑24
conf-llvm.13.0.0☑☑☑☑☑8
conf-lua.1☒☒☒☒☒0
conf-lz4.1.0.0☑☑☑☑☑1
conf-m4.1☑☑☑☑☑3201
conf-mariadb.2☑☑☑☑☑13
conf-mbedtls.1☑☑☑☑☑1
conf-mecab.0.996☑☑☑☑☑1
conf-mesa.1☑☑☑☑☑2
conf-mpfr.3☑☑☑☑☑21
conf-mpi.1☑☑☑☑☑5
conf-mysql.1☑☑☑☑☑12
conf-nanomsg.0☑☑☑☑☑1
conf-nauty.1.0☑☑☑☑☑0
conf-ncurses.1☑☑☑☑☑1572
conf-neko.1☑☑☑☑☑1
conf-netsnmp.1.0.0☑☑☑☑☑1
conf-nlopt.1☑☑☑☑☑2
conf-npm.1☑☑☑☑☑7
conf-numa.0.1.0☑☑☑☑☑1
conf-ode.1☑☑☑☑☑0
conf-oniguruma.1☑☑☑☑☑3
conf-openbabel.0.1☒☒☒☒☒1
conf-openblas.0.2.1☑☑☑☒☑15
conf-opencc1_1.1☑☑☑☑☑1
conf-openimageio.1☑☑☑☑☑1
conf-openjdk.1☑☑☑☑☑1
conf-openssl.2☑☑☑☑☑2
conf-pam.1☑☑☑☑☑1
conf-pandoc.0.1☑☑☑☑☑1
conf-pango.1☑☑☑☑☑2
conf-perl.1☑☑☑☑☑1730
conf-perl-ipc-system-simple.1☑☑☑☑☑23
conf-perl-string-shellquote.1☑☑☑☑☑23
conf-pixz.1☑☑☑☑☑0
conf-pkg-config.2☑☑☑☑☑3317
conf-plplot.1☑☑☑☑☑10
conf-portaudio.1☑☑☑☑☑4
conf-postgresql.1☑☑☑☑☑23
conf-ppl.1☑☑☑☑☑14
conf-protoc.1.0.0☑☑☑☑☑1
conf-pulseaudio.1☑☑☑☑☑5
conf-python-2-7.1.1☑☑☑☑☑31
conf-python-2-7-dev.1.0☑☑☑☑☑1
conf-python-3.1.0.0☑☑☑☑☑22
conf-python-3-dev.1☑☑☑☑☑4
conf-python3-yaml.1☑☑☑☑☑2
conf-qt.5.2.1☑☑☑☑☑2
conf-r.1.0.0☑☑☑☑☑7
conf-r-mathlib.1☑☑☑☑☑1
conf-radare2.0.1☑☑☑☑☑2
conf-rdkit.1☑☑☑☑☑6
conf-rocksdb.1☑☑☑☑☑2
conf-ruby.1.0.0☑☑☑☑☑2
conf-rust.0.1☑☑☑☑☑179
conf-rust-2018.1☑☑☑☑☑2
conf-samplerate.1☑☑☑☑☑3
conf-sdl-gfx.1☑☑☑☑☑11
conf-sdl-image.1☑☑☑☑☑11
conf-sdl-mixer.1☑☑☑☑☑11
conf-sdl-net.1☑☑☑☑☑0
conf-sdl-ttf.1☑☑☑☑☑11
conf-sdl2.1☑☑☑☑☑15
conf-sdl2-image.1☑☑☑☑☑5
conf-sdl2-mixer.1☑☑☑☑☑1
conf-sdl2-net.1☑☑☑☑☑0
conf-sdl2-ttf.1☑☑☑☑☑6
conf-sdpa.1☑☑☑☑☑1
conf-secp256k1.1.0.0☑☑☑☑☑2
conf-sfml2.1☑☑☑☑☑2
conf-snappy.1☑☑☑☑☑4
conf-soundtouch.1☑☑☑☑☑3
conf-sqlite3.1☑☑☑☑☑53
conf-srt.1☑☑☑☑☑3
conf-sundials.1☒☒☒☒☒4
conf-swi-prolog.1☑☑☑☑☑1
conf-tcl.1☑☑☑☑☑6
conf-texlive.1☑☑☑☑☑2
conf-tidy.1☑☑☑☑☑1
conf-time.1☑☑☑☑☑1194
conf-timeout.1☑☑☑☑☑0
conf-tk.1☑☑☑☑☑6
conf-tree-sitter.1☒☒☒☒☒0
conf-tzdata.1☑☑☑☑☑0
conf-vim.1☑☑☑☑☑0
conf-wayland-protocols.1☑☑☑☑☑1
conf-wget.1☑☑☑☑☑4
conf-which.1☑☑☑☑☑2218
conf-xen.1☑☑☑☑☑1016
conf-xkbcommon.1☑☑☑☑☑1
conf-zlib.1☑☑☑☑☑1380
conf-zmq.0.1☑☑☑☑☑20
conf-zstd.1.3.8☑☑☑☑☑2
config-file.1.2.1☑☑☑☒☒9
configuration.0.4.1☑☑☑☑☑1
conformist.0.6.0☑☑☑☑☑7
conjury.2.0.1☑☒☑☒☒1
containers.3.5☑☑☑☑☑95
containers-data.3.5☑☑☑☑☑7
containers-thread.3.5☑☑☑☑☑0
cookie.0.1.8☑☑☑☑☑3
cookies.1.0.0☑☑☑☒☒0
coq.8.14.0☑☒☒☒☑15
coq-native.1☑☑☑☑☑18
coq-of-ocaml.2.5.1☑☑☑☒☒0
coq-serapi.8.14.0+0.14.0☑☒☒☒☒0
coq-shell.1☑☑☑☑☑0
coqide.8.14.0☑☒☒☒☑0
cordova.1.0☑☑☑☒☒1
cordova-plugin-activity-indicator.1.0☑☑☑☒☒0
cordova-plugin-background-mode.1.0☑☑☑☒☒0
cordova-plugin-barcode-scanner.1.0☑☑☑☒☒0
cordova-plugin-battery-status.1.0☑☑☑☒☒0
cordova-plugin-camera.1.0☑☑☑☒☒0
cordova-plugin-clipboard.1.0☑☑☑☒☒0
cordova-plugin-datepicker.1.0☑☑☑☒☒0
cordova-plugin-device.1.0☑☑☑☒☒0
cordova-plugin-device-motion.1.0☑☑☑☒☒0
cordova-plugin-device-orientation.1.0☑☑☑☒☒0
cordova-plugin-dialogs.1.0☑☑☑☒☒0
cordova-plugin-email-composer.1.0☑☑☑☒☒0
cordova-plugin-fcm.1.0☑☑☑☒☒0
cordova-plugin-file.1.0☑☑☑☒☒0
cordova-plugin-file-opener.1.0☑☑☑☒☒0
cordova-plugin-file-transfer.1.0☑☑☑☒☒0
cordova-plugin-geolocation.1.0☑☑☑☒☒0
cordova-plugin-globalization.1.0☑☑☑☒☒0
cordova-plugin-image-picker.1.0☑☑☑☒☒0
cordova-plugin-inappbrowser.1.0☑☑☑☒☒0
cordova-plugin-insomnia.1.0☑☑☑☒☒0
cordova-plugin-keyboard.1.0☑☑☑☒☒0
cordova-plugin-loading-spinner.1.0☑☑☑☒☒0
cordova-plugin-local-notifications.1.0☑☑☑☒☒0
cordova-plugin-media.1.0☑☑☑☒☒0
cordova-plugin-media-capture.1.0☑☑☑☒☒0
cordova-plugin-network-information.1.0☑☑☑☒☒0
cordova-plugin-progress.1.0☑☑☑☒☒0
cordova-plugin-push-notifications.1.1.2☑☑☑☒☒0
cordova-plugin-qrscanner.1.0☑☑☑☒☒0
cordova-plugin-screen-orientation.1.0☑☑☑☒☒0
cordova-plugin-sim-card.1.0☑☑☑☒☒0
cordova-plugin-sms.1.0☑☑☑☒☒0
cordova-plugin-social-sharing.1.0☑☑☑☒☒0
cordova-plugin-statusbar.1.0☑☑☑☒☒0
cordova-plugin-toast.1.0☑☑☑☒☒0
cordova-plugin-touch-id.1.0☑☑☑☒☒0
cordova-plugin-vibration.1.0☑☑☑☒☒0
cordova-plugin-videoplayer.1.0☑☑☑☒☒0
core.v0.14.1☑☑☑☒☒1285
core-and-more.0.0.1☑☑☑☒☒0
core_bench.v0.14.0☑☑☑☒☒5
core_extended.v0.14.0☑☑☑☒☒6
core_kernel.v0.14.2☑☑☑☒☒1512
core_profiler.v0.14.0☑☑☑☒☒0
corecount.1.0.0☑☑☑☑☑0
cosovo.3☑☑☑☑☑0
cow.2.4.0☑☑☑☑☑30
cpdf.2.4☑☑☑☑☑0
cpm.12.0.0☑☑☑☒☒12
cppo.1.6.8☑☑☑☑☑2237
cppo_ocamlbuild.1.6.8☑☑☑☑☑1997
cps_toolbox.0.2☑☑☑☑☑1
cpu.2.0.0☑☑☑☑☑12
cpuid.0.1.2☑☑☑☑☑430
craml.1.0.0☑☑☑☑☑3
crc.2.1.0☑☑☑☒☒2
crdt-ml.0.10.0☒☒☒☒☒0
crlibm.0.4☑☑☑☑☑2
crontab.0.1☑☑☑☑☑0
crowbar.0.2☑☑☑☑☑42
crunch.3.2.0☑☑☑☑☑47
cry.0.6.5☑☑☑☑☑2
crypt.1.3☑☑☑☑☑0
cryptodbm.0.84.2☑☑☑☑☑0
cryptohash.0.1.2☑☒☑☒☑0
cryptokit.1.16.1☑☑☑☑☑1334
cryptoverif.2.05☑☑☑☑☑0
csexp.1.5.1☑☑☑☑☑3199
css-parser.0.2.5☑☑☑☒☒0
cstruct.6.0.1☑☑☑☑☑1200
cstruct-async.6.0.1☑☑☑☒☒2
cstruct-lwt.6.0.1☑☑☑☑☑502
cstruct-sexp.6.0.1☑☑☑☑☑400
cstruct-unix.6.0.1☑☑☑☑☑42
csv.2.4☑☑☑☑☑37
csv-lwt.2.4☑☑☑☑☑0
csvfields.v0.14.0☑☑☑☒☒5
csvtool.2.4☑☑☑☑☑0
ctoxml.4.1.0☑☑☑☑☑0
ctypes.0.19.1☑☒☒☒☑368
ctypes-build.0.0.2☑☑☑☑☑2
ctypes-foreign.0.18.0☑☑☑☑☑648
ctypes-zarith.0.2.0☑☑☑☒☒1
cubicle.1.1.2☑☑☑☑☑0
cudf.0.9-1☑☑☑☑☑26
cuid.0.2☑☑☑☒☒0
cumulus.0.0.1☑☑☑☑☑0
curly.0.2.0☑☑☑☑☑4
current.0.5☑☑☑☒☒7
current_ansi.0.4☑☑☑☑☑3
current_docker.0.5☑☑☑☒☒1
current_examples.0.5☑☑☑☒☒0
current_git.0.5☑☑☑☒☒4
current_github.0.5☑☑☑☒☒1
current_incr.0.5☑☑☑☑☑8
current_ocluster.0.1☑☑☑☒☒1
current_rpc.0.5☑☑☑☒☒1
current_slack.0.5☑☑☑☒☒0
current_web.0.5☑☑☑☒☒2
curses.1.0.9☑☑☑☑☑8
curve-sampling.0.2☑☑☑☑☑0
cviode.0.0.4☑☑☑☒☒0
daft.0.0.3☑☑☑☒☒0
dap.1.0.6☑☑☑☒☒1
data-encoding.0.4☑☑☑☑☑4
datakit-client.1.0.0☑☑☑☑☑6
datakit-client-9p.1.0.0☑☑☑☒☒5
datakit-server.1.0.0☑☑☑☑☑3
datakit-server-9p.1.0.0☑☑☑☒☒2
datalog.0.6☑☑☑☒☒0
daypack-lib.0.0.6☑☑☑☑☑1
dbf.0.1.1☑☑☑☒☒0
dbm.1.3☑☑☑☑☑18
deadlock.1.0☑☒☑☒☒0
debian-formats.0.1.2☑☑☑☑☑1
decimal.0.2.1☑☑☑☑☑0
decoders.0.6.0☑☑☑☑☑7
decoders-bencode.0.6.0☑☑☑☑☑0
decoders-cbor.0.6.0☑☑☑☑☑0
decoders-ezjsonm.0.6.0☑☑☑☑☑0
decoders-jsonm.0.6.0☑☑☑☑☑0
decoders-msgpck.0.6.0☑☑☑☑☑0
decoders-sexplib.0.6.0☑☑☑☑☑0
decoders-yojson.0.6.0☑☑☑☑☑0
decompress.1.4.2☑☒☑☒☑43
dedukti.2.6.0☑☑☑☑☑1
delimited_parsing.v0.14.0☑☑☑☒☒0
depgraph.0.1.0☑☒☑☒☑0
depyt.0.2.0☑☑☑☑☑0
deriving.0.8.1☑☑☑☒☒1283
devkit.1.20210517☑☒☑☒☒1
diet.0.4☑☑☑☑☑4
digestif.1.1.0☑☑☑☑☑264
directories.0.3☑☑☑☑☑2
dirsift.0.0.4☑☑☑☑☑0
dirsp-exchange.0.1.0☑☑☑☒☒0
dirsp-exchange-kbb2017.0.1.0☑☑☑☒☒1
dirsp-proscript.0.1.0☑☑☑☒☒3
dirsp-proscript-mirage.0.1.0☑☑☑☒☒1
dirsp-ps2ocaml.0.1.0☑☑☑☒☒0
dispatch.0.5.0☑☑☑☑☑15
dispatch-js.0.5.0☑☑☑☒☒0
distributed.0.6.0☑☑☑☑☑2
distributed-lwt.0.2.0☑☑☑☑☑0
diy.5.01☑☑☑☑☑0
dkim.0.2.0☑☑☑☒☒1
dkim-mirage.0.2.0☑☑☑☒☒0
dlm.0.3.1☑☑☑☑☑0
dns.6.0.0☑☑☑☑☑187
dns-async.1.1.3☑☑☑☒☒0
dns-certify.6.0.0☑☑☑☒☒1
dns-cli.6.0.0☑☑☑☒☒0
dns-client.6.0.0☑☑☑☒☒18
dns-forward.0.10.0☑☑☑☒☒1
dns-forward-lwt-unix.0.9.0☑☑☑☒☒0
dns-lwt.1.1.3☑☑☑☒☒327
dns-lwt-unix.1.1.3☑☑☑☒☒0
dns-mirage.6.0.0☑☑☑☑☑5
dns-resolver.6.0.0☑☑☑☒☒1
dns-server.6.0.0☑☑☑☑☑3
dns-stub.6.0.0☑☑☑☒☒0
dns-tsig.6.0.0☑☑☑☑☑10
dnssd.0.5.0☑☑☑☒☒1
docker-api.0.2.1☑☑☑☑☑0
dockerfile.7.1.0☑☑☑☒☒8
dockerfile-cmd.7.1.0☑☑☑☒☒2
dockerfile-opam.7.1.0☑☑☑☒☒3
docout.0.0.1☑☑☑☑☑2
docteur.0.0.1☑☑☑☒☒0
doi2bib.0.5.1☑☑☑☒☒0
dokeysto.4.0.0☑☑☑☒☒7
dokeysto_camltc.4.0.0☑☑☑☒☒5
dokeysto_lz4.4.0.0☑☑☑☒☒0
dolmen.0.6☑☑☑☑☑5
dolmen_bin.0.6☑☑☑☑☑0
dolmen_loop.0.6☑☑☑☑☑2
dolmen_lsp.0.6☑☑☑☑☑0
dolmen_type.0.6☑☑☑☑☑3
dolog.6.0.0☑☑☑☑☑11
domain-name.0.3.0☑☑☑☑☑1075
domainslib.0.3.1☒☑☒☒☒0
dose3.7.0.0☑☑☑☑☑1
dose3-extra.7.0.0☑☑☑☑☑0
dot-merlin-reader.4.1☑☑☑☑☑17
dotenv.0.0.3☑☑☑☒☒0
down.0.0.3☑☑☑☒☒0
dream.1.0.0~alpha2☑☑☑☒☒5
dream-cli.0.1.0☑☑☑☒☒0
dream-encoding.0.1.0☑☑☑☒☒0
dream-livereload.0.1.0☑☑☑☒☒0
dream-serve.1.0.0☑☑☑☒☒0
drom.0.3.0☑☑☑☑☑0
drom_lib.0.3.0☑☑☑☑☑1
dropbox.0.2☑☑☑☒☒1
dropbox_lwt_unix.0.2☑☑☑☒☒0
dryunit.0.5.0☑☑☑☑☑0
dssi.0.1.3☑☑☑☑☑2
dtoa.0.3.2☑☑☑☑☑2
dtools.0.4.4☑☑☑☑☑2
dual.0.1.0☑☑☑☑☑0
duff.0.4☑☑☑☑☑38
dum.1.0.1☑☑☑☑☑0
dune.2.9.1☑☑☑☑☑3199
dune-action-plugin.2.9.1☑☑☑☑☑0
dune-build-info.2.9.1☑☑☑☑☑21
dune-configurator.2.9.1☑☑☑☑☑3199
dune-deps.1.3.0☑☑☑☑☑0
dune-glob.2.9.1☑☑☑☑☑1
dune-private-libs.2.9.1☑☑☑☑☑5
dune-release.1.5.1☑☑☑☒☒2
dune-site.2.9.1☑☑☑☑☑1
duppy.0.9.2☑☑☑☑☑2
duration.0.2.0☑☑☑☑☑1047
dyntype.0.9.0☑☑☑☒☒37
earley.3.0.0☑☑☑☑☑1
earlybird.1.1.0☑☑☑☒☒0
easy-format.1.3.2☑☑☑☑☑1449
easy_logging.0.8.2☑☑☑☑☑1
easy_logging_yojson.0.8.2☑☑☑☒☒0
ecaml.v0.14.0☑☑☑☒☒2
edn.0.1.6-1-gff9db95☑☑☑☑☑0
ego.0.0.5☑☑☑☒☒0
eigen.0.3.0☑☑☑☑☑15
either.1.0.0☑☑☑☑☑184
elasticsearch-cli.1.2☑☒☑☒☒0
electrod.1.0.0☑☑☑☒☒0
elina.1.3.2☑☑☑☑☑0
eliom.8.8.0☑☑☑☒☒2
elpi.1.13.7☑☒☒☒☒0
email_message.v0.14.0☑☑☑☒☒1
embedded_ocaml_templates.0.7☑☑☑☒☒0
emile.1.1☑☑☑☑☑53
emoji.1.1.0☑☑☑☑☑0
encore.0.8☑☑☑☑☑35
enumerators.0.2.0☑☑☑☑☑0
eqaf.0.8☑☑☑☑☑521
erlang.0.0.14☑☑☑☒☒0
esgg.20190322☑☑☑☒☒0
ethernet.2.2.0☑☑☑☒☒351
exenum.0.86☑☑☑☑☑0
exit.0.0.1☑☑☒☒☒0
exn-source.0.1☑☑☑☑☑0
expect.0.0.6☑☑☑☒☒1148
expect_test_helpers_async.v0.14.0☑☑☑☒☒0
expect_test_helpers_core.v0.14.0☑☑☑☒☒4
extlib.1.7.8☑☑☑☑☑63
extprot.1.7.0☑☒☑☒☒0
extunix.0.3.2☑☑☑☒☒18
ez_api.0.1.0☑☑☑☑☑0
ez_cmdliner.0.4.0☑☑☑☑☑4
ez_config.0.1.1☑☑☑☑☑4
ez_file.0.2.0☑☑☑☑☑5
ez_hash.0.2.0☑☑☑☑☑3
ez_opam_file.0.1.0☑☑☑☑☑4
ez_pgocaml.1.0.0☑☑☑☒☒0
ez_subst.0.2.0☑☑☑☑☑5
ezcurl.0.2.1☑☑☑☑☑3
ezcurl-lwt.0.2.1☑☑☑☒☒0
ezdl.2.71.10☑☑☑☑☑2
ezgzip.0.2.3☑☑☑☑☑1
ezjs_ace.0.1.1☑☑☑☒☒0
ezjs_blockies.0.1.1☑☑☑☒☒0
ezjs_cleave.0.1.1☑☑☑☒☒0
ezjs_crypto.0.1☑☑☑☒☒0
ezjs_cytoscape.0.1☑☑☑☒☒0
ezjs_d3pie.0.1☑☑☑☒☒0
ezjs_extension.0.1☑☑☑☒☒0
ezjs_fetch.0.2☑☑☑☒☒0
ezjs_idb.0.1.1☑☑☑☒☒0
ezjs_jquery.0.1☑☑☑☒☒0
ezjs_min.0.2.3☑☑☑☒☒6
ezjs_odometer.0.1☑☑☑☒☒0
ezjs_push.0.2☑☑☑☒☒0
ezjs_qrcode.0.1☑☑☑☒☒0
ezjs_recaptcha.0.1.1☑☑☑☒☒0
ezjs_timeline.0.1.1☑☑☑☒☒0
ezjsonm.1.2.0☑☑☑☑☑271
ezjsonm-lwt.1.2.0☑☑☑☑☑0
ezresto.0.6.1☑☑☑☑☑1
ezresto-directory.0.6.1☑☑☑☑☑0
ezsqlite.0.4.2☑☑☑☑☑0
ezxmlm.1.1.0☑☑☑☑☑26
faad.0.5.0☑☑☑☑☑2
facile.1.1.4☑☑☑☑☑0
fadbadml.0.1.2☑☑☑☑☑0
faraday.0.8.1☑☑☑☑☑66
faraday-async.0.8.1☑☑☑☒☒4
faraday-lwt.0.8.1☑☑☑☑☑40
faraday-lwt-unix.0.8.1☑☑☑☑☑37
farfadet.0.3☑☑☑☑☑0
farmhash.0.3☑☑☑☑☑0
fasmifra.1.1.0☑☑☑☒☒0
fat-filesystem.0.15.0☑☑☑☒☒2
fd-send-recv.2.0.1☑☑☑☑☑448
feat.20201231☑☑☑☑☑0
feather.0.3.0☑☑☑☒☒1
feather_async.0.3.0☑☑☑☒☒0
febusy.0.0.0☑☑☑☑☑0
ff.0.6.2☑☑☑☑☑0
ff-bench.0.6.2☑☑☑☒☒0
ff-pbt.0.6.2☑☑☑☑☑3
ff-sig.0.6.2☑☑☑☑☑164
ffmpeg.1.0.1☑☒☒☒☑2
ffmpeg-av.1.0.1☑☑☑☑☑4
ffmpeg-avcodec.1.0.1☑☑☑☑☑6
ffmpeg-avdevice.1.0.1☑☑☑☑☑3
ffmpeg-avfilter.1.0.1☑☑☑☑☑3
ffmpeg-avutil.1.0.1☑☑☑☑☑9
ffmpeg-swresample.1.0.1☑☑☑☑☑3
ffmpeg-swscale.1.0.1☑☑☑☑☑3
fftw3.0.8.4☑☑☑☑☑0
fiat-p256.0.2.3☑☑☑☑☑376
fieldslib.v0.14.0☑☑☑☑☑1534
fileutils.0.6.3☑☑☑☑☑1487
finch.0.1☑☑☑☒☒0
findlib_top.v0.11.0☑☑☑☑☑0
fit.1.0.1☑☑☑☑☑0
fix.20201120☑☑☑☑☑34
flac.0.3.0☑☑☑☑☑2
flex-array.1.2.0☑☑☑☑☑2
flock.1.0.0☑☑☑☑☑0
flow_parser.0.159.0☑☑☑☒☒0
fm-simplex-plugin.1.30☑☑☑☑☑0
fmlib.0.3.1☑☑☑☒☒4
fmlib_js.0.3.1☑☑☑☒☒0
fmlib_parse.0.3.1☑☑☑☒☒0
fmlib_pretty.0.3.1☑☑☑☒☒0
fmlib_std.0.3.1☑☑☑☒☒3
fmt.0.8.10☑☑☑☑☑1267
format.0.1☑☑☑☒☒0
fpath.0.7.3☑☑☑☑☑334
frama-c.23.1☑☒☒☒☒3
frama-c-metacsl.0.1☒☒☒☒☒0
freetds.0.7☑☑☑☑☑1
frei0r.0.1.2☑☑☑☑☑2
fromager.0.4.0☑☑☑☒☒0
fsevents.0.3.0☑☑☑☑☑22
fsevents-lwt.0.3.0☑☑☑☑☑21
fsml.0.3.0☑☑☑☒☒0
fstar.2021.06.06☑☑☑☒☒1
fstreams.0.2.1☑☑☑☑☑0
functoria.3.1.1☑☑☑☑☑3
functoria-runtime.3.0.3☑☑☑☑☑1020
functory.0.6☑☑☑☑☑2
funfields.0.04☑☑☑☑☑0
gadelac.0.6.1☑☑☑☑☑0
gammu.0.9.3☑☑☑☑☑0
gapi-ocaml.0.4.2☑☒☑☒☑1
gappa.1.4.0☑☑☑☑☑0
gavl.0.1.6☑☑☑☑☑2
gbddml.2.71.10☑☑☑☑☑2
gd.1.0a5☑☑☑☑☑2
gdal.0.10.0☑☑☑☑☑0
gdbprofiler.0.4☑☑☑☒☒0
gedcom.1.0.0☑☑☑☑☑0
gen.0.5.3☑☑☑☑☑69
gen-bs.0.0.0☑☑☑☒☒0
gen_js_api.1.0.8☑☒☑☒☒45
genspio.0.0.2☑☑☑☑☑0
genspir.1.0.0☑☑☑☑☑0
geoip.0.0.3☑☑☑☑☑1
get_line.7.0.0☑☑☑☒☒1
getopt.20120615☑☑☑☑☑1
getopts.0.4.0☑☑☑☑☑1
gettext.0.4.2☑☑☑☑☑1462
gettext-camomile.0.4.2☑☑☑☑☑0
gettext-stub.0.4.2☑☑☑☑☑0
gg.0.9.3☑☑☑☑☑12
git.3.5.0☑☑☑☑☑33
git-cohttp.3.5.0☑☑☑☒☒25
git-cohttp-mirage.3.3.3☑☑☑☒☒1
git-cohttp-unix.3.5.0☑☑☑☒☒25
git-http.2.1.3☑☑☑☒☒26
git-mirage.3.5.0☑☑☑☒☒3
git-paf.3.5.0☑☑☑☒☒1
git-unix.3.5.0☑☑☑☒☒25
github.4.4.0☑☑☑☒☒13
github-data.4.4.0☑☑☑☑☑14
github-hooks.0.5.0☑☑☑☒☒2
github-hooks-unix.0.5.0☑☑☑☒☒2
github-jsoo.4.4.0☑☑☑☒☒0
github-unix.4.4.0☑☑☑☒☒9
glMLite.0.03.53☑☑☑☑☑0
gles3.20160307.alpha☒☒☒☒☒0
glfw-ocaml.3.3.1-1☑☑☑☑☑1
glical.0.0.7☑☑☑☑☑0
glicko2.1.0.0☑☑☑☑☑0
glpk.0.1.8☑☑☑☑☑0
gluten.0.2.1☑☑☑☑☑11
gluten-lwt.0.2.1☑☑☑☑☑8
gluten-lwt-unix.0.2.1☑☑☑☑☑4
gluten-mirage.0.2.1☑☑☑☒☒1
gmap.0.3.0☑☑☑☑☑404
gmp.6.2.1-1☑☑☑☑☑0
gmp-freestanding.6.2.1☑☑☑☒☒425
gmp-xen.6.0.0-1☑☑☑☑☑426
gnuplot.0.7☑☑☑☑☑4
gobba.0.4.2☑☑☑☒☒0
goblint-cil.1.8.0☑☑☑☒☒1
google-drive-ocamlfuse.0.7.27☑☒☑☒☑0
gopcaml-mode.0.0.3☑☑☑