| 4.10 | 4.10+multicore | number of revdeps |
|---|
| 0install.2.17 | ☑ | ☑ | 1 |
| 0install-gtk.2.17 | ☑ | ☒ | 0 |
| 0install-solver.2.17 | ☑ | ☒ | 9 |
| ANSITerminal.0.8.2 | ☑ | ☑ | 29 |
| BetterErrors.0.0.1 | ☑ | ☑ | 10 |
| FrontC.3.4.2 | ☑ | ☑ | 10 |
| GT.0.4.1 | ☑ | ☑ | 3 |
| General.0.7.0 | ☒ | ☒ | 4 |
| GuaCaml.0.02 | ☑ | ☑ | 1 |
| ISO8601.0.2.6 | ☑ | ☑ | 29 |
| KaSim.4.0.0 | ☒ | ☒ | 0 |
| OCanren.0.1.0 | ☑ | ☑ | 0 |
| OCanren-ppx.0.1.0 | ☑ | ☑ | 0 |
| SZXX.1.1.0 | ☑ | ☑ | 0 |
| Snowflake.0.02.01 | ☑ | ☑ | 0 |
| 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.1 | ☑ | ☑ | 0 |
| accessor_base.v0.14.1 | ☑ | ☑ | 2 |
| accessor_core.v0.14.1 | ☑ | ☑ | 1 |
| acgtk.1.5.2 | ☑ | ☑ | 0 |
| acpc.1.2.3 | ☑ | ☑ | 0 |
| aez.0.3 | ☑ | ☑ | 0 |
| afl.2.52b | ☑ | ☑ | 1 |
| afl-persistent.1.3 | ☑ | ☑ | 485 |
| ago.0.4 | ☑ | ☑ | 0 |
| ahrocksdb.0.2.2 | ☑ | ☑ | 0 |
| aifad.2.2.2 | ☑ | ☑ | 0 |
| aio.0.0.3 | ☑ | ☑ | 0 |
| alba.0.4.4 | ☑ | ☑ | 0 |
| albatross.1.1.0 | ☑ | ☑ | 0 |
| alcotest.1.3.0 | ☑ | ☑ | 2919 |
| alcotest-async.1.3.0 | ☑ | ☑ | 5 |
| alcotest-lwt.1.3.0 | ☑ | ☑ | 246 |
| alcotest-mirage.1.3.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.0 | ☑ | ☑ | 7 |
| alt-ergo-free.2.2.0 | ☑ | ☑ | 4 |
| alt-ergo-lib.2.4.0 | ☑ | ☑ | 10 |
| alt-ergo-parsers.2.4.0 | ☑ | ☑ | 9 |
| altgr-ergo.2.4.0 | ☑ | ☒ | 3 |
| 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 |
| angstrom.0.15.0 | ☑ | ☑ | 640 |
| angstrom-async.0.15.0 | ☑ | ☑ | 2 |
| angstrom-lwt-unix.0.15.0 | ☑ | ☑ | 3 |
| angstrom-unix.0.15.0 | ☑ | ☑ | 1 |
| ansicolor.0.5 | ☑ | ☑ | 0 |
| anthill.0.1 | ☑ | ☒ | 0 |
| anycache.0.7.4 | ☑ | ☑ | 2 |
| anycache-lwt.0.7.4 | ☑ | ☑ | 0 |
| ao.0.2.3 | ☑ | ☑ | 4 |
| apron.v0.9.13 | ☑ | ☑ | 12 |
| apronext.1.0.3 | ☑ | ☑ | 2 |
| archetype.1.2.1 | ☑ | ☑ | 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.1 | ☑ | ☑ | 308 |
| arp-mirage.2.2.1 | ☑ | ☑ | 309 |
| art.0.1.0 | ☑ | ☑ | 0 |
| ascii85.0.4 | ☑ | ☑ | 0 |
| asetmap.0.8.1 | ☑ | ☑ | 32 |
| asl.0.11 | ☑ | ☑ | 5 |
| asli.0.2.0 | ☑ | ☑ | 0 |
| asn1-combinators.0.2.4 | ☑ | ☑ | 335 |
| assertions.0.1 | ☑ | ☑ | 0 |
| assimp.0.3 | ☑ | ☑ | 0 |
| astring.0.8.5 | ☑ | ☑ | 2919 |
| async.v0.14.0 | ☑ | ☑ | 1128 |
| async-uri.0.2.1 | ☑ | ☑ | 0 |
| async_durable.v0.14.0 | ☑ | ☑ | 0 |
| async_extra.v0.14.0 | ☑ | ☑ | 3 |
| async_find.v0.14.0 | ☑ | ☑ | 3 |
| 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 | ☑ | ☑ | 2919 |
| async_rpc_kernel.v0.14.0 | ☑ | ☑ | 1131 |
| async_sendfile.v0.14.0 | ☑ | ☑ | 1 |
| async_shell.v0.14.0 | ☑ | ☑ | 2 |
| async_smtp.v0.14.0 | ☑ | ☑ | 0 |
| async_ssl.v0.14.0 | ☑ | ☑ | 290 |
| async_udp.v0.14.0 | ☑ | ☑ | 1 |
| async_unix.v0.14.0 | ☑ | ☑ | 1135 |
| async_websocket.v0.14.0 | ☑ | ☑ | 0 |
| atd.2.2.1 | ☑ | ☑ | 65 |
| atd2cconv.0.0.0 | ☑ | ☑ | 0 |
| atdgen.2.2.1 | ☑ | ☑ | 63 |
| atdgen-codec-runtime.2.2.1 | ☑ | ☑ | 64 |
| atdgen-runtime.2.2.1 | ☑ | ☑ | 64 |
| atdj.2.2.1 | ☑ | ☑ | 0 |
| atds.2.2.1 | ☑ | ☑ | 0 |
| awa.0.0.1 | ☑ | ☑ | 30 |
| awa-lwt.0.0.1 | ☑ | ☑ | 0 |
| awa-mirage.0.0.1 | ☑ | ☑ | 28 |
| aws.1.0.2 | ☑ | ☒ | 8 |
| aws-autoscaling.0.1.0 | ☑ | ☒ | 0 |
| aws-cloudformation.0.1.0 | ☑ | ☒ | 0 |
| aws-cloudtrail.0.1.0 | ☑ | ☒ | 0 |
| aws-ec2.0.1.0 | ☑ | ☒ | 0 |
| aws-elasticloadbalancing.0.1.0 | ☑ | ☒ | 0 |
| aws-s3.4.5.1 | ☑ | ☑ | 2 |
| aws-s3-async.4.5.1 | ☑ | ☒ | 0 |
| aws-s3-lwt.4.5.1 | ☑ | ☑ | 0 |
| aws-sdb.0.1.0 | ☑ | ☒ | 0 |
| aws-ssm.0.1.0 | ☑ | ☒ | 0 |
| aws-sts.0.1.0 | ☑ | ☒ | 0 |
| azblob.0.1.0 | ☑ | ☑ | 1 |
| azblob-async.0.1.0 | ☑ | ☒ | 0 |
| azure-cosmos-db.0.1.6 | ☑ | ☒ | 0 |
| b0.0.0.2 | ☑ | ☑ | 1 |
| balancer.1.0 | ☑ | ☑ | 0 |
| bap-abi.2.2.0 | ☑ | ☒ | 45 |
| bap-analyze.2.2.0 | ☑ | ☒ | 8 |
| bap-api.2.2.0 | ☑ | ☒ | 46 |
| bap-arm.2.2.0 | ☑ | ☒ | 11 |
| bap-beagle.2.2.0 | ☑ | ☒ | 9 |
| bap-beagle-strings.2.2.0 | ☑ | ☒ | 8 |
| bap-bil.2.2.0 | ☑ | ☒ | 8 |
| bap-build.2.2.0 | ☑ | ☑ | 89 |
| bap-bundle.2.2.0 | ☑ | ☒ | 90 |
| bap-byteweight.2.2.0 | ☑ | ☒ | 9 |
| bap-byteweight-frontend.2.2.0 | ☑ | ☒ | 1 |
| bap-c.2.2.0 | ☑ | ☒ | 45 |
| bap-cache.2.2.0 | ☑ | ☒ | 8 |
| bap-callgraph-collator.2.2.0 | ☑ | ☒ | 8 |
| bap-callsites.2.2.0 | ☑ | ☒ | 8 |
| bap-constant-tracker.2.2.0 | ☑ | ☒ | 8 |
| bap-core-theory.2.2.0 | ☑ | ☑ | 88 |
| bap-cxxfilt.2.2.0 | ☑ | ☒ | 8 |
| bap-demangle.2.2.0 | ☑ | ☒ | 10 |
| bap-disassemble.2.2.0 | ☑ | ☒ | 8 |
| bap-dump-symbols.2.2.0 | ☑ | ☒ | 8 |
| bap-dwarf.2.2.0 | ☑ | ☒ | 9 |
| bap-elementary.2.2.0 | ☑ | ☒ | 8 |
| bap-elf.2.2.0 | ☑ | ☒ | 8 |
| bap-emacs-dot.0.1 | ☑ | ☑ | 10 |
| bap-emacs-goodies.0.1 | ☑ | ☑ | 9 |
| bap-emacs-mode.0.1 | ☑ | ☑ | 10 |
| bap-frames.2.1.0 | ☒ | ☒ | 0 |
| bap-frontc.2.2.0 | ☑ | ☒ | 8 |
| bap-frontend.2.2.0 | ☑ | ☒ | 8 |
| bap-future.2.2.0 | ☑ | ☑ | 90 |
| bap-glibc-runtime.2.2.0 | ☑ | ☒ | 8 |
| bap-knowledge.2.2.0 | ☑ | ☑ | 89 |
| bap-main.2.2.0 | ☑ | ☒ | 88 |
| bap-mc.2.2.0 | ☑ | ☒ | 8 |
| bap-microx.2.2.0 | ☑ | ☒ | 11 |
| bap-mips.2.2.0 | ☑ | ☒ | 8 |
| bap-objdump.2.2.0 | ☑ | ☒ | 8 |
| bap-optimization.2.2.0 | ☑ | ☒ | 8 |
| bap-phoenix.2.2.0 | ☑ | ☒ | 0 |
| bap-piqi.2.2.0 | ☑ | ☒ | 0 |
| bap-plugins.2.2.0 | ☑ | ☒ | 89 |
| bap-powerpc.2.2.0 | ☑ | ☒ | 9 |
| bap-primus.2.2.0 | ☑ | ☒ | 35 |
| bap-primus-dictionary.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-exploring-scheduler.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-greedy-scheduler.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-limit.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-lisp.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-loader.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-mark-visited.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-powerpc.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-print.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-promiscuous.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-propagate-taint.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-random.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-region.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-round-robin-scheduler.2.2.0 | ☑ | ☒ | 10 |
| bap-primus-support.2.2.0 | ☑ | ☒ | 9 |
| bap-primus-symbolic-executor.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-systems.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-taint.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-test.2.2.0 | ☑ | ☒ | 8 |
| bap-primus-track-visited.2.2.0 | ☑ | ☒ | 11 |
| bap-primus-wandering-scheduler.2.2.0 | ☑ | ☒ | 10 |
| bap-print.2.2.0 | ☑ | ☒ | 8 |
| bap-radare2.2.2.0 | ☑ | ☒ | 0 |
| bap-raw.2.2.0 | ☑ | ☒ | 8 |
| bap-recipe.2.2.0 | ☑ | ☑ | 89 |
| bap-recipe-command.2.2.0 | ☑ | ☒ | 8 |
| bap-relation.2.2.0 | ☑ | ☑ | 88 |
| bap-report.2.2.0 | ☑ | ☒ | 8 |
| bap-run.2.2.0 | ☑ | ☒ | 8 |
| bap-signatures.2.2.0 | ☑ | ☑ | 10 |
| bap-specification.2.2.0 | ☑ | ☒ | 8 |
| bap-ssa.2.2.0 | ☑ | ☒ | 8 |
| bap-std.2.2.0 | ☑ | ☒ | 87 |
| bap-strings.2.2.0 | ☑ | ☑ | 37 |
| bap-stub-resolver.2.2.0 | ☑ | ☒ | 8 |
| bap-symbol-reader.2.2.0 | ☑ | ☒ | 8 |
| bap-systemz.2.2.0 | ☑ | ☒ | 8 |
| bap-taint.2.2.0 | ☑ | ☒ | 10 |
| bap-taint-propagator.2.2.0 | ☑ | ☒ | 8 |
| bap-term-mapper.2.2.0 | ☑ | ☒ | 8 |
| bap-thumb.2.2.0 | ☑ | ☒ | 8 |
| bap-trace.2.2.0 | ☑ | ☒ | 8 |
| bap-traces.2.2.0 | ☑ | ☒ | 10 |
| bap-trivial-condition-form.2.2.0 | ☑ | ☒ | 8 |
| bap-warn-unused.2.2.0 | ☑ | ☒ | 8 |
| bare.2.2.0 | ☑ | ☑ | 12 |
| bark.0.1.4 | ☑ | ☑ | 0 |
| base.v0.14.1 | ☑ | ☑ | 2919 |
| base-bigarray.base | ☑ | ☑ | 2920 |
| base-bytes.base | ☑ | ☑ | 2919 |
| base-native-int63.0.1 | ☑ | ☑ | 2920 |
| base-threads.base | ☑ | ☑ | 2920 |
| base-unix.base | ☑ | ☑ | 2923 |
| base58.0.1.2 | ☑ | ☑ | 0 |
| base64.3.5.0 | ☑ | ☑ | 483 |
| base_bigstring.v0.14.0 | ☑ | ☑ | 2919 |
| base_quickcheck.v0.14.1 | ☑ | ☑ | 2919 |
| bastet.2.0.0 | ☑ | ☑ | 2 |
| bastet_async.0.1.0 | ☑ | ☒ | 0 |
| bastet_lwt.0.1.0 | ☑ | ☑ | 0 |
| batch_jaro_winkler.0.1.0 | ☑ | ☑ | 0 |
| batsat.0.4 | ☑ | ☒ | 0 |
| batteries.3.3.0 | ☑ | ☑ | 2919 |
| bdd.0.3 | ☑ | ☑ | 3 |
| bear.0.0.1 | ☑ | ☑ | 0 |
| bech32.0.1 | ☑ | ☑ | 0 |
| bechamel.0.1.0 | ☑ | ☑ | 4 |
| bechamel-js.0.1.0 | ☑ | ☑ | 0 |
| bechamel-notty.0.1.0 | ☑ | ☑ | 0 |
| bechamel-perf.0.1.0 | ☑ | ☑ | 0 |
| beluga.1.0 | ☑ | ☑ | 1 |
| benchmark.1.6 | ☑ | ☑ | 2919 |
| benchpress.0.1 | ☑ | ☑ | 1 |
| benchpress-server.0.1 | ☑ | ☑ | 0 |
| bencode.2.0 | ☑ | ☒ | 7 |
| bentov.1 | ☑ | ☑ | 1 |
| bheap.2.0.0 | ☑ | ☑ | 900 |
| bibtex2html.1.99-1 | ☑ | ☑ | 0 |
| bigarray-compat.1.0.0 | ☑ | ☑ | 1097 |
| bigarray-overlap.0.2.0 | ☑ | ☑ | 46 |
| bignum.v0.14.0 | ☑ | ☑ | 4 |
| bigstring.0.3 | ☑ | ☑ | 152 |
| bigstring-unix.0.3 | ☑ | ☑ | 152 |
| bigstringaf.0.7.0 | ☑ | ☑ | 662 |
| bimage.0.3.1 | ☑ | ☑ | 4 |
| bimage-display.0.3.1 | ☑ | ☑ | 0 |
| bimage-gtk.0.2.1 | ☑ | ☒ | 0 |
| bimage-io.0.3.1 | ☑ | ☑ | 0 |
| bimage-lwt.0.3.1 | ☑ | ☑ | 0 |
| bimage-sdl.0.2.1 | ☑ | ☑ | 0 |
| bimage-unix.0.3.1 | ☑ | ☒ | 0 |
| bimap.20201231 | ☑ | ☑ | 0 |
| bin_prot.v0.14.0 | ☑ | ☑ | 2919 |
| binaryen.0.7.0 | ☑ | ☑ | 0 |
| binbin.0.01 | ☑ | ☑ | 0 |
| bindlib.5.0.1 | ☑ | ☑ | 2 |
| biniou.1.2.1 | ☑ | ☑ | 2919 |
| binning.0.0.0 | ☑ | ☑ | 0 |
| biocaml.0.11.1 | ☑ | ☑ | 0 |
| bip32.0.2 | ☑ | ☑ | 0 |
| bisect.1.3.1 | ☑ | ☑ | 2919 |
| bisect-summary.0.3 | ☑ | ☑ | 0 |
| bisect_ppx.2.6.0 | ☑ | ☑ | 373 |
| bisect_ppx-ocamlbuild.1.0.1 | ☑ | ☑ | 1 |
| bitcoin.2.0 | ☑ | ☑ | 0 |
| bitcoinml.0.4.1 | ☑ | ☑ | 0 |
| bitlib.1.0 | ☑ | ☑ | 0 |
| bitmasks.1.3.0 | ☑ | ☑ | 0 |
| bitstring.4.1.0 | ☑ | ☑ | 20 |
| bitv.1.6 | ☑ | ☑ | 5 |
| bitvec.2.2.0 | ☑ | ☑ | 92 |
| bitvec-binprot.2.2.0 | ☑ | ☑ | 89 |
| bitvec-order.2.2.0 | ☑ | ☑ | 89 |
| bitvec-sexp.2.2.0 | ☑ | ☑ | 90 |
| bjack.0.1.6 | ☑ | ☑ | 2 |
| blake2.0.3 | ☑ | ☑ | 102 |
| blake3.0.1 | ☑ | ☑ | 0 |
| bloomf.0.2.0 | ☑ | ☑ | 0 |
| bls12-381.0.4.1 | ☑ | ☑ | 3 |
| bls12-381-gen.0.4.1 | ☑ | ☑ | 4 |
| bls12-381-js.0.4.1 | ☑ | ☑ | 0 |
| bls12-381-js-gen.0.4.1 | ☑ | ☑ | 1 |
| bls12-381-unix.0.4.1 | ☑ | ☑ | 0 |
| bn128.0.1.3 | ☑ | ☑ | 0 |
| bnfgen.3.0.0 | ☑ | ☑ | 1 |
| bogue.20200630 | ☑ | ☑ | 0 |
| boltzgen.0.9.2 | ☑ | ☑ | 0 |
| bonsai.v0.14.0 | ☑ | ☑ | 0 |
| bookaml.4.0 | ☑ | ☒ | 0 |
| bos.0.2.0 | ☑ | ☑ | 2919 |
| bpf.0.2 | ☑ | ☑ | 0 |
| bracetax.0.4 | ☑ | ☑ | 0 |
| broken.0.4.2 | ☑ | ☑ | 7 |
| brr.0.0.1 | ☑ | ☒ | 0 |
| bsdowl.3.0.0-20150830 | ☑ | ☑ | 8 |
| bst.7.0.0 | ☑ | ☑ | 3 |
| buffer-pool.0.2 | ☑ | ☑ | 0 |
| build_path_prefix_map.0.2 | ☑ | ☑ | 0 |
| bun.0.3.3 | ☒ | ☒ | 0 |
| bwrap.0.1 | ☑ | ☑ | 0 |
| bytearray.1.0.1 | ☑ | ☑ | 0 |
| bytepdf.0.1 | ☑ | ☑ | 0 |
| ca-certs.0.1.3 | ☑ | ☑ | 176 |
| ca-certs-nss.3.60 | ☑ | ☑ | 11 |
| cairo2.0.6.2 | ☑ | ☑ | 30 |
| cairo2-gtk.0.6.2 | ☑ | ☒ | 1 |
| cairo2-pango.0.6.2 | ☑ | ☒ | 0 |
| calculon.0.6 | ☑ | ☑ | 3 |
| calculon-redis.0.6 | ☑ | ☑ | 0 |
| calculon-redis-lib.0.6 | ☑ | ☑ | 1 |
| calculon-web.0.6 | ☑ | ☑ | 0 |
| calendar.2.04 | ☑ | ☑ | 512 |
| calendars.1.0.0 | ☑ | ☑ | 0 |
| callipyge.0.2 | ☑ | ☑ | 1 |
| camelot.1.7.0 | ☑ | ☑ | 0 |
| camels.0.0.4 | ☑ | ☑ | 0 |
| camelsnakekebab.0.4 | ☑ | ☒ | 0 |
| caml-mode.4.06 | ☑ | ☑ | 2 |
| camlbz2.0.7.0 | ☑ | ☑ | 4 |
| camlgpc.1.0 | ☑ | ☑ | 0 |
| camlidl.1.09 | ☑ | ☑ | 20 |
| camlimages.5.0.4 | ☑ | ☑ | 6 |
| camlmix.1.3.0 | ☑ | ☑ | 1 |
| camlon.3.0.0 | ☑ | ☑ | 9 |
| camlp4.4.10+1 | ☑ | ☑ | 2919 |
| camlp5.8.00.01 | ☑ | ☒ | 18 |
| camlpdf.2.3 | ☑ | ☑ | 3 |
| camlprime.0.5 | ☑ | ☑ | 0 |
| camltc.0.9.8 | ☑ | ☑ | 6 |
| camlzip.1.10 | ☑ | ☑ | 2919 |
| camomile.1.0.2 | ☑ | ☑ | 2919 |
| camyll.0.1.0 | ☑ | ☑ | 0 |
| capnp.3.4.0 | ☑ | ☒ | 10 |
| capnp-rpc.0.9.0 | ☑ | ☑ | 9 |
| capnp-rpc-lwt.0.9.0 | ☑ | ☑ | 8 |
| capnp-rpc-mirage.0.9.0 | ☑ | ☑ | 0 |
| capnp-rpc-net.0.9.0 | ☑ | ☑ | 5 |
| capnp-rpc-unix.0.9.0 | ☑ | ☑ | 3 |
| captureio.0.1.2 | ☑ | ☑ | 0 |
| caqti.1.3.0 | ☑ | ☑ | 23 |
| caqti-async.1.3.0 | ☑ | ☒ | 1 |
| caqti-driver-postgresql.1.3.0 | ☑ | ☑ | 0 |
| caqti-driver-sqlite3.1.3.0 | ☑ | ☑ | 18 |
| caqti-dynload.1.3.0 | ☑ | ☑ | 17 |
| caqti-lwt.1.3.0 | ☑ | ☑ | 14 |
| caqti-type-calendar.1.2.0 | ☑ | ☑ | 2 |
| carton.0.2.0 | ☑ | ☑ | 35 |
| carton-git.0.2.0 | ☑ | ☑ | 33 |
| carton-lwt.0.2.0 | ☑ | ☑ | 34 |
| catala.0.2.0 | ☑ | ☑ | 0 |
| cbor.0.4 | ☑ | ☑ | 1 |
| cconv.0.5 | ☑ | ☑ | 4 |
| cdrom.0.9.4 | ☑ | ☑ | 0 |
| certify.0.3.2 | ☑ | ☒ | 0 |
| cfg.2.2.1 | ☑ | ☑ | 1 |
| cfgen.1.0 | ☑ | ☑ | 0 |
| cfstream.1.3.1 | ☑ | ☑ | 3 |
| cgi.0.10 | ☑ | ☑ | 4 |
| cgroups.0.1 | ☑ | ☑ | 0 |
| chacha.1.0.0 | ☑ | ☑ | 0 |
| chalk.1.0 | ☑ | ☑ | 0 |
| charInfo_width.1.1.0 | ☑ | ☑ | 150 |
| charrua.1.3.0 | ☑ | ☑ | 6 |
| charrua-client.1.3.0 | ☑ | ☑ | 0 |
| charrua-client-lwt.1.2.2 | ☑ | ☑ | 2 |
| charrua-client-mirage.1.2.2 | ☑ | ☑ | 1 |
| charrua-core.0.12.0 | ☑ | ☑ | 5 |
| charrua-server.1.3.0 | ☑ | ☑ | 5 |
| charrua-unix.1.3.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.1 | ☑ | ☑ | 43 |
| choice.0.4 | ☑ | ☑ | 0 |
| cinaps.v0.15.1 | ☑ | ☑ | 2919 |
| clangml.4.4.0 | ☑ | ☑ | 1 |
| clangml-transforms.0.26 | ☑ | ☑ | 0 |
| 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.1 | ☑ | ☑ | 0 |
| cmarker.0.3.0 | ☑ | ☑ | 0 |
| cmdliner.1.0.4 | ☑ | ☑ | 2919 |
| cmdtui.0.4.3 | ☑ | ☑ | 1 |
| cmdtui-lambda-term.0.4.3 | ☑ | ☑ | 0 |
| cmitomli.1.0.0 | ☑ | ☑ | 0 |
| coccinelle.1.0.8 | ☑ | ☑ | 0 |
| cohttp.2.5.4 | ☑ | ☑ | 251 |
| cohttp-async.2.5.4 | ☑ | ☒ | 13 |
| cohttp-lwt.2.5.4 | ☑ | ☑ | 198 |
| cohttp-lwt-jsoo.2.5.4 | ☑ | ☑ | 1 |
| cohttp-lwt-unix.2.5.4 | ☑ | ☑ | 171 |
| cohttp-mirage.2.5.4 | ☑ | ☑ | 8 |
| cohttp-top.2.5.4 | ☑ | ☑ | 0 |
| coin.0.1.3 | ☑ | ☑ | 15 |
| colombe.0.4.0 | ☑ | ☑ | 7 |
| color.0.2.0 | ☑ | ☑ | 0 |
| color-brewery.0.2 | ☑ | ☒ | 0 |
| combinat.1.0 | ☑ | ☑ | 0 |
| combine.0.6 | ☑ | ☑ | 0 |
| command_rpc.v0.14.0 | ☑ | ☑ | 0 |
| conduit.3.0.0 | ☑ | ☑ | 188 |
| conduit-async.3.0.0 | ☑ | ☑ | 15 |
| conduit-async-ssl.3.0.0 | ☑ | ☑ | 13 |
| conduit-async-tls.3.0.0 | ☑ | ☒ | 0 |
| conduit-lwt.3.0.0 | ☑ | ☑ | 164 |
| conduit-lwt-ssl.3.0.0 | ☑ | ☑ | 1 |
| conduit-lwt-tls.3.0.0 | ☑ | ☑ | 160 |
| conduit-lwt-unix.2.3.0 | ☑ | ☑ | 173 |
| conduit-mirage.3.0.0 | ☑ | ☑ | 9 |
| conduit-tls.3.0.0 | ☑ | ☑ | 162 |
| conex.0.11.1 | ☑ | ☑ | 1 |
| conex-mirage-crypto.0.11.1 | ☑ | ☑ | 0 |
| conex-nocrypto.0.11.0 | ☑ | ☒ | 0 |
| conf-aclocal.2 | ☑ | ☑ | 16 |
| conf-adwaita-icon-theme.1 | ☑ | ☑ | 1 |
| conf-alsa.1 | ☑ | ☑ | 7 |
| conf-ao.1 | ☑ | ☑ | 5 |
| conf-asciidoc.1 | ☑ | ☑ | 1 |
| conf-autoconf.0.1 | ☑ | ☑ | 350 |
| conf-automake.1 | ☑ | ☑ | 18 |
| conf-binutils.0.3 | ☑ | ☑ | 12 |
| conf-bison.2 | ☑ | ☑ | 1 |
| conf-blas.1 | ☑ | ☑ | 22 |
| conf-bluetooth.1 | ☑ | ☑ | 2 |
| conf-bmake.1.0 | ☑ | ☑ | 9 |
| conf-boost.1 | ☑ | ☑ | 3 |
| conf-brotli.0.0.1 | ☑ | ☑ | 2 |
| conf-cairo.1 | ☑ | ☑ | 33 |
| conf-capnproto.1 | ☑ | ☑ | 11 |
| conf-clang.1 | ☑ | ☑ | 70 |
| conf-cmake.1 | ☑ | ☑ | 11 |
| conf-cpio.1 | ☑ | ☑ | 8 |
| conf-csdp.1 | ☑ | ☑ | 1 |
| conf-dbm.1.0.0 | ☑ | ☑ | 15 |
| conf-diffutils.1 | ☑ | ☑ | 0 |
| conf-dpkg.1 | ☑ | ☑ | 1 |
| conf-dssi.1 | ☑ | ☑ | 3 |
| conf-emacs.1 | ☑ | ☑ | 3 |
| conf-env-travis.1 | ☑ | ☑ | 14 |
| conf-expat.1 | ☑ | ☑ | 0 |
| conf-fftw3.1 | ☑ | ☑ | 1 |
| conf-findutils.1 | ☑ | ☑ | 2924 |
| conf-flex.2 | ☑ | ☑ | 1 |
| conf-freetype.1 | ☑ | ☑ | 31 |
| conf-ftgl.1 | ☑ | ☑ | 0 |
| conf-g++.1.0 | ☑ | ☑ | 33 |
| conf-gcc.1.0 | ☑ | ☑ | 0 |
| conf-gd.1 | ☑ | ☑ | 3 |
| conf-gfortran.0 | ☑ | ☑ | 13 |
| conf-git.1.0 | ☑ | ☑ | 1 |
| conf-glade.2 | ☑ | ☑ | 2920 |
| conf-gles2.1 | ☑ | ☑ | 2 |
| conf-glew.1 | ☑ | ☑ | 1 |
| conf-glfw3.2 | ☑ | ☑ | 2 |
| conf-glib-2.1 | ☑ | ☑ | 5 |
| conf-glpk.1 | ☑ | ☑ | 2 |
| conf-gmp.3 | ☑ | ☑ | 2923 |
| conf-gmp-powm-sec.3 | ☑ | ☑ | 2920 |
| conf-gnome-icon-theme3.0 | ☑ | ☑ | 0 |
| conf-gnomecanvas.2 | ☑ | ☑ | 2920 |
| conf-gnuplot.0.1 | ☑ | ☑ | 130 |
| conf-gnutls.1 | ☑ | ☑ | 2920 |
| conf-gobject-introspection.1.0 | ☑ | ☑ | 1 |
| conf-graphviz.0.1 | ☑ | ☑ | 6 |
| conf-gsl.2 | ☑ | ☑ | 12 |
| conf-gssapi.1 | ☑ | ☑ | 2920 |
| conf-gstreamer.1 | ☑ | ☑ | 5 |
| conf-gtk2.1 | ☑ | ☑ | 2920 |
| conf-gtk3.18 | ☑ | ☑ | 12 |
| conf-gtksourceview.2 | ☑ | ☑ | 2920 |
| conf-gtksourceview3.0+2 | ☑ | ☑ | 11 |
| conf-haveged.1.0.0 | ☑ | ☑ | 0 |
| conf-hidapi.0 | ☑ | ☑ | 63 |
| conf-ida.0.3 | ☒ | ☒ | 3 |
| conf-jack.1 | ☑ | ☑ | 3 |
| conf-jq.1 | ☑ | ☑ | 20 |
| conf-ladspa.1 | ☑ | ☑ | 4 |
| conf-lapack.1 | ☑ | ☑ | 22 |
| conf-leveldb.1 | ☑ | ☑ | 2 |
| conf-libMagickCore.1 | ☑ | ☑ | 0 |
| conf-libX11.1 | ☑ | ☑ | 2920 |
| conf-libbz2.1 | ☑ | ☑ | 5 |
| conf-libclang.12 | ☑ | ☑ | 2 |
| conf-libcurl.1 | ☑ | ☑ | 49 |
| conf-libev.4-11 | ☑ | ☑ | 2920 |
| conf-libevent.1 | ☑ | ☑ | 3 |
| conf-libffi.2.0.0 | ☑ | ☑ | 583 |
| conf-libflac.1 | ☑ | ☑ | 3 |
| conf-libfuse.1 | ☑ | ☑ | 2 |
| conf-libgif.1 | ☑ | ☑ | 2 |
| conf-libgsasl.1 | ☑ | ☑ | 1 |
| conf-libjpeg.1 | ☑ | ☑ | 3 |
| conf-liblinear-tools.1.0.0 | ☑ | ☑ | 1 |
| conf-liblz4.1 | ☑ | ☑ | 9 |
| 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-libpcre.1 | ☑ | ☑ | 2920 |
| conf-libpng.1 | ☑ | ☑ | 0 |
| conf-libsamplerate.1 | ☑ | ☑ | 4 |
| conf-libseccomp.1 | ☑ | ☑ | 931 |
| conf-libsodium.1 | ☑ | ☑ | 3 |
| conf-libspeex.1 | ☑ | ☑ | 3 |
| conf-libssl.3 | ☑ | ☑ | 2921 |
| conf-libsvm.3 | ☑ | ☑ | 0 |
| conf-libtool.1 | ☑ | ☑ | 1 |
| conf-libudev.1 | ☑ | ☑ | 1 |
| conf-libuv.1 | ☑ | ☑ | 3 |
| conf-libwayland.1 | ☑ | ☑ | 1 |
| conf-linux-libc-dev.0 | ☑ | ☑ | 26 |
| conf-llvm.9.0.0 | ☑ | ☑ | 8 |
| conf-lua.1 | ☒ | ☒ | 0 |
| conf-lz4.1.0.0 | ☑ | ☑ | 1 |
| conf-m4.1 | ☑ | ☑ | 2921 |
| conf-mbedtls.1 | ☑ | ☑ | 1 |
| conf-mecab.0.996 | ☑ | ☑ | 1 |
| conf-mpfr.2 | ☑ | ☑ | 18 |
| conf-mpi.1 | ☑ | ☑ | 5 |
| conf-mysql.1 | ☑ | ☑ | 14 |
| conf-nanomsg.0 | ☑ | ☑ | 1 |
| conf-nauty.1.0 | ☑ | ☑ | 0 |
| conf-ncurses.1 | ☑ | ☑ | 2920 |
| conf-neko.1 | ☑ | ☑ | 1 |
| conf-netsnmp.1.0.0 | ☑ | ☑ | 1 |
| conf-nlopt.1 | ☑ | ☑ | 2 |
| conf-npm.1 | ☑ | ☑ | 9 |
| conf-numa.0.1.0 | ☑ | ☑ | 1 |
| conf-ode.1 | ☑ | ☑ | 0 |
| conf-oniguruma.1 | ☑ | ☑ | 2 |
| conf-openbabel.0.1 | ☒ | ☒ | 1 |
| conf-openblas.0.2.1 | ☑ | ☑ | 15 |
| conf-openimageio.1 | ☑ | ☑ | 1 |
| conf-openjdk.1 | ☑ | ☑ | 1 |
| conf-openssl.2 | ☑ | ☑ | 1 |
| conf-pam.1 | ☑ | ☑ | 1 |
| conf-pandoc.0.1 | ☑ | ☑ | 151 |
| conf-pango.1 | ☑ | ☑ | 3 |
| conf-perl.1 | ☑ | ☑ | 2926 |
| conf-perl-ipc-system-simple.1 | ☑ | ☑ | 19 |
| conf-perl-string-shellquote.1 | ☑ | ☑ | 19 |
| conf-pixz.1 | ☑ | ☑ | 0 |
| conf-pkg-config.2 | ☑ | ☑ | 3017 |
| conf-plplot.1 | ☑ | ☑ | 13 |
| conf-portaudio.1 | ☑ | ☑ | 4 |
| conf-postgresql.1 | ☑ | ☑ | 25 |
| conf-ppl.1 | ☑ | ☑ | 13 |
| 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 | ☑ | ☑ | 10 |
| conf-python-3-dev.1 | ☑ | ☑ | 10 |
| conf-python3-yaml.1 | ☑ | ☑ | 1 |
| conf-r.1.0.0 | ☑ | ☑ | 7 |
| conf-r-mathlib.1 | ☑ | ☑ | 1 |
| conf-radare2.0.1 | ☑ | ☑ | 2 |
| conf-rdkit.1 | ☑ | ☑ | 4 |
| conf-rocksdb.1 | ☑ | ☑ | 2 |
| conf-ruby.1.0.0 | ☑ | ☑ | 2 |
| conf-rust.0.1 | ☑ | ☑ | 130 |
| conf-rust-2018.1 | ☑ | ☑ | 1 |
| 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 | ☑ | ☑ | 16 |
| conf-sdl2-image.1 | ☑ | ☑ | 1 |
| conf-sdl2-mixer.1 | ☑ | ☑ | 0 |
| conf-sdl2-net.1 | ☑ | ☑ | 0 |
| conf-sdl2-ttf.1 | ☑ | ☑ | 6 |
| conf-sdpa.1 | ☑ | ☑ | 1 |
| conf-secp256k1.1.0.0 | ☑ | ☑ | 2 |
| conf-sfml2.1 | ☑ | ☑ | 1 |
| conf-snappy.1 | ☑ | ☑ | 4 |
| conf-soundtouch.1 | ☑ | ☑ | 3 |
| conf-sqlite3.1 | ☑ | ☑ | 68 |
| conf-swi-prolog.1 | ☑ | ☑ | 1 |
| conf-tcl.1 | ☑ | ☑ | 6 |
| conf-texlive.1 | ☑ | ☑ | 1 |
| conf-tidy.1 | ☑ | ☑ | 1 |
| conf-time.1 | ☑ | ☑ | 1104 |
| conf-timeout.1 | ☑ | ☑ | 0 |
| conf-tk.1 | ☑ | ☑ | 6 |
| conf-tzdata.1 | ☑ | ☑ | 0 |
| conf-vim.1 | ☑ | ☑ | 0 |
| conf-wayland-protocols.1 | ☑ | ☑ | 1 |
| conf-wget.1 | ☑ | ☑ | 4 |
| conf-which.1 | ☑ | ☑ | 2933 |
| conf-xen.1 | ☑ | ☑ | 905 |
| conf-xkbcommon.1 | ☑ | ☑ | 1 |
| conf-zlib.1 | ☑ | ☑ | 2920 |
| conf-zmq.0.1 | ☑ | ☑ | 19 |
| conf-zstd.1.3.8 | ☑ | ☑ | 2 |
| config-file.1.2 | ☑ | ☑ | 9 |
| configuration.0.4.1 | ☑ | ☑ | 1 |
| configurator.v0.11.0 | ☑ | ☑ | 2919 |
| conformist.0.1.0 | ☑ | ☑ | 13 |
| conjury.2.0.1 | ☑ | ☒ | 1 |
| containers.3.2 | ☑ | ☒ | 93 |
| containers-data.3.2 | ☑ | ☑ | 5 |
| containers-thread.3.2 | ☑ | ☒ | 0 |
| cookie.0.1.8 | ☑ | ☑ | 3 |
| cookies.1.0.0 | ☑ | ☑ | 0 |
| coq.8.13.1 | ☑ | ☒ | 13 |
| coq-native.1 | ☑ | ☑ | 17 |
| coq-of-ocaml.2.4.0 | ☑ | ☑ | 0 |
| coq-serapi.8.12.0+0.12.0 | ☑ | ☒ | 0 |
| coq-shell.1 | ☑ | ☑ | 0 |
| coqide.8.13.1 | ☑ | ☒ | 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 | ☑ | ☑ | 1183 |
| core_bench.v0.14.0 | ☑ | ☑ | 3 |
| core_extended.v0.14.0 | ☑ | ☑ | 6 |
| core_kernel.v0.14.1+multicore | ☒ | ☑ | -1 |
| core_profiler.v0.14.0 | ☑ | ☒ | 0 |
| corecount.1.0.0 | ☑ | ☑ | 0 |
| cosovo.3 | ☑ | ☑ | 0 |
| cow.2.4.0 | ☑ | ☑ | 34 |
| cowabloga.0.5.0 | ☑ | ☑ | 0 |
| cpdf.2.3 | ☑ | ☑ | 0 |
| cpm.12.0.0 | ☑ | ☑ | 11 |
| cppo.1.6.7 | ☑ | ☑ | 2919 |
| cppo_ocamlbuild.1.6.7 | ☑ | ☑ | 2919 |
| cpu.2.0.0 | ☑ | ☑ | 8 |
| cpuid.0.1.2 | ☑ | ☑ | 369 |
| craml.1.0.0 | ☑ | ☑ | 19 |
| crc.2.1.0 | ☑ | ☑ | 2 |
| crdt-ml.0.10.0 | ☒ | ☒ | 0 |
| crlibm.0.4 | ☑ | ☑ | 2 |
| crontab.0.1 | ☑ | ☑ | 0 |
| crowbar.0.2 | ☑ | ☑ | 480 |
| crunch.3.2.0 | ☑ | ☑ | 40 |
| cry.0.6.5 | ☑ | ☑ | 2 |
| crypt.1.3 | ☑ | ☑ | 0 |
| cryptodbm.0.84.2 | ☑ | ☑ | 0 |
| cryptohash.0.1.2 | ☑ | ☒ | 0 |
| cryptokit.1.16.1 | ☑ | ☑ | 2919 |
| cryptoverif.2.04 | ☑ | ☑ | 0 |
| csexp.1.4.0 | ☑ | ☑ | 2919 |
| css-parser.0.2.5 | ☑ | ☑ | 0 |
| cstruct.6.0.0 | ☑ | ☑ | 1091 |
| cstruct-async.6.0.0 | ☑ | ☑ | 1 |
| cstruct-lwt.6.0.0 | ☑ | ☑ | 422 |
| cstruct-sexp.6.0.0 | ☑ | ☑ | 958 |
| cstruct-unix.6.0.0 | ☑ | ☑ | 956 |
| csv.2.4 | ☑ | ☑ | 31 |
| csv-lwt.2.4 | ☑ | ☑ | 0 |
| csvfields.v0.14.0 | ☑ | ☑ | 4 |
| csvtool.2.4 | ☑ | ☑ | 0 |
| ctypes.0.18.0 | ☑ | ☒ | 318 |
| ctypes-build.0.0.2 | ☑ | ☑ | 2 |
| ctypes-foreign.0.18.0 | ☑ | ☑ | 582 |
| ctypes-zarith.0.2.0 | ☑ | ☑ | 1 |
| cubicle.1.1.2 | ☑ | ☑ | 0 |
| cudf.0.9-1 | ☑ | ☑ | 25 |
| cuid.0.2 | ☑ | ☒ | 0 |
| cumulus.0.0.1 | ☑ | ☑ | 0 |
| curly.0.2.0 | ☑ | ☑ | 4 |
| current.0.4 | ☑ | ☑ | 8 |
| current_ansi.0.4 | ☑ | ☑ | 3 |
| current_docker.0.4 | ☑ | ☑ | 1 |
| current_examples.0.4 | ☑ | ☒ | 0 |
| current_git.0.4 | ☑ | ☑ | 5 |
| current_github.0.4 | ☑ | ☒ | 1 |
| current_incr.0.4 | ☑ | ☑ | 9 |
| current_ocluster.0.1 | ☑ | ☑ | 1 |
| current_rpc.0.4 | ☑ | ☑ | 1 |
| current_slack.0.4 | ☑ | ☑ | 0 |
| current_web.0.4 | ☑ | ☒ | 2 |
| curses.1.0.6 | ☑ | ☑ | 8 |
| curve-sampling.0.2 | ☑ | ☑ | 0 |
| cviode.0.0.4 | ☑ | ☑ | 0 |
| daft.0.0.3 | ☑ | ☑ | 0 |
| dap.1.0.6 | ☑ | ☑ | 1 |
| data-encoding.0.3 | ☑ | ☑ | 1 |
| dataframe.0.1 | ☑ | ☑ | 0 |
| datakit-client.1.0.0 | ☑ | ☑ | 7 |
| datakit-client-9p.1.0.0 | ☑ | ☑ | 5 |
| datakit-server.1.0.0 | ☑ | ☑ | 5 |
| datakit-server-9p.1.0.0 | ☑ | ☑ | 4 |
| datalog.0.6 | ☑ | ☑ | 0 |
| daypack-lib.0.0.6 | ☑ | ☑ | 1 |
| dbf.0.1.1 | ☑ | ☑ | 0 |
| dbm.1.2 | ☑ | ☑ | 14 |
| debian-formats.0.1.2 | ☑ | ☒ | 1 |
| decimal.0.2.1 | ☑ | ☑ | 0 |
| decoders.0.5.0 | ☑ | ☑ | 7 |
| decoders-bencode.0.5.0 | ☑ | ☒ | 0 |
| decoders-cbor.0.5.0 | ☑ | ☒ | 0 |
| decoders-ezjsonm.0.5.0 | ☑ | ☒ | 0 |
| decoders-jsonm.0.5.0 | ☑ | ☒ | 0 |
| decoders-msgpck.0.5.0 | ☑ | ☒ | 0 |
| decoders-sexplib.0.5.0 | ☑ | ☒ | 0 |
| decoders-yojson.0.5.0 | ☑ | ☒ | 0 |
| decompress.1.2.0 | ☑ | ☑ | 39 |
| dedukti.2.6.0 | ☑ | ☑ | 1 |
| delimcc.2020.10.08 | ☑ | ☒ | 84 |
| delimited_parsing.v0.14.0 | ☑ | ☑ | 0 |
| depgraph.0.1.0 | ☑ | ☒ | 0 |
| depyt.0.2.0 | ☑ | ☑ | 0 |
| deriving.0.8.1 | ☑ | ☑ | 2919 |
| devkit.1.20210120 | ☑ | ☒ | 1 |
| diet.0.4 | ☑ | ☒ | 22 |
| digestif.1.0.0 | ☑ | ☑ | 152 |
| directories.0.2 | ☑ | ☑ | 2 |
| dispatch.0.5.0 | ☑ | ☑ | 14 |
| dispatch-js.0.5.0 | ☑ | ☑ | 0 |
| distributed.0.6.0 | ☑ | ☑ | 2 |
| distributed-lwt.0.2.0 | ☑ | ☑ | 0 |
| distributed-uwt.0.2.0 | ☑ | ☒ | 0 |
| diy.5.01 | ☑ | ☑ | 0 |
| dkim.0.1.0 | ☑ | ☑ | 1 |
| dkim-mirage.0.1.0 | ☑ | ☑ | 0 |
| dlist.0.1.0 | ☑ | ☒ | 1 |
| dlm.0.3.1 | ☑ | ☑ | 0 |
| dns.4.6.3 | ☑ | ☑ | 276 |
| dns-async.1.1.3 | ☑ | ☒ | 0 |
| dns-certify.4.6.3 | ☑ | ☑ | 1 |
| dns-cli.4.6.3 | ☑ | ☑ | 0 |
| dns-client.4.6.3 | ☑ | ☑ | 18 |
| dns-forward.0.10.0 | ☑ | ☑ | 1 |
| dns-forward-lwt-unix.0.9.0 | ☑ | ☑ | 0 |
| dns-lwt.1.1.3 | ☑ | ☑ | 286 |
| dns-lwt-unix.1.1.3 | ☑ | ☑ | 0 |
| dns-mirage.4.6.3 | ☑ | ☑ | 5 |
| dns-resolver.4.6.3 | ☑ | ☑ | 1 |
| dns-server.4.6.3 | ☑ | ☑ | 3 |
| dns-stub.4.6.3 | ☑ | ☑ | 0 |
| dns-tsig.4.6.3 | ☑ | ☑ | 7 |
| dnssd.0.5.0 | ☑ | ☑ | 1 |
| docker-api.0.2.1 | ☑ | ☑ | 0 |
| dockerfile.7.1.0 | ☑ | ☑ | 9 |
| dockerfile-cmd.7.1.0 | ☑ | ☑ | 2 |
| dockerfile-opam.7.1.0 | ☑ | ☑ | 3 |
| docout.0.0.1 | ☑ | ☑ | 2 |
| doi2bib.0.2.1 | ☑ | ☑ | 0 |
| dokeysto.4.0.0 | ☑ | ☑ | 6 |
| dokeysto_camltc.4.0.0 | ☑ | ☑ | 4 |
| dokeysto_lz4.4.0.0 | ☑ | ☑ | 0 |
| dolmen.0.4.1 | ☑ | ☑ | 7 |
| dolog.6.0.0 | ☑ | ☑ | 3 |
| domain-name.0.3.0 | ☑ | ☑ | 973 |
| domainslib.0.2.2 | ☒ | ☑ | -1 |
| dose3.6.1 | ☑ | ☒ | 0 |
| dot-merlin-reader.4.1 | ☑ | ☑ | 20 |
| dotenv.0.0.3 | ☑ | ☑ | 0 |
| down.0.0.3 | ☑ | ☑ | 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.2 | ☑ | ☑ | 2 |
| dual.0.1.0 | ☑ | ☒ | 0 |
| duff.0.3 | ☑ | ☑ | 36 |
| dum.1.0.1 | ☑ | ☑ | 0 |
| dune.2.8.2 | ☑ | ☑ | 2919 |
| dune-action-plugin.2.8.2 | ☑ | ☑ | 0 |
| dune-build-info.2.8.2 | ☑ | ☑ | 380 |
| dune-configurator.2.8.2 | ☑ | ☑ | 2919 |
| dune-deps.1.2.1 | ☑ | ☑ | 0 |
| dune-glob.2.8.2 | ☑ | ☑ | 1 |
| dune-private-libs.2.8.2 | ☑ | ☑ | 3 |
| dune-release.1.4.0 | ☑ | ☑ | 2 |
| dune-site.2.8.2 | ☑ | ☑ | 0 |
| duppy.0.9.0 | ☑ | ☑ | 2 |
| duration.0.1.3 | ☑ | ☑ | 940 |
| dyntype.0.9.0 | ☑ | ☑ | 42 |
| earley.3.0.0 | ☑ | ☒ | 1 |
| easy-format.1.3.2 | ☑ | ☑ | 2919 |
| easy_logging.0.7.1 | ☑ | ☑ | 1 |
| easy_logging_yojson.0.7.1 | ☑ | ☑ | 0 |
| ecaml.v0.14.0 | ☑ | ☑ | 1 |
| edn.0.1.6-1-gff9db95 | ☑ | ☒ | 0 |
| eigen.0.3.0 | ☑ | ☑ | 15 |
| either.1.0.0 | ☑ | ☑ | 112 |
| elasticsearch-cli.1.2 | ☑ | ☒ | 0 |
| electrod.0.7.1 | ☑ | ☑ | 0 |
| elina.1.1 | ☑ | ☑ | 0 |
| eliom.6.13.1 | ☑ | ☒ | 2 |
| elpi.1.13.0 | ☑ | ☒ | 0 |
| email_message.v0.14.0 | ☑ | ☑ | 1 |
| embedded_ocaml_templates.0.5.1 | ☑ | ☒ | 0 |
| emile.1.1 | ☑ | ☑ | 46 |
| emoji.1.1.0 | ☑ | ☑ | 0 |
| encore.0.7 | ☑ | ☑ | 33 |
| enumerators.0.2.0 | ☑ | ☒ | 0 |
| eqaf.0.7 | ☑ | ☑ | 401 |
| esgg.20190322 | ☑ | ☑ | 0 |
| ethernet.2.2.0 | ☑ | ☑ | 310 |
| exenum.0.86 | ☑ | ☑ | 0 |
| exit.0.0.1 | ☑ | ☑ | 0 |
| exn-source.0.1 | ☑ | ☑ | 0 |
| expect.0.0.6 | ☑ | ☑ | 2919 |
| expect_test_helpers.v0.13.0 | ☑ | ☒ | 2 |
| expect_test_helpers_async.v0.14.0 | ☑ | ☑ | 0 |
| expect_test_helpers_core.v0.14.0 | ☑ | ☑ | 3 |
| expect_test_helpers_kernel.v0.13.0 | ☑ | ☒ | 6 |
| extlib.1.7.8 | ☑ | ☑ | 60 |
| extprot.1.7.0 | ☑ | ☒ | 0 |
| extunix.0.2.0 | ☑ | ☒ | 18 |
| ez_cmdliner.0.2.0 | ☑ | ☑ | 4 |
| ez_config.0.1.1 | ☑ | ☑ | 4 |
| ez_file.0.2.0 | ☑ | ☑ | 5 |
| ez_opam_file.0.1.0 | ☑ | ☑ | 2 |
| ez_subst.0.1.0 | ☑ | ☑ | 5 |
| 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 | ☑ | ☑ | 0 |
| ezjs_jquery.0.1 | ☑ | ☑ | 0 |
| ezjs_min.0.2.1 | ☑ | ☑ | 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 | ☑ | ☑ | 241 |
| 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 | ☑ | ☑ | 19 |
| faad.0.5.0 | ☑ | ☑ | 2 |
| facile.1.1.4 | ☑ | ☑ | 0 |
| facteur.0.1.0 | ☑ | ☒ | 0 |
| fadbadml.0.1.2 | ☑ | ☑ | 0 |
| faraday.0.7.2 | ☑ | ☑ | 45 |
| faraday-async.0.7.2 | ☑ | ☑ | 4 |
| faraday-lwt.0.7.2 | ☑ | ☑ | 23 |
| faraday-lwt-unix.0.7.2 | ☑ | ☑ | 20 |
| farfadet.0.3 | ☑ | ☑ | 0 |
| farmhash.0.3 | ☑ | ☑ | 0 |
| fat-filesystem.0.15.0 | ☑ | ☑ | 2 |
| fd-send-recv.2.0.1 | ☑ | ☑ | 400 |
| feat.20201231 | ☑ | ☑ | 0 |
| feather.0.1.0 | ☑ | ☑ | 1 |
| feather_async.0.1.0 | ☑ | ☑ | 0 |
| febusy.0.0.0 | ☑ | ☑ | 0 |
| ff.0.6.1 | ☑ | ☑ | 0 |
| ff-bench.0.6.1 | ☑ | ☒ | 0 |
| ff-pbt.0.6.1 | ☑ | ☑ | 2 |
| ff-sig.0.6.1 | ☑ | ☑ | 8 |
| ffmpeg.0.4.3 | ☑ | ☑ | 3 |
| fftw3.0.8.4 | ☑ | ☑ | 0 |
| fiat-p256.0.2.3 | ☑ | ☑ | 316 |
| fieldslib.v0.14.0 | ☑ | ☑ | 2919 |
| fileutils.0.6.3 | ☑ | ☒ | 2919 |
| finch.0.1 | ☑ | ☒ | 0 |
| findlib_top.v0.11.0 | ☑ | ☑ | 0 |
| fix.20201120 | ☑ | ☑ | 400 |
| flac.0.2.0 | ☑ | ☑ | 2 |
| flex-array.1.2.0 | ☑ | ☑ | 0 |
| flock.1.0.0 | ☑ | ☑ | 0 |
| fluent-logger.1.1.0 | ☑ | ☑ | 0 |
| fm-simplex-plugin.1.30 | ☑ | ☑ | 0 |
| fmlib.0.1.0 | ☑ | ☑ | 0 |
| fmt.0.8.9 | ☑ | ☑ | 2919 |
| format.0.1 | ☑ | ☑ | 0 |
| fpath.0.7.3 | ☑ | ☑ | 2919 |
| frama-c.22.0 | ☑ | ☒ | 3 |
| frama-c-metacsl.0.1 | ☑ | ☒ | 0 |
| freetds.0.7 | ☑ | ☑ | 1 |
| freetennis.0.4.8 | ☑ | ☒ | 0 |
| frei0r.0.1.1 | ☑ | ☑ | 2 |
| fsml.0.2.1 | ☑ | ☑ | 0 |
| fstreams.0.2.1 | ☑ | ☑ | 0 |
| functoria.3.1.1 | ☑ | ☑ | 917 |
| functoria-runtime.3.0.3 | ☑ | ☑ | 916 |
| functory.0.6 | ☑ | ☑ | 2 |
| funfields.0.04 | ☑ | ☑ | 0 |
| gadelac.0.6.1 | ☑ | ☑ | 0 |
| gammu.0.9.4 | ☑ | ☑ | 0 |
| gapi-ocaml.0.4.1 | ☑ | ☒ | 1 |
| gappa.1.3.5 | ☑ | ☑ | 0 |
| gavl.0.1.6 | ☑ | ☑ | 2 |
| gd.1.0a5 | ☑ | ☑ | 2 |
| gdal.0.10.0 | ☑ | ☑ | 0 |
| gdbprofiler.0.3 | ☑ | ☑ | 0 |
| gedcom.1.0.0 | ☑ | ☑ | 0 |
| gen.0.5.3 | ☑ | ☑ | 140 |
| gen-bs.0.0.0 | ☑ | ☑ | 0 |
| gen_js_api.1.0.6 | ☑ | ☑ | 45 |
| genprint.0.4 | ☑ | ☑ | 0 |
| genspio.0.0.2 | ☑ | ☑ | 0 |
| genspir.1.0.0 | ☑ | ☑ | 0 |
| geoip.0.0.3 | ☑ | ☑ | 0 |
| get_line.7.0.0 | ☑ | ☑ | 1 |
| getopt.20120615 | ☑ | ☑ | 1 |
| getopts.0.4.0 | ☑ | ☑ | 1 |
| gettext.0.4.2 | ☑ | ☑ | 2919 |
| gettext-camomile.0.4.2 | ☑ | ☒ | 0 |
| gettext-stub.0.4.2 | ☑ | ☒ | 0 |
| gg.0.9.3 | ☑ | ☑ | 8 |
| git.3.3.0 | ☑ | ☑ | 32 |
| git-cohttp.3.3.0 | ☑ | ☑ | 28 |
| git-cohttp-mirage.3.3.0 | ☑ | ☑ | 1 |
| git-cohttp-unix.3.3.0 | ☑ | ☑ | 27 |
| git-http.2.1.3 | ☑ | ☑ | 28 |
| git-mirage.3.3.0 | ☑ | ☑ | 6 |
| git-unix.3.3.0 | ☑ | ☑ | 26 |
| github.4.3.2 | ☑ | ☑ | 13 |
| github-hooks.0.5.0 | ☑ | ☒ | 3 |
| github-hooks-unix.0.5.0 | ☑ | ☒ | 2 |
| github-jsoo.4.3.2 | ☑ | ☑ | 0 |
| github-unix.4.3.2 | ☑ | ☑ | 9 |
| glMLite.0.03.53 | ☑ | ☑ | 0 |
| gles3.20160307.alpha | ☒ | ☒ | 0 |
| glfw-ocaml.3.3 | ☑ | ☑ | 1 |
| glical.0.0.7 | ☑ | ☑ | 0 |
| glicko2.1.0.0 | ☑ | ☑ | 0 |
| glpk.0.1.8 | ☑ | ☑ | 0 |
| gluten.0.2.1 | ☑ | ☑ | 9 |
| gluten-async.0.2.1 | ☑ | ☒ | 1 |
| gluten-lwt.0.2.1 | ☑ | ☑ | 6 |
| gluten-lwt-unix.0.2.1 | ☑ | ☑ | 2 |
| gluten-mirage.0.2.1 | ☑ | ☑ | 1 |
| gmap.0.3.0 | ☑ | ☑ | 339 |
| gmp.6.2.1 | ☑ | ☑ | 0 |
| gmp-freestanding.6.2.0 | ☑ | ☑ | 363 |
| gmp-xen.6.0.0-1 | ☑ | ☑ | 364 |
| gnuplot.0.7 | ☑ | ☑ | 4 |
| gobba.0.4.2 | ☑ | ☑ | 0 |
| gobject-introspection.0.2 | ☑ | ☑ | 0 |
| goblint-cil.1.7.4 | ☑ | ☑ | 1 |
| google-drive-ocamlfuse.0.7.26 | ☑ | ☒ | 0 |
| gperftools.0.5 | ☑ | ☑ | 2 |
| gpr.1.5.0 | ☑ | ☒ | 0 |
| gpx.1.1.1 | ☑ | ☑ | 0 |
| gr.0.0.1 | ☑ | ☑ | 0 |
| grain_dypgen.0.2 | ☑ | ☑ | 1 |
| grain_wasm_spec.0.1 | ☑ | ☑ | 0 |
| graphics.5.1.1 | ☑ | ☑ | 2919 |
| graphicspdf.2.2.1 | ☑ | ☑ | 0 |
| graphlib.2.2.0 | ☑ | ☑ | 93 |
| graphql.0.13.0 | ☑ | ☑ | 10 |
| graphql-async.0.13.0 | ☑ | ☒ | 0 |
| graphql-cohttp.0.13.0 | ☑ | ☑ | 4 |
| graphql-lwt.0.13.0 | ☑ | ☑ | 6 |
| graphql_parser.0.13.0 | ☑ | ☑ | 11 |
| graphql_ppx.1.0.1 | ☒ | ☒ | 0 |
| gremlin.0.1.1 | ☑ | ☑ | 0 |
| grenier.0.11 | ☑ | ☒ | 5 |
| gsl.1.24.3 | ☑ | ☑ | 11 |
| gstreamer.0.3.1 | ☑ | ☑ | 4 |
| gufo.0.1.2 | ☑ | ☑ | 0 |
| gxl-light.1.0 | ☑ | ☑ | 0 |
| h2.0.7.0 | ☑ | ☑ | 4 |
| h2-async.0.6.1 | ☑ | ☒ | 0 |
| h2-lwt.0.6.1 | ☑ | ☑ | 2 |
| h2-lwt-unix.0.6.1 | ☑ | ☑ | 0 |
| h2-mirage.0.6.1 | ☑ | ☑ | 0 |
| hack_parallel.1.0.1 | ☑ | ☑ | 0 |
| hacl.0.3 | ☑ | ☑ | 101 |
| hacl-star.0.3.2 | ☑ | ☑ | 126 |
| hacl-star-raw.0.3.2 | ☑ | ☑ | 127 |
| hacl_x25519.0.2.2 | ☑ | ☑ | 319 |
| hamt.1.0.0 | ☑ | ☑ | 0 |
| hardcaml.v0.14.1 | ☑ | ☑ | 2 |
| hardcaml_waveterm.v0.14.0 | ☑ | ☑ | 0 |
| hashcons.1.3 | ☑ | ☑ | 297 |
| hashids.1.0.1 | ☑ | ☑ | 0 |
| hashset.1.0.0 | ☑ | ☑ | 0 |
| haxe.4.1.1 | ☑ | ☒ | 0 |
| hc.0.0.1 | ☑ | ☑ | 0 |
| hdf5.0.1.5 | ☑ | ☑ | 0 |
| hdfs.0.3 | ☒ | ☒ | 0 |
| headache.1.05 | ☑ | ☑ | 0 |
| heptagon.1.05.00 | ☑ | ☑ | 0 |
| herdtools7.7.56 | ☑ | ☑ | 0 |
| hevea.2.35 | ☑ | ☑ | 3 |
| hex.1.4.0 | ☑ | ☑ | 520 |
| hidapi.1.1.1 | ☑ | ☑ | 62 |
| higher.0.3.1 | ☑ | ☑ | 0 |
| higher_kinded.v0.14.1 | ☑ | ☑ | 5 |
| higlo.0.4 | ☑ | ☑ | 3 |
| hiredis.0.8 | ☑ | ☑ | 0 |
| hiredis-value.0.8 | ☑ | ☑ | 2 |
| hkdf.1.0.4 | ☑ | ☑ | 316 |
| hlarp.0.0.3 | ☑ | ☑ | 0 |
| hll.3.16 | ☑ | ☑ | 0 |
| hmap.0.8.1 | ☑ | ☑ | 58 |
| hpack.0.2.0 | ☑ | ☑ | 5 |
| hts_shrink.2.1.2 | ☑ | ☑ | 0 |
| http-cookie.3.0.0 | ☑ | ☑ | 0 |
| http-multipart-formdata.1.0.1 | ☑ | ☑ | 0 |
| httpaf.0.7.0 | ☑ | ☑ | 30 |
| httpaf-async.0.7.0 | ☑ | ☒ | 1 |
| httpaf-lwt-unix.0.7.0 | ☑ | ☑ | 16 |
| httpaf_caged.1.0.1 | ☑ | ☒ | 0 |
| huffman.0.1.2 | ☑ | ☑ | 0 |
| humane-re.0.1.1 | ☑ | ☑ | 1 |
| hvsock.2.0.0 | ☑ | ☑ | 4 |
| hweak.1.1 | ☑ | ☑ | 0 |
| hxd.0.2.0 | ☑ | ☑ | 57 |
| i2c.0.1.2-0 | ☑ | ☑ | 0 |
| i3ipc.0.3 | ☑ | ☑ | 1 |
| icalendar.0.1.4 | ☑ | ☑ | 0 |
| idd.0.1 | ☑ | ☑ | 0 |
| idds.0.2 | ☑ | ☑ | 1 |
| igvxml.0.1.0 | ☑ | ☑ | 0 |
| imagelib.20210116 | ☑ | ☑ | 0 |
| incr_dom.v0.14.0 | ☑ | ☑ | 5 |
| incr_dom_interactive.v0.14.0 | ☑ | ☑ | 1 |
| incr_dom_keyboard.v0.14.0 | ☑ | ☑ | 0 |
| incr_dom_partial_render.v0.14.0 | ☑ | ☑ | 0 |
| incr_dom_sexp_form.v0.14.0 | ☑ | ☑ | 0 |
| incr_dom_widgets.v0.13.0 | ☑ | ☒ | 0 |
| incr_map.v0.14.0 | ☑ | ☑ | 6 |
| incr_select.v0.14.0 | ☑ | ☑ | 6 |
| incremental.v0.14.0 | ☑ | ☑ | 8 |
| index.1.3.0 | ☑ | ☒ | 93 |
| index-bench.1.3.0 | ☑ | ☑ | 0 |
| inferno.20201104 | ☑ | ☑ | 0 |
| influxdb.0.3.0 | ☑ | ☑ | 2 |
| influxdb-async.0.3.0 | ☑ | ☒ | 0 |
| influxdb-lwt.0.3.0 | ☑ | ☑ | 0 |
| inotify.2.3 | ☑ | ☑ | 38 |
| inquire.0.2.1 | ☑ | ☑ | 1 |
| inspect.0.2.1 | ☑ | ☑ | 0 |
| integers.0.4.0 | ☑ | ☑ | 538 |
| integers_stubs_js.1.0 | ☑ | ☑ | 0 |
| integration1d.0.5.1 | ☑ | ☑ | 0 |
| interface-prime.0.1 | ☑ | ☑ | 2 |
| interface-prime-lwt.0.1 | ☑ | ☑ | 0 |
| interval.1.5.1 | ☑ | ☑ | 0 |
| interval_base.1.5.1 | ☑ | ☑ | 3 |
| interval_crlibm.1.5.1 | ☑ | ☑ | 1 |
| interval_intel.1.5.1 | ☑ | ☑ | 1 |
| inuit.0.4.1 | ☑ | ☒ | 2 |
| io.0.2.0 | ☑ | ☑ | 0 |
| io-page.2.3.0 | ☑ | ☑ | 976 |
| io-page-unix.2.3.0 | ☑ | ☑ | 447 |
| io-page-xen.2.3.0 | ☑ | ☑ | 899 |
| ipaddr.5.0.1 | ☑ | ☑ | 972 |
| ipaddr-cstruct.5.0.1 | ☑ | ☑ | 319 |
| ipaddr-sexp.5.0.1 | ☑ | ☑ | 239 |
| ipv6-multicast.0.9 | ☑ | ☑ | 1 |
| ipv6-multicast-lwt.0.9 | ☑ | ☑ | 0 |
| irc-client.0.6.2 | ☑ | ☒ | 8 |
| irc-client-lwt.0.6.2 | ☑ | ☑ | 4 |
| irc-client-lwt-ssl.0.6.2 | ☑ | ☑ | 4 |
| irc-client-tls.0.6.2 | ☑ | ☒ | 2 |
| irc-client-unix.0.6.2 | ☑ | ☑ | 0 |
| iri.0.4.0 | ☑ | ☑ | 9 |
| irmin.2.5.1 | ☑ | ☑ | 103 |
| irmin-chunk.2.5.1 | ☑ | ☑ | 0 |
| irmin-containers.2.5.1 | ☑ | ☑ | 0 |
| irmin-fs.2.5.1 | ☑ | ☑ | 2 |
| irmin-git.2.5.1 | ☑ | ☑ | 5 |
| irmin-graphql.2.5.1 | ☑ | ☑ | 3 |
| irmin-http.2.5.1 | ☑ | ☑ | 2 |
| irmin-indexeddb.2.0 | ☑ | ☑ | 0 |
| irmin-layers.2.5.1 | ☑ | ☑ | 99 |
| irmin-mem.2.3.0 | ☑ | ☑ | 10 |
| irmin-mirage.2.5.1 | ☑ | ☑ | 2 |
| irmin-mirage-git.2.5.1 | ☑ | ☑ | 0 |
| irmin-mirage-graphql.2.5.1 | ☑ | ☑ | 0 |
| irmin-pack.2.5.1 | ☑ | ☒ | 91 |
| irmin-test.2.5.1 | ☑ | ☑ | 98 |
| irmin-unix.2.5.1 | ☑ | ☒ | 1 |
| irmin-watcher.0.4.1 | ☑ | ☑ | 27 |
| iso639.0.0.4 | ☒ | ☒ | 0 |
| iter.1.2.1 | ☑ | ☑ | 101 |
| itv-tree.2.1 | ☑ | ☑ | 1 |
| jane-street-headers.v0.14.0 | ☑ | ☑ | 2919 |
| javalib.3.2.1 | ☑ | ☑ | 1 |
| jbuilder.transition | ☑ | ☑ | 2919 |
| jekyll-format.0.1.0 | ☑ | ☑ | 0 |
| jemalloc.0.2 | ☑ | ☑ | 2 |
| jhupllib.0.2.2 | ☑ | ☑ | 1 |
| jingoo.1.4.3 | ☑ | ☑ | 4 |
| jose.0.5.1 | ☑ | ☑ | 1 |
| js-build-tools.113.33.04 | ☑ | ☑ | 2919 |
| js_of_ocaml.3.9.0 | ☑ | ☑ | 2919 |
| js_of_ocaml-camlp4.3.1.0 | ☑ | ☑ | 15 |
| js_of_ocaml-compiler.3.9.1 | ☑ | ☑ | 2919 |
| js_of_ocaml-lwt.3.9.0 | ☑ | ☑ | 10 |
| js_of_ocaml-ocamlbuild.3.9.0 | ☑ | ☑ | 8 |
| js_of_ocaml-ppx.3.9.0 | ☑ | ☑ | 77 |
| js_of_ocaml-ppx_deriving_json.3.9.0 | ☑ | ☑ | 0 |
| js_of_ocaml-toplevel.3.9.0 | ☑ | ☑ | 3 |
| js_of_ocaml-tyxml.3.9.0 | ☑ | ☑ | 6 |
| js_of_ocaml-webgpu.0.2 | ☑ | ☒ | 0 |
| js_of_ocaml-webidl.0.2 | ☑ | ☒ | 1 |
| json-data-encoding.0.9.1 | ☑ | ☑ | 15 |
| json-data-encoding-browser.0.9.1 | ☑ | ☑ | 0 |
| json-data-encoding-bson.0.9.1 | ☑ | ☑ | 12 |
| json-derivers.1.0.0 | ☑ | ☑ | 2 |
| json-rpc.0.5.0-0 | ☑ | ☑ | 0 |
| json-static.0.9.8 | ☑ | ☒ | 0 |
| json-wheel.1.0.6+safe-string | ☑ | ☒ | 4 |
| json_decoder.0.1.1 | ☑ | ☑ | 0 |
| json_of_jsonm.1.0.0 | ☑ | ☑ | 0 |
| jsondiff.0.0.1 | ☑ | ☑ | 0 |
| jsonm.1.0.1 | ☑ | ☑ | 462 |
| jsonoo.0.2.1 | ☑ | ☒ | 0 |
| jsonrpc.1.4.0 | ☑ | ☑ | 1 |
| jsoo_broadcastchannel.2.0.0 | ☑ | ☑ | 0 |
| jsoo_storage.1.0.1 | ☑ | ☑ | 0 |
| jst-config.v0.14.0 | ☑ | ☑ | 2919 |
| junit.2.0.2 | ☑ | ☑ | 28 |
| junit_alcotest.2.0.2 | ☑ | ☑ | 26 |
| junit_ounit.2.0.2 | ☑ | ☑ | 0 |
| jupyter.2.7.3 | ☑ | ☑ | 2 |
| jupyter-archimedes.2.7.2 | ☑ | ☑ | 0 |
| jupyter-kernel.0.7 | ☑ | ☑ | 0 |
| jwt.0.1 | ☑ | ☑ | 0 |
| jwto.0.3.0 | ☑ | ☑ | 13 |
| kafka.0.5 | ☑ | ☑ | 2 |
| kafka_async.0.5 | ☑ | ☒ | 0 |
| kafka_lwt.0.5 | ☑ | ☑ | 0 |
| kappa-agents.4.1.0 | ☒ | ☒ | 1 |
| kappa-binaries.4.1.0 | ☒ | ☒ | 1 |
| kappa-library.4.1.0 | ☒ | ☒ | 3 |
| kappa-server.4.1.0 | ☒ | ☒ | 0 |
| kaputt.1.2 | ☑ | ☑ | 5 |
| kcas.0.1.4 | ☒ | ☑ | -1 |
| ke.0.4 | ☑ | ☑ | 208 |
| key-parsers.1.0.0 | ☑ | ☒ | 1 |
| kicadsch.0.8.0 | ☑ | ☑ | 1 |
| kind2.1.3.0 | ☑ | ☑ | 0 |
| kinetic-client.0.0.11 | ☑ | ☑ | 0 |
| kubecaml.0.1.0 | ☑ | ☑ | 0 |
| kyotocabinet.0.2 | ☑ | ☑ | 0 |
| lablgl.1.06+multicore | ☒ | ☑ | -1 |
| lablgtk.2.18.11 | ☑ | ☒ | 2919 |
| lablgtk-extras.1.6 | ☑ | ☒ | 4 |
| lablgtk3.3.1.1 | ☑ | ☒ | 10 |
| lablgtk3-gtkspell3.3.1.1 | ☑ | ☒ | 0 |
| lablgtk3-sourceview3.3.1.1 | ☑ | ☒ | 6 |
| labltk.8.06.10 | ☑ | ☑ | 4 |
| labrys.0.1 | ☑ | ☑ | 0 |
| lacaml.11.0.8 | ☑ | ☑ | 20 |
| ladspa.0.2.0 | ☑ | ☑ | 3 |
| lambda.0.1.7 | ☑ | ☑ | 0 |
| lambda-term.3.1.0 | ☑ | ☑ | 148 |
| lambda_streams.0.1.2 | ☑ | ☑ | 2 |
| lambda_streams_async.0.1.2 | ☑ | ☒ | 0 |
| lambda_streams_lwt.0.1.2 | ☑ | ☑ | 0 |
| lambdasoup.0.7.2 | ☑ | ☒ | 15 |
| lame.0.3.4 | ☑ | ☑ | 2 |
| landmarks.1.3 | ☑ | ☒ | 0 |
| lascar.0.6.0 | ☑ | ☑ | 1 |
| lastfm.0.3.3 | ☑ | ☑ | 2 |
| lazy-trie.1.2.0 | ☑ | ☑ | 22 |
| lbfgs.0.9.3 | ☑ | ☑ | 4 |
| lbvs_consent.2.1.2 | ☒ | ☒ | 0 |
| ldap.2.4.2 | ☑ | ☒ | 1 |
| ledgerwallet.0.1.0 | ☑ | ☑ | 61 |
| ledgerwallet-tezos.0.1.0 | ☑ | ☑ | 60 |
| ledit.2.05 | ☑ | ☑ | 0 |
| lem.2020-06-03 | ☑ | ☑ | 2 |
| lemonade.0.6.0 | ☑ | ☑ | 3 |
| lemonade-sqlite.0.1.0 | ☑ | ☑ | 0 |
| lens.1.2.4 | ☑ | ☒ | 0 |
| let-if.0.2.0 | ☑ | ☑ | 0 |
| letsencrypt.0.2.3 | ☑ | ☒ | 1 |
| letters.0.2.1 | ☑ | ☑ | 2 |
| levenshtein.1.1.3 | ☑ | ☑ | 0 |
| libdash.0.1.1 | ☑ | ☑ | 0 |
| libevent.0.8.1 | ☑ | ☑ | 2 |
| libssh.0.1 | ☒ | ☒ | 0 |
| libsvm.0.10.0 | ☑ | ☑ | 0 |
| libtensorflow.0.1 | ☑ | ☑ | 1 |
| libtorch.1.7.0+linux-x86_64 | ☑ | ☑ | 1 |
| libudev.0.2.1 | ☑ | ☑ | 0 |
| libwasmtime.0.22.0+linux-x86_64 | ☑ | ☑ | 1 |
| libzipperposition.2.0 | ☑ | ☑ | 2 |
| lilac.0.1.1 | ☑ | ☑ | 0 |
| line-up-words.v0.14.0 | ☑ | ☒ | 0 |
| linenoise.1.3.1 | ☑ | ☑ | 21 |
| linkage.0.1 | ☑ | ☑ | 0 |
| links.0.9.2 | ☑ | ☑ | 3 |
| links-mysql.0.9.2 | ☑ | ☑ | 0 |
| links-postgresql.0.9.2 | ☑ | ☑ | 0 |
| links-sqlite3.0.9.2 | ☑ | ☑ | 0 |
| linksem.0.7 | ☑ | ☑ | 1 |
| linwrap.9.0.0 | ☑ | ☑ | 0 |
| lipsum.0.2 | ☑ | ☑ | 1 |
| liquidsoap.1.4.4 | ☑ | ☑ | 1 |
| liquidsoap-daemon.1.0.0 | ☑ | ☑ | 0 |
| llopt.1.0.0 | ☑ | ☑ | 0 |
| llvm.9.0.0 | ☑ | ☑ | 7 |
| llvmgraph.0.2 | ☑ | ☑ | 0 |
| lmdb.1.0 | ☑ | ☒ | 0 |
| lo.0.1.2 | ☑ | ☑ | 2 |
| lockfree.0.1.3 | ☒ | ☑ | -1 |
| loga.0.0.5 | ☑ | ☑ | 0 |
| logger-p5.0.4.5 | ☑ | ☑ | 4 |
| logical.0.3.0 | ☑ | ☑ | 0 |
| logs.0.7.0 | ☑ | ☑ | 2919 |
| logs-async.1.1 | ☑ | ☑ | 2 |
| logs-async-reporter.1.0 | ☑ | ☑ | 2 |
| logs-ppx.0.1.0 | ☑ | ☑ | 0 |
| logs-syslog.0.3.0 | ☑ | ☑ | 0 |
| logtk.2.0 | ☑ | ☑ | 3 |
| lp.0.3.0 | ☑ | ☑ | 2 |
| lp-glpk.0.3.0 | ☑ | ☑ | 0 |
| lp-gurobi.0.3.0 | ☑ | ☑ | 0 |
| lpd.1.2.2 | ☑ | ☑ | 0 |
| lpi.0.0.2 | ☑ | ☑ | 0 |
| lru.0.3.0 | ☑ | ☑ | 322 |
| lru-cache.0.3.0 | ☑ | ☑ | 0 |
| lsp.1.4.0 | ☑ | ☑ | 0 |
| lua-ml.0.9.2 | ☑ | ☑ | 1 |
| lua_parser.1.0.0 | ☑ | ☑ | 0 |
| lua_pattern.1.7 | ☑ | ☑ | 1 |
| lustre-v6.6.101.7 | ☒ | ☒ | 1 |
| lutils.1.49.5 | ☒ | ☒ | 3 |
| lutin.2.70.4 | ☒ | ☒ | 0 |
| luv.0.5.7 | ☑ | ☑ | 0 |
| lwd.0.1 | ☑ | ☑ | 4 |
| lwt.5.4.0 | ☑ | ☑ | 2919 |
| lwt-binio.0.2.1 | ☑ | ☑ | 0 |
| lwt-canceler.0.3 | ☑ | ☑ | 23 |
| lwt-dllist.1.0.0 | ☑ | ☑ | 912 |
| lwt-exit.1.0 | ☑ | ☑ | 0 |
| lwt-pipe.0.1 | ☑ | ☑ | 0 |
| lwt-pipeline.0.2 | ☑ | ☑ | 0 |
| lwt-watcher.0.1 | ☑ | ☑ | 54 |
| lwt-zmq.2.1.0 | ☑ | ☑ | 5 |
| lwt_camlp4.1.0.0 | ☑ | ☑ | 9 |
| lwt_glib.1.1.1 | ☑ | ☑ | 2 |
| lwt_log.1.1.1 | ☑ | ☑ | 436 |
| lwt_named_threads.0.1 | ☑ | ☒ | 0 |
| lwt_ppx.2.0.2 | ☑ | ☑ | 103 |
| lwt_react.1.1.4 | ☑ | ☑ | 187 |
| lwt_ssl.1.1.3 | ☑ | ☑ | 303 |
| lymp.0.2.5 | ☑ | ☑ | 1 |
| lz4.1.1.1 | ☑ | ☒ | 8 |
| lz4_chans.3.0.1 | ☑ | ☑ | 0 |
| lzo.0.0.2 | ☑ | ☑ | 0 |
| macaddr.5.0.1 | ☑ | ☑ | 977 |
| macaddr-cstruct.5.0.1 | ☑ | ☑ | 311 |
| macaddr-sexp.5.0.1 | ☑ | ☑ | 8 |
| macaque.0.7.4 | ☑ | ☑ | 2 |
| macaroons.0.1.0 | ☑ | ☑ | 0 |
| mad.0.5.0 | ☑ | ☑ | 4 |
| magic.0.7.3 | ☑ | ☑ | 2 |
| magic-mime.1.1.3 | ☑ | ☑ | 282 |
| maildir.0.9.0 | ☑ | ☑ | 0 |
| markdown.0.2.1 | ☑ | ☑ | 1 |
| markup.1.0.0-1 | ☑ | ☑ | 2919 |
| markup-lwt.0.5.0 | ☑ | ☑ | 1 |
| mastodon-archive-viewer.0.3 | ☑ | ☑ | 0 |
| matplotlib.0.1 | ☑ | ☑ | 0 |
| maxminddb.0.6 | ☑ | ☑ | 0 |
| mc2.0.1 | ☑ | ☑ | 0 |
| mccs.1.1+12 | ☑ | ☑ | 8 |
| md2mld.0.3.0 | ☑ | ☑ | 18 |
| mdx.1.8.1 | ☑ | ☑ | 156 |
| mecab.0.0.0 | ☑ | ☑ | 0 |
| mechaml.1.2.0 | ☑ | ☑ | 0 |
| memcpy.0.2.1 | ☑ | ☒ | 0 |
| memo.0.0.1 | ☑ | ☑ | 0 |
| menhir.20201216 | ☑ | ☑ | 2919 |
| menhirLib.20201216 | ☑ | ☑ | 2919 |
| menhirSdk.20201216 | ☑ | ☑ | 2919 |
| merge-fmt.0.2 | ☑ | ☑ | 0 |
| mergeable-vector.0.1.0 | ☑ | ☑ | 0 |
| merlin.3.4.2 | ☑ | ☑ | 19 |
| merlin-extend.0.6 | ☑ | ☑ | 23 |
| merlin-of-pds.1.4 | ☑ | ☑ | 5 |
| mesh.0.9.5 | ☑ | ☑ | 3 |
| mesh-display.0.8.9 | ☑ | ☑ | 0 |
| mesh-easymesh.0.9.5 | ☑ | ☑ | 0 |
| mesh-graphics.0.9.5 | ☑ | ☑ | 0 |
| mesh-triangle.0.9.5 | ☑ | ☑ | 0 |
| metapp.0.4.0 | ☑ | ☑ | 6 |
| metaquot.0.4.0 | ☑ | ☑ | 5 |
| metrics.0.2.0 | ☑ | ☑ | 406 |
| metrics-influx.0.2.0 | ☑ | ☑ | 2 |
| metrics-lwt.0.2.0 | ☑ | ☑ | 112 |
| metrics-mirage.0.2.0 | ☑ | ☑ | 0 |
| metrics-unix.0.2.0 | ☑ | ☑ | 110 |
| mew.0.1.0 | ☑ | ☑ | 150 |
| mew_vi.0.5.0 | ☑ | ☑ | 149 |
| mikmatch.1.0.9 | ☑ | ☑ | 0 |
| mimic.0.0.1 | ☑ | ☑ | 34 |
| mindstorm.0.8 | ☑ | ☑ | 1 |
| mindstorm-lwt.0.8 | ☑ | ☑ | 0 |
| minicaml.0.4 | ☑ | ☑ | 0 |
| minicli.5.0.2 | ☑ | ☑ | 13 |
| minilight.1.6 | ☑ | ☑ | 0 |
| minima-theme.1.0.0 | ☑ | ☑ | 0 |
| minimal.1.0.0 | ☑ | ☑ | 0 |
| minios-xen.0.9 | ☑ | ☑ | 2923 |
| minisat.0.3 | ☑ | ☑ | 3 |
| minivpt.2.0.0 | ☑ | ☑ | 1 |
| mirage.3.10.1 | ☑ | ☑ | 4 |
| mirage-block.2.0.1 | ☑ | ☑ | 332 |
| mirage-block-combinators.2.0.1 | ☑ | ☑ | 12 |
| mirage-block-lwt.1.2.0 | ☑ | ☑ | 330 |
| mirage-block-ramdisk.0.5 | ☑ | ☑ | 8 |
| mirage-block-solo5.0.6.1 | ☑ | ☑ | 0 |
| mirage-block-unix.2.12.1 | ☑ | ☑ | 21 |
| mirage-block-xen.2.0.0 | ☑ | ☑ | 0 |
| mirage-bootvar-solo5.0.6.0 | ☑ | ☑ | 0 |
| mirage-bootvar-unix.0.1.0 | ☑ | ☑ | 0 |
| mirage-bootvar-xen.0.8.0 | ☑ | ☑ | 0 |
| mirage-btrees.0.1.0 | ☑ | ☑ | 0 |
| mirage-channel.4.0.1 | ☑ | ☑ | 322 |
| mirage-channel-lwt.3.2.0 | ☑ | ☑ | 327 |
| mirage-clock.3.1.0 | ☑ | ☑ | 938 |
| mirage-clock-freestanding.3.1.0 | ☑ | ☑ | 890 |
| mirage-clock-lwt.2.0.0 | ☑ | ☑ | 932 |
| mirage-clock-unix.3.1.0 | ☑ | ☑ | 421 |
| mirage-clock-xen.1.1 | ☑ | ☑ | 890 |
| mirage-conduit.3.2.0 | ☑ | ☒ | 37 |
| mirage-console.4.0.0 | ☑ | ☑ | 333 |
| mirage-console-lwt.2.4.3 | ☑ | ☑ | 342 |
| mirage-console-solo5.0.6.1 | ☑ | ☑ | 0 |
| mirage-console-unix.4.0.0 | ☑ | ☑ | 298 |
| mirage-console-xen.4.0.0 | ☑ | ☑ | 0 |
| mirage-console-xen-backend.4.0.0 | ☑ | ☑ | 1 |
| mirage-console-xen-proto.4.0.0 | ☑ | ☑ | 3 |
| mirage-crypto.0.8.10 | ☑ | ☒ | 350 |
| mirage-crypto-entropy.0.6.2 | ☑ | ☑ | 0 |
| mirage-crypto-pk.0.8.10 | ☑ | ☒ | 333 |
| mirage-crypto-rng.0.8.10 | ☑ | ☒ | 340 |
| mirage-crypto-rng-async.0.8.10 | ☑ | ☒ | 0 |
| mirage-crypto-rng-mirage.0.8.10 | ☑ | ☑ | 0 |
| mirage-device.2.0.0 | ☑ | ☑ | 407 |
| mirage-dns.3.1.3 | ☑ | ☑ | 284 |
| mirage-entropy.0.5.1 | ☑ | ☑ | 353 |
| mirage-flow.2.0.1 | ☑ | ☑ | 377 |
| mirage-flow-combinators.2.0.1 | ☑ | ☑ | 327 |
| mirage-flow-lwt.1.6.0 | ☑ | ☑ | 345 |
| mirage-flow-rawlink.1.1.0 | ☑ | ☑ | 0 |
| mirage-flow-unix.2.0.1 | ☑ | ☑ | 1 |
| mirage-fs.3.0.1 | ☑ | ☑ | 324 |
| mirage-fs-lwt.2.0.0 | ☑ | ☑ | 326 |
| mirage-fs-mem.0.1.0 | ☑ | ☑ | 0 |
| mirage-fs-unix.1.7.0 | ☑ | ☑ | 33 |
| mirage-kv.3.0.1 | ☑ | ☑ | 349 |
| mirage-kv-lwt.2.0.0 | ☑ | ☑ | 358 |
| mirage-kv-mem.3.0.0 | ☑ | ☑ | 41 |
| mirage-kv-unix.2.1.0 | ☑ | ☑ | 0 |
| mirage-logs.1.2.0 | ☑ | ☑ | 0 |
| mirage-nat.2.2.3 | ☑ | ☑ | 0 |
| mirage-net.3.0.1 | ☑ | ☑ | 351 |
| mirage-net-fd.0.2.1 | ☑ | ☑ | 0 |
| mirage-net-flow.1.0.0 | ☑ | ☑ | 0 |
| mirage-net-lwt.2.0.0 | ☑ | ☑ | 354 |
| mirage-net-solo5.0.6.2 | ☑ | ☑ | 0 |
| mirage-net-unix.2.8.0 | ☑ | ☑ | 303 |
| mirage-net-xen.2.0.0 | ☑ | ☑ | 125 |
| mirage-no-solo5.1 | ☑ | ☑ | 362 |
| mirage-no-xen.1 | ☑ | ☑ | 363 |
| mirage-os-shim.3.1.0 | ☑ | ☑ | 354 |
| mirage-profile.0.9.1 | ☑ | ☑ | 938 |
| mirage-profile-unix.0.9.1 | ☑ | ☑ | 0 |
| mirage-profile-xen.0.9.1 | ☑ | ☑ | 0 |
| mirage-protocols.5.0.0 | ☑ | ☑ | 353 |
| mirage-protocols-lwt.3.1.0 | ☑ | ☑ | 346 |
| mirage-qubes.0.9.1 | ☑ | ☑ | 1 |
| mirage-qubes-ipv4.0.9.1 | ☑ | ☑ | 0 |
| mirage-random.2.0.0 | ☑ | ☑ | 350 |
| mirage-random-stdlib.0.1.0 | ☑ | ☑ | 0 |
| mirage-random-test.0.1.0 | ☑ | ☑ | 310 |
| mirage-runtime.3.10.1 | ☑ | ☑ | 915 |
| mirage-seal.0.4.2 | ☑ | ☑ | 0 |
| mirage-solo5.0.6.4 | ☑ | ☑ | 359 |
| mirage-stack.2.2.0 | ☑ | ☑ | 350 |
| mirage-stack-lwt.1.4.0 | ☑ | ☑ | 353 |
| mirage-tc.0.3.0 | ☑ | ☑ | 20 |
| mirage-time.2.0.1 | ☑ | ☑ | 376 |
| mirage-time-lwt.1.3.0 | ☑ | ☑ | 353 |
| mirage-time-unix.2.0.1 | ☑ | ☑ | 367 |
| mirage-types.3.10.1 | ☑ | ☑ | 320 |
| mirage-types-lwt.3.10.1 | ☑ | ☑ | 309 |
| mirage-unix.4.0.0 | ☑ | ☑ | 393 |
| mirage-vnetif.0.5.0 | ☑ | ☑ | 310 |
| mirage-xen.6.0.0 | ☑ | ☑ | 895 |
| mirage-xen-minios.0.9.3 | ☑ | ☑ | 2922 |
| mirage-xen-ocaml.3.3.3 | ☑ | ☑ | 2919 |
| mirage-xen-posix.3.3.1 | ☑ | ☑ | 2921 |
| misuja.0.0.0 | ☑ | ☑ | 2 |
| mixture.1.0.0 | ☑ | ☑ | 5 |
| mkaudio.1.1.1 | ☑ | ☒ | 0 |
| mkocaml.1.0 | ☑ | ☑ | 0 |
| mlbdd.0.7.2 | ☑ | ☒ | 3 |
| mlcuddidl.3.0.6 | ☑ | ☑ | 1 |
| mlfenv.1.0.0 | ☑ | ☑ | 0 |
| mlgmpidl.1.2.12 | ☑ | ☑ | 14 |
| mlmpfr.4.1.0 | ☑ | ☑ | 0 |
| mlpost.0.9 | ☑ | ☑ | 2 |
| mlpost-lablgtk.0.9 | ☑ | ☒ | 0 |
| mlt_parser.v0.14.0 | ☑ | ☑ | 1 |
| mm.0.7.1 | ☑ | ☑ | 2 |
| mmap.1.1.0 | ☑ | ☑ | 2919 |
| mmdb.0.3.0 | ☑ | ☑ | 0 |
| mmseg.transition | ☑ | ☑ | 0 |
| mock.0.1.1 | ☑ | ☑ | 2 |
| mock-ounit.0.1.1 | ☑ | ☒ | 1 |
| modular-arithmetic.0.1 | ☑ | ☒ | 0 |
| molenc.11.4.0 | ☑ | ☑ | 1 |
| monadlib.0.2 | ☑ | ☑ | 2 |
| monads.2.2.0 | ☑ | ☑ | 99 |
| monolith.20201026 | ☑ | ☑ | 45 |
| monomorphic.2.0 | ☑ | ☑ | 1 |
| morbig.0.10.3 | ☑ | ☑ | 1 |
| more-ocaml.1.0 | ☑ | ☑ | 0 |
| morsmall.0.2.0 | ☑ | ☑ | 0 |
| mosquitto.0.2.1-0 | ☑ | ☑ | 0 |
| moss.0.1.1 | ☑ | ☑ | 0 |
| mparser.1.2.3 | ☑ | ☑ | 9 |
| mperf.0.1.0 | ☑ | ☑ | 1 |
| mpg123.0.1 | ☑ | ☑ | 0 |
| mpi.1.05 | ☑ | ☑ | 4 |
| mpp.0.3.5 | ☑ | ☑ | 1 |
| mpris.0.2.0 | ☑ | ☑ | 1 |
| mpris-clients.0.2.0 | ☑ | ☑ | 0 |
| mrmime.0.3.2 | ☑ | ☑ | 13 |
| msat.0.9 | ☑ | ☑ | 5 |
| msat-bin.0.9 | ☑ | ☑ | 0 |
| msgpack.1.3.0 | ☑ | ☑ | 2 |
| msgpck.1.5 | ☑ | ☑ | 13 |
| msgpck-repr.1.5 | ☑ | ☑ | 0 |
| mssql.2.1.0 | ☑ | ☒ | 0 |
| mstruct.1.4.0 | ☑ | ☑ | 34 |
| mtime.1.2.0 | ☑ | ☑ | 2919 |
| mtl.1.0.0 | ☑ | ☑ | 0 |
| multipart-form-data.0.3.0 | ☑ | ☑ | 15 |
| multipart_form.0.1.0 | ☑ | ☑ | 0 |
| murmur3.0.2 | ☑ | ☑ | 0 |
| mustache.3.1.0 | ☑ | ☒ | 5 |
| mutf8.0.2 | ☑ | ☑ | 0 |
| mvar.1.0.0 | ☑ | ☑ | 0 |
| mwt.0.1.0 | ☑ | ☑ | 0 |
| mybuild.6 | ☑ | ☑ | 3 |
| mysql.1.2.4 | ☑ | ☑ | 12 |
| mysql8.1.0 | ☒ | ☒ | 0 |
| mysql_protocol.3.0.1 | ☑ | ☑ | 0 |
| naboris.0.1.3 | ☑ | ☑ | 0 |
| nacc.1.0 | ☑ | ☑ | 0 |
| named-pipe.0.4.0 | ☑ | ☑ | 13 |
| namespaces.0.5.1 | ☑ | ☑ | 0 |
| nbd.4.0.3 | ☑ | ☑ | 3 |
| netchannel.2.0.0 | ☑ | ☑ | 126 |
| netkat.0.1 | ☑ | ☒ | 0 |
| netlink.0.3.4 | ☑ | ☑ | 0 |
| netsnmp.v0.14.0 | ☑ | ☑ | 0 |
| nice_parser.1.0.0 | ☑ | ☑ | 1 |
| nlopt-ocaml.0.5.1 | ☑ | ☑ | 1 |
| nlp.0.0.1 | ☑ | ☑ | 0 |
| nmea.0.1.5 | ☑ | ☑ | 0 |
| nocoiner.1.0.0 | ☑ | ☒ | 0 |
| nocrypto.0.5.4-2 | ☑ | ☒ | 351 |
| nonstd.0.0.3 | ☑ | ☑ | 13 |
| nosetup.0.8.1 | ☑ | ☑ | 0 |
| not-ocamlfind.0.07.02 | ☑ | ☑ | 6 |
| note.0.0.1 | ☑ | ☑ | 1 |
| nottui.0.1 | ☑ | ☑ | 2 |
| nottui-lwt.0.1 | ☑ | ☑ | 0 |
| nottui-pretty.0.1 | ☑ | ☑ | 0 |
| notty.0.2.2 | ☑ | ☑ | 9 |
| notty_async.v0.14.0 | ☑ | ☑ | 1 |
| np.np1.19-0.3.1 | ☑ | ☑ | 2 |
| nproc.0.5.1 | ☑ | ☑ | 0 |
| npy.0.0.9 | ☑ | ☑ | 17 |
| nsq.0.5.3 | ☑ | ☑ | 0 |
| num.1.4 | ☑ | ☑ | 2919 |
| numalib.0.1.0 | ☑ | ☒ | 0 |
| nuscr.1.1.0 | ☑ | ☑ | 0 |
| oasis.0.4.11 | ☑ | ☑ | 2919 |
| oasis2debian.0.1.5 | ☑ | ☑ | 0 |
| oasis2opam.0.8 | ☑ | ☑ | 0 |
| obandit.0.3.4 | ☑ | ☑ | 0 |
| obeam.0.1.5 | ☑ | ☒ | 0 |
| obelisk.0.6.0 | ☑ | ☑ | 0 |
| obi.1.0.0 | ☑ | ☑ | 1 |
| objsize.0.18 | ☑ | ☒ | 1 |
| obuild.0.1.10 | ☑ | ☑ | 405 |
| obuilder.0.2 | ☑ | ☑ | 1 |
| obuilder-spec.0.2 | ☑ | ☑ | 2 |
| obus.1.2.3 | ☑ | ☑ | 5 |
| obytelib.1.5 | ☑ | ☑ | 1 |
| oc45.1.0.0 | ☑ | ☑ | 1 |
| ocal.0.2.2 | ☑ | ☑ | 0 |
| ocaml-basics.0.5.0 | ☑ | ☑ | 0 |
| ocaml-buddy.0.6.1 | ☑ | ☑ | 0 |
| ocaml-compiler-libs.v0.12.3 | ☑ | ☑ | 2919 |
| ocaml-expat.1.1.0 | ☑ | ☑ | 1 |
| ocaml-freestanding.0.6.3 | ☑ | ☑ | 925 |
| ocaml-http.0.1.6 | ☑ | ☒ | 0 |
| ocaml-inifiles.1.2 | ☑ | ☑ | 6 |
| ocaml-js-stdlib.1.0 | ☑ | ☑ | 3 |
| ocaml-logicalform.v0.6.0 | ☑ | ☑ | 0 |
| ocaml-lsp-server.1.4.0 | ☑ | ☑ | 0 |
| ocaml-lua.1.8 | ☑ | ☑ | 0 |
| ocaml-makefile.6.39.2 | ☑ | ☑ | 1 |
| ocaml-manual.4.10.0 | ☑ | ☑ | 0 |
| ocaml-markdown.transition | ☑ | ☑ | 0 |
| ocaml-migrate-parsetree.2.1.0 | ☑ | ☑ | 2919 |
| ocaml-migrate-parsetree-ocamlbuild.1.2.0 | ☑ | ☑ | 0 |
| ocaml-monadic.0.4.1 | ☑ | ☑ | 3 |
| ocaml-options-vanilla.1 | ☑ | ☒ | 0 |
| ocaml-print-intf.1.2.0 | ☑ | ☑ | 0 |
| ocaml-protoc.2.0.2 | ☑ | ☑ | 6 |
| ocaml-protoc-plugin.4.2.0 | ☑ | ☑ | 0 |
| ocaml-protoc-yojson.0.2.0 | ☑ | ☑ | 0 |
| ocaml-r.0.4.0 | ☑ | ☑ | 0 |
| ocaml-sat-solvers.0.4 | ☑ | ☑ | 1 |
| ocaml-secondary-compiler.4.10.0 | ☒ | ☑ | -1 |
| ocaml-src.4.10.0 | ☑ | ☑ | 2920 |
| ocaml-syntax-shims.1.0.0 | ☑ | ☑ | 2919 |
| ocaml-systemd.1.2 | ☑ | ☑ | 6 |
| ocaml-top.1.1.5 | ☑ | ☒ | 0 |
| ocaml-twt.0.94.0 | ☑ | ☑ | 1 |
| ocaml-vdom.0.2 | ☑ | ☑ | 0 |
| ocaml-version.3.1.0 | ☑ | ☑ | 483 |
| ocaml-xdg-basedir.0.0.3 | ☑ | ☑ | 3 |
| ocaml_db_model.0.1 | ☑ | ☒ | 0 |
| ocaml_pgsql_model.0.1 | ☑ | ☒ | 0 |
| ocaml_plugin.v0.14.0 | ☑ | ☒ | 0 |
| ocamlbrowser.4.10.0 | ☑ | ☑ | 0 |
| ocamlbuild.0.14.0 | ☑ | ☑ | 2927 |
| ocamlbuild-atdgen.0.1.0 | ☑ | ☑ | 0 |
| ocamlbuild-pkg.0.2.1 | ☑ | ☑ | 2 |
| ocamlbuild-protoc.0.1 | ☑ | ☑ | 0 |
| ocamlcodoc.1.0.1 | ☑ | ☑ | 2 |
| ocamldap.transition | ☑ | ☒ | 0 |
| ocamldiff.1.1 | ☑ | ☑ | 2 |
| ocamldsort.0.16.0 | ☑ | ☑ | 0 |
| ocamleditor.1.13.4~preview.4.10 | ☑ | ☒ | 0 |
| ocamlfind.1.8.1 | ☑ | ☑ | 2919 |
| ocamlfind-lint.0.1.0 | ☑ | ☑ | 0 |
| ocamlfind-secondary.1.8.1 | ☑ | ☑ | 2919 |
| ocamlformat.0.17.0 | ☑ | ☑ | 27 |
| ocamlfuse.2.7.1-cvs7 | ☑ | ☑ | 1 |
| ocamlgraph.2.0.0 | ☑ | ☑ | 988 |
| ocamlgraph_gtk.2.0.0 | ☑ | ☒ | 4 |
| ocamlify.0.0.1 | ☑ | ☑ | 2919 |
| ocamline.1.2 | ☑ | ☑ | 1 |
| ocamlmod.0.0.9 | ☑ | ☒ | 2919 |
| ocamlnet.4.1.8 | ☑ | ☒ | 2919 |
| ocamlpp.1.1 | ☑ | ☑ | 0 |
| ocamlrss.2.2.2 | ☑ | ☒ | 4 |
| ocamlscript.3.0.0 | ☑ | ☑ | 0 |
| ocamlsdl.0.9.1 | ☑ | ☑ | 10 |
| ocamlsdl2.0.04 | ☒ | ☒ | 2 |
| ocamlsdl2-image.0.01 | ☒ | ☒ | 0 |
| ocamlsdl2-ttf.0.02 | ☒ | ☒ | 0 |
| ocamlwc.0.3 | ☑ | ☑ | 0 |
| ocamlyices.0.7.1 | ☒ | ☒ | 0 |
| ocb.0.1 | ☑ | ☑ | 0 |
| ocb-stubblr.0.1.1-1 | ☑ | ☑ | 925 |
| ocephes.0.8.2 | ☑ | ☑ | 3 |
| oclock.0.4.0 | ☑ | ☑ | 5 |
| ocluster.0.1 | ☑ | ☑ | 0 |
| ocluster-api.0.1 | ☑ | ☑ | 2 |
| ocolor.1.2.1 | ☑ | ☑ | 0 |
| ocp-browser.1.2.2 | ☑ | ☑ | 0 |
| ocp-build.1.99.21 | ☑ | ☒ | 419 |
| ocp-indent.1.8.1 | ☑ | ☑ | 382 |
| ocp-indent-nlfork.1.5.4 | ☑ | ☑ | 2 |
| ocp-index.1.2.2 | ☑ | ☑ | 7 |
| ocp-ocamlres.0.4 | ☑ | ☑ | 107 |
| ocp-pack-split.1.0.1 | ☑ | ☑ | 0 |
| ocp-pp.1.99.19-beta | ☑ | ☑ | 8 |
| ocp-reloc.0.1 | ☑ | ☑ | 0 |
| ocp_reveal.0.1 | ☑ | ☑ | 0 |
| ocplib-endian.1.1 | ☑ | ☑ | 2919 |
| ocplib-json-typed.0.7.1 | ☑ | ☑ | 20 |
| ocplib-json-typed-browser.0.7.1 | ☑ | ☑ | 0 |
| ocplib-json-typed-bson.0.7.1 | ☑ | ☑ | 9 |
| ocplib-resto.0.1 | ☑ | ☒ | 0 |
| ocplib-simplex.0.4 | ☑ | ☑ | 13 |
| ocplib_stuff.0.3.0 | ☑ | ☑ | 7 |
| ocsfml.2.0 | ☒ | ☒ | 0 |
| ocsigen-i18n.3.7.0 | ☑ | ☑ | 1 |
| ocsigen-start.4.0.1 | ☑ | ☒ | 0 |
| ocsigen-toolkit.2.8.0 | ☑ | ☒ | 1 |
| ocsigenserver.2.18.0 | ☑ | ☒ | 10 |
| octavius.1.2.2 | ☑ | ☑ | 2919 |
| ocurl.0.9.1 | ☑ | ☑ | 48 |
| ocveralls.0.3.4 | ☑ | ☑ | 0 |
| odate.0.6 | ☑ | ☑ | 3 |
| odbc.3.0 | ☑ | ☑ | 0 |
| odds.1.0 | ☑ | ☑ | 0 |
| odepack.0.7.1 | ☑ | ☑ | 1 |
| odig.0.0.6 | ☑ | ☑ | 0 |
| odnnr.2.0.0 | ☒ | ☒ | 0 |
| odoc.1.5.2 | ☑ | ☑ | 2919 |
| offheap.0.1.2 | ☑ | ☒ | 0 |
| ofx.0.1.5 | ☑ | ☑ | 0 |
| ogg.0.6.1 | ☑ | ☑ | 9 |
| ogre.2.2.0 | ☑ | ☑ | 93 |
| oidc.0.1.1 | ☑ | ☑ | 0 |
| olinq.0.3 | ☑ | ☑ | 0 |
| ollvm.0.99 | ☑ | ☑ | 0 |
| ollvm-tapir.0.99.1 | ☑ | ☑ | 0 |
| olmi.1.1 | ☑ | ☑ | 0 |
| omake.0.10.3+multicore-1 | ☒ | ☒ | -1 |
| omd.1.3.1 | ☑ | ☑ | 56 |
| omg.0.0.1 | ☑ | ☑ | 0 |
| omigrate.0.1.0 | ☑ | ☑ | 0 |
| oml.0.0.7 | ☑ | ☑ | 2 |
| omlr.1.0.2 | ☑ | ☑ | 0 |
| omod.0.0.2 | ☑ | ☑ | 0 |
| omonad.0.4.0 | ☑ | ☑ | 0 |
| oniguruma.0.1.0 | ☑ | ☑ | 1 |
| oolc.0.3 | ☑ | ☑ | 0 |
| opaca.0.1.5 | ☑ | ☑ | 0 |
| opal.0.1.1 | ☑ | ☑ | 0 |
| opam-0install.0.4 | ☑ | ☑ | 0 |
| opam-0install-cudf.0.4 | ☑ | ☑ | 6 |
| opam-bin.1.0.0 | ☑ | ☑ | 0 |
| opam-bundle.0.4 | ☑ | ☑ | 0 |
| opam-ci.1.0.0 | ☑ | ☑ | 0 |
| opam-client.2.1.0~beta4 | ☑ | ☑ | 3 |
| opam-compiler.0.1.1 | ☑ | ☑ | 0 |
| opam-core.2.1.0~beta4 | ☑ | ☑ | 21 |
| opam-depext.1.1.5 | ☑ | ☑ | 1 |
| opam-devel.2.1.0~beta4 | ☑ | ☑ | 0 |
| opam-ed.0.3 | ☑ | ☑ | 0 |
| opam-file-format.2.1.2 | ☑ | ☑ | 34 |
| opam-format.2.1.0~beta4 | ☑ | ☑ | 20 |
| opam-installer.2.1.0~beta4 | ☑ | ☑ | 3 |
| opam-lib.1.3.1 | ☑ | ☑ | 8 |
| opam-lock.0.2 | ☑ | ☑ | 0 |
| opam-monorepo.0.2.1 | ☑ | ☑ | 0 |
| opam-package-upgrade.0.2 | ☑ | ☑ | 0 |
| opam-publish.2.0.3 | ☑ | ☑ | 4 |
| opam-repository.2.1.0~beta4 | ☑ | ☑ | 12 |
| opam-solver.2.1.0~beta4 | ☑ | ☑ | 5 |
| opam-state.2.1.0~beta4 | ☑ | ☑ | 11 |
| opam_bin_lib.1.0.0 | ☑ | ☑ | 1 |
| opamconfig.0.3.0 | ☑ | ☑ | 0 |
| opamfu.0.1.4 | ☑ | ☑ | 1 |
| opasswd.1.3.1 | ☑ | ☑ | 0 |
| opazl.0.0.1 | ☑ | ☑ | 0 |
| open.0.2.2 | ☑ | ☑ | 2 |
| openQASM.0.3.0 | ☑ | ☑ | 0 |
| openai-gym.0.01 | ☑ | ☑ | 0 |
| opencc.0.4.3-0.1.1 | ☒ | ☒ | 0 |
| operf-micro.1.1.1 | ☑ | ☑ | 0 |
| opium.0.20.0 | ☑ | ☑ | 14 |
| opium-graphql.0.20.0 | ☑ | ☑ | 0 |
| opium-testing.0.20.0 | ☑ | ☑ | 0 |
| opium_kernel.0.18.0 | ☑ | ☑ | 5 |
| oplot.0.50 | ☑ | ☑ | 0 |
| oplsr.8.0.1 | ☒ | ☒ | 0 |
| opomodoro.0.0.2 | ☑ | ☑ | 0 |
| optal.0.3 | ☑ | ☑ | 0 |
| opti.1.0.3 | ☑ | ☑ | 0 |
| optimization1d.0.6.1 | ☑ | ☑ | 0 |
| optint.0.0.5 | ☑ | ☑ | 44 |
| opus.0.1.3 | ☑ | ☑ | 2 |
| oraft.0.1.1 | ☑ | ☒ | 0 |
| orandforest.1.0.0 | ☑ | ☑ | 0 |
| oranger.2.0.2 | ☑ | ☑ | 0 |
| order-i3-xfce.0.1 | ☑ | ☑ | 0 |
| ordma.0.0.5 | ☑ | ☑ | 0 |
| orec.1.0.1 | ☑ | ☑ | 0 |
| orewa.0.2.1 | ☑ | ☑ | 0 |
| orm.0.7.1 | ☑ | ☑ | 0 |
| orocksdb.0.4.0 | ☑ | ☑ | 0 |
| orpie.1.6.1 | ☑ | ☑ | 0 |
| orrandomForest.2.0.1 | ☒ | ☒ | 0 |
| orsetto.1.0.3 | ☑ | ☒ | 0 |
| orsvm_e1071.4.0.0 | ☑ | ☑ | 0 |
| orxgboost.1.1.0 | ☒ | ☒ | 0 |
| osbx.1.2.4 | ☑ | ☒ | 0 |
| osc.0.1.4 | ☑ | ☑ | 0 |
| osdp.1.0.0 | ☑ | ☑ | 0 |
| oseq.0.3 | ☑ | ☑ | 8 |
| oskel.0.3.0 | ☑ | ☑ | 0 |
| ostap.0.5 | ☑ | ☑ | 0 |
| otf.0.1 | ☑ | ☑ | 0 |
| otfm.0.4.0 | ☑ | ☑ | 3 |
| otr.0.3.8 | ☑ | ☑ | 0 |
| ott.0.31 | ☑ | ☑ | 1 |
| otto.0.0.2 | ☑ | ☑ | 0 |
| ounit.2.2.4 | ☑ | ☑ | 2919 |
| ounit-lwt.2.2.4 | ☑ | ☑ | 0 |
| ounit2.2.2.4 | ☑ | ☒ | 2919 |
| ounit2-lwt.2.2.4 | ☑ | ☑ | 1 |
| override.0.3.0 | ☑ | ☑ | 2 |
| owee.0.3 | ☑ | ☑ | 2 |
| owl.1.0.1 | ☑ | ☑ | 13 |
| owl-base.1.0.1 | ☑ | ☑ | 15 |
| owl-jupyter.1.0 | ☑ | ☑ | 0 |
| owl-ode.0.4.0 | ☑ | ☑ | 2 |
| owl-ode-base.0.4.0 | ☑ | ☑ | 3 |
| owl-ode-odepack.0.4.0 | ☑ | ☑ | 0 |
| owl-ode-sundials.0.4.0 | ☒ | ☒ | 0 |
| owl-opt.0.0.1 | ☑ | ☑ | 1 |
| owl-opt-lbfgs.0.0.1 | ☑ | ☑ | 0 |
| owl-plplot.1.0.1 | ☑ | ☑ | 5 |
| owl-symbolic.0.2.0 | ☑ | ☑ | 0 |
| owl-top.1.0.1 | ☑ | ☑ | 1 |
| owl-zoo.1.0.1 | ☑ | ☑ | 2 |
| owork.0.1.1 | ☑ | ☑ | 0 |
| p4pp.0.1.5 | ☑ | ☒ | 0 |
| pa_comprehension.0.4 | ☑ | ☑ | 0 |
| pa_monad_custom.v6.0.0 | ☒ | ☒ | 4 |
| pa_ppx.0.07.02 | ☑ | ☒ | 5 |
| pa_ppx_ag.0.07.02 | ☑ | ☒ | 0 |
| pa_ppx_hashcons.0.07.02 | ☑ | ☒ | 2 |
| pa_ppx_migrate.0.07.02 | ☑ | ☒ | 4 |
| pa_ppx_q_ast.0.07.02 | ☑ | ☒ | 0 |
| pa_ppx_unique.0.07.02 | ☑ | ☒ | 2 |
| pa_qualified.0.6 | ☑ | ☑ | 1 |
| pa_solution.0.7 | ☑ | ☑ | 0 |
| pa_where.0.4 | ☑ | ☑ | 0 |
| pacomb.1.0 | ☑ | ☒ | 0 |
| paf.0.0.1 | ☑ | ☑ | 0 |
| pam.v0.14.0 | ☑ | ☑ | 0 |
| papi.0.1.1 | ☑ | ☑ | 0 |
| parany.12.0.3 | ☑ | ☒ | 7 |
| pardi.3.2.0 | ☑ | ☑ | 0 |
| pareto.0.3 | ☑ | ☑ | 0 |
| parmap.1.2 | ☑ | ☒ | 10 |
| parse-argv.0.2.0 | ☑ | ☑ | 3 |
| parsexp.v0.14.0 | ☑ | ☑ | 2919 |
| parsexp_io.v0.14.0 | ☑ | ☑ | 0 |
| parsley.0.0.1 | ☑ | ☑ | 0 |
| partition_map.0.9.0 | ☑ | ☑ | 0 |
| passmaker.1.0 | ☑ | ☑ | 1 |
| passmakercmd.1.0 | ☑ | ☑ | 0 |
| patch.1.0.0 | ☑ | ☑ | 0 |
| patdiff.v0.14.0 | ☑ | ☒ | 0 |
| path_glob.0.2 | ☑ | ☑ | 1 |
| patience_diff.v0.14.0 | ☑ | ☑ | 24 |
| pattern.0.3.0 | ☑ | ☑ | 2 |
| pb.1.0.0 | ☑ | ☑ | 1 |
| pb-plugin.1.0.0 | ☑ | ☑ | 0 |
| pbkdf.1.1.0 | ☑ | ☑ | 3 |
| pbs.0.2.0 | ☑ | ☒ | 0 |
| pcap-format.0.5.2 | ☑ | ☑ | 312 |
| pci.1.0.1 | ☒ | ☒ | 0 |
| pci-db.0.3.0 | ☑ | ☑ | 0 |
| pcre.7.4.6 | ☑ | ☑ | 2919 |
| pds.5.38 | ☑ | ☑ | 7 |
| pds-reachability.0.2.2 | ☑ | ☑ | 0 |
| pecu.0.5 | ☑ | ☑ | 48 |
| pf-qubes.0.1.1 | ☑ | ☑ | 0 |
| pfff.0.40.4 | ☑ | ☒ | 0 |
| pg_query.0.9.6 | ☑ | ☑ | 3 |
| pgocaml.4.2.2 | ☑ | ☑ | 14 |
| pgocaml_ppx.4.2.2 | ☑ | ☑ | 1 |
| pgsolver.4.1 | ☑ | ☑ | 0 |
| pgx.1.0 | ☑ | ☑ | 7 |
| pgx_async.1.0 | ☑ | ☒ | 0 |
| pgx_lwt.1.0 | ☑ | ☑ | 3 |
| pgx_lwt_mirage.1.0 | ☑ | ☑ | 0 |
| pgx_lwt_unix.1.0 | ☑ | ☑ | 1 |
| pgx_unix.1.0 | ☑ | ☑ | 0 |
| pgx_value_core.1.0 | ☑ | ☒ | 1 |
| phantom-algebra.1.0 | ☑ | ☑ | 0 |
| phashtbl.1.0.0 | ☑ | ☑ | 0 |
| phonetic.0.1.0 | ☑ | ☑ | 0 |
| piaf.0.1.0 | ☑ | ☑ | 0 |
| picasso.0.2.0 | ☑ | ☑ | 1 |
| pilat.1.2 | ☑ | ☒ | 0 |
| piqi.0.7.7 | ☑ | ☑ | 10 |
| piqilib.0.6.15 | ☑ | ☑ | 11 |
| pixel_pusher.1.1 | ☑ | ☑ | 0 |
| pkcs11.1.0.0 | ☑ | ☒ | 3 |
| pkcs11-cli.1.0.0 | ☑ | ☑ | 0 |
| pkcs11-driver.1.0.0 | ☑ | ☑ | 1 |
| pkcs11-rev.1.0.0 | ☑ | ☒ | 0 |
| pla.1.3 | ☑ | ☑ | 0 |
| plebeia.1.0.0 | ☑ | ☑ | 0 |
| plist.0.1 | ☑ | ☑ | 1 |
| plist-xml.0.3.0 | ☑ | ☑ | 2 |
| plist-xml-lwt.0.3.0 | ☑ | ☑ | 0 |
| plotkicadsch.0.8.0 | ☑ | ☑ | 0 |
| plplot.5.11.0-1 | ☑ | ☑ | 12 |
| podge.0.3 | ☑ | ☒ | 0 |
| polyglot.1.0.0 | ☑ | ☑ | 0 |
| polynomial.0.3.0 | ☑ | ☑ | 0 |
| pomap.4.1.1 | ☑ | ☑ | 0 |
| portaudio.0.2.2 | ☑ | ☑ | 2 |
| portaudio_c_bindings.19.6.0 | ☑ | ☑ | 0 |
| portia.1.5 | ☑ | ☑ | 0 |
| posix-base.2.0.0 | ☑ | ☑ | 11 |
| posix-bindings.2.0.0 | ☑ | ☑ | 0 |
| posix-clock.0.4.0-0 | ☑ | ☑ | 0 |
| posix-getopt.2.0.0 | ☑ | ☒ | 1 |
| posix-math.0.3.1-0 | ☑ | ☑ | 0 |
| posix-mqueue.0.8.0-0 | ☑ | ☑ | 0 |
| posix-semaphore.0.5.0-0 | ☑ | ☑ | 0 |
| posix-signal.2.0.0 | ☑ | ☑ | 0 |
| posix-socket.2.0.0 | ☑ | ☑ | 4 |
| posix-socket-unix.2.0.0 | ☑ | ☑ | 1 |
| posix-time.1.0.1-0 | ☑ | ☑ | 4 |
| posix-time2.2.0.0 | ☑ | ☑ | 0 |
| posix-types.2.0.0 | ☑ | ☑ | 3 |
| posix-uname.2.0.0 | ☑ | ☑ | 2 |
| posixat.v0.14.0 | ☑ | ☑ | 2 |
| postgres_async.v0.14.0 | ☑ | ☑ | 0 |
| postgresql.5.0.0 | ☑ | ☑ | 24 |
| pp.1.0.1 | ☑ | ☑ | 0 |
| pprint.20200410 | ☑ | ☑ | 162 |
| ppx-owl-opt.0.0.1 | ☑ | ☑ | 2 |
| ppx_accessor.v0.14.2 | ☑ | ☑ | 3 |
| ppx_assert.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_bap.v0.14.0 | ☑ | ☑ | 106 |
| ppx_base.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_bench.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_bin_prot.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_bitstring.4.1.0 | ☑ | ☒ | 7 |
| ppx_blob.0.7.2 | ☑ | ☑ | 326 |
| ppx_cold.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_compare.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_compose.0.1.0 | ☑ | ☑ | 0 |
| ppx_const.2.0.1 | ☑ | ☒ | 0 |
| ppx_conv_func.v0.14.0 | ☑ | ☑ | 3 |
| ppx_cstruct.6.0.0 | ☑ | ☑ | 955 |
| ppx_cstubs.0.6.1.1 | ☑ | ☑ | 3 |
| ppx_csv_conv.v0.14.0 | ☑ | ☑ | 1 |
| ppx_custom_printf.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_defer.0.4.0 | ☑ | ☑ | 0 |
| ppx_derivers.1.2.1 | ☑ | ☑ | 2919 |
| ppx_deriving.5.2.1 | ☑ | ☒ | 2919 |
| ppx_deriving_argparse.0.0.5 | ☑ | ☑ | 0 |
| ppx_deriving_cmdliner.0.5.1 | ☑ | ☑ | 0 |
| ppx_deriving_encoding.0.2.2 | ☑ | ☑ | 0 |
| ppx_deriving_hardcaml.v0.14.0 | ☑ | ☑ | 0 |
| ppx_deriving_jsoo.0.2 | ☑ | ☑ | 0 |
| ppx_deriving_madcast.0.1 | ☑ | ☑ | 0 |
| ppx_deriving_protobuf.3.0.0 | ☑ | ☒ | 9 |
| ppx_deriving_protocol.0.8.1 | ☑ | ☑ | 0 |
| ppx_deriving_rpc.8.0.0 | ☑ | ☑ | 26 |
| ppx_deriving_yaml.0.1.0 | ☑ | ☑ | 0 |
| ppx_deriving_yojson.3.6.1 | ☑ | ☒ | 367 |
| ppx_distr_guards.0.2 | ☑ | ☑ | 1 |
| ppx_enumerate.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_expect.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_factory.0.2.0 | ☑ | ☒ | 0 |
| ppx_fail.v0.14.0 | ☑ | ☑ | 0 |
| ppx_fields_conv.v0.14.2 | ☑ | ☑ | 2919 |
| ppx_fixed_literal.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_gen_rec.1.1.0 | ☑ | ☑ | 2 |
| ppx_getenv.2.1 | ☑ | ☒ | 1 |
| ppx_hash.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_here.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_import.1.8.0 | ☑ | ☒ | 15 |
| ppx_inline_test.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_irmin.2.5.1 | ☑ | ☑ | 105 |
| ppx_jane.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_js_style.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_jsobject_conv.0.8.0 | ☑ | ☑ | 0 |
| ppx_let.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_log.v0.14.0 | ☑ | ☑ | 0 |
| ppx_meta_conv.4.0.1 | ☑ | ☑ | 7 |
| ppx_module_timer.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_monoid.0.3.2 | ☑ | ☑ | 0 |
| ppx_mysql.1.1.3 | ☑ | ☑ | 0 |
| ppx_nanocaml.0.1 | ☑ | ☑ | 0 |
| ppx_optcomp.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_optional.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_pattern_bind.v0.14.0 | ☑ | ☑ | 7 |
| ppx_pipebang.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_protocol_conv.5.1.3 | ☑ | ☑ | 10 |
| ppx_protocol_conv_json.5.1.3 | ☑ | ☑ | 3 |
| ppx_protocol_conv_jsonm.5.1.3 | ☑ | ☑ | 0 |
| ppx_protocol_conv_msgpack.5.1.3 | ☑ | ☑ | 0 |
| ppx_protocol_conv_xml_light.5.1.3 | ☑ | ☑ | 3 |
| ppx_protocol_conv_xmlm.5.1.3 | ☑ | ☑ | 0 |
| ppx_protocol_conv_yaml.5.1.3 | ☑ | ☑ | 0 |
| ppx_python.v0.14.0 | ☑ | ☑ | 1 |
| ppx_rapper.3.0.0 | ☑ | ☑ | 2 |
| ppx_rapper_async.3.0.0 | ☑ | ☑ | 0 |
| ppx_rapper_lwt.3.0.0 | ☑ | ☑ | 0 |
| ppx_regexp.0.4.3 | ☑ | ☑ | 0 |
| ppx_repr.0.2.1 | ☑ | ☑ | 109 |
| ppx_sexp_conv.v0.14.3 | ☑ | ☑ | 2919 |
| ppx_sexp_message.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_sexp_value.v0.14.0 | ☑ | ☑ | 2919 |
| ppx_show.0.2.1 | ☑ | ☑ | 3 |
| ppx_stable.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_string.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_string_interpolation.1.0.1 | ☑ | ☑ | 0 |
| ppx_test.1.7.0 | ☑ | ☑ | 16 |
| ppx_tools.6.3 | ☑ | ☑ | 2919 |
| ppx_tools_versioned.5.4.0 | ☑ | ☑ | 2919 |
| ppx_traverse_builtins.v0.10.0 | ☑ | ☑ | 2919 |
| ppx_typerep_conv.v0.14.2 | ☑ | ☑ | 2919 |
| ppx_tyre.0.4.3 | ☑ | ☑ | 0 |
| ppx_variants_conv.v0.14.1 | ☑ | ☑ | 2919 |
| ppx_wideopen.0.0.1 | ☑ | ☑ | 0 |
| ppx_xml_conv.v0.14.0 | ☑ | ☑ | 0 |
| ppx_yojson.1.1.0 | ☑ | ☑ | 1 |
| ppx_yojson_conv.v0.14.0 | ☑ | ☑ | 0 |
| ppx_yojson_conv_lib.v0.14.0 | ☑ | ☑ | 4 |
| ppxfind.1.4 | ☑ | ☑ | 2919 |
| ppxlib.0.22.0 | ☑ | ☑ | 2919 |
| ppxx.2.4.0 | ☑ | ☑ | 27 |
| pratter.1.1 | ☑ | ☑ | 0 |
| primes.1.3.5 | ☑ | ☑ | 0 |
| pringo.1.1 | ☑ | ☑ | 0 |
| printbox.0.5 | ☑ | ☑ | 5 |
| process.0.2.1 | ☑ | ☑ | 10 |
| prof_spacetime.0.3.0 | ☑ | ☑ | 0 |
| profiler-plugin.1.30 | ☑ | ☑ | 0 |
| progress.0.1.1 | ☑ | ☑ | 94 |
| proj4.0.9.2 | ☒ | ☒ | 0 |
| prom.0.3 | ☑ | ☑ | 0 |
| prometheus.1.0 | ☑ | ☑ | 26 |
| prometheus-app.1.0 | ☑ | ☑ | 12 |
| promise.1.1.2 | ☑ | ☑ | 0 |
| promise_jsoo.0.3.1 | ☑ | ☒ | 0 |
| protocell.1.0.0 | ☑ | ☒ | 0 |
| protocol-9p.2.0.1 | ☑ | ☑ | 12 |
| protocol-9p-tool.2.0.1 | ☑ | ☑ | 0 |
| protocol-9p-unix.2.0.1 | ☑ | ☑ | 10 |
| protocol_version_header.v0.14.0 | ☑ | ☑ | 1132 |
| proverif.2.02pl1 | ☑ | ☒ | 0 |
| proverifdoc.2.02pl1 | ☑ | ☑ | 0 |
| psmt2-frontend.0.3.1 | ☑ | ☑ | 10 |
| psq.0.2.0 | ☑ | ☑ | 331 |
| psyche.0.0.1 | ☒ | ☒ | 0 |
| ptime.0.8.5 | ☑ | ☑ | 951 |
| ptmap.2.0.5 | ☑ | ☑ | 17 |
| ptset.1.0.1 | ☑ | ☑ | 0 |
| publish.0.3.4+transition | ☑ | ☑ | 4 |
| pulseaudio.0.1.4 | ☑ | ☑ | 4 |
| pumping.0.1.0 | ☑ | ☑ | 0 |
| pure-splitmix.0.2 | ☑ | ☑ | 0 |
| pvem.0.0.1 | ☑ | ☑ | 6 |
| pxp.1.2.9 | ☑ | ☒ | 7 |
| py.1.3 | ☑ | ☑ | 0 |
| pyml.20210226 | ☑ | ☑ | 8 |
| pythonlib.v0.14.0 | ☑ | ☑ | 0 |
| qbf.0.3 | ☑ | ☒ | 1 |
| qcheck.0.17 | ☑ | ☑ | 2919 |
| qcheck-alcotest.0.17 | ☑ | ☑ | 344 |
| qcheck-core.0.17 | ☑ | ☑ | 2919 |
| qcheck-ounit.0.17 | ☑ | ☑ | 2919 |
| qcow.0.11.0 | ☑ | ☑ | 1 |
| qcow-tool.0.11.0 | ☑ | ☑ | 0 |
| qcstm.0.1.1 | ☑ | ☑ | 0 |
| qfs.0.12 | ☒ | ☒ | 0 |
| qinap.1.0 | ☑ | ☑ | 0 |
| qiskit.0.1.0 | ☑ | ☑ | 0 |
| qmp.0.9.1 | ☑ | ☑ | 0 |
| qrc.0.1.0 | ☑ | ☑ | 0 |
| qrencode.0.2 | ☑ | ☑ | 0 |
| qtest.2.11.2 | ☑ | ☑ | 2919 |
| quest.0.1 | ☑ | ☑ | 0 |
| quests.0.1.3 | ☑ | ☒ | 0 |
| r2pipe.0.0.1 | ☑ | ☑ | 0 |
| radare2.0.0.7 | ☑ | ☑ | 0 |
| randomconv.0.1.3 | ☑ | ☑ | 367 |
| range.0.8.3 | ☑ | ☒ | 0 |
| ranger.0.1.0 | ☑ | ☑ | 0 |
| rankers.2.0.7 | ☑ | ☑ | 0 |
| raw_spacetime.base | ☑ | ☑ | 2 |
| rawlink.1.0 | ☑ | ☑ | 2 |
| raygun4ocaml.0.1.0 | ☑ | ☑ | 0 |
| raylib.0.2.2 | ☑ | ☑ | 0 |
| rdbg.1.184.1 | ☑ | ☑ | 2 |
| rdf.0.11.0 | ☑ | ☒ | 2 |
| rdr.1.1 | ☑ | ☑ | 0 |
| re.1.9.0 | ☑ | ☒ | 2919 |
| re2.v0.14.0 | ☑ | ☑ | 13 |
| re2_stable.v0.14.0 | ☑ | ☑ | 1 |
| react.1.2.1 | ☑ | ☑ | 2919 |
| reactiveData.0.2.2 | ☑ | ☑ | 2919 |
| reagents.0.3.0 | ☒ | ☒ | -1 |
| reanalyze.2.14.0 | ☑ | ☒ | 0 |
| reason.3.6.2 | ☑ | ☑ | 22 |
| reason-standard.0.1.0~alpha.1 | ☑ | ☑ | 0 |
| received.0.4.0 | ☑ | ☑ | 0 |
| record_builder.v0.14.0 | ☑ | ☑ | 0 |
| records.0.8.0 | ☑ | ☒ | 1 |
| reddit_api_async.0.1.1 | ☑ | ☒ | 0 |
| reddit_api_kernel.0.1.1 | ☑ | ☑ | 1 |
| redirect.0.1.1 | ☑ | ☑ | 3 |
| redis.0.4 | ☑ | ☑ | 14 |
| redis-lwt.0.4 | ☑ | ☑ | 11 |
| redis-sync.0.4 | ☑ | ☑ | 0 |
| reed-solomon-erasure.1.0.2 | ☑ | ☑ | 0 |
| reedsolomon.0.3 | ☑ | ☑ | 1 |
| refl.0.4.0 | ☑ | ☑ | 3 |
| regenerate.0.2 | ☑ | ☑ | 0 |
| regular.2.2.0 | ☑ | ☑ | 94 |
| remu_ts.0.1 | ☑ | ☑ | 0 |
| reparse.2.0.0 | ☑ | ☑ | 2 |
| reparse-unix.2.0.0 | ☑ | ☑ | 0 |
| repr.0.2.1 | ☑ | ☑ | 111 |
| repr-bench.0.2.1 | ☑ | ☑ | 0 |
| repr-fuzz.0.2.1 | ☑ | ☑ | 0 |
| res.5.0.1 | ☑ | ☑ | 2919 |
| resource-pooling.1.2 | ☑ | ☑ | 1 |
| resource_cache.v0.14.0 | ☑ | ☑ | 1 |
| resp.0.9.1 | ☑ | ☑ | 4 |
| resp-client.0.9.1 | ☑ | ☑ | 3 |
| resp-mirage.0.9.1 | ☑ | ☒ | 0 |
| resp-server.0.9.1 | ☑ | ☑ | 2 |
| resp-unix.0.9.1 | ☑ | ☑ | 0 |
| resto.0.6.1 | ☑ | ☑ | 9 |
| resto-acl.0.6.1 | ☑ | ☑ | 2 |
| resto-cohttp.0.6.1 | ☑ | ☑ | 3 |
| resto-cohttp-client.0.6.1 | ☑ | ☑ | 1 |
| resto-cohttp-self-serving-client.0.6.1 | ☑ | ☑ | 0 |
| resto-cohttp-server.0.6.1 | ☑ | ☑ | 1 |
| resto-directory.0.6.1 | ☑ | ☑ | 5 |
| resto-json.0.6.1 | ☑ | ☑ | 7 |
| result.1.5 | ☑ | ☑ | 2919 |
| revops.2.5 | ☑ | ☑ | 4 |
| rfc1951.1.2.0 | ☑ | ☑ | 0 |
| rfc6287.1.0.4 | ☑ | ☒ | 0 |
| rfc7748.1.0 | ☑ | ☑ | 0 |
| rfsm.1.6.0 | ☑ | ☑ | 0 |
| rhythm.0.0.1 | ☑ | ☑ | 0 |
| ringo.0.5 | ☑ | ☑ | 127 |
| ringo-lwt.0.5 | ☑ | ☑ | 0 |
| rlp.0.1 | ☑ | ☑ | 0 |
| rml.1.09.06 | ☑ | ☑ | 3 |
| rmlbuild.0.14.0-00 | ☑ | ☑ | 0 |
| rock.0.20.0 | ☑ | ☑ | 15 |
| root1d.0.5.1 | ☑ | ☑ | 0 |
| rope.0.6.2 | ☑ | ☑ | 2 |
| rosetta.0.3.0 | ☑ | ☑ | 14 |
| routes.0.8.0 | ☑ | ☑ | 3 |
| rpc.8.0.0 | ☑ | ☑ | 17 |
| rpc_parallel.v0.14.0 | ☑ | ☑ | 0 |
| rpclib.8.0.0 | ☑ | ☑ | 29 |
| rpclib-async.8.0.0 | ☑ | ☒ | 25 |
| rpclib-html.8.0.0 | ☑ | ☑ | 0 |
| rpclib-js.8.0.0 | ☑ | ☑ | 0 |
| rpclib-lwt.8.0.0 | ☑ | ☑ | 25 |
| rresult.0.6.0 | ☑ | ☑ | 2919 |
| rtop.3.6.2 | ☑ | ☑ | 0 |
| rungen.0.0.1 | ☑ | ☑ | 0 |
| rusage.1.0.0 | ☑ | ☑ | 0 |
| safa.1.4 | ☑ | ☑ | 1 |
| safepass.3.0 | ☑ | ☑ | 18 |
| sail.0.14 | ☑ | ☑ | 0 |
| salsa20.1.1.0 | ☑ | ☑ | 0 |
| salsa20-core.1.0.0 | ☑ | ☑ | 3 |
| samplerate.0.1.5 | ☑ | ☑ | 2 |
| sanddb.0.2 | ☑ | ☑ | 0 |
| sanlock.0.0.9 | ☑ | ☑ | 0 |
| satML-plugin.1.30 | ☑ | ☑ | 0 |
| sattools.0.1.0 | ☑ | ☑ | 2 |
| satyrographos.0.0.2.8 | ☑ | ☒ | 0 |
| sawja.1.5.8 | ☑ | ☑ | 0 |
| scgi.1.0 | ☑ | ☑ | 0 |
| scid.1.0 | ☑ | ☑ | 0 |
| scipy.sp1.5-0.3.1 | ☑ | ☑ | 1 |
| scrypt.0.2.1 | ☑ | ☑ | 0 |
| scrypt-kdf.1.1.0 | ☑ | ☑ | 1 |
| sdl-liquidsoap.2 | ☑ | ☑ | 2 |
| secp256k1.0.4.1 | ☑ | ☑ | 1 |
| secp256k1-internal.0.2.0 | ☑ | ☑ | 133 |
| sedlex.2.3 | ☑ | ☑ | 50 |
| sek.20200618 | ☑ | ☑ | 0 |
| semaphore-compat.1.0.1 | ☑ | ☑ | 94 |
| semver.0.1.0 | ☑ | ☑ | 1 |
| semver2.1.1.0 | ☑ | ☑ | 0 |
| sendmail.0.4.0 | ☑ | ☑ | 5 |
| sendmail-lwt.0.4.0 | ☑ | ☑ | 4 |
| sendmsg.0.0.2 | ☑ | ☑ | 0 |
| sentry.v0.11.0 | ☑ | ☒ | 0 |
| seq.base | ☑ | ☑ | 2919 |
| sequence.0.2 | ☑ | ☑ | 81 |
| sequencer_table.v0.14.0 | ☑ | ☑ | 1 |
| serial.0.0.2 | ☑ | ☑ | 0 |
| session.0.4.1 | ☑ | ☒ | 15 |
| session-cohttp.0.4.1 | ☑ | ☒ | 7 |
| session-cohttp-async.0.4.1 | ☑ | ☒ | 0 |
| session-cohttp-lwt.0.4.1 | ☑ | ☒ | 3 |
| session-cookie.0.1.8 | ☑ | ☒ | 2 |
| session-cookie-async.0.1.8 | ☑ | ☒ | 0 |
| session-cookie-lwt.0.1.8 | ☑ | ☒ | 0 |
| session-postgresql.0.4.1 | ☑ | ☒ | 2 |
| session-postgresql-async.0.4.1 | ☑ | ☒ | 0 |
| session-postgresql-lwt.0.4.1 | ☑ | ☒ | 0 |
| session-redis-lwt.0.4.1 | ☑ | ☒ | 1 |
| session-webmachine.0.4.1 | ☑ | ☒ | 1 |
| sessions.0.1.0 | ☑ | ☑ | 0 |
| setcore.1.0.2 | ☑ | ☑ | 6 |
| setr.0.1.1 | ☑ | ☑ | 1 |
| sexp.v0.14.0 | ☑ | ☒ | 0 |
| sexp_diff_kernel.v0.14.0 | ☑ | ☑ | 1 |
| sexp_macro.v0.14.0 | ☑ | ☑ | 2 |
| sexp_pretty.v0.14.0 | ☑ | ☑ | 6 |
| sexp_select.v0.14.0 | ☑ | ☑ | 1 |
| sexplib.v0.14.0 | ☑ | ☑ | 2919 |
| sexplib0.v0.14.0 | ☑ | ☑ | 2919 |
| sfml.0.08.3 | ☑ | ☒ | 0 |
| sgf.1.0.1 | ☑ | ☑ | 0 |
| sha.1.13 | ☑ | ☑ | 38 |
| shapefile.0.2.1 | ☑ | ☑ | 0 |
| shared-memory-ring.3.1.0 | ☑ | ☑ | 926 |
| shared-memory-ring-lwt.3.1.0 | ☑ | ☑ | 897 |
| shared-secret.0.4 | ☑ | ☒ | 0 |
| shcaml.0.2.1 | ☑ | ☑ | 0 |
| shell.v0.14.0 | ☑ | ☑ | 4 |
| shexp.v0.14.0 | ☑ | ☑ | 1 |
| shine.0.2.1 | ☑ | ☑ | 2 |
| sid.2.0 | ☑ | ☑ | 0 |
| sihl.0.3.0~rc1 | ☑ | ☑ | 0 |
| sihl-contract.0.3.0~rc1 | ☑ | ☑ | 10 |
| sihl-core.0.3.0~rc1 | ☑ | ☑ | 11 |
| sihl-email.0.3.0~rc1 | ☑ | ☑ | 1 |
| sihl-facade.0.3.0~rc1 | ☑ | ☑ | 9 |
| sihl-persistence.0.3.0~rc1 | ☑ | ☑ | 7 |
| sihl-queue.0.3.0~rc1 | ☑ | ☑ | 1 |
| sihl-session.0.3.0~rc1 | ☑ | ☑ | 1 |
| sihl-storage.0.3.0~rc1 | ☑ | ☑ | 1 |
| sihl-token.0.3.0~rc1 | ☑ | ☑ | 1 |
| sihl-type.0.2.2 | ☑ | ☑ | 8 |
| sihl-user.0.3.0~rc1 | ☑ | ☑ | 1 |
| sihl-web.0.3.0~rc1 | ☑ | ☑ | 1 |
| simple-diff.0.3 | ☑ | ☑ | 0 |
| simple63.1 | ☑ | ☑ | 0 |
| simple_pam.0.1.2 | ☑ | ☑ | 0 |
| sklearn.sk0.23-0.3.1 | ☑ | ☑ | 0 |
| slacko.0.15.0 | ☑ | ☑ | 0 |
| slap.4.1.1 | ☑ | ☑ | 0 |
| smart-print.0.3.0 | ☑ | ☑ | 5 |
| smbc.0.6.1 | ☑ | ☑ | 0 |
| smtlib-utils.0.2 | ☑ | ☑ | 1 |
| smtp.0.3 | ☑ | ☑ | 0 |
| snappy.0.1.2 | ☑ | ☑ | 1 |
| so.0.0.1 | ☑ | ☑ | 0 |
| socketcan.0.8.12-0 | ☑ | ☑ | 0 |
| sodium.0.6.0 | ☒ | ☒ | 2 |
| solo5-bindings-hvt.0.6.8 | ☑ | ☑ | 926 |
| solo5-bindings-muen.0.6.8 | ☑ | ☑ | 926 |
| solo5-bindings-spt.0.6.8 | ☑ | ☑ | 926 |
| solo5-bindings-virtio.0.6.8 | ☑ | ☑ | 926 |
| solo5-bindings-xen.0.6.8 | ☑ | ☑ | 926 |
| solo5-kernel-muen.0.3.1 | ☒ | ☒ | 741 |
| solo5-kernel-ukvm.0.3.1 | ☒ | ☒ | 741 |
| solo5-kernel-virtio.0.3.1 | ☒ | ☒ | 741 |
| sosa.0.3.0 | ☑ | ☑ | 10 |
| soundtouch.0.1.9 | ☑ | ☑ | 2 |
| soupault.2.4.0 | ☑ | ☑ | 0 |
| spacetime_lib.0.3.0 | ☑ | ☑ | 1 |
| spawn.v0.13.0 | ☑ | ☑ | 1200 |
| speex.0.3.0 | ☑ | ☑ | 2 |
| spelll.0.3 | ☑ | ☑ | 2 |
| spf.2.0.2 | ☑ | ☑ | 0 |
| spin.0.7.0 | ☑ | ☑ | 0 |
| spirv.1.1.2 | ☑ | ☑ | 0 |
| splay_tree.v0.14.0 | ☑ | ☑ | 3 |
| splittable_random.v0.14.0 | ☑ | ☑ | 2919 |
| spotify-web-api.0.2.1 | ☑ | ☑ | 1 |
| spotlib.4.1.0 | ☑ | ☑ | 14 |
| spreadsheet.0.1 | ☑ | ☑ | 0 |
| sqlgg.20200521 | ☑ | ☑ | 0 |
| sqlite3.5.0.2 | ☑ | ☑ | 65 |
| sqlite3_utils.0.3.1 | ☑ | ☑ | 2 |
| srs.2.0.0 | ☒ | ☒ | 0 |
| ssh-agent.0.3.0 | ☑ | ☑ | 1 |
| ssh-agent-unix.0.3.0 | ☑ | ☑ | 0 |
| ssl.0.5.10 | ☑ | ☑ | 2919 |
| sslconf.0.8.3 | ☑ | ☑ | 0 |
| statverif.1.97pl1.2 | ☑ | ☑ | 0 |
| stb_image.0.5 | ☑ | ☑ | 3 |
| stb_image_write.0.2 | ☑ | ☑ | 1 |
| stb_truetype.0.6 | ☑ | ☑ | 2 |
| stdcompat.15 | ☑ | ☑ | 27 |
| stdint.0.7.0 | ☑ | ☑ | 360 |
| stdio.v0.14.0 | ☑ | ☑ | 2919 |
| stdlib-diff.0.1.3 | ☑ | ☑ | 0 |
| stdlib-shims.0.3.0 | ☑ | ☑ | 2919 |
| stemmer.0.2 | ☑ | ☑ | 0 |
| stemming.0.2.1 | ☑ | ☑ | 0 |
| stitch.0.0.0 | ☑ | ☑ | 0 |
| stone.0.5.1 | ☑ | ☑ | 0 |
| streaming.0.8.0 | ☑ | ☑ | 0 |
| string_dict.v0.14.0 | ☑ | ☑ | 0 |
| stringext.1.6.0 | ☑ | ☒ | 2919 |
| sturgeon.0.4.2 |