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

Filter form:
Only show these compilers:
Only show packages available in:
Show 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: 3618
Packages failing with current filters: 239
Packages whose dependencies failed with current filters: 488

Run made on the 2023-11-23 08:44:43


4.14.15.1.0number of revdeps
0install.2.18☑☒1
0install-gtk.2.18☑☒0
0install-solver.2.18☑☑13
ANSITerminal.0.8.5☑☑42
BetterErrors.0.0.1☑☒12
DAGaml.0.02☑☒0
FPauth.1.0.0☑☒0
FPauth-core.1.0.0☑☒3
FPauth-responses.1.0.0☑☒1
FPauth-strategies.1.0.0☑☒1
FrontC.4.1.0☑☑14
GT.0.5.2☑☒-1
GuaCaml.0.05☑☑2
ISO3166.0.1.0☑☑0
ISO8601.0.2.6☑☑48
OCADml.0.6.0☑☑2
OCanren.0.3.0☑☒2
OCanren-ppx.0.3.0☑☑2
OSCADml.0.2.3☑☑1
SZXX.4.1.0☒☑-1
Snowflake.0.02.03☑☑1
TCSLib.0.3☑☒1
aacplus.0.2.2☒☒2
abella.2.0.8☑☑0
absolute.0.3☑☑0
abstract_algebra.v0.16.0☑☑7
accessor.v0.16.0☑☑4
accessor_async.v0.16.0☑☑0
accessor_base.v0.16.0☑☑2
accessor_core.v0.16.0☑☑1
acgtk.2.0.0☑☑-1
aches.1.0.0☑☑-1
aches-lwt.1.0.0☑☑-1
acp4.1.0.1☑☑0
acpc.2.0.0☒☑0
advi.2.0.0☒☒0
aez.0.3☑☒0
afl.2.57b☒☒0
afl-persistent.1.4☑☑31
ago.0.4☑☒0
agrid.0.1☑☑1
ahrocksdb.0.2.2☒☒0
aifad.2.3.0☑☑-1
aio.0.0.3☒☒0
alba.0.4.4☑☑0
albatross.2.0.0☑☑-1
alcotest.1.7.0☑☑-1
alcotest-async.1.7.0☑☒-1
alcotest-js.1.7.0☑☑-1
alcotest-lwt.1.7.0☑☑-1
alcotest-mirage.1.7.0☑☑-1
alg_structs.0.1.3☑☑1
alg_structs_qcheck.0.1.3☑☑0
algaeff.2.0.0☒☑3
aliases.0.0.5☑☒0
alonzo.0.4.0☑☑0
alt-ergo.2.5.2☑☑-1
alt-ergo-free.2.2.0☑☒8
alt-ergo-lib.2.5.2☑☑-1
alt-ergo-parsers.2.5.2☑☑-1
alt-ergo-plugin-ab-why3.2.5.2☑☑-1
altgr-ergo.2.4.3☑☑3
ambient-context.0.1.0☑☑12
ambient-context-eio.0.1.0☒☑0
ambient-context-lwt.0.1.0☑☑0
amqp-client.2.2.2☑☑-1
amqp-client-async.2.2.2☑☒-1
amqp-client-lwt.2.2.2☑☑-1
ancient.0.9.1☒☒1
anders.1.1.1☑☑0
angstrom.0.15.0☑☑-1
angstrom-async.0.15.0☑☑-1
angstrom-lwt-unix.0.15.0☑☑-1
angstrom-unix.0.15.0☑☑-1
ansi.0.7.0☑☑5
ansi-parse.0.4.0☑☑0
ansicolor.0.5☑☑0
antic.0.3.2☒☒-1
anycache.0.7.4☑☒2
anycache-lwt.0.7.4☑☒0
ao.0.2.4☑☑6
apron.v0.9.14☑☑-1
apronext.1.0.4☑☑3
arb.0.3.2☒☒-1
archetype.1.4.3☑☑-1
archi.0.2.0☑☑2
archi-async.0.2.0☑☑-1
archi-lwt.0.2.0☑☑0
archimedes.0.4.18☒☒-1
archsat.1.1☑☒0
arg-complete.0.1.0☑☑2
argon2.1.0.1☑☑-1
arp.3.1.0☑☑-1
arp-mirage.2.2.1☑☑2
arrakis.1.0.0☑☑0
art.0.2.0☑☑3
asai.0.3.0☒☑-1
asak.0.4☑☒-1
ascii85.0.4☑☒0
asetmap.0.8.1☑☑183
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☑☑-1
assertions.0.1☑☒0
assimp.0.3☒☒0
ast_generic.1.8.0☑☑0
astring.0.8.5☑☑4406
async.v0.16.0☑☑-1
async-uri.0.4.0☑☑-1
async_durable.v0.16.0☑☑2
async_extra.v0.16.0☑☑4
async_find.v0.16.0☑☑-1
async_graphics.0.7.0☑☒-1
async_interactive.v0.16.0☑☑-1
async_js.v0.16.0☑☑6
async_kernel.v0.16.0☑☑4406
async_rpc_kernel.v0.16.0☑☑4406
async_rpc_websocket.v0.16.0☑☑-1
async_sendfile.v0.16.0☑☑-1
async_shell.v0.16.0☑☑-1
async_ssl.v0.16.1☑☑-1
async_udp.v0.16.0☑☑-1
async_unix.v0.16.0☑☑-1
async_websocket.v0.16.0☑☑-1
atable.0.1☑☑0
atacama.0.0.2☒☑-1
atd.2.15.0☑☑66
atd2cconv.0.0.0☑☒0
atdd.2.15.0☑☑0
atdgen.2.15.0☑☑58
atdgen-codec-runtime.2.15.0☑☑1
atdgen-runtime.2.15.0☑☑58
atdj.2.15.0☑☑0
atdpy.2.15.0☑☑0
atds.2.15.0☑☑0
atdts.2.15.0☑☑1
atomic.base☑☑4
autofonce.0.8☑☑0
autofonce_config.0.8☑☑2
autofonce_core.0.8☑☑2
autofonce_lib.0.8☑☑1
autofonce_m4.0.8☑☑3
autofonce_misc.0.8☑☑5
autofonce_patch.0.8☑☑2
autofonce_share.0.8☑☑3
avro.0.1☑☑0
avro-compiler.0.1☑☑1
awa.0.3.0☑☑-1
awa-lwt.0.2.0☑☑0
awa-mirage.0.3.0☑☑-1
aws.1.2☑☑15
aws-async.1.2☑☑-1
aws-autoscaling.1.2☑☑0
aws-cloudformation.1.2☑☑0
aws-cloudtrail.1.2☑☑0
aws-cloudwatch.1.2☑☑0
aws-config.0.0.1☑☑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.8.0☑☑-1
aws-s3-async.4.8.0☑☑-1
aws-s3-lwt.4.8.0☑☒-1
aws-sdb.1.2☑☑0
aws-sqs.1.2☑☑0
aws-ssm.1.2☑☑0
aws-sts.1.2☑☑0
awsm.0.1.0☑☒-1
awsm-async.0.1.0☑☒-1
awsm-codegen.0.1.0☑☒-1
awsm-lwt.0.1.0☑☒-1
azblob.0.1.0☑☑1
azblob-async.0.1.0☑☒-1
azure-cosmos-db.0.2.3☑☑-1
b0.0.0.5☑☑1
babel.v0.16.0☑☑2
backoff.0.1.0☑☑-1
bag.1.0.0☑☑0
baguette_sharp.2.2.1☑☑0
balancer.1.0☒☒0
bap.2.5.0☒☒9
bap-abi.2.5.0☒☒52
bap-analyze.2.5.0☒☒11
bap-api.2.5.0☒☒51
bap-arm.2.5.0☒☒14
bap-beagle.2.5.0☒☒11
bap-beagle-strings.2.5.0☒☒10
bap-bil.2.5.0☒☒11
bap-build.2.5.0☑☒99
bap-bundle.2.5.0☑☒100
bap-byteweight.2.5.0☒☒12
bap-byteweight-frontend.2.5.0☒☒2
bap-c.2.5.0☒☒50
bap-cache.2.5.0☒☒11
bap-callgraph-collator.2.5.0☒☒11
bap-callsites.2.5.0☒☒11
bap-constant-tracker.2.5.0☒☒10
bap-core.2.5.0☒☒10
bap-core-theory.2.5.0☑☒97
bap-cxxfilt.2.5.0☒☒11
bap-demangle.2.5.0☑☒16
bap-dependencies.2.5.0☒☒11
bap-disassemble.2.5.0☒☒11
bap-dump-symbols.2.5.0☒☒11
bap-dwarf.2.5.0☒☒11
bap-elementary.2.5.0☒☒11
bap-elf.2.5.0☒☒1
bap-emacs-dot.0.1☑☑12
bap-emacs-goodies.0.1☑☑11
bap-emacs-mode.0.1☑☑12
bap-extra.2.5.0☒☒0
bap-flatten.2.5.0☒☒11
bap-frontc.2.5.0☒☒11
bap-frontend.2.5.0☒☒11
bap-future.2.5.0☑☒100
bap-ghidra.2.5.0☒☒1
bap-glibc-runtime.2.5.0☒☒11
bap-ida-plugin.2.5.0☒☒2
bap-knowledge.2.5.0☑☒98
bap-llvm.2.5.0☒☒15
bap-main.2.5.0☑☒98
bap-mc.2.5.0☒☒11
bap-microx.2.5.0☒☒13
bap-mips.2.5.0☒☒11
bap-objdump.2.5.0☒☒11
bap-optimization.2.5.0☒☒11
bap-patterns.2.5.0☒☒11
bap-phoenix.2.5.0☒☒0
bap-piqi.2.5.0☒☒0
bap-plugins.2.5.0☑☒99
bap-powerpc.2.5.0☒☒12
bap-primus.2.5.0☒☒44
bap-primus-dictionary.2.5.0☒☒10
bap-primus-exploring-scheduler.2.5.0☒☒12
bap-primus-greedy-scheduler.2.5.0☒☒12
bap-primus-limit.2.5.0☒☒12
bap-primus-lisp.2.5.0☒☒11
bap-primus-loader.2.5.0☒☒12
bap-primus-mark-visited.2.5.0☒☒12
bap-primus-powerpc.2.5.0☒☒10
bap-primus-print.2.5.0☒☒12
bap-primus-promiscuous.2.5.0☒☒12
bap-primus-propagate-taint.2.5.0☒☒10
bap-primus-random.2.5.0☒☒10
bap-primus-region.2.5.0☒☒10
bap-primus-round-robin-scheduler.2.5.0☒☒12
bap-primus-support.2.5.0☒☒11
bap-primus-symbolic-executor.2.5.0☒☒1
bap-primus-systems.2.5.0☒☒10
bap-primus-taint.2.5.0☒☒10
bap-primus-test.2.5.0☒☒10
bap-primus-track-visited.2.5.0☒☒13
bap-primus-wandering-scheduler.2.5.0☒☒12
bap-primus-x86.2.5.0☒☒10
bap-print.2.5.0☒☒11
bap-radare2.2.5.0☒☒1
bap-raw.2.5.0☒☒11
bap-recipe.2.5.0☑☒99
bap-recipe-command.2.5.0☒☒11
bap-relation.2.5.0☑☒96
bap-relocatable.2.5.0☒☒11
bap-report.2.5.0☒☒11
bap-riscv.2.5.0☒☒11
bap-run.2.5.0☒☒10
bap-signatures.2.5.0☑☑13
bap-specification.2.5.0☒☒11
bap-ssa.2.5.0☒☒11
bap-std.2.5.0☒☒95
bap-strings.2.5.0☑☒46
bap-stub-resolver.2.5.0☒☒11
bap-symbol-reader.2.5.0☒☒11
bap-systemz.2.5.0☒☒11
bap-taint.2.5.0☒☒12
bap-taint-propagator.2.5.0☒☒10
bap-term-mapper.2.5.0☒☒10
bap-thumb.2.5.0☒☒11
bap-toplevel.2.5.0☒☒11
bap-trace.2.5.0☒☒1
bap-traces.2.5.0☒☒17
bap-trivial-condition-form.2.5.0☒☒10
bap-warn-unused.2.5.0☒☒10
bap-x86.2.5.0☒☒13
bare.2.5.0☑☒14
bare_encoding.0.3.1☑☑0
bark.0.1.4☑☑0
base.v0.16.3☑☑4406
base-bigarray.base☑☑4407
base-bytes.base☑☑4406
base-domains.base☒☑29
base-native-int63.0.1☑☑4406
base-nnp.base☒☑0
base-threads.base☑☑4413
base-unix.base☑☑4413
base32.1.0.0☒☒2
base58.0.1.2☑☑0
base64.3.5.1☑☑962
base_bigstring.v0.16.0☑☑4406
base_quickcheck.v0.16.0☑☑4406
base_trie.v0.16.0☑☑0
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.7☑☒0
batteries.3.7.1☑☑-1
bdd.0.3☒☒3
bddrand.2.71.15☒☒0
bear.0.0.1☑☒1
bech32.0.1☑☑0
bechamel.0.5.0☑☑11
bechamel-js.0.5.0☑☑1
bechamel-notty.0.5.0☑☑4
beluga.1.1.1☒☒-1
benchmark.1.6☑☑4406
benchpress.0.1☑☒1
benchpress-server.0.1☑☒0
bencode.2.0☑☑7
bentov.1☑☑2
bestline.0.2.1☑☑0
bheap.2.0.0☑☑4406
bibtex2html.1.99-1☒☒0
bidirectional_map.v0.16.0☑☑0
bigarray-compat.1.1.0☑☑4406
bigarray-overlap.0.2.1☑☑87
bigdecimal.v0.16.0☑☑0
bignum.v0.16.0☑☑12
bigstring.0.3☑☑330
bigstring-unix.0.3☑☑1
bigstringaf.0.9.1☑☑-1
bimage.0.6.0☑☑2
bimage-display.0.4.0☒☒0
bimage-gtk.0.2.1☑☑0
bimage-io.0.6.0☒☒0
bimage-lwt.0.4.0☑☑0
bimage-sdl.0.2.1☑☑0
bimage-unix.0.6.0☑☑0
bimap.20201231☑☒-1
bin_prot.v0.16.0☑☑4406
binaryen.0.24.0☑☑0
binaryen_dsl.0.7☒☒-1
binbin.0.01☑☒0
bindlib.6.0.0☑☑2
biniou.1.2.2☑☑4406
binning.0.0.0☑☑3
binsec.0.8.1☑☒-1
bio_io.0.7.0☑☑0
biocaml.0.11.2☑☒-1
biotk.0.2.0☑☒-1
bip32.0.2☒☒0
bisect.1.3.1☒☒7
bisect_ppx.2.8.3☑☑235
bisect_ppx-ocamlbuild.1.0.1☑☒1
bistro.0.6.0☑☒-1
bistro-bio.0.6.0☒☒-1
bitcoin.3.0☑☑3
bitcoin-cohttp-async.3.0☑☑-1
bitcoin-cohttp-lwt.3.0☑☑0
bitcoin-ocurl.3.0☑☑0
bitlib.1.0☑☑0
bitmasks.1.4.0☑☒0
bitpack_serializer.0.1.0☑☑0
bitstring.4.1.0☑☑26
bitv.1.6☑☑-1
bitvec.2.5.0☑☒101
bitvec-binprot.2.5.0☑☒98
bitvec-order.2.5.0☑☒98
bitvec-sexp.2.5.0☑☒99
bjack.0.1.6☒☒4
blake2.0.3☑☒13
blake3.0.3☒☒1
bloomf.0.2.0☑☑0
bls12-381.18.0☑☑-1
bls12-381-gen.0.5.0☑☑186
bls12-381-hash.1.0.0☒☒0
bls12-381-js.0.5.0☒☑0
bls12-381-js-gen.0.5.0☑☑1
bls12-381-legacy.0.4.4☑☒138
bls12-381-signature.1.0.0☒☒164
bls12-381-unix.2.0.1☑☑182
blurhash.0.1.0☑☑0
bn128.0.1.3☑☑0
bnfgen.3.0.0☑☑-1
bogue.20221112☒☑-1
bogue-tutorials.0.1.0☑☑-1
boltzgen.0.9.3☑☒0
bonsai.v0.16.0☑☑-1
bookaml.4.0☒☒0
bos.0.2.1☑☑4406
boulangerie.1.0.1☑☑0
box.1.2.0☑☑0
bpf.0.2☑☑0
bracetax.0.4☑☒0
broken.0.4.2☑☑7
brr.0.0.6☑☑-1
brr-lwd.0.3☑☑0
bsdowl.3.0.0-20150830☑☑8
bst.7.0.1☑☑-1
buffer-pool.0.2☑☑0
build_path_prefix_map.0.3☑☑0
builder.0.3.2☑☑-1
builder-web.0.1.0☑☒-1
bun.0.3.4☒☒0
bwd.2.3.0☑☑4
bytearray.1.0.3☑☒0
bytebuffer.0.0.2☑☑0
ca-certs.0.2.3☑☑-1
ca-certs-nss.3.92☑☑-1
cactus.1.0.0☑☑0
cairn.1.0☑☑0
cairo2.0.6.4☑☑-1
cairo2-gtk.0.6.4☑☑-1
cairo2-pango.0.6.4☑☑-1
caisar.0.2.1☑☒-1
caisar-ir.0.2☑☑2
caisar-nnet.0.2☑☑1
caisar-onnx.0.2☑☑1
caisar-ovo.0.2☑☑1
caisar-xgboost.0.2☑☑1
calcium.0.3.2☒☒-1
calculon.0.8☑☑1
calculon-redis.0.6☑☒0
calculon-redis-lib.0.6☑☒1
calculon-web.0.8☑☑0
caldav.0.2.1☑☑-1
calendar.3.0.0☑☑123
calendars.1.0.0☑☑0
calipso.4.1.0☑☑0
calli.0.1☒☒-1
callipyge.0.2☑☑1
camelot.0.4.3☑☑0
camels.0.0.4☑☑0
camelsnakekebab.0.4☑☑0
caml-mode.4.9☑☑3
camlbz2.0.7.0☑☒-1
camlgpc.1.0☑☑0
camlidl.1.12☑☑34
camlimages.5.0.4-1☑☒-1
camlix.0.1☑☑0
camllib.1.3.3☑☒1
camlmix.1.3.0☑☒1
camlon.3.1.0☑☑9
camlp-streams.5.0.1☑☑4406
camlp4.4.14+1☒☒4406
camlp5.8.02.01☑☑-1
camlp5-buildscripts.0.03☑☑-1
camlpdf.2.6☑☑-1
camlprime.0.5☑☑0
camlrack.0.10.1☑☑1
camltc.0.9.8☑☒9
camlzip.1.11☑☑-1
camomile.2.0.0☑☑281
camyll.0.4.3☑☑0
canary.0.0.1☑☑0
capnp.3.6.0☑☑11
capnp-rpc.1.2.3☑☑-1
capnp-rpc-lwt.1.2.3☑☑-1
capnp-rpc-mirage.1.2.3☑☑0
capnp-rpc-net.1.2.3☑☑-1
capnp-rpc-unix.1.2.3☑☑-1
captureio.0.1.2☑☒0
caqti.2.0.1☑☑-1
caqti-async.2.0.1☑☑-1
caqti-driver-mariadb.2.0.1☒☒-1
caqti-driver-pgx.2.0.1☑☑-1
caqti-driver-postgresql.2.0.1☒☒-1
caqti-driver-sqlite3.2.0.1☑☑-1
caqti-dynload.2.0.1☑☑3
caqti-eio.2.0.1☒☑-1
caqti-lwt.2.0.1☑☑-1
caqti-mirage.2.0.1☑☑-1
caqti-type-calendar.2.0.1☑☑2
carbon.0.1.0☒☑-1
carray.0.0.2☑☑0
carton.0.7.0☑☑-1
carton-git.0.7.0☑☑-1
carton-lwt.0.7.0☑☑-1
catala.0.8.0☑☑0
catapult.0.2☑☑7
catapult-client.0.2☑☑0
catapult-daemon.0.2☑☑0
catapult-file.0.2☑☑3
catapult-sqlite.0.2☑☑1
cb-check.0.1☑☑0
cbor.0.5☑☑2
cborl.0.1.0☒☒0
cca.0.7☒☒0
ccbg.0.1☑☑0
cconv.0.5☑☑4
cdrom.0.9.4☒☒0
certify.0.3.3☑☑0
cf.0.5.0☑☑182
cf-lwt.0.5.0☑☑180
cfg.2.3.0☑☑-1
cfgen.1.0☑☑0
cfml.20220112☑☑0
cfstream.1.3.2☑☒6
cgi.0.10☑☒2
cgroups.0.1☑☑0
chacha.1.1.0☑☑0
chalk.1.0☑☑0
chamelon.0.1.2☑☑1
chamelon-unix.0.1.2☑☑0
chamo.4.0☑☑0
charInfo_width.2.0.0☑☑0
charrua.1.5.0☑☑-1
charrua-client.1.5.0☑☑-1
charrua-client-lwt.1.2.2☑☑1
charrua-client-mirage.1.2.2☑☑1
charrua-server.1.5.0☑☑-1
charrua-unix.1.5.0☑☑-1
charset.0.1.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.5☑☑0
checkseum.0.5.2☑☑317
choice.0.4☑☑0
chrome-trace.3.11.1☑☑-1
cid.0.1.0☑☑0
cinaps.v0.15.1☑☑3
clangml.4.8.0☒☒2
clangml-transforms.0.26☒☒1
clap.0.3.0☑☑111
clarity-lang.0.1.0☑☑0
class_group_vdf.0.0.4☒☑-1
clim.0.3.0☑☑1
cll.0.2.0☑☑0
cloudi.2.0.7☑☑0
clp_operations.0.0.1☒☒0
clz.0.1.0☑☑1
cmark.0.2.0☑☒0
cmarker.0.3.0☑☑0
cmarkit.0.2.0☑☑-1
cmdliner.1.2.0☑☑-1
cmdliner-stdlib.1.0.0☑☑-1
cmdtui.0.4.3☑☒1
cmdtui-lambda-term.0.4.3☑☒0
cmitomli.1.0.0☑☑0
cmon.0.2☑☒0
coccinelle.1.1.1☑☒-1
codept.0.12.0☑☑0
cohttp.6.0.0~alpha2☑☑-1
cohttp-async.6.0.0~alpha2☑☑-1
cohttp-curl.6.0.0~alpha2☑☑-1
cohttp-curl-async.6.0.0~alpha2☑☑-1
cohttp-curl-lwt.6.0.0~alpha2☑☑-1
cohttp-eio.6.0.0~alpha2☒☑-1
cohttp-lwt.6.0.0~alpha2☑☑-1
cohttp-lwt-jsoo.6.0.0~alpha2☑☑-1
cohttp-lwt-unix.6.0.0~alpha2☑☑-1
cohttp-mirage.6.0.0~alpha2☑☑-1
cohttp-server-lwt-unix.6.0.0~alpha2☑☑-1
cohttp-top.6.0.0~alpha2☑☑-1
cohttp_async_websocket.v0.16.0☑☑-1
cohttp_static_handler.v0.16.0☑☑-1
coin.0.1.4☑☑26
colibri2.0.4☒☒2
colibrics.0.4☑☑0
colibrilib.0.4☑☑3
colombe.0.8.0☑☑-1
color.0.2.0☑☑-1
color-brewery.0.2☑☑0
combinaml.0.1☑☑0
combinat.3.0☑☑0
combine.0.6☑☒0
comby.1.7.0☒☒-1
comby-kernel.1.7.0☑☒1
comby-semantic.1.7.0☑☑1
command_rpc.v0.16.0☑☑-1
commons.1.8.0☑☑5
conan.0.0.5☑☑9
conan-cli.0.0.5☑☑0
conan-database.0.0.5☑☑6
conan-lwt.0.0.5☑☑0
conan-unix.0.0.5☑☑1
conduit.6.2.0☑☑-1
conduit-async.6.2.0☑☑-1
conduit-lwt.6.2.0☑☑-1
conduit-lwt-unix.6.2.0☑☑-1
conduit-mirage.6.2.0☑☑-1
conex.0.11.1☑☑1
conex-mirage-crypto.0.11.1☒☒0
conex-nocrypto.0.11.0☑☑0
conf-aclocal.2☑☑26
conf-adwaita-icon-theme.2☑☑1
conf-antic.1☒☒5
conf-ao.1☑☑7
conf-arb.1☒☒6
conf-asciidoc.1☑☑1
conf-assimp.1☒☒0
conf-autoconf.0.1☑☑-1
conf-automake.1☑☑221
conf-bap-llvm.1.8☒☒17
conf-bash.1☑☑4410
conf-binutils.0.3☒☒99
conf-bison.2☑☑3
conf-blas.1☑☑21
conf-bluetooth.1☒☒-1
conf-bmake.1.0☑☑9
conf-boost.1☑☑4
conf-brotli.0.0.1☒☒2
conf-c++.1.0☑☑43
conf-cairo.1☑☑61
conf-calcium.1☒☒4
conf-capnproto.2☑☑12
conf-clang.1☑☑110
conf-clang-format.1☒☒0
conf-cmake.1☑☑320
conf-cosmopolitan.1☒☒1
conf-cpio.1☑☑8
conf-csdp.1☒☒1
conf-dbm.1.0.0☑☑23
conf-diffutils.2☑☑6
conf-dpkg.1☑☑2
conf-efl.1.8☑☑1
conf-emacs.1☑☑4
conf-env-travis.1☑☑17
conf-expat.1☑☑3
conf-faad.1☑☑5
conf-fdkaac.1☑☑5
conf-ffmpeg.1☑☑13
conf-fftw3.1☑☑1
conf-findutils.1☑☑4408
conf-flex.2☑☑1
conf-flint.1☒☒-1
conf-freetype.1☑☑68
conf-frei0r.1☑☑5
conf-fswatch.11-0.1.3☑☑3
conf-ftgl.1☒☒0
conf-fts.1☑☑2
conf-g++.1.0☑☑249
conf-gcc.1.0☑☑20
conf-gd.1☒☒5
conf-gfortran.0☑☑15
conf-ghostscript.1☒☒9
conf-git.1.1☑☑15
conf-glade.2☑☑4407
conf-gles2.1☑☑5
conf-glew.1☒☒2
conf-glfw3.2☒☒3
conf-glib-2.1☑☑6
conf-glpk.1☒☒2
conf-gmp.4☑☑4411
conf-gmp-powm-sec.3☑☑4407
conf-gnome-icon-theme3.0☑☑0
conf-gnomecanvas.2☑☑4407
conf-gnuplot.0.1☑☑26
conf-gnutls.1☑☑4407
conf-gobject-introspection.1.0☒☒1
conf-goocanvas2.0☑☑1
conf-graphviz.0.1☑☑15
conf-gsl.2☑☑19
conf-gssapi.1☒☒4407
conf-gstreamer.1☑☑7
conf-gtk2.1☑☑4407
conf-gtk3.18☑☑31
conf-gtksourceview.2☑☑4407
conf-gtksourceview3.0+2☑☑25
conf-guile.1☒☒1
conf-haveged.1.0.0☑☑0
conf-hidapi.0☑☑201
conf-ida.0.3☒☒3
conf-jack.1☒☒5
conf-jq.1☑☑5
conf-ladspa.1☑☑6
conf-lame.1☑☑5
conf-lapack.1☑☑22
conf-leveldb.2☒☒2
conf-libMagickCore.1☒☒0
conf-libX11.1☑☑4407
conf-libargon2.1☑☑2
conf-libbz2.1☑☑16
conf-libclang.15☑☑4
conf-libcurl.2☑☑63
conf-libdw.1☒☒0
conf-libev.4-12☑☑4406
conf-libevent.1☑☑6
conf-libffi.2.0.0☑☑995
conf-libflac.1☑☑5
conf-libfontconfig.1☑☑1
conf-libfuse.1☒☒2
conf-libgif.1☑☑10
conf-libgsasl.1☑☑1
conf-libjpeg.1☒☒11
conf-liblinear-tools.1.0.0☒☒1
conf-liblo.1☑☑5
conf-liblz4.1☑☑14
conf-liblzma.1☑☑1
conf-libmagic.1☑☑1
conf-libmaxminddb.1☑☑2
conf-libmosquitto.1☒☒1
conf-libmpg123.1☑☑1
conf-libogg.1☑☑13
conf-libopus.1☒☒5
conf-libpcre.1☑☑-1
conf-libpcre2-8.1☑☑-1
conf-libpng.1☑☑9
conf-libportmidi.1☑☑1
conf-librsvg2.0☑☑1
conf-libsamplerate.2☑☑0
conf-libsodium.1☑☑4
conf-libspeex.1☑☑5
conf-libssl.4☑☑4408
conf-libsvm.3☑☑0
conf-libsvm-tools.1.0.0☒☒1
conf-libtheora.1☑☑7
conf-libtool.1☑☑3
conf-libuv.1☑☑3
conf-libvorbis.1☑☑5
conf-libwayland.1☑☑2
conf-libxcb.1☑☑1
conf-libxcb-image.1☑☑1
conf-libxcb-keysyms.1☑☑1
conf-libxcb-shm.1☑☑1
conf-libxcb-xkb.1☑☑1
conf-libxcursor.1☑☑2
conf-libxi.1☑☑2
conf-libxinerama.1☑☑2
conf-libxrandr.1☑☑2
conf-lilv.1☑☑5
conf-lldb.3.5☒☒1
conf-llvm.16☒☒-1
conf-lua.1☒☒0
conf-lz4.1.0.0☑☑1
conf-m4.1☑☑4407
conf-mad.1☒☒7
conf-mariadb.2☑☑15
conf-mbedtls.1☑☑1
conf-mecab.0.996☒☒1
conf-mesa.1☑☑2
conf-mpfr.3☑☑47
conf-mpi.1☑☑5
conf-mysql.1☑☑13
conf-nanomsg.0☒☒1
conf-nauty.1.0☒☒0
conf-ncurses.1☑☑4407
conf-neko.1☒☒1
conf-netsnmp.1.0.0☒☒1
conf-nlopt.1☑☑4
conf-nmap.1.0.0☑☑1
conf-npm.1☑☑23
conf-ode.1☒☒0
conf-oniguruma.1☑☑4
conf-openbabel.0.1☑☑1
conf-openblas.0.2.1☑☑-1
conf-opencc0.1☒☒1
conf-opencc1.1☒☒2
conf-opencc1_1.1☒☒1
conf-openimageio.1☑☑1
conf-openjdk.1☒☒1
conf-openssl.2☑☑3
conf-pandoc.0.1☒☒1
conf-pango.1☑☑2
conf-perl.2☑☑4410
conf-perl-ipc-system-simple.3☒☒4407
conf-perl-string-shellquote.3☒☒4407
conf-pixz.1☑☑0
conf-pkg-config.3☑☑4546
conf-plplot.1☒☒11
conf-portaudio.1☑☑6
conf-postgresql.1☒☒-1
conf-ppl.1☑☑23
conf-protoc.4.4.0☑☑5
conf-pulseaudio.1☑☑7
conf-python-2-7.1.2☑☑47
conf-python-2-7-dev.1.0☒☒1
conf-python-3.9.0.0☑☑69
conf-python-3-7.1.0.0☒☒1
conf-python-3-dev.1☒☒8
conf-python3-yaml.1☒☒2
conf-qt.5.2.1☒☒2
conf-r.1.0.0☑☑8
conf-r-mathlib.1☒☒2
conf-radare2.0.1☒☒3
conf-rdkit.1☑☑10
conf-readline.1☑☑2
conf-rocksdb.1☒☒2
conf-ruby.1.0.0☒☒3
conf-rust.0.1☑☑309
conf-rust-2018.1☑☑2
conf-rust-2021.1☑☑297
conf-samplerate.1☑☑7
conf-sdl-gfx.1☒☒13
conf-sdl-image.1☒☒13
conf-sdl-mixer.1☒☒13
conf-sdl-net.1☒☒0
conf-sdl-ttf.1☒☒13
conf-sdl2.1☑☑28
conf-sdl2-image.1☑☑17
conf-sdl2-mixer.1☑☑1
conf-sdl2-net.1☒☒0
conf-sdl2-ttf.1☑☑17
conf-sdpa.1☒☒1
conf-secp256k1.1.0.0☑☑-1
conf-sfml2.1☑☑2
conf-shine.1☒☒5
conf-snappy.1☒☒4
conf-soundtouch.1☑☑5
conf-sqlite3.1☑☑77
conf-srt.2☑☑5
conf-srt-gnutls.1☒☒0
conf-srt-openssl.1☒☒0
conf-sundials.2☒☒4
conf-swi-prolog.1☑☑2
conf-taglib.1☑☑5
conf-tcl.1☑☑7
conf-texlive.1☑☑3
conf-tidy.1☒☒1
conf-time.1☑☑4407
conf-timeout.1☑☑2
conf-tk.1☑☑7
conf-tree-sitter.1☒☒0
conf-trexio.0.1☒☒1
conf-tzdata.1☑☑1
conf-unwind.0☑☑4415
conf-vim.1☑☑0
conf-wayland-protocols.1☑☑2
conf-wget.1☑☑4
conf-which.1☑☑4422
conf-wxwidgets.3.0☒☒1
conf-xen.1☑☑4407
conf-xkbcommon.1☑☑2
conf-xxhash.1☑☑3
conf-zig.1☑☑2
conf-zlib.1☑☑4407
conf-zmq.0.1☑☑27
conf-zstd.1.3.8☑☑7
confero.0.1.1☑☑0
config-file.1.2.1☒☒9
configuration.0.4.1☑☑1
conformist.0.8.1☑☑8
conjury.2.2☑☑1
containers.3.12☑☑-1
containers-data.3.12☑☑-1
containers-thread.3.12☑☑0
content_security_policy.v0.16.0☑☑0
cookie.0.1.8☑☑3
cookies.1.0.0☑☑0
coq.8.18.0☑☑-1
coq-core.8.18.0☑☑-1
coq-lsp.0.1.8+8.18☑☑-1
coq-native.1☑☒29
coq-of-ocaml.2.5.3+4.14☑☒0
coq-serapi.8.18.0+0.18.1☑☑-1
coq-shell.1☑☑0
coq-stdlib.8.18.0☑☑-1
coq-waterproof.2.1.0+8.17☑☑-1
coqide.8.18.0☑☑-1
coqide-server.8.18.0☑☑-1
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-device.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-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.16.2☑☑4406
core-and-more.0.0.1☑☒-1
core_bench.v0.16.0☑☑-1
core_compat.v0.15.0☑☒-1
core_extended.v0.16.0☑☑-1
core_kernel.v0.16.0☑☑4406
core_profiler.v0.16.0☑☑-1
core_unix.v0.16.0☑☑-1
corecount.1.0.0☑☒0
cosovo.3☑☑0
cow.2.4.0☑☑-1
cpdf.2.6☑☑-1
cpm.12.2.0☑☑15
cppffigen.0.002☒☒0
cppo.1.6.9☑☑-1
cppo_ocamlbuild.1.6.9☑☑-1
cps_toolbox.0.3☑☑1
cpu.2.0.0☑☑19
cpuid.0.1.2☑☑703
craml.1.0.0☑☒3
crc.2.1.0☑☒-1
crdt-ml.0.10.0☑☒0
crlibm.0.5.1☑☑2
crontab.0.1☑☑0
crowbar.0.2.1☑☑54
crunch.3.3.1☑☑124
cry.1.0.1☑☑-1
crypt.1.3☒☒0
cryptodbm.0.84.2☑☒0
cryptohash.0.1.2☑☒0
cryptokit.1.18☑☑-1
cryptoverif.2.07☑☑-1
csexp.1.5.2☑☑4406
css.0.1.0☑☑-1
css-parser.0.2.5☑☒0
cstruct.6.2.0☑☑4406
cstruct-async.6.2.0☑☑-1
cstruct-lwt.6.2.0☑☑783
cstruct-sexp.6.2.0☑☑653
cstruct-unix.6.2.0☑☑52
csv.2.4☑☑51
csv-lwt.2.4☑☑0
csvfields.v0.16.0☑☑8
csvtool.2.4☑☑0
ctoxml.4.1.0☑☑0
ctypes.0.21.1☑☑-1
ctypes-build.0.0.2☑☑2
ctypes-foreign.0.21.1☑☑-1
ctypes-zarith.0.2.0☑☒1
ctypes_stubs_js.0.1☑☑239
cubicle.1.2.0☑☒0
cucumber.1.0.4☒☒0
cudf.0.10☑☑29
cue_sheet_maker.0.2.0-1☑☑0
cuid.0.1☑☒0
cumulus.0.0.1☑☑0
curly.0.3.0☑☑5
current.0.6.4☑☑-1
current-albatross-deployer.1.0.0☑☑0
current-web-pipelines.0.1☑☑0
current_ansi.0.4☑☑3
current_docker.0.6.4☑☑-1
current_examples.0.6.4☑☑-1
current_git.0.6.4☑☑-1
current_github.0.6.4☑☑-1
current_gitlab.0.6.4☑☑-1
current_incr.0.6.1☑☑13
current_ocluster.0.2.1☑☑-1
current_rpc.0.6.4☑☑-1
current_slack.0.6.4☑☑-1
current_ssh.0.6.4☑☑-1
current_web.0.6.4☑☑-1
curses.1.0.11☑☑9
curve-sampling.0.2.1☑☑0
cviode.0.0.4☑☒0
daft.0.0.4☒☑0
dap.1.0.6☑☑1
data-encoding.1.0.0☑☑-1
datakit-server.1.0.0☑☒3
datakit-server-9p.1.0.0☑☒2
datalog.0.6☑☒-1
dates_calc.0.0.5☑☑-1
daypack-lib.0.0.6☑☑1
dbf.0.2.0☑☑0
dbm.1.3☑☑-1
deadlock.1.0☑☒0
debian-formats.0.1.2☑☑1
decimal.1.0.1☑☑1
decoders.1.0.0☑☑10
decoders-bencode.1.0.0☑☑0
decoders-cbor.1.0.0☑☑0
decoders-ezjsonm.1.0.0☑☑0
decoders-ezxmlm.1.0.0☑☑0
decoders-jsonaf.1.0.0☑☑0
decoders-jsonm.1.0.0☑☑0
decoders-msgpck.1.0.0☑☑0
decoders-sexplib.1.0.0☑☑0
decoders-yojson.1.0.0☑☑3
decompress.1.5.3☑☑187
dedent.v0.16.0☑☑2
dedukti.2.7☑☑3
delimcc.2023.06.17☒☒78
delimcc_of_fxhandler.0.1☒☑0
delimited_parsing.v0.16.0☑☑-1
depgraph.0.1.0☑☒0
depyt.0.3.0☑☑0
deriving.0.8.1☒☒4406
devkit.1.20210517☒☒-1
diet.0.4☑☑4
diff.1.0.2☑☑0
diffable.v0.16.0☑☑8
digestif.1.1.4☑☑-1
directories.0.5☑☑10
dirsift.0.0.5☑☒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
diskuvbox.0.2.0☑☑8
dispatch.0.5.0☑☑22
dispatch-js.0.5.0☑☑0
distributed.0.6.0☑☒2
distributed-lwt.0.2.0☑☒0
diy.5.01☑☒0
dkim.0.5.0☑☑-1
dkim-bin.0.5.0☑☑-1
dkim-mirage.0.5.0☑☑-1
dkml-c-probe.3.0.0☑☑0
dkml-compiler-env.1.0.2~prerel7☑☑0
dkml-dune-dsl.0.1.1☑☑-1
dkml-dune-dsl-show.0.1.1☑☑-1
dkml-install.0.1.0☑☑2
dkml-install-installer.0.1.0☑☒0
dkml-install-runner.0.1.0☑☒1
dkml-option-vcpkg.0.1.0☑☑0
dkml-runtime-common.2.0.3☑☑0
dkml-runtime-common-native.2.0.3☑☑0
dkml-workflows.1.2.0☑☑8
dmap.0.5☑☑2
dns.7.0.3☑☑-1
dns-certify.7.0.3☑☑-1
dns-cli.7.0.3☑☑-1
dns-client.7.0.3☑☑-1
dns-client-lwt.7.0.3☑☑-1
dns-client-mirage.7.0.3☑☑-1
dns-mirage.7.0.3☑☑-1
dns-resolver.7.0.3☑☑-1
dns-server.7.0.3☑☑-1
dns-stub.7.0.3☑☑-1
dns-tsig.7.0.3☑☑-1
dnssec.7.0.3☑☑-1
docfd.0.6.1☑☑0
docker-api.0.2.2☑☒0
docker_hub.0.1.1☑☑-1
dockerfile.8.2.1☑☑-1
dockerfile-cmd.8.2.1☑☑-1
dockerfile-opam.8.2.1☑☑-1
docout.0.0.1☑☑2
docteur.0.0.6☑☑-1
docteur-solo5.0.0.6☑☑-1
docteur-unix.0.0.6☑☑-1
doculib.1.3.5☑☑0
doi2bib.0.6.2☑☑0
dokeysto.4.0.1☑☑11
dokeysto_camltc.4.0.0☑☒7
dokeysto_lz4.4.0.0☑☑0
dolmen.0.9☑☑-1
dolmen_bin.0.9☑☑-1
dolmen_loop.0.9☑☑-1
dolmen_lsp.0.9☑☑-1
dolmen_model.0.9☑☑-1
dolmen_type.0.9☑☑-1
dolog.6.0.0☑☑19
domain-local-await.1.0.0☑☑-1
domain-local-timeout.1.0.0☑☑-1
domain-name.0.4.0☑☑4406
domain_shims.0.1.0☑☑43
domainslib.0.5.1☒☑24
dose3.7.0.0☑☑10
dose3-extra.7.0.0☑☒0
dot-merlin-reader.4.9☑☑-1
dotenv.0.0.3☑☑0
down.0.1.0☑☑-1
dream.1.0.0~alpha5☑☑-1
dream-accept.0.1.0☑☑0
dream-cli.0.2.0☑☑0
dream-encoding.0.2.0☑☒-1
dream-html.1.2.0☑☑-1
dream-htmx.0.1.0☑☑0
dream-httpaf.1.0.0~alpha2☑☑-1
dream-livereload.0.2.0☑☑0
dream-pure.1.0.0~alpha2☑☑22
dream-serve.1.0.1☑☑0
drom.0.8.0☑☒0
drom_lib.0.8.0☑☒1
drom_toml.0.8.0☑☑2
dropbox.0.2☑☑1
dropbox_lwt_unix.0.2☑☑0
dryunit.0.5.0☑☒0
dscheck.0.3.0☒☑-1
dssi.0.1.2☒☒-1
dtc-pb.1.0☑☒0
dtoa.0.3.3☑☑2
dtools.0.4.5☑☑4
dual.0.1.0☑☑0
duff.0.5☑☑47
dum.1.0.3☑☒0
dump_ocamlformat.0.2.2☑☒-1
dune.3.11.1☑☑-1
dune-action-plugin.3.11.1☑☑-1
dune-build-info.3.11.1☑☑-1
dune-compiledb.0.4.0☑☑-1
dune-configurator.3.11.1☑☑-1
dune-deps.1.3.0☑☑0
dune-expand.0.0.1☑☒-1
dune-glob.3.11.1☑☑-1
dune-private-libs.3.11.1☑☑-1
dune-release.2.0.0☑☑2
dune-rpc.3.11.1☑☑-1
dune-rpc-lwt.3.11.1☑☑-1
dune-site.3.11.1☑☑-1
duppy.0.9.3☑☑-1
duration.0.2.1☑☑4406
dyn.3.11.1☑☑-1
dyntype.0.9.0☒☒35
earley.3.0.0☑☑2
earlybird.1.2.1☑☑-1
easy-format.1.3.4☑☑4406
easy_logging.0.8.2☑☑7
easy_logging_yojson.0.8.2☑☑6
ecaml.v0.16.0☑☑-1
edn.0.2.0☑☑0
efl.1.24.0☒☒0
ego.0.0.6☑☑0
eigen.0.3.3☑☑16
eio.0.13☒☑-1
eio-ssl.0.2.0☒☑-1
eio_luv.0.9☒☑-1
eio_main.0.13☒☑-1
eio_posix.0.13☒☑-1
either.1.0.0☑☑526
elasticsearch-cli.1.2☒☒0
electrod.1.0.0☑☒0
elina.1.3.2☒☒1
eliom.10.1.2☑☑-1
elpi.1.18.0☑☑-1
email_message.v0.16.0☑☑-1
embedded_ocaml_templates.0.8☑☑0
emile.1.1☑☑74
emoji.1.1.0☑☒0
encore.0.8☑☑45
enumerators.0.2.0☑☑0
env_config.v0.16.0☑☑-1
epictetus.3.1.1☑☑0
eprover.2.6☒☒-1
eqaf.0.9☑☑-1
equinoxe.0.2.0☑☑2
equinoxe-cohttp.0.2.0☑☑0
equinoxe-hlc.0.2.0☑☑0
eris.1.0.0☒☒-1
eris-lwt.1.0.0☒☒-1
erlang.0.0.14☑☑0
errpy.0.0.10☑☑0
erssical.1.1.0☑☑0
esgg.20190322☑☑0
esperanto.0.0.4☒☒-1
esperanto-cosmopolitan.0.0.4☒☒-1
ethernet.3.2.0☑☑640
euler.0.2☑☑-1
exenum.0.86☑☑0
exn-source.0.1☑☑0
expect.0.0.6☑☒4406
expect_test_helpers_async.v0.16.0☑☑-1
expect_test_helpers_core.v0.16.0☑☑4406
extism.0.4.0☑☑-1
extism-manifest.0.4.0☑☑-1
extlib.1.7.9☑☑-1
extprot.1.7.0☒☒0
extunix.0.4.1☑☑-1
ez_api.2.0.0☑☑-1
ez_cmdliner.0.4.3☑☑7
ez_config.0.2.0☑☒4
ez_file.0.3.0☑☑15
ez_hash.0.5.3☑☑0
ez_opam_file.0.1.0☑☑4
ez_pgocaml.1.0.0☑☑0
ez_subst.0.2.1☑☑8
ezcurl.0.2.3☑☑-1
ezcurl-lwt.0.2.3☑☑-1
ezdl.2.71.15☑☑2
ezgzip.0.2.3☑☑6
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☑☑1
ezjs_fetch.0.3☑☑3
ezjs_idb.0.1.1☑☑0
ezjs_jquery.0.1☑☑0
ezjs_min.0.3.0☑☑11
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.3.0☑☑446
ezjsonm-lwt.1.3.0☑☑0
ezresto.0.6.1☑☑1
ezresto-directory.0.6.1☑☑0
ezsqlite.0.4.2☑☑0
ezxmlm.1.1.0☑☑30
faad.0.5.1☑☑4
facile.1.1.4☑☒0
fadbadml.0.1.2☑☑0
faraday.0.8.2☑☑167
faraday-async.0.8.2☑☑-1
faraday-lwt.0.8.2☑☑73
faraday-lwt-unix.0.8.2☑☑68
farfadet.0.3☑☑0
farith.0.1☑☑5
farmhash.0.4☒☒0
fasmifra.1.1.0☑☑0
fat-filesystem.0.15.1☑☑2
fd-send-recv.2.0.2☒☑710
fdkaac.0.3.3☑☑4
feat.20220407☑☑0
feat-core.20220407☑☑2
feat-num.20220407☑☑0
feather.0.3.0☑☑2
feather_async.0.3.0☑☑-1
febusy.0.0.0☑☒0
ff.0.6.2☑☑139
ff-bench.0.6.2☑☑-1
ff-pbt.0.6.2☑☑4
ff-sig.0.6.2☑☑256
ffmpeg.1.1.9☑☑-1
ffmpeg-av.1.1.9☑☑-1
ffmpeg-avcodec.1.1.9☑☑-1
ffmpeg-avdevice.1.1.9☑☑-1
ffmpeg-avfilter.1.1.9☑☑-1
ffmpeg-avutil.1.1.9☑☑-1
ffmpeg-swresample.1.1.9☑☑-1
ffmpeg-swscale.1.1.9☑☑-1
fftw3.0.8.5☒☒0
fiber.3.7.0☑☑2
fiber-lwt.3.7.0☑☑0
fieldslib.v0.16.0☑☑4406
file_path.v0.16.0☑☑-1
fileutils.0.6.4☑☑4406
finch.0.1☑☒-1
findlib_top.v0.11.0☑☒0
fit.1.0.3☒☒-1
fix.20230505☑☑83
flac.0.5.0☑☑4
flex-array.1.2.0☑☑2
flint.0.3.2☒☒-1
fm-simplex-plugin.1.30☒☒0
fmlib.0.5.7☑☑-1
fmlib_browser.0.5.7☑☑-1
fmlib_js.0.5.7☑☑-1
fmlib_parse.0.5.7☑☑-1
fmlib_pretty.0.5.7☑☑-1
fmlib_std.0.5.7☑☑-1
fmt.0.9.0☑☑4406
fontforge-of-ocaml.1.1.0☑☑0
forester.2.5.1☒☑-1
format.0.1☒☒0
fpath.0.7.3☑☑4406
frama-c.28.0~beta☒☒-1
frama-c-lannotate.0.2☑☒-1
frama-c-luncov.0.2☑☒-1
frama-c-metacsl.0.5☒☒-1
frama-clang.0.0.14☒☒-1
freetds.0.7☒☒1
frei0r.0.1.2☑☑4
frenetic.5.0.5☒☒-1
fromager.0.5.0☑☒-1
fsevents.0.3.0☑☑180
fsevents-lwt.0.3.0☑☑179
fsml.0.3.0☑☒0
fstar.2022.01.15☒☒2
fstreams.0.2.1☑☒0
fswatch.11-0.1.3☑☑-1
fswatch_async.11-0.1.2☑☑-1
fswatch_lwt.11-0.1.0☑☑0
functoria.4.4.1☑☑-1
functoria-runtime.4.4.1☑☑-1
functory.0.6☑☒2
funfields.0.04☑☑0
fuzzy_compare.2.0.1☑☑0
fuzzy_match.v0.16.0☑☑2
fzf.v0.16.0☑☑-1
gadelac.0.6.1☑☒0
gammu.0.9.3☒☒0
gapi-ocaml.0.4.5☒☒1
gappa.1.4.1☑☑0
gavl.0.1.6☒☒2
gbddml.2.71.15☑☑2
gd.1.0a5☒☒-1
gdal.0.10.0☑☒0
gdbprofiler.0.4☑☑0
gedcom.1.0.0☑☑0
gen.1.1☑☑4406
gen-bs.0.0.0☑☒0
gen_js_api.1.1.2☑☑-1
genspio.0.0.3☑☑0
genspir.1.0.1☑☑0
geoip.0.0.3☒☒3
geojson.0.1.1☑☑-1
geojsone.0.1.1☒☑-1
geoml.0.1.1☑☑0
get_line.7.0.0☑☑1
getopt.20230213☑☑2
getopts.0.4.0☑☒1
gettext.0.4.2☑☒4406
gettext-camomile.0.4.2☑☒0
gettext-stub.0.4.2☑☒0
gg.1.0.0☑☑19
git.3.14.0☑☑-1
git-cohttp.3.6.0☑☒29
git-cohttp-mirage.3.1.1☑☒1
git-cohttp-unix.3.6.0☑☒30
git-http.2.1.3☑☒27
git-kv.0.0.3☑☑-1
git-mirage.3.14.0☑☑-1
git-paf.3.14.0☑☑-1
git-unix.3.14.0☑☑-1
github.4.4.1☑☑15
github-data.4.4.1☑☑16
github-hooks.0.5.0☑☑2
github-hooks-unix.0.5.0☑☑2
github-jsoo.4.4.1☑☑0
github-unix.4.4.1☑☑11
gitlab.0.1.8☑☑6
gitlab-jsoo.0.1.8☑☑0
gitlab-unix.0.1.8☑☑4
gitlab_pipeline_notifier.0.1☑☑0
glMLite.0.03.53☒☒0
gles3.20160307.alpha☒☒0
glfw-ocaml.3.3.1-2☒☒1
glical.0.0.7☒☒0
glicko2.1.0.0☑☒0
globlon.1.0☑☑0
glpk.0.1.8☒☒0
gluten.0.5.0☑☑-1
gluten-async.0.5.0☑☑-1
gluten-eio.0.5.0☒☑-1
gluten-lwt.0.5.0☑☑-1
gluten-lwt-unix.0.5.0☑☑-1
gluten-mirage.0.5.0☑☑-1
gmap.0.3.0☑☑669
gmp.6.2.1-4☑☑-1
gmp-ecm.7.0.3☒☒0
gnuplot.0.7☑☑4
goblint.2.2.1☑☑-1
goblint-cil.2.0.3☑☑-1
google-drive-ocamlfuse.0.7.31☒☒-1
gopcaml-mode.0.0.6☑☒-1
gopcaml-mode-merlin.0.0.6☑☒-1
gospel.0.2.0☑☑-1
gotd.0.1☑☑0
gperftools.0.5☒☒5
gpr.1.5.0☒☒-1
gpx.1.1.1☒☒0
gr.0.0.2☑☑0
gradescope_submit.2.0.2☑☑-1
grain_dypgen.0.2☑☑2
graphics.5.1.2☑☑4406
graphicspdf.2.2.1☑☑0
graphlib.2.5.0☑☒102
graphql.0.14.0☑☑34
graphql-async.0.14.0☑☒0
graphql-cohttp.0.14.0☑☑7
graphql-lwt.0.14.0☑☑30
graphql_parser.0.14.0☑☑35
graphql_ppx.1.2.2☑☑1
graphv.0.1.1☒☒0
graphv_core.0.1.1☑☑3
graphv_core_lib.0.1.1☑☑10
graphv_font.0.1.1☑☑5
graphv_font_js.0.1.1☑☑2
graphv_font_stb_truetype.0.1.1☑☑2
graphv_gles2.0.1.1☑☑3
graphv_gles2_native.0.1.1☒☒1
graphv_gles2_native_impl.0.1.1☒☒2
graphv_webgl.0.1.1☑☑1
graphv_webgl_impl.0.1.1☑☑3
gremlin.0.1.1☑☒-1
grenier.0.14☑☒-1
grib.0.11.0☒☒0
grpc.0.2.0☑☑5
grpc-async.0.2.0☑☑-1
grpc-bench.0.2.0☑☑0
grpc-eio.0.2.0☒☑1
grpc-examples.0.2.0☒☑-1
grpc-lwt.0.2.0☑☑1
gsl.1.24.3☑☒-1
gstreamer.0.3.1☑☑6
guardian.0.1.0☒☒0
gufo.0.1.2☑☒0
guile.1.0☒☒0
gxl-light.1.0☑☑0
h1_parser.0.0.2☑☑0
h2.0.11.0☑☑-1
h2-async.0.11.0☑☑-1
h2-eio.0.11.0☒☑-1
h2-lwt.0.11.0☑☑-1
h2-lwt-unix.0.11.0☑☑-1
h2-mirage.0.11.0☑☑-1
hack_parallel.1.0.1☒☒-1
hacl.0.3☑☒8
hacl-star.0.7.1☒☒293
hacl-star-raw.0.7.1☒☒296
hacl_func.0.1.0☑☑0
hamt.1.0.0☑☒0
happy-eyeballs.0.6.0☑☑-1
happy-eyeballs-lwt.0.6.0☑☑-1
happy-eyeballs-mirage.0.6.0☑☑-1
hardcaml.v0.16.0☑☑15
hardcaml_axi.v0.16.0☑☑0
hardcaml_c.v0.16.0☑☑-1
hardcaml_circuits.v0.16.0☑☑1
hardcaml_fixed_point.v0.16.0☑☑0
hardcaml_handshake.v0.16.0☑☑1
hardcaml_of_verilog.v0.16.0☑☑-1
hardcaml_step_testbench.v0.16.0☑☑0
hardcaml_verify.v0.16.0☑☑-1
hardcaml_verilator.v0.16.0☑☑-1
hardcaml_waveterm.v0.16.0☑☑-1
hardcaml_xilinx.v0.16.0☑☑0
hardcaml_xilinx_components.v0.16.0☑☑-1
hardcaml_xilinx_reports.v0.16.0☑☑-1
hashcons.1.3☑☑-1
hashset.1.0.0☒☒0
haxe.4.1.1☒☒0
hdfs.0.4☒☒0
hdr_histogram.0.0.3☒☒-1
headache.1.07☑☑-1
header-check.0.1.0☑☑0
heptagon.1.05.00☒☒0
herdtools7.7.56.3☑☑-1
hevea.2.36☑☑2
hex.1.5.0☑☑881
hex_encode.v0.16.0☑☑1
hexstring.0.2.1☑☑0
hg_lib.v0.16.0☑☑-1
hidapi.1.1.2☑☑-1
higher.0.3.1☑☑0
higher_kinded.v0.16.0☑☑5
higlo.0.9☑☑24
hilite.0.4.0☑☑0
hiredis.0.8☑☒0
hiredis-value.0.8☑☒2
hkdf.1.0.4☑☑-1
hlarp.0.0.3☑☒0
hll.3.16☑☑0
hmap.0.8.1☑☑230
hockmd.0.1.0☑☑0
hol2dk.0.0.1☑☑-1
hpack.0.11.0☑☑-1
htmlfromtexbooks.3.3.2☑☑0
htmlit.0.1.0☑☑0
hts_shrink.2.1.2☑☑0
http.6.0.0~alpha2☑☑-1
http-cookie.4.3.0☑☑0
http-date.0.1☑☑0
http-lwt-client.0.2.5☑☑-1
http-mirage-client.0.0.5☑☑-1
http-multipart-formdata.3.1.0☑☑0
http_async.0.2.0☑☑-1
httpaf.0.7.1☑☑131
httpaf-lwt-unix.0.7.1☑☑31
httpaf_caged.1.0.0☑☑0
httph.0.1☑☑0
huffman.0.1.2☑☑0
humane-re.0.1.1☑☒1
hvsock.3.0.0☑☒3
hweak.1.1☑☒0
hxd.0.3.2☑☑-1
hyper.1.0.0~alpha2☑☑0
i3ipc.0.4☑☑1
icalendar.0.1.7☑☑-1
idd.0.1☑☑0
idds.0.2☑☒1
igvxml.0.1.0☑☒0
imagelib.20221222☑☑6
incr_dom.v0.16.0☑☑5
incr_dom_interactive.v0.16.0☑☑1
incr_dom_partial_render.v0.16.0☑☑0
incr_dom_sexp_form.v0.16.0☑☑0
incr_map.v0.16.0☑☑6
incr_select.v0.16.0☑☑6
incremental.v0.16.0☑☑-1
indentation_buffer.v0.16.0☑☑2
index.1.6.2☑☑309
index-bench.1.6.2☑☑0
inferno.20220603☑☑0
influxdb.0.3.0☑☑2
influxdb-async.0.3.0☑☑-1
influxdb-lwt.0.3.0☑☑0
inquire.0.3.1☑☑0
inquirer_oc.1.0.15☑☑0
inspect.0.2.1☑☑0
int_repr.v0.16.0☑☑4406
integers.0.7.0☑☑1011
integers_stubs_js.1.0☑☑245
integration1d.0.5.1☑☑0
interface-prime.0.1☑☑2
interface-prime-lwt.0.1☑☑0
interval.1.6☑☑0
interval-map.0.2.0☑☑0
interval_base.1.6☑☑3
interval_crlibm.1.6☑☑1
interval_intel.1.6☑☑1
inuit.0.4.1☑☒2
io.0.2.0☒☒0
io-page.3.0.0☑☑4406
io-page-unix.2.3.0☑☑750
iomux.0.3☑☑22
iostream.0.1☑☑-1
ip2location.8.1.0☑☑-1
ip2locationio.1.0.0☑☑0
ipaddr.5.5.0☑☑-1
ipaddr-cstruct.5.5.0☑☑-1
ipaddr-sexp.5.5.0☑☑-1
ipv6-multicast.0.9☒☒1
ipv6-multicast-lwt.0.9☒☒0
irc-client.0.7.1☑☑12
irc-client-lwt.0.7.1☑☑4
irc-client-lwt-ssl.0.7.1☑☑4
irc-client-tls.0.7.1☑☑2
irc-client-unix.0.7.1☑☑4
iri.0.7.0☑☑-1
irmin.3.9.0☑☑-1
irmin-bench.3.9.0☑☑-1
irmin-chunk.3.9.0☑☑-1
irmin-cli.3.9.0☑☑-1
irmin-client.3.9.0☑☑-1
irmin-containers.3.9.0☑☑-1
irmin-fs.3.9.0☑☑-1
irmin-git.3.9.0☑☑-1
irmin-graphql.3.9.0☑☑-1
irmin-http.3.8.0☑☑2
irmin-indexeddb.2.0☑☒0
irmin-layers.2.10.2☑☑14
irmin-mem.2.2.0☑☑7
irmin-mirage.3.9.0☑☑-1
irmin-mirage-git.3.9.0☑☑-1
irmin-mirage-graphql.3.9.0☑☑-1
irmin-pack.3.9.0☑☑-1
irmin-pack-tools.3.9.0☑☑-1
irmin-server.3.9.0☑☑-1
irmin-test.3.9.0☑☑-1
irmin-tezos.3.9.0☑☑-1
irmin-tezos-utils.3.6.1☑☑0
irmin-unix.3.3.2☑☑2
irmin-watcher.0.5.0☑☑179
iso639.0.0.5☑☑1
iter.1.8☑☑28
itv-tree.2.2☑☑1
jane-street-headers.v0.16.0☑☑4406
jane_rope.v0.16.0☑☑29
janestreet_csv.v0.16.0☑☑-1
jasmin.2023.06.1☑☒-1
javalib.3.2.2☑☑1
javascriptcore.0.0.1☒☒0
jbuilder.1.0+beta20.2☑☒4406
jekyll-format.0.3.3☑☑-1
jemalloc.0.2☒☒9
jext.0.1.0☑☑0
jhupllib.0.3☑☑1
jingoo.1.5.0☑☑18
jose.0.9.0☑☑0
js_of_ocaml.5.4.0☑☑-1
js_of_ocaml-camlp4.3.1.0☒☒16
js_of_ocaml-compiler.5.4.0☑☑-1
js_of_ocaml-lwt.5.4.0☑☑-1
js_of_ocaml-ocamlbuild.5.0☑☑13
js_of_ocaml-ppx.5.4.0☑☑-1
js_of_ocaml-ppx_deriving_json.5.4.0☑☑-1
js_of_ocaml-toplevel.5.4.0☑☑-1
js_of_ocaml-tyxml.5.4.0☑☑-1
js_of_ocaml-webgpu.0.2☑☒-1
js_of_ocaml-webidl.0.2☑☒-1
js_of_ocaml_patches.v0.16.0☑☑8
json-data-encoding.1.0.0☑☑-1
json-data-encoding-browser.1.0.0☑☑-1
json-data-encoding-bson.1.0.0☑☑-1
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
jsonaf.v0.16.0☑☑6
jsondiff.0.0.1☑☑0
jsonm.1.0.2☑☑784
jsonoo.0.2.1☑☑-1
jsonrpc.1.16.2☑☑-1
jsonxt.1.0.1☑☒0
jsoo-react.0.1☑☒0
jsoo_broadcastchannel.2.0.0☑☑0
jsoo_storage.1.0.1☑☑0
jst-config.v0.16.0☑☑4406
junit.2.0.2☑☑8
junit_alcotest.2.0.2☑☑9
junit_ounit.2.0.2☑☑0
jupyter.2.8.3☑☒2
jupyter-kernel.0.8☑☑0
jwt.0.1☑☑0
jwto.0.4.0☑☑16
kafka.0.5☒☒2
kafka_async.0.5☒☒-1
kafka_lwt.0.5☒☒0
kaputt.1.2☑☒3
kcas.0.6.1☑☑-1
kcas_data.0.6.1☑☑-1
kdl.0.1.0☑☑0
ke.0.6☑☑468
key-parsers.1.5.0☑☒1
kicadsch.0.9.0☑☑1
kind2.2.0.0☑☑-1
kinetic-client.0.0.11☑☑0
kittyimg.0.1☑☑1
kkmarkdown.1.0.0☑☑-1
kmt.0.1☑☑0
knights_tour.0.0.5☑☑0
kqueue.0.3.0☒☒-1
krb.v0.15.0☒☒-1
kyotocabinet.0.2☒☒0
lab.0.1.8☑☑0
lablgl.1.07☒☒4406
lablgtk.2.18.13☑☑4406
lablgtk3.3.1.3☑☑-1
lablgtk3-extras.3.0.1☑☑0
lablgtk3-goocanvas2.3.1.3☑☑-1
lablgtk3-gtkspell3.3.1.3☑☑-1
lablgtk3-sourceview3.3.1.3☑☑-1
lablqml.0.7☒☒1
labltk.8.06.13☑☑-1
labrys.0.1☒☒0
lacaml.11.0.10☒☒-1
ladspa.0.2.2☑☑5
lambda.0.1.7☒☒0
lambda-runtime.0.1.0☒☒1
lambda-term.3.3.2☑☑262
lambda_streams.0.1.2☑☑2
lambda_streams_async.0.1.2☑☑-1
lambda_streams_lwt.0.1.2☑☑0
lambdapi.2.4.1☑☑-1
lambdasoup.1.0.0☑☑-1
lame.0.3.7☒☒4
landmarks.1.4☑☑1
landmarks-ppx.1.4☑☑0
lascar.0.7.0☑☒1
lastfm.0.3.3☑☑-1
lazy-trie.1.2.0☑☑22
lbfgs.0.9.5☒☒4
lbvs_consent.2.2.0☒☒0
ldap.2.4.2☒☒-1
ldp.0.1.0☑☑-1
ldp_curl.0.1.0☑☑-1
ldp_js.0.1.0☑☑-1
ldp_tls.0.1.0☑☑-1
leaflet.0.1☑☑0
ledgerwallet.0.3.0☑☑-1
ledgerwallet-tezos.0.3.0☑☑-1
ledit.2.06☑☑4
lem.2022-12-10☒☒12
lemonade.0.6.0☑☒3
lemonade-sqlite.0.1.0☑☒0
lens.1.2.5☑☑0
let-if.0.3.0☑☑-1
letsencrypt.0.5.1☑☑-1
letsencrypt-app.0.5.1☑☑-1
letsencrypt-dns.0.5.1☑☑-1
letsencrypt-mirage.0.5.1☑☑-1
letters.0.3.3☑☑3
leveldb.1.3.0☒☒1
lib_parsing.1.12.0☑☑1
libabsolute.0.1☑☑1
libbinaryen.115.0.0☑☑0
libdash.0.3☑☑0
libevent.0.8.1☒☒-1
libirmin.3.9.0☑☑-1
libsail.0.17.1☒☒-1
libssh.0.1☒☒0
libsvm.0.10.0☒☒0
libtensorflow.0.1☑☑0
libtorch.1.6.0☑☑1
libwasmer.3.0.0~beta☒☒1
libzipperposition.1.6☑☒2
lilac.0.1.1☑☑0
lilv.0.1.0☑☑4
line-up-words.v0.16.0☑☑-1
line_oriented.1.3.0☑☑10
linenoise.1.4.0☑☑-1
linkage.0.1☑☒0
links.0.9.8☑☑3
links-mysql.0.9.8☒☒0
links-postgresql.0.9.8☒☒0
links-sqlite3.0.9.8☑☑0
linksem.0.8☒☒11
linol.0.4☑☑-1
linol-lwt.0.4☑☑-1
lintcstubs.0.4.7☑☒0
lintcstubs-arity.0.4.1☑☑2
lintcstubs-gen.0.4.7☑☑1
linwrap.9.1.5☒☒-1
lipsum.0.2☑☑1
liquid_interpreter.0.1.2☑☑1
liquid_ml.0.1.2☑☑0
liquid_parser.0.1.2☑☑3
liquid_std.0.1.2☑☑2
liquid_syntax.0.1.2☑☑4
liquidsoap.2.2.2☑☑-1
liquidsoap-core.2.2.2☑☑-1
liquidsoap-daemon.1.0.0☑☑0
liquidsoap-js.2.2.2☑☑-1
liquidsoap-lang.2.2.2☑☑-1
liquidsoap-libs.2.2.2☑☑-1
liquidsoap-libs-extra.2.2.2☑☑-1
liquidsoap-mode.2.2.2☑☑-1
little_logger.0.2.0☑☑-1
llama.0.1.0☒☒1
llama-cpp-ocaml.0.0.1☑☑0
llama_core.0.1.0☑☑2
llama_interactive.0.1.0☒☒0
llama_midi.0.1.0☑☑3
llopt.1.0.0☒☒0
llvm.16.0.6+nnp☒☒-1
llvmgraph.0.2☒☒0
lmdb.1.0☑☑0
lo.0.2.0☒☒4
lockfree.0.3.1☑☑23
logger-p5.0.4.5☑☑5
logical.0.3.0☑☑0
logs.0.7.0☑☑4406
logs-async.1.3☑☑2
logs-async-reporter.1.0☑☑-1
logs-ppx.0.2.0☑☑1
logs-syslog.0.4.0☑☑-1
logtk.1.6☑☒3
loop.0.0.1☒☑0
lp.0.4.0☑☑3
lp-glpk.0.4.0☒☒0
lp-glpk-js.0.4.0☑☑0
lp-gurobi.0.4.0☑☑0
lpd.1.2.2☑☑0
lpi.0.0.2☑☑0
lreplay.0.1☑☑-1
lru.0.3.1☑☑742
lru-cache.0.3.0☑☑1
lru_cache.v0.16.0☑☑-1
lsp.1.16.2☑☑-1
lt-code.0.1.1☑☑0
lua-ml.0.9.4☑☑2
lua_parser.1.0.2☑☑0
lua_pattern.1.7☑☑1
lucid.0.1.5☑☑0
lun.0.0.1☑☑1
lustre-v6.6.107.1☑☑2
lutils.1.54.1☑☑4
lutin.2.71.15☒☒1
luv.0.5.12☑☑-1
luv_unix.0.5.1☑☑5
lwd.0.3☑☑6
lwt.5.7.0☑☑-1
lwt-canceler.0.3☑☑321
lwt-dllist.1.0.1☑☑4406
lwt-exit.1.0☑☑220
lwt-parallel.1.0.0☑☑0
lwt-pipe.0.1☑☒0
lwt-pipeline.0.2☑☒0
lwt-watcher.0.2☑☑153
lwt_camlp4.1.0.0☒☒9
lwt_domain.0.3.0☒☑0
lwt_eio.0.5☒☑-1
lwt_glib.1.1.1☑☑3
lwt_log.1.1.2☑☑603
lwt_ppx.2.1.0☑☑-1
lwt_ppx_let.5.6.0☑☑-1
lwt_react.1.2.0☑☑312
lwt_ssl.1.2.0☑☑558
lymp.0.2.5☑☒1
lz4.1.3.0☑☑13
lz4_chans.3.0.1☑☑0
lzo.0.0.2☒☒-1
m_tree.0.1☑☑0
macaddr.5.5.0☑☑-1
macaddr-cstruct.5.5.0☑☑-1
macaddr-sexp.5.5.0☑☑-1
macaque.0.8☒☒2
macaroons.0.1.0☑☑0
mad.0.5.2☒☒-1
magic.0.7.3☑☒-1
magic-mime.1.3.1☑☑560
magic-trace.1.0.1☒☒-1
maildir.0.9.0☑☒0
make-random.0.1☑☑1
malfunction.0.5☑☑-1
man_in_the_middle_debugger.v0.16.0☑☑-1
mariadb.1.1.6☒☒-1
markdown.0.2.1☑☑1
markup.1.0.3☑☑4406
markup-lwt.0.5.0☑☑2
mastodon-archive-viewer.0.4.0☑☑0
matita.0.99.5☒☒0
matplotlib.0.2☑☑0
maxminddb.0.6☒☒0
mbr-format.2.0.0☑☑4
mc2.0.1☑☑0
mccs.1.1+16☑☑-1
md2mld.0.7.0☑☑24
mdx.2.3.1☑☑-1
mec.0.1.0☑☑137
mechaml.1.2.1☑☒0
mehari.0.3☑☑-1
mehari-eio.0.3☒☑-1
mehari-lwt-unix.0.3☑☑-1
mehari-mirage.0.3☑☑-1
mel.0.3.2☑☒0
melange.2.1.0☒☑-1
melange-atdgen-codec-runtime.1.0.0☒☑-1
melange-compiler-libs.0.0.1-414☑☒5
melange-fetch.0.1.0☒☑2
melange-jest.0.1.0☒☑-1
melange-json.1.0.0☒☑-1
melange-moment.0.3.0☒☑-1
melange-numeral.0.0.1☒☑0
melange-react-dates.1.4.0☒☑-1
melange-react-query.0.1.0☒☑-1
melange-recharts.4.0.0☒☑-1
melange-testing-library.0.1.0☒☑2
melange-webapi.0.20.0☒☑-1
meldep.0.3.2☑☒4
mem_usage.0.0.4☒☒-1
memcad.1.1.0☒☒0
memcpy.0.2.2☑☑0
memgraph.1.0☑☑1
memgraph_kitty.1.0☑☑0
memprof-limits.0.2.0☑☑-1
memtrace.0.2.3☑☑34
memtrace-mirage.0.2.1.2.2☑☒1
memtrace_viewer.v0.16.0☑☑-1
menhir.20230608☑☑-1
menhirLib.20230608☑☑-1
menhirSdk.20230608☑☑-1
merge-fmt.0.3☑☑0
mergeable-vector.0.1.0☑☑0
merlin.4.12-501☒☑-1
merlin-extend.0.6.1☑☑-1
merlin-lib.4.12-501☒☑-1
merlin-of-pds.1.4☑☑5
mesh.0.9.5☑☑3
mesh-easymesh.0.9.5☑☑0
mesh-graphics.0.9.5☑☑0
mesh-triangle.0.9.5☑☒0
metadata.0.2.0☑☑-1
metadb.1.0.2☑☑1
metapp.0.4.4☑☑11
metaquot.0.5.2☑☑10
metrics.0.4.1☑☑4406
metrics-influx.0.4.1☑☑4
metrics-lwt.0.4.1☑☑4406
metrics-mirage.0.3.0☑☑0
metrics-rusage.0.4.1☑☑3
metrics-unix.0.4.1☑☑3
mew.0.1.0☑☑266
mew_vi.0.5.0☑☑265
mikmatch.1.0.9☒☒0
mimic.0.0.6☑☑-1
mimic-happy-eyeballs.0.0.6☑☑-1
mindstorm.0.8.1☒☒1
mindstorm-lwt.0.8.1☒☒0
minicaml.0.3.1☑☑0
minicli.5.0.2☑☑18
minilight.1.6☑☑0
minima-theme.1.0.0☑☑0
minimal.1.0.0☑☒0
minios-xen.0.9☒☒4407
minisat.0.6☑☑2
minivpt.2.0.0☒☒1
miou.0.0.1~beta1☒☑-1
mirage.4.4.1☑☑-1
mirage-block.3.0.2☑☑609
mirage-block-ccm.2.0.0☑☑0
mirage-block-combinators.3.0.2☑☑7
mirage-block-partition.0.1.0☑☑-1
mirage-block-ramdisk.0.5☑☑4
mirage-block-solo5.0.8.1☑☑1
mirage-block-unix.2.14.2☑☑24
mirage-block-xen.2.1.1☑☑-1
mirage-btrees.0.1.0☑☒0
mirage-channel.4.1.0☑☑597
mirage-clock.4.2.0☑☑760
mirage-clock-freestanding.4.1.0☑☑4406
mirage-clock-solo5.4.2.0☑☑0
mirage-clock-unix.4.2.0☑☑733
mirage-clock-xen.1.1☑☑4406
mirage-crypto.0.11.2☑☑-1
mirage-crypto-ec.0.11.2☑☑-1
mirage-crypto-entropy.0.6.2☑☒0
mirage-crypto-pk.0.11.2☑☑-1
mirage-crypto-rng.0.11.2☑☑-1
mirage-crypto-rng-async.0.11.2☑☑-1
mirage-crypto-rng-eio.0.11.2☒☑-1
mirage-crypto-rng-lwt.0.11.2☑☑-1
mirage-crypto-rng-mirage.0.11.2☑☑-1
mirage-flow.3.0.0☑☑-1
mirage-flow-combinators.3.0.0☑☑-1
mirage-flow-unix.3.0.0☑☑-1
mirage-kv.6.1.1☑☑647
mirage-kv-mem.3.2.1☑☑2
mirage-kv-unix.2.1.0☑☑-1
mirage-logs.2.1.0☑☑5
mirage-monitoring.0.0.4☑☒-1
mirage-nat.3.0.2☑☑0
mirage-net.4.0.0☑☑650
mirage-net-solo5.0.8.0☑☑0
mirage-net-unix.3.0.0☑☑504
mirage-net-xen.2.1.3☑☑-1
mirage-qubes.0.9.3☑☑-1
mirage-qubes-ipv4.0.9.3☑☑-1
mirage-runtime.4.4.1☑☑-1
mirage-seal.0.4.2☑☒0
mirage-solo5.0.9.2☑☑-1
mirage-tc.0.3.0☑☒20
mirage-time.3.0.0☑☑722
mirage-time-unix.3.0.0☑☑23
mirage-unix.5.0.1☑☑718
mirage-vnetif.0.6.0☑☑-1
mirage-vnetif-stack.0.6.0☑☑-1
mirage-xen.8.0.2☑☑-1
misuja.0.0.0☒☒2
mixture.1.0.0☑☒5
mjson.0.1.1☑☑-1
mkaudio.1.1.3☑☑0
mkocaml.1.2☑☑0
mlbdd.0.7.3☑☑4
mlcuddidl.3.0.7☑☒-1
mlfenv.1.0.0☑☑0
mlgmpidl.1.2.15☑☑26
mlmpfr.4.1.1☒☒-1
mlt_parser.v0.16.0☑☑1
mm.0.8.4☑☑-1
mmap.1.2.0☑☑4406
mmdb.0.3.0☒☒0
mmseg.transition☑☒0
mnd.1.1.0☑☑0
mock.1.0.0☑☑1
mock-ounit.1.0.0☑☑1
modular-arithmetic.0.1☑☒0
module-graph.0.2.0☑☑0
molenc.16.17.1☒☑-1
monaco_jsoo.1.0.1☑☑1
monadlib.0.2☒☒2
monads.2.5.0☑☒108
monocypher.0.1.0☒☒-1
monolith.20230604☑☑-1
monomorphic.2.1.0☑☑1
monorobot.0.1☒☒0
moonpool.0.5☑☑-1
morbig.0.11.0☑☑0
more-ocaml.1.0☑☑0
morsmall.0.2.0☒☒0
mosquitto.0.2.1-0☒☒0
moss.0.1.1☑☑0
mparser.1.3☑☑16
mparser-pcre.1.3☑☑2
mparser-re.1.3☑☑1
mpg123.0.3☑☑0
mpi.1.05☑☑-1
mpp.0.3.6☑☑1
mpris.0.2.0☑☒1
mpris-clients.0.2.0☑☒0
mrmime.0.6.0☑☑-1
msat.0.9.1☑☑6
msat-bin.0.9.1☑☑0
msgpack.1.3.0☑☒2
msgpck.1.7☑☑10
msgpck-repr.1.7☑☒0
mssql.2.2.0☒☒-1
mtime.2.0.0☑☑-1
mtl.1.0.0☒☒0
mugen.0.1.0☑☑0
mula.0.1.2☑☑0
multibase.0.1.0☑☑1
multicodec.0.1.0☑☑3
multicont.1.0.1☒☑-1
multicore-magic.2.0.0☑☑-1
multihash.0.1.0☑☑2
multihash-digestif.0.1.0☑☑1
multipart-form-data.0.3.0☑☑28
multipart_form.0.5.0☑☑-1
multipart_form-cohttp-lwt.0.5.0☑☑-1
multipart_form-lwt.0.5.0☑☑-1
murmur3.0.3☑☑1
mustache.3.1.0☑☑-1
mutaml.0.1.0☑☒-1
mutf8.0.2☑☑0
mvar.1.0.0☑☒0
mwt.0.1.0☑☑0
mybuild.6☑☑-1
mysql.1.2.4☑☑11
mysql8.1.0☒☒1
mysql_protocol.3.0.3☒☒0
n_ary.v0.16.0☑☑0
naboris.0.1.3☑☑0
nacc.1.0☑☑0
namespaces.0.5.1☑☑0
nanoid.1.0.0☑☑0
nanosvg.0.2☑☑2
nanosvg_text.0.1☑☑1
nbd.6.0.1☑☑5
nbd-tool.6.0.1☑☑0
nbd-unix.6.0.1☑☑1
netchannel.2.1.3☑☑151
netsnmp.v0.16.0☒☒-1
nice_parser.1.0.0☑☑1
nloge.0.0.2☒☑0
nlopt.0.7.0☒☒3
nlopt-ocaml.transition☒☒2
nlp.0.0.1☑☑0
nmea.0.1.5☑☑0
noCanren.0.3.0☑☒0
nocoiner.1.0.0☑☑0
nocrypto.0.5.4-2☑☑687
node_of_ocaml.1.0.0☑☑0
non_empty_list.0.1☑☑0
nonstd.0.0.3☑☒13
nosetup.0.8.1☑☒0
not-ocamlfind.0.12☑☑-1
note.0.0.3☑☑13
nottui.0.3☑☑3
nottui-lwt.0.3☑☑0
nottui-pretty.0.3☑☑0
notty.0.2.3☑☑23
notty_async.v0.16.0☑☑-1
np.np1.19-0.3.1☑☑2
nproc.0.5.1☑☒0
npy.0.0.9☑☑16
nsq.0.5.3☑☒0
num.1.4☑☑-1
numeric_string.v0.16.0☑☑1
nuscr.2.1.1☑☑0
oasis.0.4.11☑☒4406
oasis2debian.0.1.5☑☒0
oasis2opam.0.8☑☒0
obandit.0.3.4☑☒0
obelisk.0.6.0☑☑-1
objsize.0.18☒☒1
obuild.0.1.11☒☒737
obuilder.0.5.1☑☑-1
obuilder-spec.0.5.1☑☑-1
obus.1.2.3☑☒-1
obytelib.1.6☒☒3
oc45.1.0.0☑☒1
ocal.0.2.2☑☑0
ocaml-basics.0.3.0☑☒0
ocaml-buddy.0.6.1☒☒0
ocaml-canvas.1.0.0☑☑0
ocaml-compiler-libs.v0.12.4☑☑4406
ocaml-embed-file.v0.16.0☑☑-1
ocaml-expat.1.3.0☒☒2
ocaml-http.0.1.6☒☒0
ocaml-in-python.0.1.0☒☒0
ocaml-inifiles.1.2☑☑6
ocaml-lsp-server.1.16.2☒☑-1
ocaml-lua.1.8☒☒0
ocaml-makefile.6.39.2☑☑1
ocaml-manual.5.1.0☒☑-1
ocaml-markdown.transition☑☑0
ocaml-monadic.0.5☑☑4
ocaml-print-intf.1.2.0☑☑0
ocaml-probes.v0.15.0☒☒0
ocaml-protoc.2.4☑☑-1
ocaml-protoc-plugin.4.5.0☑☑-1
ocaml-protoc-yojson.0.2.0☑☑0
ocaml-r.0.6.0☒☒1
ocaml-sat-solvers.0.7.1☑☒1
ocaml-secondary-compiler.4.08.1-1☒☒-1
ocaml-solo5.0.8.2☑☒-1
ocaml-src.5.1.0☒☑-1
ocaml-syntax-shims.1.0.0☑☑4406
ocaml-systemd.1.2☒☒5
ocaml-top.1.2.0☑☑0
ocaml-twt.0.94.0☑☒1
ocaml-vdom.transition☑☑0
ocaml-version.3.6.2☑☑-1
ocaml-xdg-basedir.transition☑☑3
ocaml_db_model.0.1☑☒-1
ocaml_intrinsics.v0.16.0☑☑-1
ocaml_pgsql_model.0.1☒☒-1
ocaml_plugin.v0.15.0☑☒-1
ocamlbrowser.4.14.0☒☒0
ocamlbuild.0.14.2☑☑-1
ocamlbuild-atdgen.0.1.0☑☑0
ocamlbuild-pkg.0.2.1☑☒2
ocamlbuild-protoc.0.1☑☑0
ocamlc-loc.3.11.1☑☑-1
ocamlclean.2.3☒☒2
ocamlcodoc.1.0.1☑☑1
ocamldap.transition☒☒0
ocamldiff.1.1☒☒-1
ocamldot.1.1☑☑4
ocamldsort.0.16.0☒☒0
ocamlfind.1.9.6☑☑4406
ocamlfind-lint.0.1.0☑☒0
ocamlfind-secondary.1.9.6☒☒4406
ocamlformat.0.26.1☑☑-1
ocamlformat-lib.0.26.1☑☒-1
ocamlformat-rpc.removed☑☑0
ocamlformat-rpc-lib.0.26.1☑☑-1
ocamlfuse.2.7.1-cvs8☒☒-1
ocamlgraph.2.1.0☑☑4406
ocamlgraph_gtk.2.0.0☑☑7
ocamlify.0.0.1☑☒4406
ocamline.1.2☑☑1
ocamlmod.0.0.9☑☒4406
ocamlnet.4.1.9-2☒☒4406
ocamlog.0.2☑☑0
ocamlregextkit.1.0.0☒☒-1
ocamlrss.2.2.2☒☒4
ocamlscript.3.0.0☑☑0
ocamlsdl.0.9.1☒☒12
ocamlsdl2.0.04☒☒2
ocamlsdl2-image.0.01☒☒0
ocamlsdl2-ttf.0.02☒☒0
ocamlwc.0.3☑☑0
ocamlyices.0.7.1☒☒0
ocapic.3.5☒☒0
ocb.0.2☑☑0
ocb-stubblr.0.1.1-1☑☑4406
ocephes.0.8.2☑☒3
ocf.0.8.0☑☑-1
ocf_ppx.0.8.0☑☑-1
ockt.0.0.1☑☑0
oclock.0.4.0☒☒4
ocluster.0.2.1☑☑-1
ocluster-api.0.2.1☑☑-1
ocluster-worker.0.2.1☑☑-1
ocolor.1.3.1☑☑4
ocp-browser.1.3.5☑☑-1
ocp-indent.1.8.1☑☑37
ocp-indent-nlfork.1.5.4☑☑2
ocp-index.1.3.5☑☑-1
ocp-ocamlres.0.4☑☑237
ocp-pack-split.1.0.1☑☒0
ocp-reloc.0.1☑☑0
ocp_reveal.0.1☑☑0
ocplib-endian.1.2☑☑4406
ocplib-json-typed.0.7.1☑☒160
ocplib-json-typed-browser.0.7.1☑☒1
ocplib-json-typed-bson.0.7.1☑☒144
ocplib-simplex.0.5☑☑-1
ocplib_stuff.0.4.0☑☑17
ocsfml.2.0☒☒0
ocsigen-i18n.4.0.0☑☑1
ocsigen-ppx-rpc.1.0☑☑1
ocsigen-start.6.1.1☑☑-1
ocsigen-toolkit.3.3.4☑☑-1
ocsigenserver.5.1.2☑☑-1
ocsipersist.1.1.0☑☑-1
ocsipersist-dbm.1.1.0☑☑-1
ocsipersist-lib.1.1.0☑☑-1
ocsipersist-pgsql.1.1.0☑☑-1
ocsipersist-sqlite.1.1.0☑☑-1
octavius.1.2.2☑☑4406
octez.18.0☒☒-1
octez-accuser-Proxford.18.0☒☒-1
octez-accuser-PtKathma.15.1☑☒-1
octez-accuser-PtLimaPt.16.1☒☒1
octez-accuser-PtMumbai.17.3☒☒1
octez-accuser-PtNairob.18.0☒☒-1
octez-alcotezt.18.0☑☑-1
octez-baker-Proxford.18.0☒☒-1
octez-baker-PtKathma.15.1☑☒-1
octez-baker-PtLimaPt.16.1☒☒1
octez-baker-PtMumbai.17.3☒☒1
octez-baker-PtNairob.18.0☒☒-1
octez-bls12-381-hash.17.3☒☒144
octez-bls12-381-polynomial.17.3☒☒146
octez-bls12-381-signature.17.3☒☒174
octez-client.18.0☒☒-1
octez-codec.18.0☒☒-1
octez-crawler.18.0☒☒-1
octez-dac-client.18.0☒☒-1
octez-dac-node.18.0☒☒-1
octez-distributed-internal.18.0☑☑-1
octez-distributed-lwt-internal.18.0☑☑-1
octez-injector.18.0☒☒-1
octez-l2-libs.18.0☒☒-1
octez-libs.18.0☒☒-1
octez-mec.17.3☒☒145
octez-node.18.0☒☒-1
octez-node-config.18.0☒☒-1
octez-plompiler.17.3☒☒143
octez-plonk.17.3☒☒142
octez-polynomial.17.3☒☒145
octez-proto-libs.18.0☒☒-1
octez-protocol-000-Ps9mPmXa-libs.18.0☒☒-1
octez-protocol-001-PtCJ7pwo-libs.18.0☒☒-1
octez-protocol-002-PsYLVpVv-libs.18.0☒☒-1
octez-protocol-003-PsddFKi3-libs.18.0☒☒-1
octez-protocol-004-Pt24m4xi-libs.18.0☒☒-1
octez-protocol-005-PsBabyM1-libs.18.0☒☒-1
octez-protocol-006-PsCARTHA-libs.18.0☒☒-1
octez-protocol-007-PsDELPH1-libs.18.0☒☒-1
octez-protocol-008-PtEdo2Zk-libs.18.0☒☒-1
octez-protocol-009-PsFLoren-libs.18.0☒☒-1
octez-protocol-010-PtGRANAD-libs.18.0☒☒-1
octez-protocol-011-PtHangz2-libs.18.0☒☒-1
octez-protocol-012-Psithaca-libs.18.0☒☒-1
octez-protocol-013-PtJakart-libs.18.0☒☒-1
octez-protocol-014-PtKathma-libs.18.0☒☒-1
octez-protocol-015-PtLimaPt-libs.18.0☒☒-1
octez-protocol-016-PtMumbai-libs.18.0☒☒-1
octez-protocol-017-PtNairob-libs.18.0☒☒-1
octez-protocol-018-Proxford-libs.18.0☒☒-1
octez-protocol-alpha-libs.18.0☒☒-1
octez-protocol-compiler.18.0☒☒-1
octez-proxy-server.18.0☒☒-1
octez-shell-libs.18.0☒☒-1
octez-signer.18.0☒☒-1
octez-smart-rollup-client-Proxford.18.0☒☒-1
octez-smart-rollup-client-PtMumbai.17.3☒☒1
octez-smart-rollup-client-PtNairob.18.0☒☒-1
octez-smart-rollup-node.17.3☒☒-1
octez-smart-rollup-node-Proxford.18.0☒☒-1
octez-smart-rollup-node-PtMumbai.17.3☒☒1
octez-smart-rollup-node-PtNairob.18.0☒☒-1
octez-smart-rollup-node-lib.18.0☒☒-1
octez-smart-rollup-wasm-benchmark-lib.17.3☒☒2
octez-smart-rollup-wasm-debugger.18.0☒☒-1
octez-tx-rollup-client-PtKathma.15.1☑☒-1
octez-tx-rollup-client-PtLimaPt.16.1☒☒1
octez-tx-rollup-node-PtKathma.15.1☑☒-1
octez-tx-rollup-node-PtLimaPt.16.1☒☒1
octez-validator.15.1☑☒-1
octez-version.18.0☒☒-1
ocurl.0.9.2☑☑63
ocveralls.0.3.4☒☒0
odate.0.7☑☑9
odbc.3.0☒☒0
odds.1.2☒☑0
odep.0.2.0☑☑-1
odepack.0.7.1☑☑1
odig.0.0.9☑☑4
odnnr.2.0.0☒☒0
odoc.2.3.1☑☑-1
odoc-depgraph.1.0☑☑0
odoc-parser.2.3.1☑☑-1
of_json.v0.16.0☑☑-1
offheap.0.1.2☑☒0
ofx.0.1.5☑☑0
ogg.0.7.4☑☑12
ogre.2.5.0☑☒102
ojo.0.2.1☑☑0
ojs.1.1.2☑☑-1
ojs-base.0.6.0☑☒3
ojs_base.0.7.0☑☑8
ojs_base_all.0.7.0☑☑3
ojs_base_ppx.0.7.0☑☑2
ojs_ed.0.7.0☑☑4
ojs_filetree.0.7.0☑☑4
ojs_list.0.7.0☑☑4
olinq.0.3☑☒0
ollvm.0.99☒☒0
ollvm-tapir.0.99.1☒☒0
olmi.1.1☑☒0
omake.0.10.6☑☑-1
omd.2.0.0~alpha4☑☑65
ometrics.0.2.1☑☒0
omigrate.0.3.2☑☑0
oml.0.0.7☑☑2
omlr.1.0.2☑☒-1
omod.0.0.3☑☑-1
omtl.0.1☑☑-1
oneffs.0.1.0☑☑0
oniguruma.0.1.2☑☑3
oolc.0.3☑☒0
opaca.0.1.5☑☒0
opal.0.1.1☑☒0
opam-0install.0.4.3☑☑-1
opam-0install-cudf.0.4.3☑☑-1
opam-bin.1.2.0☑☒0
opam-build.0.1.0☒☒-1
opam-bundle.0.4☑☒0
opam-check-npm-deps.2.0.0☑☑-1
opam-client.2.2.0~alpha3☑☑-1
opam-compiler.0.1.1☑☒-1
opam-core.2.2.0~alpha3☑☑-1
opam-custom-install.0.3☑☑0
opam-depext.1.2.1-1☑☑-1
opam-devel.2.2.0~alpha3☑☑-1
opam-dune-lint.0.4☑☑-1
opam-ed.0.4☑☑0
opam-file-format.2.1.6☑☑-1
opam-format.2.2.0~alpha3☑☑-1
opam-graph.0.1.1☑☑0
opam-grep.0.4.0☑☑0
opam-installer.2.2.0~alpha3☑☑-1
opam-lib.1.3.1☑☒8
opam-lock.0.2☑☒0
opam-monorepo.0.4.0☑☑2
opam-package-upgrade.0.2☑☒0
opam-publish.2.3.0☑☑-1
opam-repository.2.2.0~alpha3☑☑-1
opam-solver.2.2.0~alpha3☑☑-1
opam-spin.0.8.3☑☒0
opam-state.2.2.0~alpha3☑☑-1
opam_bin_lib.1.2.0☑☒1
opamconfig.0.3.0☑☑0
opamfu.0.1.4☑☒1
opasswd.1.3.1☑☑0
open.0.2.1☑☒3
openQASM.0.4.0☑☑1
openai.0.0.1☑☑0
openapi.0.6.0☑☒-1
openapi_router.0.1.0☑☒0
opencc.transition☒☒0
opencc0.1.0.2☒☒0
opencc1.1.0.1☒☒1
opencc1_1.0.1.0☒☒0
openstellina.0.0.3☑☑0
opentelemetry.0.6☑☑-1
opentelemetry-client-cohttp-lwt.0.6☑☑-1
opentelemetry-client-ocurl.0.6☑☑-1
opentelemetry-cohttp-lwt.0.6☒☒-1
opentelemetry-lwt.0.6☑☑-1
operf-micro.1.1.1☑☒0
opine.0.1.3☑☑0
opium.0.20.0☑☑20
opium-graphql.0.20.0☑☑0
opium-testing.0.20.0☑☑0
opium_kernel.0.18.0☑☑5
oplot.0.71☒☒0
oplsr.8.0.1☒☒0
opomodoro.0.0.2☑☑0
opsian.0.1☒☒0
optal.0.3☑☑0
opti.1.0.3☑☑0
optimization1d.0.6.1☑☑0
optiml-transport.0.0.1☒☒0
optint.0.3.0☑☑833
opus.0.2.2☒☒4
oqamldebug.0.9.5☒☒0
oraft.0.3.0☑☑-1
orandforest.1.0.0☑☒0
oranger.4.3.5☒☒0
order-i3-xfce.0.1☑☑0
ordering.3.11.1☑☑-1
ordinal.1.1☑☑0
ordinal_abbreviation.v0.16.0☑☑2
orec.1.0.1☑☑1
orewa.0.2.1☑☑-1
orf.1.0.0☑☒0
orgeat.0.0.1☑☑0
orm.0.7.1☒☒0
orocksdb.0.2.2☒☒0
orpie.1.6.1☑☒0
orrandomForest.3.0.0☒☒0
orsetto.1.1.3☑☑0
orsvm_e1071.4.0.0☑☑0
ortac-core.0.1.0☑☑-1
ortac-qcheck-stm.0.1.0☑☑-1
ortac-runtime.0.1.0☑☑-1
orxgboost.1.2.0☒☒0
osbx.1.2.4☑☒0
osc.0.2.0☑☑6
osc-lwt.0.2.0☑☒0
osc-unix.0.2.0☑☑4
osdp.1.1.0☒☒-1
oseq.0.5☑☑-1
osh.0.1☑☒0
oskel.0.3.0☑☑0
osnap.0.3.0☑☑0
ostap.0.5☒☒-1
otf.0.1☑☑0
otfm.0.4.0☑☑8
otoggl.0.3.2☒☒0
otoml.1.0.4☑☑-1
otr.0.3.10☑☑-1
ott.0.33☒☒11
otto.0.0.2☑☒0
ounit.2.2.7☑☑4406
ounit-lwt.2.2.7☑☑0
ounit2.2.2.7☑☑4406
ounit2-lwt.2.2.7☑☑2
owee.0.7☑☑8
owi.0.1☑☑0
owl.1.1☑☑13
owl-base.1.1☑☑15
owl-jupyter.1.0☒☒0
owl-ode.0.5.0☑☑2
owl-ode-base.0.5.0☑☑3
owl-ode-odepack.0.5.0☑☑0
owl-ode-sundials.0.5.0☒☒0
owl-opt.0.0.1☑☑1
owl-opt-lbfgs.0.0.1☒☒0
owl-plplot.1.0.2☒☒5
owl-top.1.1☑☑1
owork.0.1.1☑☑0
ozulip.0.1☑☑0
p4pp.0.1.12☑☑-1
p5scm.0.3.1☒☒-1
pa_comprehension.0.4☒☒0
pa_monad_custom.v6.0.0☒☒4
pa_ppx.0.14☒☒-1
pa_ppx_hashcons.0.11☒☒3
pa_ppx_migrate.0.11☒☒-1
pa_ppx_parsetree.0.02☒☒0
pa_ppx_q_ast.0.11☒☒-1
pa_ppx_quotation2extension.0.02☒☒1
pa_ppx_regexp.0.02☒☒-1
pa_ppx_static.0.02☒☒4
pa_ppx_string.0.01☒☒0
pa_ppx_unique.0.11☒☒3
pa_qualified.0.6☒☒1
pa_solution.0.7☒☒0
pa_where.0.4☒☒0
packstream.0.1☑☑0
pacomb.1.3☑☑0
paf.0.5.0☑☑-1
paf-cohttp.0.5.0☑☑-1
paf-le.0.4.0☑☑0
pancake.2.0.1☒☑0
pandoc.0.2.0☑☑-1
pandoc-abbreviations.0.2.0☑☑-1
pandoc-comment.0.2.0☑☑-1
pandoc-crossref.0.2.0☑☑-1
pandoc-include.0.2.0☑☑-1
pandoc-inspect.0.2.0☑☑-1
pandoc-pdf2png.0.2.0☑☑-1
pandoc-replace.0.2.0☑☑-1
papi.0.1.1☒☒-1
par_incr.0.1☒☑0
parany.14.0.1☑☑14
pardi.3.2.2☑☑0
pareto.0.3☑☒0
pari.0.1☑☑0
pari-bindings.0.1☑☑1
parmap.1.2.5☑☑28
parsexp.v0.16.0☑☑4406
parsexp_io.v0.16.0☑☑0
parsley.0.0.1☑☑0
patch.1.0.1☑☑-1
patdiff.v0.16.1☑☑-1
path_glob.0.3☑☑1
patience_diff.v0.16.0☑☑29
pattern.0.3.2☑☒2
pb.1.0.0☑☑1
pb-plugin.1.0.0☑☒0
pbkdf.1.2.0☑☑-1
pbrt.2.4☑☑-1
pbs.0.2.0☑☒0
pcap-format.0.6.0☑☑3
pci-db.0.3.0☑☒0
pcre.7.5.0☑☑4406
pcre2.7.5.2☑☑12
pds.5.38☑☑7
pds-reachability.0.2.3☑☑0
pecu.0.6☑☑-1
petrol.1.2.0☑☑0
pf-qubes.0.1.1☑☑0
pg_query.0.9.7☒☒3
pgocaml.4.4.0☑☑22
pgocaml_ppx.4.4.0☑☑1
pgsolver.4.1☑☒-1
pgx.2.2☑☑9
pgx_async.2.2☑☑-1
pgx_lwt.2.2☑☑3
pgx_lwt_mirage.2.2☑☑0
pgx_lwt_unix.2.2☑☑1
pgx_unix.2.2☑☑0
pgx_value_core.2.2☑☑1
pgx_value_ptime.2.2☑☑0
phantom-algebra.1.0.1☑☑0
phashtbl.1.0.0☑☒0
phonetic.0.1.0☑☑0
phylogenetics.0.2.0☒☒-1
piaf.0.1.0☒☒3
picasso.0.4.0☑☑2
piece_rope.0.9.1☑☑0
pilat.1.6☒☒0
piqi.0.7.8☑☒13
piqilib.0.6.16☑☒14
pkcs11.1.0.1☑☑3
pkcs11-cli.1.0.1☑☑0
pkcs11-driver.1.0.1☑☒1
pkcs11-rev.1.0.1☑☒0
pla.2.1☑☑0
plateau.0.1☑☑0
plato.1.1.3☑☑0
plebeia.2.2.0☒☒0
plist.0.1☑☒1
plist-xml.0.5.0☑☑2
plist-xml-lwt.0.3.0☑☑0
plotkicadsch.0.9.0☑☑0
plotly.1.0.0☑☑0
plplot.5.12.0☒☒10
podge.0.3☒☒0
polka.2.71.15☒☒2
poll.0.3.1☒☒5
polling_state_rpc.v0.16.0☑☑2
polyglot.1.0.0☑☑0
polynomial.0.4.0☑☑137
pomap.4.1.1☑☑-1
popper.0.1.1☑☑2
portaudio.0.2.3☑☑4
portaudio_c_bindings.19.6.0☒☒0
portia.1.5☒☒0
portmidi.0.1☒☒0
posix-base.2.0.2☑☑14
posix-bindings.2.0.2☑☑0
posix-clock.0.4.0-0☑☒0
posix-getopt.2.0.2☑☑1
posix-math.0.3.1-0☑☒1
posix-mqueue.0.8.0-0☒☒0
posix-semaphore.0.5.0-0☒☒0
posix-signal.2.0.2☑☑0
posix-socket.2.0.2☑☑7
posix-socket-unix.2.0.2☑☑1
posix-time.1.0.1-0☑☒3
posix-time2.2.0.2☑☑4
posix-types.2.0.2☑☑7
posix-uname.2.0.2☑☑2
posixat.v0.16.0☑☒2
postgres_async.v0.16.0☑☑-1
postgresql.5.0.0☒☒-1
pp.1.2.0☑☑-1
pp-binary-ints.1.0.0☑☑1
pp_loc.2.1.0☑☑27
pprint.20230830☑☑267
ppx-owl-opt.0.0.1☑☑2
ppx_accessor.v0.16.1☑☑3
ppx_assert.v0.16.0☑☑4406
ppx_bap.v0.14.0☑☒115
ppx_base.v0.16.0☑☑4406
ppx_bench.v0.16.0☑☑4406
ppx_bin_prot.v0.16.0☑☑4406
ppx_bitstring.4.1.0☑☑12
ppx_blob.0.7.2☑☑-1
ppx_camlrack.0.10.1☑☑0
ppx_catch.0.1.0☑☑0
ppx_cold.v0.16.0☑☑4406
ppx_compare.v0.16.0☑☑4406
ppx_compose.0.2.1☑☑0
ppx_const.2.0.1☑☑0
ppx_conv_func.v0.16.0☑☑6
ppx_counters.0.1☑☑0
ppx_css.v0.16.0☑☑-1
ppx_cstruct.6.2.0☑☑4406
ppx_cstubs.0.7.0☑☒4
ppx_csv_conv.v0.16.0☑☑4
ppx_custom_printf.v0.16.0☑☑4406
ppx_decimal.1.0.1☑☑0
ppx_default.0.1.1☑☑0
ppx_defer.0.5.0☑☑0
ppx_demo.v0.16.0☑☑0
ppx_derive_at_runtime.v0.16.0☑☑0
ppx_derivers.1.2.1☑☑4406
ppx_deriving.5.2.1☑☑-1
ppx_deriving_cad.0.2.0☑☑0
ppx_deriving_cmdliner.0.6.0☑☒1
ppx_deriving_encoding.0.3.0☑☑-1
ppx_deriving_hardcaml.v0.16.0☑☑10
ppx_deriving_hash.0.1.1☑☑-1
ppx_deriving_jsoo.0.3☑☑3
ppx_deriving_madcast.0.2☑☑0
ppx_deriving_popper.0.1.1☑☑1
ppx_deriving_protobuf.3.0.0☑☑14
ppx_deriving_protocol.0.8.1☑☑0
ppx_deriving_qcheck.0.4.1☑☑-1
ppx_deriving_rpc.9.0.0☑☑25
ppx_deriving_scad.1.0.0☑☑0
ppx_deriving_yaml.0.2.1☑☑-1
ppx_deriving_yojson.3.7.0☑☑-1
ppx_disable_unused_warnings.v0.16.0☑☑4406
ppx_distr_guards.0.3☑☑1
ppx_enumerate.v0.16.0☑☑4406
ppx_expect.v0.16.0☑☑-1
ppx_factory.0.2.0☑☑0
ppx_fail.v0.14.0☑☒0
ppx_fields_conv.v0.16.0☑☑4406
ppx_fixed_literal.v0.16.0☑☑4406
ppx_gen_rec.2.0.0☒☒2
ppx_getenv.2.1☑☑1
ppx_globalize.v0.16.0☑☑4406
ppx_hash.v0.16.0☑☑4406
ppx_here.v0.16.0☑☑4406
ppx_ignore_instrumentation.v0.16.0☑☑4406
ppx_import.1.10.0☑☑-1
ppx_inline_alcotest.1.0.0☑☑2
ppx_inline_test.v0.16.1☑☑4406
ppx_interact.0.1.0☑☑-1
ppx_irmin.3.9.0☑☑-1
ppx_jane.v0.16.0☑☑4406
ppx_js_style.v0.16.0☑☑13
ppx_jsobject_conv.0.10.0☑☑0
ppx_jsonaf_conv.v0.16.0☑☑1
ppx_let.v0.16.0☑☑4406
ppx_log.v0.16.0☑☑4406
ppx_lun.0.0.1☑☑0
ppx_make.0.3.2☑☑-1
ppx_map.0.1.0☑☑-1
ppx_matches.0.1☑☑0
ppx_meta_conv.4.1.0☑☒7
ppx_minidebug.0.3.3☑☑-1
ppx_module_timer.v0.16.0☑☑4406
ppx_monad.0.2.0☑☑0
ppx_monoid.0.3.3☑☑0
ppx_mysql.1.1.3☑☑0
ppx_optcomp.v0.16.0☑☑4406
ppx_optint.0.2.0☑☑0
ppx_optional.v0.16.0☑☑4406
ppx_parser.0.1.1☑☑-1
ppx_pattern_bind.v0.16.0☑☑7
ppx_pipebang.v0.16.0☑☑4406
ppx_protocol_conv.5.2.1☑☑10
ppx_protocol_conv_json.5.2.1☑☑3
ppx_protocol_conv_jsonm.5.2.1☑☑0
ppx_protocol_conv_msgpack.5.2.1☑☑0
ppx_protocol_conv_xml_light.5.2.1☑☑3
ppx_protocol_conv_xmlm.5.2.1☑☑3
ppx_protocol_conv_yaml.5.2.1☑☑0
ppx_pyformat.0.1.2☑☑0
ppx_python.v0.16.0☑☑2
ppx_rapper.3.1.0☒☒2
ppx_rapper_async.3.1.0☒☒-1
ppx_rapper_lwt.3.1.0☒☒0
ppx_regexp.0.5.1☑☑0
ppx_repr.0.7.0☑☑334
ppx_seq.0.3.2☑☑0
ppx_sexp_conv.v0.16.0☑☑4406
ppx_sexp_message.v0.16.0☑☑4406
ppx_sexp_value.v0.16.0☑☑4406
ppx_show.0.2.1☑☑7
ppx_stable.v0.16.0☑☑4406
ppx_stable_witness.v0.16.0☑☑4406
ppx_string.v0.16.0☑☑4406
ppx_string_interpolation.1.0.1☑☑3
ppx_subliner.0.2.1☑☑0
ppx_system.1.0☑☑0
ppx_test.1.8.0☑☒16
ppx_tools.6.6☑☒4406
ppx_traverse_builtins.v0.10.0☑☒4406
ppx_ts.0.1.6☑☑0
ppx_tydi.v0.16.0☑☑4406
ppx_type_directed_value.v0.15.0☑☑0
ppx_typed_fields.v0.16.0☑☑4
ppx_typerep_conv.v0.16.0☑☑4406
ppx_units.1.0.0☑☑0
ppx_update.0.81☑☑0
ppx_variants_conv.v0.16.0☑☑4406
ppx_viewpattern.0.1.0☑☑0
ppx_xml_conv.v0.16.0☑☑0
ppx_yojson.1.3.0☑☑3
ppx_yojson_conv.v0.16.0☑☑14
ppx_yojson_conv_lib.v0.16.0☑☑20
ppxlib.0.31.0☑☑-1
ppxx.2.5.0☑☒27
pratter.3.0.0☑☑-1
prbnmcn-basic-structures.0.0.1☑☑95
prbnmcn-cgrph.0.0.2☑☑4
prbnmcn-clustering.0.0.1☑☑-1
prbnmcn-dagger.0.0.4☒☑-1
prbnmcn-dagger-gsl.0.0.4☒☑-1
prbnmcn-dagger-stats.0.0.4☒☑-1
prbnmcn-dagger-test.0.0.4☒☑-1
prbnmcn-gnuplot.0.0.5☑☑1
prbnmcn-linalg.0.0.1☑☑93
prbnmcn-mcts.0.0.1☑☑0
prbnmcn-proptest.0.0.1☑☑1
prbnmcn-stats.0.0.7☑☑-1
prbnmcn-ucb1.0.0.2☑☑0
prc.0.1.0☑☒0
preface.1.0.0☑☑9
prettym.0.0.3☑☑51
primes.1.3.5☑☑0
pringo.1.3☑☑-1
printbox.0.7☑☑-1
printbox-html.0.7☑☑-1
printbox-text.0.7☑☑-1
proc-smaps.0.1.0☑☑0
process.0.2.1☑☑13
process_limits.1.5.5☑☑3
processor.0.1☑☑-1
producer.0.2.0☑☑0
profiler-plugin.1.30☒☒0
profiling.1.5.5☑☑2
profunctor.v0.16.0☑☑2
progress.0.2.2☑☑-1
proj4.0.9.2☒☒0
prom.0.3☑☑0
prometheus.1.2☑☑177
prometheus-app.1.2☑☑28
prometheus-liquidsoap.2☑☑4
promise.1.1.2☑☑3
promise_jsoo.0.3.1☑☑-1
protocell.1.0.0☑☑0
protocol-9p.2.0.2☑☒12
protocol-9p-tool.2.0.2☑☒0
protocol-9p-unix.2.0.2☑☒10
protocol_version_header.v0.16.0☑☑4406
proverif.2.05☑☑0
proverifdoc.2.05☑☑0
prr.0.1.1☑☑0
psmt2-frontend.0.4.0☑☑16
psq.0.2.1☑☑813
psyche.0.0.1☑☑0
ptime.1.1.0☑☑-1
ptmap.2.0.5☑☑23
ptset.1.0.1☑☑0
publish.0.3.4+transition☑☑4
pulseaudio.0.1.5☑☑6
pure-splitmix.0.3☑☑104
pvec.0.1.1☑☑0
pvem.0.0.1☑☑7
pxp.1.2.9☒☒8
py.1.3☒☒0
pyast.0.2.0☑☑0
pyml.20231101☑☑112
pyml_bindgen.0.4.1☑☑0
pyre-ast.0.1.9☑☑-1
pythonlib.v0.15.1☑☒0
qbf.0.3☒☒1
qcheck.0.21.2☑☑-1
qcheck-alcotest.0.21.2☑☑-1
qcheck-core.0.21.2☑☑-1
qcheck-lin.0.3☑☑-1
qcheck-multicoretests-util.0.3☑☑-1
qcheck-ounit.0.21.2☑☑-1
qcheck-stm.0.3☑☑-1
qcow.0.11.0☑☒1
qcow-tool.0.11.0☑☒0
qcstm.0.1.1☑☑0
qfs.0.12☒☒0
qinap.1.0☑☑-1
qiskit.0.44.0☑☑-1
qmp.0.20.0☑☑0
qrc.0.1.0☑☑-1
qrencode.0.2☒☒0
qtest.2.11.2☑☑45
queenshead.0.1☑☑0
quest.0.1☑☒0
quests.0.1.3☑☑1
quick_print.0.12☑☑0
r2pipe.0.0.1☑☑0
radamsa.0.2☒☒0
radare2.0.0.7☒☒0
randii.1.0.0☒☒0
randomconv.0.1.3☑☑-1
randoml.0.1.5☑☒0
range.0.8.3☑☑0
rangeSet.0.2.1☑☑0
ranger.0.1.0☑☒0
rankers.2.0.9☒☒-1
rawlink.2.1☑☑4
rawlink-eio.2.1☒☑0
rawlink-lwt.2.1☑☑1
raygui.0.6.0☒☒-1
raygun4ocaml.0.1.0☑☒0
raylib.1.1.0☒☒-1
rdbg.1.199.0☑☑3
rdf.0.15.0☑☑-1
rdf_json_ld.0.15.0☑☑-1
rdf_lwt.0.15.0☑☑-1
rdf_mysql.0.15.0☑☑-1
rdf_postgresql.0.15.0☒☒-1
rdf_ppx.0.15.0☑☑-1
rdr.1.1☑☒0
re.1.11.0☑☑-1
re2.v0.16.0☑☑31
re2_stable.v0.14.0☑☒-1
re_parser.v0.16.0☑☑0
rea.1.0.0☑☑0
react.1.2.2☑☑4406
reactiveData.0.3.0☑☑4406
reactjs-jsx-ppx.1.0.0☑☑9
readline.0.1☑☑1
reanalyze.2.23.0☑☒-1
reason.3.10.0☑☑-1
reason-react.0.13.0☒☑-1
reason-react-ppx.0.13.0☒☑-1
received.0.5.2☑☑-1
record_builder.v0.16.0☑☑11
records.1.0.0☑☑1
reddit_api_async.0.2.1☑☒-1
reddit_api_kernel.0.2.1☑☒1
redirect.0.2.1☑☑2
redis.0.7.1☑☑16
redis-async.v0.16.0☑☑-1
redis-lwt.0.7.1☑☑13
redis-sync.0.7.1☑☑0
reedsolomon.0.3☑☑1
refl.0.4.1☑☑6
regenerate.0.2☑☒0
regex_parser_intf.v0.16.0☑☑30
regular.2.5.0☑☒103
remu_ts.0.1☑☑0
reparse.3.1.0☑☑3
reparse-lwt.3.1.0☑☑0
reparse-lwt-unix.3.1.0☑☑0
reparse-unix.2.1.0☑☑0
repr.0.7.0☑☑337
repr-bench.0.7.0☑☑0
repr-fuzz.0.7.0☑☑0
res.5.0.1☑☑-1
res_tailwindcss.0.1.3☑☒-1
rescript-syntax.1.0.0☑☒0
reshowcase.5.3.0☒☑-1
resource-pooling.1.2☑☑1
resource_cache.v0.16.0☑☑1
resp.0.11.0☑☑4
resp-client.0.11.0☑☑3
resp-mirage.0.11.0☑☑0
resp-server.0.11.0☑☑2
resp-unix.0.11.0☑☑0
resto.1.2☑☑245
resto-acl.1.2☑☑140
resto-cohttp.1.2☑☑156
resto-cohttp-client.1.2☑☑151
resto-cohttp-self-serving-client.1.2☑☑128
resto-cohttp-server.1.2☑☑138
resto-directory.1.2☑☑242
resto-json.1.2☑☑1
result.1.5☑☑4406
revops.2.5☑☑1
rfc1951.1.5.3☑☑0
rfc6287.1.0.4☑☑0
rfc7748.1.0☑☒0
rfsm.1.7.0☒☒0
rhythm.0.0.1☑☑0
ringo.1.0.0☑☑-1
ringo-lwt.0.9☑☒74
riot.0.0.3☒☑-1
river.0.3☒☒-1
rlp.0.1☑☒0
rml.1.09.07☑☒3
rmlbuild.0.14.0-00☑☒0
rock.0.20.0☑☑21
roman.0.2☑☑0
root1d.0.5.1☑☑0
rope.0.6.2☑☒2
rosa.0.2.0☑☑0
rosetta.0.3.0☑☑27
routes.2.0.0☑☑5
rpc.9.0.0☑☑17
rpc_parallel.v0.15.0☑☒-1
rpclib.9.0.0☑☑28
rpclib-async.9.0.0☑☑-1
rpclib-html.9.0.0☑☑0
rpclib-js.9.0.0☑☑0
rpclib-lwt.9.0.0☑☑19
rresult.0.7.0☑☑4406
rsdd.0.1.0☑☒0
rss.3.0☑☑1
rtop.3.10.0☑☒-1
rtree.0.1.1☑☑0
rungen.0.0.1☑☑0
runtime_events_tools.0.3☒☒1
rusage.1.0.0☑☑235
safa.1.4☑☑1
safemoney.0.1.1☑☑-1
safepass.3.1☑☑21
sail.0.17.1☒☒-1
sail_c_backend.0.17.1☒☒-1
sail_coq_backend.0.17.1☒☒-1
sail_doc_backend.0.17.1☒☒-1
sail_latex_backend.0.17.1☒☒-1
sail_lem_backend.0.17.1☒☒-1
sail_manifest.0.17.1☑☑-1
sail_ocaml_backend.0.17.1☒☒-1
sail_output.0.17.1☒☒-1
sail_smt_backend.0.17.1☒☒-1
sail_sv_backend.0.17.1☒☒-1
salsa20.1.2.0☑☑0
salsa20-core.1.1.0☑☑-1
samplerate.0.1.6☑☑4
sanddb.0.3.0☑☑0
satML-plugin.1.30☒☒0
satex.0.1.1☑☑0
sattools.0.1.0☑☑2
saturn.0.4.0☑☑-1
saturn_lockfree.0.4.0☑☑-1
satyrographos.0.0.2.13☑☒-1
sawja.1.5.12☑☑0
scad_ml.1.1.0☑☑1
scfg.0.2☑☑-1
scgi.1.0☑☑0
schroedinger.0.1.1☒☒2
scid.1.0☑☒0
scipy.sp1.5-0.3.1☑☑1
scrypt.0.2.1☒☒0
scrypt-kdf.1.2.0☑☑2
sd_logic.0.1☑☒-1
sdl-liquidsoap.3☑☑4
search.0.1.1☑☑0
searchTree.0.1☑☑0
secp256k1.0.4.4☒☒2
secp256k1-internal.0.4.0☑☑315
sedlex.3.2☑☑-1
sek.20201012☑☑0
sel.0.4.0☑☑-1
semantic_version.v0.16.0☑☑2
semaphore-compat.1.0.1☑☑-1
semver.0.2.1☑☑0
semver2.1.2.0☑☑0
sendmail.0.8.0☑☑-1
sendmail-lwt.0.8.0☑☑-1
sendmsg.0.0.2☑☑0
sentry.v0.11.0☑☒-1
seq.base☑☑4406
seqes.0.2☑☑233
sequence.0.2☑☒73
sequencer_table.v0.16.0☑☑0
serde.0.0.1☑☑5
serde_debug.0.0.1☑☑0
serde_derive.0.0.1☑☑4
serde_json.0.0.1☑☑0
serde_sexpr.0.0.1☑☑0
serde_xml.0.0.1☑☑0
serial.0.0.2☑☑-1
session.0.5.0☑☑17
session-cohttp.0.5.0☑☑9
session-cohttp-async.0.5.0☑☑-1
session-cohttp-lwt.0.5.0☑☑5
session-cookie.0.1.8☑☑2
session-cookie-async.0.1.8☑☑-1
session-cookie-lwt.0.1.8☑☑0
session-postgresql.0.5.0☒☒2
session-postgresql-async.0.5.0☒☒-1
session-postgresql-lwt.0.5.0☒☒0
session-redis-lwt.0.5.0☑☑1
session-webmachine.0.5.0☑☑1
sessions.0.1.0☑☒0
setcore.1.0.2☑☑8
setr.0.1.1☑☒1
sexp.v0.16.0☑☑-1
sexp_decode.0.7☑☑0
sexp_diff.v0.16.0☑☑1
sexp_diff_kernel.v0.14.0☑☒1
sexp_grammar.v0.16.0☑☑2
sexp_macro.v0.16.0☑☑-1
sexp_pretty.v0.16.0☑☑4406
sexp_select.v0.16.0☑☑1
sexp_string_quickcheck.v0.16.0☑☑0
sexplib.v0.16.0☑☑4406
sexplib0.v0.16.0☑☑-1
sfml.0.09.2☒☒0
sgf.1.0.1☑☑0
sha.1.15.4☑☑81
shapefile.0.2.1☑☑0
shared-block-ring.3.0.1☑☑8
shared-memory-ring.3.1.1☑☑-1
shared-memory-ring-lwt.3.1.1☑☑-1
shared-secret.0.4☑☑0
shcaml.0.2.1☑☒0
shell.v0.16.0☑☑-1
shexp.v0.16.0☑☒2
shine.0.2.3☒☒4
shuttle.0.9.4☑☑-1
shuttle_http.0.11.0☑☑-1
shuttle_ssl.0.9.4☑☑-1
shuttle_websocket.0.11.0☑☑-1
sid.2.0☑☒0
sifun.3.0.0☑☑0
sihl.3.0.5☑☑6
sihl-cache.3.0.5☑☑0
sihl-contract.0.3.0~rc1☑☑10
sihl-core.0.3.0~rc1☑☑11
sihl-email.3.0.5☑☑0
sihl-facade.0.3.0~rc1☑☑9
sihl-persistence.0.3.0~rc1☑☑7
sihl-queue.3.0.5☑☑0
sihl-session.0.3.0~rc1☑☑1
sihl-storage.3.0.5☑☑0
sihl-token.3.0.5☑☑1
sihl-type.0.2.2☑☑8
sihl-user.3.0.5☑☑0
sihl-web.0.3.0~rc1☑☑1
simlog.0.0.4☑☑0
simple-diff.0.3☑☑0
simple63.1☑☑0
simple_pam.0.1.2☒☒0
sklearn.sk0.23-0.3.1☑☑1
slacko.0.15.0☑☑0
slug.1.0.1☑☑1
smart-print.0.3.0☑☑5
smbc.0.6.1☑☒0
smol.0.0.1☑☑2
smol-helpers.0.0.1☑☑1
smtlib-utils.0.4☑☑-1
smtp.0.3☑☑0
snappy.0.1.2☒☒1
snoke.0.3☑☑0
sodium.0.6.0☒☒3
sodium-fmt.1.0.0☒☒0
solid.0.1.0☑☑-1
solid_server.0.1.0☑☑-1
solid_tools.0.1.0☑☑-1
solidity-alcotest.0.2.0☑☒0
solidity-common.0.2.0☑☑4
solidity-parser.0.2.0☑☑3
solidity-test.0.2.0☑☒0
solidity-typechecker.0.2.0☑☒2
solo5.0.8.0☑☑-1
solo5-elftool.0.3.1☑☑3
sortedseq_intersect.0.2.0☑☑0
sosa.0.3.0☑☒10
soundtouch.0.1.9☒☒4
soupault.4.7.0☑☑-1
spawn.v0.15.1☑☑4406
spdx_licenses.1.2.0☑☑19
spectrum.0.6.0☑☑1
speex.0.4.1☑☑4
spelll.0.4☑☑27
spf.2.0.2☒☒0
spin.0.8.3☑☒1
spirv.1.1.2☑☑0
splay_tree.v0.16.0☑☑3
splittable_random.v0.16.0☑☑4406
spoke.0.0.2☑☑-1
spotify-web-api.0.2.1☑☑1
spotlib.4.3.0☑☒14
spreadsheet.0.1☑☒0
sqlgg.20200521☑☑-1
sqlite3.5.1.0☑☑-1
sqlite3_utils.0.5☑☑0
squirrel.0.1☑☑0
srs.2.0.0☒☒0
srt.0.3.0☒☒-1
ssh-agent.0.4.1☑☑0
ssh-agent-unix.0.4.1☑☑-1
ssl.0.7.0☑☑4406
statverif.1.97pl1.2☒☒0
stb_image.0.5☑☑2
stb_image_write.0.2☑☑0
stb_truetype.0.7☑☑7
stdcompat.19☒☑200
stdint.0.7.2☑☑651
stdint-literals.1.0☑☑0
stdio.v0.16.0☑☑4406
stdlib-diff.0.1.3☑☑0
stdlib-random.1.1.0☑☑-1
stdlib-shims.0.3.0☑☑4406
stdune.3.11.1☑☑-1
stemmer.0.2☑☒0
stemming.0.2.1☑☒0
stitch.0.0.0☑☑0
stk.0.1.0☑☑1
stk_iconv.0.1.0☑☑-1
stored_reversed.v0.16.0☑☑9
streamable.v0.16.1☑☑10
streaming.0.8.0☑☑0
stringCodepointSplitter.0.0.2☑☑0
string_dict.v0.16.0☑☑0
stringext.1.6.0☑☑4406
sturgeon.0.4.2☑☒1
subscriptions-transport-ws.0.1.0☑☒0
subtype-refinement.0.2☑☑0
sugar.0.7.3☑☒0
sun.0.1☑☑0
sundialsml.6.1.1p1☒☒3
svmwrap.5.1.1☒☒-1
swagger.0.2.0☑☒1
swhid.0.2☑☑0
swhid_core.0.1☑☑39
swipl.0.5☑☑0
syguslib-utils.0.1☑☒-1
symkat.1.4☑☑0
syncweb.0.5.1☑☑0
syndic.1.6.1☑☑2
sys-socket.1.0.0☑☑6
sys-socket-unix.1.0.0☑☑0
syslog.2.0.2☑☑11
syslog-message.1.2.0☑☑3
syslog-rfc5424.0.1☑☑0
systemverilog.0.0.2☑☑0
tablecloth-native.0.0.7☑☑-1
taglib.0.3.10☑☑4
talaria-bibtex.0.5☑☑0
tar.2.6.0☑☑-1
tar-eio.2.6.0☒☑-1
tar-mirage.2.6.0☑☑-1
tar-unix.2.6.0☑☑-1
tcalc.1.0.1☑☑0
tcpip.8.0.0☑☑-1
tcx.0.25.0☑☑0
tdigest.2.2.0☑☑0
tdk.0.2.0☑☒0
telegraml.2.2.0☑☒0
telemetry.0.0.1☑☑6
telltime.0.0.3☑☑0
tensorboard.0.0.1☑☑0
termbox.0.1.0☒☒0
terminal.0.2.2☑☑-1
terminal_size.0.2.0☑☑142
terminus.0.1.0☑☒2
terminus-cohttp.0.1.0☑☒0
terminus-hlc.0.1.0☑☒0
testu01.1.2.3-0.2☒☒3
text.0.8.1☑☒4406
text-tags.2.5.0☑☒14
textmate-language.0.3.4☑☑-1
textrazor.0.1.1☑☑0
textutils.v0.16.0☑☑-1
textutils_kernel.v0.16.0☑☑4406
textwrap.0.2.1☑☑1
tezos.14.0☑☒-1
tezos-012-Psithaca-test-helpers.14.0☒☒-1
tezos-013-PtJakart-test-helpers.14.0☒☒-1
tezos-014-PtKathma-test-helpers.14.0☒☒-1
tezos-accuser-012-Psithaca.14.0☒☒-1
tezos-accuser-013-PtJakart.14.0☒☒-1
tezos-accuser-014-PtKathma.14.0☒☒-1
tezos-accuser-alpha.14.0☒☒-1
tezos-alpha-test-helpers.14.0☒☒-1
tezos-baker-012-Psithaca.14.0☒☒-1
tezos-baker-013-PtJakart.14.0☒☒-1
tezos-baker-014-PtKathma.14.0☒☒-1
tezos-baker-alpha.14.0☒☒-1
tezos-baking-012-Psithaca.14.0☑☒-1
tezos-baking-012-Psithaca-commands.14.0☒☒-1
tezos-baking-013-PtJakart.14.0☑☒-1
tezos-baking-013-PtJakart-commands.14.0☑☒-1
tezos-baking-014-PtKathma.15.1☑☒-1
tezos-baking-014-PtKathma-commands.15.1☑☒-1
tezos-baking-015-PtLimaPt.16.1☒☒8
tezos-baking-015-PtLimaPt-commands.16.1☒☒7
tezos-baking-016-PtMumbai.17.3☒☒5
tezos-baking-016-PtMumbai-commands.17.3☒☒4
tezos-baking-017-PtNairob.17.3☒☒5
tezos-baking-017-PtNairob-commands.17.3☒☒4
tezos-baking-alpha.17.3☒☒4
tezos-baking-alpha-commands.17.3☒☒3
tezos-base.17.3☒☒171
tezos-base-test-helpers.17.3☒☒16
tezos-base58.1.0.0☑☑10
tezos-benchmark.18.0☒☒-1
tezos-bls12-381-polynomial.1.0.1☒☒137
tezos-clic.17.3☑☒61
tezos-client.14.0☑☒-1
tezos-client-000-Ps9mPmXa.17.3☒☒3
tezos-client-001-PtCJ7pwo.17.3☒☒3
tezos-client-002-PsYLVpVv.17.3☒☒3
tezos-client-003-PsddFKi3.17.3☒☒3
tezos-client-004-Pt24m4xi.17.3☒☒3
tezos-client-005-PsBabyM1.17.3☒☒5
tezos-client-006-PsCARTHA.17.3☒☒5
tezos-client-007-PsDELPH1.17.3☒☒5
tezos-client-008-PtEdo2Zk.17.3☒☒5
tezos-client-009-PsFLoren.17.3☒☒5
tezos-client-010-PtGRANAD.17.3☒☒5
tezos-client-011-PtHangz2.17.3☒☒5
tezos-client-012-Psithaca.17.3☒☒5
tezos-client-013-PtJakart.17.3☒☒4
tezos-client-014-PtKathma.17.3☒☒4
tezos-client-015-PtLimaPt.17.3☒☒4
tezos-client-016-PtMumbai.17.3☒☒11
tezos-client-017-PtNairob.17.3☒☒12
tezos-client-alpha.17.3☒☒9
tezos-client-base.17.3☒☒60
tezos-client-base-unix.17.3☒☒36
tezos-client-commands.17.3☒☒49
tezos-client-demo-counter.18.0☒☒-1
tezos-client-genesis.18.0☒☒-1
tezos-codec.14.0☑☒-1
tezos-context.17.3☒☒156
tezos-context-hash.1.0.0☑☑2
tezos-context-hash-irmin.1.0.0☑☑0
tezos-context-ops.17.3☒☒39
tezos-crypto.17.3☒☒173
tezos-crypto-dal.17.3☒☒144
tezos-dac-client-lib.18.0☒☒-1
tezos-dac-lib.18.0☒☒-1
tezos-dac-node-lib.18.0☒☒-1
tezos-dal-node-lib.18.0☒☒-1
tezos-dal-node-services.18.0☒☒-1
tezos-embedded-protocol-000-Ps9mPmXa.17.3☒☒2
tezos-embedded-protocol-001-PtCJ7pwo.17.3☒☒2
tezos-embedded-protocol-002-PsYLVpVv.17.3☒☒2
tezos-embedded-protocol-003-PsddFKi3.17.3☒☒2
tezos-embedded-protocol-004-Pt24m4xi.17.3☒☒2
tezos-embedded-protocol-005-PsBABY5H.17.3☒☒2
tezos-embedded-protocol-005-PsBabyM1.17.3☒☒2
tezos-embedded-protocol-006-PsCARTHA.17.3☒☒2
tezos-embedded-protocol-007-PsDELPH1.17.3☒☒3
tezos-embedded-protocol-008-PtEdo2Zk.17.3☒☒3
tezos-embedded-protocol-008-PtEdoTez.17.3☒☒2
tezos-embedded-protocol-009-PsFLoren.17.3☒☒3
tezos-embedded-protocol-010-PtGRANAD.17.3☒☒3
tezos-embedded-protocol-011-PtHangz2.17.3☒☒3
tezos-embedded-protocol-012-Psithaca.17.3☒☒3
tezos-embedded-protocol-013-PtJakart.17.3☒☒3
tezos-embedded-protocol-014-PtKathma.17.3☒☒3
tezos-embedded-protocol-015-PtLimaPt.17.3☒☒3
tezos-embedded-protocol-016-PtMumbai.17.3☒☒3
tezos-embedded-protocol-017-PtNairob.17.3☒☒3
tezos-embedded-protocol-alpha.17.3☒☒4
tezos-embedded-protocol-demo-counter.17.3☒☒2
tezos-embedded-protocol-demo-noops.17.3☒☒4
tezos-embedded-protocol-genesis.17.3☒☒3
tezos-error-monad.17.3☑☒181
tezos-event-logging.17.3☑☒174
tezos-event-logging-test-helpers.17.3☑☒4
tezos-hacl.17.3☒☒174
tezos-hacl-glue.12.3☑☑158
tezos-hacl-glue-unix.12.3☑☑156
tezos-injector-013-PtJakart.14.0☑☒-1
tezos-injector-014-PtKathma.15.1☑☒-1
tezos-injector-015-PtLimaPt.16.1☒☒4
tezos-injector-016-PtMumbai.16.1☒☒4
tezos-injector-alpha.14.0☑☒-1
tezos-layer2-store.17.3☒☒4
tezos-layer2-utils-016-PtMumbai.17.3☒☒2
tezos-layer2-utils-017-PtNairob.17.3☒☒3
tezos-lazy-containers.17.3☒☒148
tezos-lmdb.7.4☑☑-1
tezos-lwt-result-stdlib.17.3☑☒182
tezos-micheline.17.3☑☒171
tezos-micheline-rewriting.13.0☑☒-1
tezos-mockup.17.3☒☒38
tezos-mockup-commands.17.3☒☒37
tezos-mockup-proxy.17.3☒☒41
tezos-mockup-registration.17.3☒☒39
tezos-node.14.0☑☒-1
tezos-p2p.17.3☒☒45
tezos-p2p-services.17.3☒☒105
tezos-plompiler.1.0.1☒☒135
tezos-plonk.1.0.1☒☒134
tezos-protocol-000-Ps9mPmXa.18.0☒☒-1
tezos-protocol-001-PtCJ7pwo.18.0☒☒-1
tezos-protocol-002-PsYLVpVv.18.0☒☒-1
tezos-protocol-003-PsddFKi3.18.0☒☒-1
tezos-protocol-004-Pt24m4xi.18.0☒☒-1
tezos-protocol-005-PsBABY5H.18.0☒☒-1
tezos-protocol-005-PsBabyM1.18.0☒☒-1
tezos-protocol-006-PsCARTHA.18.0☒☒-1
tezos-protocol-007-PsDELPH1.18.0☒☒-1
tezos-protocol-008-PtEdo2Zk.18.0☒☒-1
tezos-protocol-008-PtEdoTez.18.0☒☒-1
tezos-protocol-009-PsFLoren.18.0☒☒-1
tezos-protocol-010-PtGRANAD.18.0☒☒-1
tezos-protocol-011-PtHangz2.18.0☒☒-1
tezos-protocol-012-Psithaca.18.0☒☒-1
tezos-protocol-013-PtJakart.18.0☒☒-1
tezos-protocol-014-PtKathma.18.0☒☒-1
tezos-protocol-015-PtLimaPt.18.0☒☒-1
tezos-protocol-016-PtMumbai.18.0☒☒-1
tezos-protocol-017-PtNairob.18.0☒☒-1
tezos-protocol-018-Proxford.18.0☒☒-1
tezos-protocol-alpha.18.0☒☒-1
tezos-protocol-compiler.14.0☑☒-1
tezos-protocol-demo-counter.18.0☒☒-1
tezos-protocol-demo-noops.18.0☒☒-1
tezos-protocol-environment.17.3☒☒141
tezos-protocol-environment-packer.12.3☑☑139
tezos-protocol-environment-sigs.12.3☑☑137
tezos-protocol-environment-structs.12.3☑☒137
tezos-protocol-genesis.18.0☒☒-1
tezos-protocol-plugin-007-PsDELPH1.17.3☒☒8
tezos-protocol-plugin-007-PsDELPH1-registerer.17.3☒☒2
tezos-protocol-plugin-008-PtEdo2Zk.17.3☒☒8
tezos-protocol-plugin-008-PtEdo2Zk-registerer.17.3☒☒2
tezos-protocol-plugin-009-PsFLoren.17.3☒☒8
tezos-protocol-plugin-009-PsFLoren-registerer.17.3☒☒2
tezos-protocol-plugin-010-PtGRANAD.17.3☒☒8
tezos-protocol-plugin-010-PtGRANAD-registerer.17.3☒☒2
tezos-protocol-plugin-011-PtHangz2.17.3☒☒8
tezos-protocol-plugin-011-PtHangz2-registerer.17.3☒☒2
tezos-protocol-plugin-012-Psithaca.17.3☒☒8
tezos-protocol-plugin-012-Psithaca-registerer.17.3☒☒2
tezos-protocol-plugin-012-Psithaca-tests.13.0☑☑-1
tezos-protocol-plugin-013-PtJakart.17.3☒☒7
tezos-protocol-plugin-013-PtJakart-registerer.17.3☒☒2
tezos-protocol-plugin-013-PtJakart-tests.13.0☑☑-1
tezos-protocol-plugin-014-PtKathma.17.3☒☒7
tezos-protocol-plugin-014-PtKathma-registerer.17.3☒☒2
tezos-protocol-plugin-015-PtLimaPt.17.3☒☒7
tezos-protocol-plugin-015-PtLimaPt-registerer.17.3☒☒2
tezos-protocol-plugin-016-PtMumbai.17.3☒☒14
tezos-protocol-plugin-016-PtMumbai-registerer.17.3☒☒2
tezos-protocol-plugin-017-PtNairob.17.3☒☒15
tezos-protocol-plugin-017-PtNairob-registerer.17.3☒☒2
tezos-protocol-plugin-alpha.17.3☒☒13
tezos-protocol-plugin-alpha-registerer.17.3☒☒2
tezos-protocol-plugin-alpha-tests.13.0☑☑-1
tezos-protocol-updater.17.3☒☒52
tezos-proxy.17.3☒☒38
tezos-proxy-server.14.0☑☒-1
tezos-proxy-server-config.18.0☒☒-1
tezos-requester.17.3☒☒12
tezos-rpc.17.3☑☒174
tezos-rpc-http.17.3☒☒63
tezos-rpc-http-client.17.3☒☒55
tezos-rpc-http-client-unix.17.3☒☒51
tezos-rpc-http-server.17.3☒☒8
tezos-rust-libs.1.6☑☑-1
tezos-sapling.17.3☒☒146
tezos-sapling-parameters.1.1.0☑☑98
tezos-scoru-wasm.17.3☒☒145
tezos-scoru-wasm-fast.17.3☒☒7
tezos-scoru-wasm-helpers.17.3☒☒3
tezos-shell.17.3☒☒11
tezos-shell-context.17.3☒☒67
tezos-shell-context-test.13.0☑☑-1
tezos-shell-services.17.3☒☒103
tezos-shell-services-test-helpers.16.1☒☒1
tezos-signer.14.0☑☒-1
tezos-signer-backends.17.3☒☒50
tezos-signer-services.17.3☒☒51
tezos-smart-rollup-016-PtMumbai.17.3☒☒15
tezos-smart-rollup-017-PtNairob.17.3☒☒16
tezos-smart-rollup-alpha.17.3☒☒13
tezos-smart-rollup-layer2-016-PtMumbai.17.3☒☒3
tezos-smart-rollup-layer2-017-PtNairob.17.3☒☒4
tezos-stdlib.17.3☑☒182
tezos-stdlib-unix.17.3☑☒173
tezos-store.17.3☒☒13
tezos-test-helpers.17.3☑☒24
tezos-test-helpers-extra.16.1☒☒2
tezos-test-services.7.4☑☒-1
tezos-tree-encoding.17.3☒☒149
tezos-tx-rollup-013-PtJakart.14.0☒☒-1
tezos-tx-rollup-014-PtKathma.15.1☒☒-1
tezos-tx-rollup-015-PtLimaPt.16.1☒☒3
tezos-tx-rollup-alpha.14.0☒☒-1
tezos-tx-rollup-client-013-PtJakart.14.0☒☒-1
tezos-tx-rollup-client-014-PtKathma.14.0☒☒-1
tezos-tx-rollup-client-alpha.14.0☒☒-1
tezos-tx-rollup-node-013-PtJakart.14.0☒☒-1
tezos-tx-rollup-node-014-PtKathma.14.0☒☒-1
tezos-tx-rollup-node-alpha.14.0☒☒-1
tezos-validation.17.3☒☒26
tezos-validator.14.0☒☒-1
tezos-version.17.3☒☒106
tezos-wasmer.17.3☒☒8
tezos-webassembly-interpreter.17.3☒☒147
tezos-webassembly-interpreter-extra.17.3☒☒4
tezos-workers.17.3☒☒12
tezt.4.0.0☑☑-1
tezt-performance-regression.17.3☑☑2
tezt-tezos.18.0☒☒-1
tgls.0.8.6☑☑1
theora.0.4.0☑☑-1
thread-local-storage.0.1☑☑-1
thread-table.1.0.0☑☑83
thrift.0.10.0☑☒0
tidy.5.6-0.1☒☒0
tidy_email.0.0.1☑☑3
tidy_email_mailgun.0.0.1☑☑0
tidy_email_sendgrid.0.0.1☑☑0
tidy_email_smtp.0.0.1☑☑0
tilde_f.v0.16.0☑☑3
time_now.v0.16.0☑☑4406
timed.1.1☑☑1
timedesc.2.0.0☑☑-1
timedesc-json.2.0.0☑☑-1
timedesc-sexp.2.0.0☑☑-1
timedesc-tzdb.2.0.0☑☑-1
timedesc-tzlocal.2.0.0☑☑-1
timedesc-tzlocal-js.2.0.0☑☑-1
timere.0.7.0☑☒-1
timere-parse.0.0.6☑☒1
timezone.v0.16.0☑☑4406
timmy.1.0.4☑☑-1
timmy-jsoo.1.0.4☑☑-1
timmy-unix.1.0.4☑☑-1
tiny_httpd.0.14☑☑-1
tiny_httpd_camlzip.0.14☑☑-1
tiny_json.1.1.6☑☒13
tip-parser.0.6☑☑1
tjr_simple_earley.2017-11-14e☑☑0
tldr.0.3.0☑☑0
tls.0.17.3☑☑-1
tls-async.0.17.3☑☑-1
tls-eio.0.17.3☒☑-1
tls-liquidsoap.1☑☑4
tls-lwt.0.17.3☑☑-1
tls-mirage.0.17.3☑☑-1
toc.0.1.0☒☒0
tofn.0.12☑☑0
togglelog.0.1.0☑☑-1
toml.7.1.0☑☑14
toml-cconv.5.0.0☑☑0
toml_cconv.7.0.0☑☑0
tophide.1.0.4☑☑1
topiary.0.3.0☑☑-1
topkg.1.0.7☑☑4406
topkg-care.1.0.7☑☑0
topkg-jbuilder.0.2.0☑☒6
toplevel_backend.v0.16.0☑☑1
toplevel_expect_test.v0.16.0☑☑-1
topojson.0.1.0☑☑1
topojsone.0.1.0☒☑0
topological_sort.v0.16.0☑☑16
touist.3.5.0☑☒0
tplib.1.3☑☒0
tptp.0.3.2☑☒0
tqdm.0.1☑☑0
trace.0.4☑☑-1
trace-tef.0.4☑☑-1
tracing.v0.16.0☑☑-1
tracy-client.0.3☑☑-1
traildb.0.1☒☒0
traits.0.1.0☑☑0
trampoline.0.1.0☑☑0
transept.0.1.0☑☑0
traverse.0.3.0☑☑7
travesty.0.8.0☒☑0
travis-opam.1.5.0☑☒0
trax.0.4.0☑☑0
tree_layout.0.2☑☑0
treeprint.2.3.0☑☒0
trexio.2.2.0☒☒0
trie.1.0.0☑☑269
tsdl.1.0.0☑☑-1
tsdl-image.0.6☑☑15
tsdl-mixer.0.6☑☑0
tsdl-ttf.0.6☑☑15
tsort.2.1.0☑☑41
ttweetnacl.0.1.0☑☑0
tuareg.3.0.1☑☑2
tube.4.4.0☑☑0
tuntap.2.0.0☑☑-1
twostep.1.0.1☑☑2
tyabt.0.1.0☑☑0
type_conv.113.00.02☒☒4406
typerep.v0.16.0☑☑4406
typeset.0.4☑☑0
tyre.0.5☑☑2
tyxml.4.6.0☑☑4406
tyxml-jsx.4.6.0☑☑2
tyxml-lwd.0.3☑☑0
tyxml-ppx.4.6.0☑☑2
tyxml-syntax.4.6.0☑☑4
ubase.0.20☑☑1
ubpf.0.2☒☒0
ucaml.0.1☒☒0
uchar.0.0.2☑☑4406
uecc.0.4☑☑145
uint.2.0.1☑☑542
ulex.1.2☒☒76
ulex-camlp5.1.3☑☒0
ulid.0.1☑☑0
um-abt.0.1.7☑☑0
unidecode.0.4.0☑☑0
unionFind.20220122☑☑9
unison.2.53.3☑☑-1
universo.2.7☑☑0
unix-dirent.0.3.5☑☑0
unix-errno.0.6.2☑☑16
unix-sys-resource.0.1.2☑☒0
unix-sys-stat.0.5.2☑☒0
unix-time.0.1.0☑☒0
unix-type-representations.0.1.2☑☒7
unix-unistd.0.4.0☑☑0
unstrctrd.0.3☑☑-1
uri.4.4.0☑☑4406
uri-bench.4.4.0☑☑-1
uri-re.4.4.0☑☑0
uri-sexp.4.4.0☑☑4406
uring.0.1☒☒0
uritemplate.0.2.0☑☑0
usb.1.3.1☑☒0
user-agent-parser.0.2.0☑☑0
user-setup.0.7☑☑-1
username_kernel.v0.16.0☑☑1
uspf.0.0.3☑☑-1
uspf-lwt.0.0.3☑☑-1
uspf-unix.0.0.3☑☑-1
utop.2.13.1☑☑-1
uucd.15.1.0☑☑-1
uucp.15.1.0☑☑-1
uuidm.0.9.8☑☑-1
uunf.15.1.0☑☑-1
uuseg.15.1.0☑☑-1
uutf.1.0.3☑☑4406
uuuu.0.3.0☑☑26
valentine.1.0.0☑☒0
validator.0.2.3☑☑0
variantslib.v0.16.0☑☑4406
varint.1.0☑☒0
varray.0.1☑☑-1
vcaml.v0.16.0☑☒-1
vcardgen.1.2☑☑0
vchan.6.0.1☑☑-1
vchan-unix.6.0.1☒☒-1
vchan-xen.6.0.1☑☑-1
vdom.0.3☑☑2
vec.0.3.0☑☑-1
vecosek.0.0.0☒☒0
vecosek-engine.0.0.0☑☒1
vecosek-scene.0.0.0☑☒2
vector.1.0.0☑☑315
vector3.1.0.0☑☑9
vendredi.0.1.0☑☑0
vercel.0.1.0☒☒0
vg.0.9.4☑☑-1
vhdlib.0.9.1☒☒0
virtual_dom.v0.16.0☑☑7
visitors.20210608☑☑13
vlq.0.2.1☑☒0
vlt.0.1☑☑0
voaacenc.0.1.1☒☒2
vocal.0.1☑☑0
volt.1.4☒☒1
voqc.0.3.0☑☒0
vorbis.0.8.0☑☑4
vpt.5.0.0☑☑1
vscoq-language-server.2.0.2+coq8.18☑☑-1
vue-jsoo.0.3☑☑0
vue-ppx.0.1.0☑☑0
wall.0.4.1☒☒1
wamp.1.2☑☒2
wamp-msgpck.1.2☑☒0
wamp-yojson.1.2☑☒0
wasm.2.0.1☑☑1
wasmer.1.2.1☒☒0
wayland.2.0☒☑-1
waylaunch.0.2.0☒☒0
wcs-lib.2017-05-26.01☑☒2
webauthn.0.1.0☑☑-1
webbrowser.0.6.1☑☑5
weberizer.0.8☒☒0
webidl.1.4☑☑3
webmachine.0.7.0☑☑19
websocket.2.16☑☑-1
websocket-async.2.16☑☑-1
websocket-lwt.2.12☑☒3
websocket-lwt-unix.2.16☑☑-1
websocketaf.0.1.0☑☒1
websocketml.0.1.1☒☒0
webtest.2.0.0☑☑6
webtest-js.2.0.0☑☑5
weevil.0.1.1☑☒-1
why3.1.6.0☑☑-1
why3-coq.1.6.0☑☒-1
why3-ide.1.6.0☑☑-1
wikitext.3.0.1☑☑0
win-error.1.0☑☑13
win-eventlog.0.4☑☑4
ws-server.0.1☑☑0
wseg.0.3.0☑☒1
wtf8.1.0.2☑☑2
wtr.3.0.0☑☑1
wtr-ppx.3.0.0☑☑0
wu-manber-fuzzy-search.0.1.0☑☑0
wyrd.1.4.6☒☒0
x509.0.16.5☑☑-1
xapi-backtrace.0.7☑☑16
xapi-rrd.1.11.0☑☑-1
xapi-stdext-date.4.23.0☑☑-1
xapi-stdext-encodings.4.23.0☑☑-1
xapi-stdext-pervasives.4.23.0☑☑-1
xapi-stdext-std.4.23.0☑☑-1
xapi-stdext-threads.4.23.0☑☑-1
xapi-stdext-zerocheck.4.23.0☑☑-1
xcursor.0.1.0☑☑0
xdg.3.11.1☑☑-1
xdg-basedir.0.0.4☑☑4
xen-evtchn.2.1.0☑☑4406
xen-evtchn-unix.2.1.0☒☒-1
xen-gnt.4.0.1☑☑-1
xen-gnt-unix.4.0.1☒☒-1
xenstore.2.2.0☑☑-1
xenstore_transport.1.3.0☑☑521
xmelly.1.0.0☑☑0
xml-light.2.5☑☑40
xmldiff.0.7.0☑☑8
xmldiff_js.0.7.0☑☑3
xmlm.1.4.0☑☑203
xmlplaylist.0.1.5☑☑5
xoshiro.0.1☑☑0
xtmpl.0.19.0☑☑38
xtmpl_js.0.19.0☑☑3
xtmpl_ppx.0.19.0☑☑27
xxhash.0.1☒☒0
yajl.0.7.3☒☒1
yaml.3.2.0☑☑130
yaml-sexp.3.2.0☑☑2
yices2.0.0.3☒☒1
yices2_bindings.0.2☒☒0
yocaml.1.0.0☑☑8
yocaml_cmark.1.0.0☑☑0
yocaml_git.1.0.0☑☑0
yocaml_jingoo.1.0.0☑☑0
yocaml_markdown.1.0.0☑☑0
yocaml_mustache.1.0.0☑☑0
yocaml_syndication.1.0.0☑☑0
yocaml_unix.1.0.0☑☑0
yocaml_yaml.1.0.0☑☑0
yojson.2.1.1☑☑-1
yojson-bench.2.0.2☑☑-1
yurt.0.6☑☑0
yuscii.0.3.0☑☑26
yuujinchou.5.2.0☒☑1
z3.4.12.2-1☑☑-1
z3_tptp.4.11.2☑☑0
zanuda.1.0.0☑☒0
zar.0.9.2☑☑-1
zarith.1.13☑☑-1
zarith_stubs_js.v0.16.1☑☑331
zed.3.2.3☑☑265
zeit.0.1.0☑☑1
zelus.2.2☒☒1
zelus-gtk.2.2☒☒0
zenon.0.8.5☑☑0
zipc.0.1.0☑☑-1
zipperposition.1.6☑☒0
zipperposition-tools.1.6☑☒0
zlib.0.6☑☑-1
zlist.0.5.0☑☑0
zmq.5.2.2☑☑-1
zmq-async.5.2.2☑☑-1
zmq-lwt.5.2.2☑☑-1
zstandard.v0.15.0☒☒0
zstd.0.3☒☒-1
zxcvbn.2.4+1☑☑0