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: 3759
Packages failing with current filters: 179
Packages whose dependencies failed with current filters: 315

Run made on the 2024-10-10 13:47:12


4.14.25.2.0number of revdeps
0install.2.18☑☑1
0install-gtk.2.18☑☑0
0install-solver.2.18☑☑12
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.3☑☑4
GuaCaml.0.05☑☑2
ISO3166.0.1.0☑☑0
ISO8601.0.2.6☑☑47
MlFront_Cli.0.4.0~prerel7☑☑0
OCADml.0.6.0☑☑2
OCanren.0.3.0☑☑2
OCanren-ppx.0.3.0☑☑2
OSCADml.0.2.3☑☑1
SZXX.4.1.3☒☑0
Snowflake.0.02.03☑☑1
SourceCode_ASCII.0.1.0☑☑0
TCSLib.0.3☑☒1
aacplus.0.2.2☒☒2
aarch64-esperanto.0.0.6☑☒0
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.1.0☑☑0
aches.1.1.0☑☑245
aches-lwt.1.1.0☑☑233
acp4.1.0.1☑☑0
acpc.2.0.0☒☑0
adobe_font_metrics.1.0.0☑☑0
advi.2.0.0☒☒0
aez.0.3☑☒0
afl.2.57b☒☒0
afl-persistent.1.4☑☑25
ago.0.4☑☒0
agrid.0.1☑☑1
ahrocksdb.0.2.2☒☒0
aifad.2.3.0☑☑0
aio.0.0.3☒☒0
alba.0.4.4☑☑0
albatross.2.3.0☑☑0
alcotest.1.8.0☑☑858
alcotest-js.1.8.0☑☑0
alcotest-lwt.1.8.0☑☑140
alcotest-mirage.1.8.0☑☑0
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.6.0☑☑13
alt-ergo-free.2.2.0☑☒8
alt-ergo-lib.2.6.0☑☑14
alt-ergo-parsers.2.6.0☑☑13
alt-ergo-plugin-ab-why3.2.6.0☑☑0
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.3.0☑☑2
amqp-client-lwt.2.3.0☑☑0
ancient.0.9.1☒☒1
anders.1.1.1☑☑0
angstrom.0.16.1☑☑4359
angstrom-lwt-unix.0.16.1☑☑3
angstrom-unix.0.16.1☑☑6
ansi.0.7.0☑☑5
ansi-parse.0.4.0☑☑0
ansicolor.0.5☑☑0
antic.0.4.0☒☒4
anycache.0.7.4☑☒2
anycache-lwt.0.7.4☑☒0
ao.0.2.4☑☑6
apron.v0.9.15☑☑21
apronext.1.0.4☑☑3
arb.0.4.0☒☒4
archetype.1.5.2☑☑0
archi.0.2.0☑☑2
archi-lwt.0.2.0☑☑0
archimedes.0.4.19☑☒5
archsat.1.1☑☒0
arg-complete.0.1.0☑☑2
argon2.1.0.2☒☒2
argsh.0.1.0☑☑0
arp.3.1.1☑☑628
arp-mirage.2.2.1☑☑2
arrakis.1.0.0☑☑0
arrayjit.0.4.0☒☑1
art.0.2.0☑☑3
asai.0.3.1☒☑1
asak.0.5☑☑2
ascend.0.1.2-1☒☑0
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.3.2☑☑648
assertions.0.1☑☒0
assimp.0.3☒☒0
ast_generic.1.8.0☑☒0
astring.0.8.5☑☑4359
async_durable.v0.16.0☑☑2
async_extra.v0.16.0☑☑4
async_js.v0.16.0☑☑6
async_kernel.v0.16.0☑☑4359
async_rpc_kernel.v0.16.0☑☑4359
async_websocket.v0.13.0☑☑1
atable.0.1☑☑0
atacama.0.0.4☒☑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☑☑3
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.4.0☑☑39
awa-lwt.0.2.0☑☑0
awa-mirage.0.4.0☑☑38
aws.1.2☑☑15
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.1☑☑2
aws-s3-lwt.4.8.1☑☑0
aws-sdb.1.2☑☑0
aws-sqs.1.2☑☑0
aws-ssm.1.2☑☑0
aws-sts.1.2☑☑0
azblob.0.1.0☑☑1
azure-cosmos-db.0.2.4☑☑0
b0.0.0.5☑☑1
babel.v0.16.0☑☑2
baby.20240619☑☑0
backoff.0.1.1☑☑21
bag.1.0.0☑☑0
baguette_sharp.2.2.1☑☑0
balancer.1.0☑☒0
bam.0.2☑☑1
bam-ppx.0.2☑☒1
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.17.1☒☑4359
base-bigarray.base☑☑4360
base-bytes.base☑☑4359
base-domains.base☒☑28
base-native-int63.0.1☑☑4359
base-nnp.base☒☑0
base-threads.base☑☑4366
base-unix.base☑☑4366
base32.1.0.0☑☑2
base58.0.1.2☑☑0
base64.3.5.1☑☑949
base_bigstring.v0.16.0☑☑4359
base_quickcheck.v0.17.0☒☑4359
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.8.0☑☑4359
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.2☑☑1
benchmark.1.6☑☑4359
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☑☑4359
bibtex2html.1.99-1☑☑0
bidirectional_map.v0.17.0☒☑0
bigarray-compat.1.1.0☑☑4359
bigarray-overlap.0.2.1☑☑84
bigdecimal.v0.16.0☑☑0
bignum.v0.16.0☑☑12
bigstring.0.3☑☑330
bigstring-unix.0.3☑☑1
bigstringaf.0.10.0☑☑4359
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
bin_prot.v0.16.0☑☑4359
bin_tree.0.1☑☑0
binaryen.0.24.0☑☑0
binaryen-bin.119☑☑0
binbin.0.01☑☒0
bindlib.6.0.0☑☑2
biniou.1.2.2☑☑4359
binning.0.0.0☑☑3
binsec.0.9.1☑☑0
bio_io.0.7.0☑☑0
biocaml.0.11.1☑☒3
bip32.0.2☑☒0
bisect.1.3.1☑☒7
bisect_ppx.2.8.3☑☑236
bisect_ppx-ocamlbuild.1.0.1☑☒1
bitcoin.3.0☑☑3
bitcoin-cohttp-lwt.3.0☑☑0
bitcoin-ocurl.3.0☑☑0
bitgenerators.v0.1.0☑☑0
bitlib.1.0☑☑0
bitmasks.1.4.0☑☒0
bitpack_serializer.0.1.0☑☑0
bitstring.4.1.0☑☑26
bitv.2.0☑☑5
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.20.1☑☑224
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.1.0☑☑1
bogue.20240928☑☑2
bogue-tutorials.0.2.0☒☒0
boltzgen.0.9.3☑☒0
bookaml.4.0☑☒0
bos.0.2.1☑☑4359
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.7☑☑14
brr-lwd.0.3☑☑0
bsdowl.3.0.0-20150830☑☑8
bst.7.1.0☑☑8
buffer-pool.0.2☑☑0
build_path_prefix_map.0.3☑☑0
builder.0.4.0☑☑1
builder-web.0.2.0☑☑0
bun.0.3.4☒☒0
bwd.2.3.0☑☑4
bytearray.1.0.3☑☒0
bytebuffer.0.0.2☑☑0
bytestring.0.0.8☒☑5
bz2.0.8.0☑☑14
ca-certs.1.0.0☑☑435
ca-certs-nss.3.104☑☑75
cactus.1.0.0☑☑0
cairn.1.0☑☑0
cairo2.0.6.4☑☑57
cairo2-gtk.0.6.4☑☑1
cairo2-pango.0.6.4☑☑0
caisar.2.1☒☒0
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.4.0☒☒3
calculon.0.8☑☑1
calculon-redis.0.6☑☒0
calculon-redis-lib.0.6☑☒1
calculon-web.0.8☑☑0
caldav.0.2.3☑☑0
calendar.3.0.0☑☑123
calendars.1.0.0☑☑0
calipso.4.1.0☑☑0
calli.0.2☒☒0
callipyge.0.2☑☑1
camelot.0.4.3☑☑0
camels.0.0.4☑☑0
camelsnakekebab.0.4☑☑0
caml-mode.4.9☑☑3
camlbz2.transition☑☑13
camlgpc.1.0☑☑0
camlidl.1.12☑☑34
camlimages.5.0.5☒☒9
camlix.0.1☑☑0
camlkit.0.2.1☑☑0
camlkit-base.0.2.1☑☑2
camlkit-gui.0.2.1☑☑1
camllib.1.3.3☑☒1
camlmix.1.3.0☑☒1
camlon.3.1.0☑☑9
camlp-streams.5.0.1☑☑4359
camlp4.5.2☒☑4359
camlp5.8.03.01☑☑4359
camlp5-buildscripts.0.03☑☑4359
camlpdf.2.7.1☑☑2
camlprime.0.5☑☑0
camlrack.0.10.1☑☑1
camltc.0.9.8☑☒9
camlzip.1.12☑☑4359
camomile.2.0.0☑☑280
camyll.0.4.3☑☑0
canary.0.0.1☑☑0
caper.0.9☑☑0
capitalization.v0.17.0☒☑4359
capnp.3.6.0☑☑11
capnp-rpc.1.2.3☑☑10
capnp-rpc-lwt.1.2.3☑☑9
capnp-rpc-mirage.1.2.3☑☑0
capnp-rpc-net.1.2.3☑☑5
capnp-rpc-unix.1.2.3☑☑3
captureio.0.1.2☑☒0
caqti.2.1.2☑☑35
caqti-driver-mariadb.2.1.1☒☒2
caqti-driver-pgx.2.1.1☑☑0
caqti-driver-postgresql.2.1.2☑☑2
caqti-driver-sqlite3.2.1.1☑☑7
caqti-dynload.2.0.1☑☑3
caqti-eio.2.1.2☒☑0
caqti-lwt.2.1.1☑☑24
caqti-mirage.2.1.2☑☑0
caqti-tls.2.1.2☑☑1
caqti-type-calendar.2.0.1☑☑2
carbon.0.1.0☒☑0
carray.0.0.2☑☑0
carton.0.7.2☑☑46
carton-git.0.7.2☑☑44
carton-lwt.0.7.2☑☑45
castore.0.0.2☒☑1
catala.0.10.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
cdb.1.0.1☒☑0
cdrom.0.9.4☒☒0
ceph.20240106☒☒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.1.0☒☑0
charInfo_width.2.0.0☑☑0
charrua.1.5.0☑☑3
charrua-client.1.5.0☑☑0
charrua-client-lwt.1.2.2☑☑1
charrua-client-mirage.1.2.2☑☑1
charrua-server.1.5.0☑☑2
charrua-unix.1.5.0☑☑0
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
checked_oint.0.1.2☒☒0
checkseum.0.5.2☑☑314
choice.0.4☑☑0
chrome-trace.3.16.0☑☑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☑☑199
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.3.0☑☑5
cmdliner.1.3.0☑☑4359
cmdliner-stdlib.1.0.0☑☑0
cmdtui.0.4.3☑☒1
cmdtui-lambda-term.0.4.3☑☒0
cmitomli.1.0.0☑☑0
cmon.0.2☑☑0
coap.0.1.0☑☑0
coap-core.0.1.0☑☑2
coap-server-lwt.0.1.0☑☑1
cobs.0.1.1☑☑0
coccinelle.1.2☑☒0
codept.0.12.0☑☒0
cohttp.6.0.0~beta2☑☑481
cohttp-curl.6.0.0~beta2☑☑2
cohttp-curl-lwt.6.0.0~beta2☑☑0
cohttp-eio.6.0.0~beta2☒☑3
cohttp-lwt.6.0.0~beta2☑☑398
cohttp-lwt-jsoo.6.0.0~beta2☑☑22
cohttp-lwt-unix.6.0.0~beta2☑☑361
cohttp-mirage.6.0.0~beta2☑☑5
cohttp-server-lwt-unix.6.0.0~beta2☑☑0
cohttp-top.6.0.0~beta2☑☑0
coin.0.1.4☑☑23
colibri2.0.4☒☒2
colibrics.0.4☑☑0
colibrilib.0.4☑☑3
colombe.0.9.0☑☑11
color.0.2.0☑☑2
color-brewery.0.2☑☑0
colors.0.0.1☑☑10
combic.1.0.0☑☑0
combinaml.0.1☑☑0
combinat.3.0☑☑0
combine.0.6☑☒0
comby-kernel.1.7.0☑☒1
comby-semantic.1.7.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.7.1.0☑☑481
conduit-lwt.7.1.0☑☑442
conduit-lwt-unix.7.1.0☑☑393
conduit-mirage.7.1.0☑☑13
conex.0.11.1☑☑1
conex-mirage-crypto.0.11.1☑☑0
conex-nocrypto.0.11.0☑☑0
conf-aclocal.2☑☑25
conf-adwaita-icon-theme.2☑☑1
conf-age.1☑☑1
conf-alsa.1☑☑6
conf-antic.1☑☑5
conf-ao.1☑☑7
conf-arb.1☑☑6
conf-asciidoc.1☑☑1
conf-assimp.1☒☒0
conf-autoconf.0.2☑☑4368
conf-automake.1☑☑219
conf-bap-llvm.1.8☒☒17
conf-bash.1☑☑4363
conf-binutils.0.3☑☑99
conf-bison.2☑☑3
conf-blas.1☑☑21
conf-bmake.1.0☑☑9
conf-boost.1☑☑4
conf-brotli.0.0.1☑☑2
conf-c++.1.0☑☑42
conf-cairo.1☑☑60
conf-calcium.1☒☒4
conf-capnproto.2☑☑11
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-cuda.1☒☒3
conf-cuda-config.1☑☑4
conf-dbm.1.0.0☑☑23
conf-diffutils.2☑☑6
conf-dpkg.1☑☑2
conf-dssi.1☑☑5
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☑☑4361
conf-flex.2☑☑1
conf-flint.3.0☒☒8
conf-freeglut.1☑☑4360
conf-freetype.1☑☑67
conf-frei0r.1☑☑5
conf-fswatch.11-0.1.3☑☑3
conf-ftgl.1☑☑0
conf-fts.1☑☑2
conf-g++.1.0☑☑247
conf-gcc.1.0☑☑18
conf-gd.1☑☑5
conf-gfortran.0☑☑15
conf-ghostscript.1☑☑9
conf-git.1.1☑☑13
conf-glade.2☑☑4360
conf-gles2.1☒☒5
conf-glew.1☒☒2
conf-glfw3.2☑☑3
conf-glib-2.1☑☑6
conf-glpk.1☑☑2
conf-gmp.4☑☑4364
conf-gmp-paths.1☑☑27
conf-gmp-powm-sec.3☑☑4360
conf-gnome-icon-theme3.0☑☑0
conf-gnomecanvas.2☑☑4360
conf-gnuplot.0.1☑☑26
conf-gnustep-base.1☑☑3
conf-gnustep-gui.1☑☑2
conf-gnutls.1☑☑4360
conf-gobject-introspection.1.0☑☑1
conf-goocanvas2.0☑☑1
conf-graphviz.0.1☑☑14
conf-gsl.2☑☑19
conf-gssapi.1☑☑4360
conf-gstreamer.1☑☑7
conf-gtk2.1☑☑4360
conf-gtk3.18☑☑31
conf-gtksourceview.2☑☑4360
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☑☑4360
conf-libargon2.1☑☑2
conf-libblake3.1.5.1☒☒0
conf-libbz2.1☑☑15
conf-libclang.15☑☑4
conf-libcurl.2☑☑62
conf-libdw.1☑☑0
conf-libev.4-12☑☑4359
conf-libevent.1☑☑6
conf-libffi.2.0.0☑☑985
conf-libflac.1☑☑5
conf-libfontconfig.1☑☑1
conf-libfuse.1☑☑2
conf-libgccjit.1☑☑3
conf-libgif.1☑☑10
conf-libgl.1☑☑4360
conf-libglu.1☑☑4360
conf-libgsasl.1☑☑1
conf-libjpeg.1☑☑11
conf-liblinear-tools.1.0.0☑☑1
conf-liblo.1☑☑5
conf-liblz4.1☑☑13
conf-liblzma.1☑☑1
conf-libmagic.1☑☑1
conf-libmaxminddb.1☑☑2
conf-libmd.1.0.0☑☑0
conf-libmosquitto.1☑☑1
conf-libmpg123.1☑☑1
conf-libobjc2.1☑☑3
conf-libogg.1☑☑13
conf-libopus.1☑☑5
conf-libpcre.1☑☑4360
conf-libpcre2-8.1☑☑12
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☑☑4361
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.17☑☑6
conf-lua.1☒☒0
conf-lz4.1.0.0☑☑1
conf-m4.1☑☑4360
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☑☑4360
conf-neko.1☑☑1
conf-netsnmp.1.0.0☒☒1
conf-ninja.1☑☑2
conf-nlopt.1☑☑4
conf-nmap.1.0.0☑☑1
conf-npm.1☑☑22
conf-numa.0.1.0☒☒1
conf-ode.1☑☑0
conf-oniguruma.1☑☑4
conf-openbabel.0.1☑☑1
conf-openblas.0.2.2☑☑17
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☑☑4363
conf-perl-ipc-system-simple.3☑☑4360
conf-perl-string-shellquote.3☑☑4360
conf-pixz.1☑☑0
conf-pkg-config.3☑☑4498
conf-plplot.1☒☒11
conf-portaudio.1☑☑6
conf-postgresql.1☑☑27
conf-ppl.1☑☑23
conf-protoc.4.4.0☑☑5
conf-protoc-dev.1.0.0☑☑1
conf-pulseaudio.1☑☑7
conf-python-2-7.1.2☑☑46
conf-python-2-7-dev.1.0☒☒1
conf-python-3.9.0.0☑☑67
conf-python-3-7.1.0.0☑☑1
conf-python-3-dev.1☑☑8
conf-python3-pyparsing.1☒☒3
conf-python3-tomli.1☒☒3
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☑☑296
conf-samplerate.1☑☑7
conf-scdoc.1☑☑1
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☑☑25
conf-sdl2-image.1☑☑15
conf-sdl2-mixer.1☑☑1
conf-sdl2-net.1☑☑0
conf-sdl2-ttf.1☑☑15
conf-sdpa.1☑☑1
conf-secp256k1.2☑☑2
conf-sfml2.1☑☑2
conf-shine.1☒☒5
conf-snappy.1☑☑4
conf-soundtouch.1☑☑5
conf-sqlite3.1☑☑72
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☑☑4360
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☑☑4368
conf-vim.1☑☑0
conf-wayland-protocols.1☑☑2
conf-wget.1☑☑4
conf-which.1☑☑4375
conf-wxwidgets.3.0☒☒1
conf-xen.1☑☑4360
conf-xkbcommon.1☑☑2
conf-xxhash.1☑☑1
conf-zig.1☑☑2
conf-zlib.1☑☑4360
conf-zmq.0.1☑☑27
conf-zstd.1.3.8☑☑5
confero.0.1.1☑☑0
config.0.0.3☒☑6
config-file.1.2.1☑☒9
configuration.0.4.1☑☑1
conformist.0.8.1☑☑8
conjury.2.2☑☑1
containers.3.14☑☑132
containers-data.3.14☑☑8
containers-thread.3.12☑☑0
content_security_policy.v0.16.0☑☑0
cookie.0.1.8☑☑3
cookies.1.0.0☑☑0
coq.8.20.0☑☑18
coq-core.8.20.0☑☑24
coq-lsp.0.2.2+8.20☑☑0
coq-native.1☑☒28
coq-of-ocaml.2.5.3+4.14☑☒0
coq-serapi.8.20.0+0.20.0☑☑0
coq-shell.1☑☑0
coq-stdlib.8.20.0☑☑20
coq-waterproof.2.1.1+8.18☑☑0
coqide.8.20.0☑☑0
coqide-server.8.20.0☑☑20
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☑☑4359
core_kernel.v0.16.0☑☑4359
corecount.1.0.0☑☒0
cosovo.3☑☑0
cow.2.5.0☑☑28
cpdf.2.7.1☑☑0
cpm.12.2.0☑☑15
cppffigen.0.002☑☑0
cppo.1.7.0☑☑4359
cppo_ocamlbuild.1.7.0☑☑4359
cps_toolbox.0.3☑☑1
cpu.2.0.0☑☑19
cpuid.0.1.2☑☑691
craml.1.0.0☑☒3
crc.2.2.0☑☑2
crdt-ml.0.10.0☑☒0
crlibm.0.5.1☑☑2
crontab.0.1☑☑0
crowbar.0.2.1☑☑53
crunch.3.3.1☑☑124
cry.1.0.3☑☑4
crypt.1.3☒☒0
cryptodbm.0.84.2☑☒0
cryptohash.0.1.2☑☒0
cryptokit.1.20☑☑4359
cryptoverif.2.11☑☑0
csdp.6.2.0☑☑0
csexp.1.5.2☑☑4359
css.0.2.0☑☑4
css-parser.0.2.5☑☒0
cstruct.6.2.0☑☑4359
cstruct-lwt.6.2.0☑☑772
cstruct-sexp.6.2.0☑☑642
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.23.0☑☑989
ctypes-build.0.0.2☑☑2
ctypes-foreign.0.23.0☑☑986
ctypes-zarith.0.2.0☑☒1
ctypes_stubs_js.0.1☑☑239
cubicle.1.2.0☑☒0
cucumber.1.0.4☒☒0
cudajit.0.5.0☒☒2
cudf.0.10☑☑28
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.6☑☑11
current-albatross-deployer.1.0.0☒☒0
current-web-pipelines.0.1☑☑0
current_ansi.0.4☑☑3
current_docker.0.6.6☑☑2
current_examples.0.6.6☑☑0
current_git.0.6.6☑☑7
current_github.0.6.6☑☑2
current_gitlab.0.6.6☑☑1
current_incr.0.6.1☑☑13
current_ocluster.0.3.0☑☑1
current_rpc.0.6.6☑☑1
current_slack.0.6.6☑☑0
current_ssh.0.6.6☑☑1
current_web.0.6.6☑☑6
curses.1.0.11☑☑9
curve-sampling.0.2.1☑☑0
cvc5.1.2.0☒☒2
cviode.0.0.4☑☒0
daft.0.0.4☒☑0
dap.1.0.6☑☑1
data-encoding.1.0.1☑☑200
datakit-server.1.0.0☑☒3
datakit-server-9p.1.0.0☑☒2
datalog.0.6☑☒0
dates_calc.0.0.6☑☑1
daypack-lib.0.0.6☑☑1
dbf.0.2.0☑☑0
dblp.0.1.1☑☑0
dblp-api.0.1.1☑☑1
dbm.1.4☑☑22
deadlock.1.0☒☒0
debian-formats.0.1.2☑☑1
decimal.1.0.1☑☑1
decoders.1.0.0☑☑9
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☑☑2
decompress.1.5.3☑☑184
dedent.v0.16.0☑☑2
dedukti.2.7☑☑3
delimcc.2023.06.17☒☒77
delimcc_of_fxhandler.0.1☒☑0
depgraph.0.1.0☑☒0
depyt.0.3.0☑☑0
deriving.0.8.1☑☒4359
devkit.1.20240429☒☒4
diet.0.4☑☑4
diff.1.0.2☑☑0
diffable.v0.16.0☑☑8
digestif.1.2.0☑☑835
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☑☑20
dispatch-js.0.5.0☑☑0
distributed.0.6.0☑☒2
distributed-lwt.0.2.0☑☒0
diy.5.01☑☒0
dkim.0.7.0☑☑2
dkim-bin.0.7.0☑☑0
dkim-mirage.0.7.0☑☑0
dkml-c-probe.3.0.0☑☑0
dkml-compiler-env.1.0.2~prerel7☑☑0
dkml-dune-dsl.0.1.4☑☑1
dkml-dune-dsl-show.0.1.4☑☑0
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.9.0.0☑☑240
dns-certify.9.0.0☑☑1
dns-cli.9.0.0☑☑0
dns-client.9.0.0☑☑76
dns-client-lwt.9.0.0☑☑48
dns-client-miou-unix.9.0.1☒☑2
dns-client-mirage.9.0.0☑☑54
dns-mirage.9.0.0☑☑5
dns-resolver.9.0.0☑☑1
dns-server.9.0.0☑☑3
dns-stub.9.0.0☑☑0
dns-tsig.9.0.0☑☑10
dnssec.9.0.0☑☑3
docfd.3.0.0☒☑0
docker-api.0.2.2☑☒0
docker_hub.0.2.0☑☑0
dockerfile.8.2.2☑☑9
dockerfile-cmd.8.2.2☑☑2
dockerfile-opam.8.2.2☑☑3
docout.0.0.1☑☑2
docteur.0.0.7☑☑2
docteur-solo5.0.0.7☑☑0
docteur-unix.0.0.7☑☑0
doculib.1.3.5☑☑0
doi2bib.0.6.2☑☑0
dokeysto.4.0.1☑☑10
dokeysto_camltc.4.0.0☑☒7
dokeysto_lz4.4.0.0☑☑0
dolmen.0.10☑☑21
dolmen_bin.0.10☑☑0
dolmen_loop.0.10☑☑18
dolmen_lsp.0.10☑☑0
dolmen_model.0.10☑☑1
dolmen_type.0.10☑☑19
dolog.6.0.0☑☑19
domain-local-await.1.0.1☑☑68
domain-local-timeout.1.0.1☑☑2
domain-name.0.4.0☑☑4359
domain_shims.0.1.0☑☑34
domainslib.0.5.1☒☑23
dose3.7.0.0☑☑9
dose3-extra.7.0.0☑☑0
dot-merlin-reader.5.2.1-502☒☑25
dotenv.0.0.3☑☑0
down.0.3.0☑☑0
dream.1.0.0~alpha7☑☑19
dream-accept.0.1.0☑☑0
dream-cli.0.2.0☑☑0
dream-encoding.0.2.0☑☑0
dream-html.3.6.2☑☑1
dream-htmx.0.1.0☑☑0
dream-httpaf.1.0.0~alpha3☑☑20
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.5.0☑☑31
dssi.0.1.5☒☒4
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
dune.3.16.0☑☑4359
dune-action-plugin.3.16.0☑☑0
dune-build-info.3.16.0☑☑219
dune-compiledb.0.6.0☑☑1
dune-configurator.3.16.0☑☑4359
dune-deps.1.3.0☑☑0
dune-glob.3.16.0☑☑1
dune-private-libs.3.16.0☑☑375
dune-release.2.0.0☑☑2
dune-rpc.3.16.0☑☑3
dune-rpc-lwt.3.16.0☑☑0
dune-secondary.3.16.0☑☑4365
dune-site.3.16.0☑☑375
duppy.0.9.4☑☑4
duration.0.2.1☑☑4359
dyn.3.16.0☑☑390
dyntype.0.9.0☑☒35
earley.3.0.0☑☑2
earlybird.1.3.2☑☑0
easy-format.1.3.4☑☑4359
easy_logging.0.8.2☑☑7
easy_logging_yojson.0.8.2☑☑6
edn.0.2.0☑☑0
efl.1.24.0☒☒0
ego.0.0.6☑☑0
eigen.0.3.3☑☑16
eio.1.1☒☑36
eio-ssl.0.3.0☒☑1
eio-trace.0.4☒☑0
eio_main.1.1☒☑27
eio_posix.1.1☒☑14
either.1.0.0☑☑520
elasticsearch-cli.1.2☒☒0
electrod.1.0.0☑☒0
elina.1.3.2☒☒1
eliom.11.0.1☑☑2
elpi.1.20.0☑☑0
embedded_ocaml_templates.0.8☑☑0
emile.1.1☑☑71
emoji.1.1.0☑☒0
encore.0.8☑☑45
enumerators.0.2.0☑☑0
epictetus.3.1.1☑☑0
eprover.3.1☒☒0
eqaf.0.10☑☑849
eqaf-cstruct.0.10☑☑0
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☒☒0
erlang.0.0.14☑☑0
errpy.0.0.10☑☒0
erssical.1.1.0☑☑0
esgg.20190322☑☑0
esperanto-cosmopolitan.0.0.6☑☑2
ethernet.3.2.0☑☑629
euler.0.3☑☒0
exenum.0.86☑☑0
exn-source.0.1☑☑0
expect.0.0.6☑☒4359
expect_test_helpers_core.v0.16.0☑☑4359
extism.1.3.0☑☑0
extism-manifest.1.3.0☑☑1
extlib.1.8.0☑☑66
extprot.1.7.0☑☑0
extunix.0.4.2☑☑25
ez-conf-lib.2☑☑28
ez_api.2.1.0☑☑2
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.4☑☑7
ezcurl-lwt.0.2.4☑☑2
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☑☑444
ezjsonm-encoding.2.1.0☑☑0
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☑☑164
faraday-lwt.0.8.2☑☑72
faraday-lwt-unix.0.8.2☑☑67
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☒☑699
fdkaac.0.3.3☑☑4
feat.20220407☑☑0
feat-core.20220407☑☑2
feat-num.20220407☑☑0
feather.0.3.0☑☑2
febusy.0.0.0☑☒0
ff.0.6.2☑☑139
ff-pbt.0.6.2☑☑4
ff-sig.0.6.2☑☑256
ffmpeg.1.2.0☑☑4
ffmpeg-av.1.2.0☑☑7
ffmpeg-avcodec.1.2.0☑☑9
ffmpeg-avdevice.1.2.0☑☑5
ffmpeg-avfilter.1.2.0☑☑5
ffmpeg-avutil.1.2.0☑☑12
ffmpeg-swresample.1.2.0☑☑5
ffmpeg-swscale.1.2.0☑☑5
fftw3.0.8.5☒☒0
fiat-p256.0.2.3☑☑592
fiber.3.7.0☑☑2
fiber-lwt.3.7.0☑☑0
fieldslib.v0.17.0☒☑4359
file-rewriter.0.0.3☒☑1
fileutils.0.6.4☑☑4359
findlib_top.v0.11.0☑☒0
fit.1.2.0☑☑0
fix.20230505☑☑81
flac.0.5.0☑☑4
flex-array.1.2.0☑☑2
flexdll.0.43☑☑0
flint.0.4.0☒☒6
flow_parser.0.246.0☒☑0
fm-simplex-plugin.1.30☒☒0
fmlib.0.5.9☑☑0
fmlib_browser.0.5.9☑☑1
fmlib_js.0.5.9☑☑2
fmlib_parse.0.5.9☑☑1
fmlib_pretty.0.5.9☑☑2
fmlib_std.0.5.9☑☑5
fmt.0.9.0☑☑4359
fontforge-of-ocaml.1.1.0☑☒0
forester.4.3.1☒☑0
format.0.1☑☒0
fpath.0.7.3☑☑4359
fpath-base.0.2.1☒☑0
fpath-sexp0.0.2.1☒☑1
frama-c.29.0☑☑6
frama-c-lannotate.0.2.3☑☑0
frama-c-luncov.0.2.1☑☑0
frama-c-metacsl.0.7☑☑0
frama-clang.0.0.16☒☒0
fred.0.1.0☑☑0
freetds.0.7☒☒1
frei0r.0.1.2☑☑4
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.4☑☑2
fswatch_lwt.11-0.1.0☑☑0
fun-postgresql.0.2.3☑☑0
fun-sql.0.2.3☑☑2
fun-sqlite.0.2.3☑☑0
functoria.4.4.2☑☑2
functoria-runtime.4.4.2☑☑4359
functory.0.6☑☒2
funfields.0.04☑☑0
fuseau.0.1☒☑1
fuseau-lwt.0.1☒☑0
fuzzy_compare.2.0.1☑☑0
fuzzy_match.v0.16.0☑☑2
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
gccjit.0.3.2☑☑2
gd.1.1☑☑4
gdal.0.10.0☑☒0
gdbprofiler.0.4☑☑0
gedcom.1.0.0☑☑0
gen.1.1☑☑4359
gen-bs.0.0.0☑☒0
gen_js_api.1.1.3☑☑58
genspio.0.0.3☑☑0
genspir.1.0.1☑☑0
geoip.0.0.3☒☒3
geojson.0.2.0☑☑2
geojsone.0.2.0☑☑1
geoml.0.1.1☑☑0
get_line.7.0.0☑☑1
getopt.20230213☑☑2
getopts.0.4.0☑☒1
gettext.0.4.2☑☒4359
gettext-camomile.0.4.2☑☒0
gettext-stub.0.4.2☑☒0
gg.1.0.0☑☑19
git.3.17.0☑☑40
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.5☑☑1
git-mirage.3.17.0☑☑37
git-paf.3.17.0☑☑38
git-split.0.0.4☑☑0
git-unix.3.17.0☑☑36
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.2☑☑28
gluten-eio.0.5.2☒☑6
gluten-lwt.0.5.2☑☑16
gluten-lwt-unix.0.5.2☑☑8
gluten-mirage.0.5.2☑☑3
gmap.0.3.0☑☑658
gmp.6.2.1-5☑☑0
gmp-ecm.7.0.3☒☒0
gmp-freestanding.6.2.1☒☒681
gnuplot.0.7☑☑4
goblint.2.1.0☑☒1
goblint-cil.2.0.4☑☑2
google-drive-ocamlfuse.0.7.32☒☒0
gospel.0.3.0☑☑3
gotd.0.1☑☑0
gperftools.0.5☒☒5
gpt.1.0.0☑☑0
gpx.1.1.1☑☑0
gr.0.0.2☑☑0
grain_dypgen.0.2☑☑2
graphics.5.1.2☑☑4359
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_jsoo_client.0.1.1☑☑0
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
grenier.0.15☑☑6
grib.0.11.0☒☒0
grid.0.1.0☑☑0
grpc.0.2.0☑☑5
grpc-bench.0.2.0☑☑0
grpc-eio.0.2.0☒☑1
grpc-lwt.0.2.0☑☑1
gsl.1.25.0☑☑18
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.1.0.0☑☑3
h1-lwt-unix.1.0.0☑☑0
h1_parser.0.0.2☑☑0
h2.0.13.0☑☑59
h2-eio.0.13.0☒☑1
h2-lwt.0.13.0☑☑3
h2-lwt-unix.0.13.0☑☑1
h2-mirage.0.13.0☑☑0
hachis.20240918☑☑0
hacl.0.3☑☒8
hacl-star.0.7.1☒☒293
hacl-star-raw.0.7.1☒☒296
hacl_func.0.1.0☑☑0
hacl_x25519.0.2.2☑☑595
hamt.1.0.0☑☒0
happy-eyeballs.1.2.0☑☑74
happy-eyeballs-lwt.1.2.0☑☑48
happy-eyeballs-miou-unix.1.2.1☒☑3
happy-eyeballs-mirage.1.2.0☑☑54
hardcaml.v0.16.0☑☑15
hardcaml_axi.v0.16.0☑☑0
hardcaml_circuits.v0.16.0☑☑1
hardcaml_fixed_point.v0.16.0☑☑0
hardcaml_handshake.v0.16.0☑☑1
hardcaml_step_testbench.v0.16.0☑☑0
hardcaml_xilinx.v0.16.0☑☑0
hashcons.1.4.0☑☑496
hashset.1.0.0☑☒0
haxe.4.1.1☒☒0
hc.0.4☑☑3
hdfs.0.4☒☒0
hdr_histogram.0.0.4☑☑2
headache.1.08☑☑9
header-check.0.1.0☑☑0
hector.20240805☑☑0
heptagon.1.05.00☑☒0
herdtools7.7.57☑☑0
hevea.2.36☑☑2
hex.1.5.0☑☑868
hex_encode.v0.16.0☑☑1
hexstring.0.2.1☑☑0
hidapi.1.2.1☑☑200
hidapi-lwt.1.2.1☑☑199
higher.0.3.1☑☑0
higher_kinded.v0.16.0☑☑5
highlexer.0.1☑☑0
higlo.0.9☑☑22
hilite.0.4.0☑☑0
hiredis.0.8☑☒0
hiredis-value.0.8☑☒2
hkdf.2.0.0☑☑592
hl_yaml.1.0.0☒☑0
hlarp.0.0.3☑☒0
hll.3.16☑☑0
hmap.0.8.1☑☑213
hockmd.0.1.0☑☑0
hol2dk.2.0.0☑☑0
hooke.0.0.1☒☑0
host-arch-x86_64.1☑☑0
host-system-other.1☑☑0
hpack.0.13.0☑☑68
hsluv.0.1.0☑☑0
html_of_jsx.0.0.4☑☑1
htmlfromtexbooks.3.3.2☑☑0
htmlit.0.1.0☑☑0
hts_shrink.3.0.1☑☒0
http.6.0.0~beta2☑☑485
http-cookie.4.3.0☑☑0
http-date.0.1☑☑0
http-lwt-client.0.3.0☑☑5
http-mirage-client.0.0.7☑☑1
http-multipart-formdata.3.1.0☑☑0
httpaf.0.7.1☑☑110
httpaf-lwt-unix.0.7.1☑☑30
httpaf_caged.1.0.0☑☑0
httpcats.0.0.1☒☑1
httph.0.1☑☑0
httpun.0.2.0☑☑12
httpun-eio.0.2.0☒☑1
httpun-lwt.0.2.0☑☑2
httpun-lwt-unix.0.2.0☑☑0
httpun-mirage.0.2.0☑☑0
httpun-types.0.2.0☑☑78
httpun-ws.0.2.0☑☑6
httpun-ws-eio.0.2.0☒☑0
httpun-ws-lwt.0.2.0☑☑2
httpun-ws-lwt-unix.0.2.0☑☑0
httpun-ws-mirage.0.2.0☑☑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☑☑69
hyper.1.0.0~alpha2☑☑0
i3ipc.0.4☑☑1
icalendar.0.1.8☑☑2
idd.0.1☑☑0
idds.0.2☑☒1
igvxml.0.1.0☑☒0
imagelib.20221222☑☑4
imguiml.v1.90.6☒☒0
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.1☑☑9
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-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☑☑4359
integers.0.7.0☑☑1001
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☑☑4359
io-page-unix.2.3.0☑☑739
iomux.0.3☑☑21
iostream.0.3☑☑6
iostream-camlzip.0.3☑☑2
ip2location.8.1.0☑☑0
ip2locationio.1.0.0☑☑0
ip2whois.1.0.0☑☑0
ipaddr.5.6.0☑☑4359
ipaddr-cstruct.5.6.0☑☑628
ipaddr-sexp.5.6.0☑☑642
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.1.0.0☑☑55
irmin.3.9.0☑☑158
irmin-bench.3.9.0☑☑0
irmin-chunk.3.9.0☑☑0
irmin-cli.3.9.0☑☑2
irmin-client.3.9.0☑☑0
irmin-containers.3.9.0☑☑0
irmin-fs.3.9.0☑☑4
irmin-git.3.9.0☑☑5
irmin-graphql.3.9.0☑☑4
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☑☑2
irmin-mirage-git.3.9.0☑☑0
irmin-mirage-graphql.3.9.0☑☑0
irmin-pack.3.9.0☑☑15
irmin-pack-tools.3.9.0☑☑0
irmin-server.3.9.0☑☑3
irmin-test.3.9.0☑☑10
irmin-tezos.3.9.0☑☑5
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.17.0☒☑4359
jane_rope.v0.16.0☑☑29
janestreet_lru_cache.v0.16.1☑☑9
jasmin.2024.07.1☒☒0
javalib.3.2.2☑☑1
javascriptcore.0.0.1☒☒0
jbuilder.1.0+beta20.2☑☒4359
jekyll-format.0.3.3☑☑0
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.8.2☑☑4359
js_of_ocaml-camlp4.3.1.0☑☒16
js_of_ocaml-compiler.5.8.2☑☑4359
js_of_ocaml-lwt.5.8.2☑☑146
js_of_ocaml-ocamlbuild.5.0☑☑13
js_of_ocaml-ppx.5.8.2☑☑247
js_of_ocaml-ppx_deriving_json.5.8.2☑☑3
js_of_ocaml-toplevel.5.8.2☑☑16
js_of_ocaml-tyxml.5.8.2☑☑6
js_of_ocaml_patches.v0.16.0☑☑8
json-data-encoding.1.0.1☑☑291
json-data-encoding-browser.1.0.1☑☑0
json-data-encoding-bson.1.0.1☑☑281
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☑☑776
jsonoo.0.3.0☑☑0
jsonrpc.1.19.0☑☑7
jsonschema2atd.0.0.3☑☑0
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.17.0☒☑4359
junit.2.0.2☑☑8
junit_alcotest.2.0.2☑☑9
junit_ounit.2.0.2☑☑0
jupyter.2.8.3☑☒2
jupyter-archimedes.2.7.3☑☒0
jupyter-kernel.0.8☑☑0
jwt.0.1☑☑0
jwto.0.4.0☑☑16
kafka.0.5☒☒2
kafka_lwt.0.5☒☒0
kappa-agents.4.1.3☑☒0
kappa-binaries.4.1.3☑☒0
kappa-library.4.1.3☑☒2
kaputt.1.2☑☒3
kcas.0.7.0☑☑3
kcas_data.0.7.0☑☑0
kdf.1.0.0☑☑647
kdl.0.1.0☑☑0
ke.0.6☑☑465
key-parsers.1.5.0☑☒1
kicadsch.0.9.0☑☑1
kind2.2.2.0☑☑0
kinetic-client.0.0.11☑☑0
kittyimg.0.1☑☑1
kkmarkdown.1.1.0☑☑0
kmt.0.1☑☑0
knights_tour.0.0.5☑☑0
kqueue.0.4.0☑☑6
kuznechik.0.1.1☑☑0
kyotocabinet.0.2☒☒0
lab.0.1.8☑☑0
lablgl.1.07☒☒4359
lablgtk.2.18.13☑☑4359
lablgtk3.3.1.5☑☑29
lablgtk3-extras.3.0.1☑☑0
lablgtk3-goocanvas2.3.1.5☑☑0
lablgtk3-gtkspell3.3.1.5☑☑0
lablgtk3-rsvg2.3.1.5☑☑0
lablgtk3-sourceview3.3.1.5☑☑14
lablqml.0.7☒☒1
labltk.8.06.14☑☑5
labrys.0.1☒☒0
lacaml.11.0.10☒☒22
ladspa.0.2.2☑☑5
lambda.0.1.7☑☑0
lambda-runtime.0.1.0☑☒1
lambda-term.3.3.2☑☑261
lambda_streams.0.1.2☑☑2
lambda_streams_lwt.0.1.2☑☑0
lambdapi.2.5.1☑☑0
lambdasoup.1.1.1☑☑39
lame.0.3.7☒☒4
landmarks.1.4☑☑1
landmarks-ppx.1.4☑☑0
lascar.0.7.0☑☒1
lastfm.0.3.4☑☑4
lazy-trie.1.2.0☑☑22
lbfgs.0.9.5☒☒4
lbvs_consent.2.2.0☒☒0
ldap.2.5.1☑☒1
ldp.0.3.0☑☑6
ldp_curl.0.3.0☒☒2
ldp_js.0.3.0☑☑0
ldp_tls.0.3.0☒☒2
leaflet.0.1☑☑0
leaves.0.0.2☒☑0
ledgerwallet.0.4.1☑☑198
ledgerwallet-tezos.0.4.1☑☑197
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
letsencrypt.1.0.0☑☑4
letsencrypt-app.1.0.0☑☑0
letsencrypt-dns.1.0.0☑☑1
letsencrypt-mirage.1.0.0☑☑0
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
libc.0.0.1☒☑5
libdash.0.3☑☑0
libevent.0.9.0☒☒5
libirmin.3.9.0☑☑0
libsail.0.18☑☑10
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_oriented.1.3.0☑☑10
linenoise.1.5.1☑☑27
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.6☑☑2
linol-eio.0.6☒☑0
linol-lwt.0.6☑☑0
lintcstubs.0.4.7☑☒0
lintcstubs-arity.0.4.1☑☒2
lintcstubs-gen.0.4.7☑☒1
linwrap.9.1.4☑☒0
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.5☑☑2
liquidsoap-core.2.2.5☑☑3
liquidsoap-daemon.1.0.0☑☑0
liquidsoap-js.2.2.5☑☑0
liquidsoap-lang.2.2.5☑☑7
liquidsoap-libs.2.2.5☑☑4
liquidsoap-libs-extra.2.2.5☑☑3
liquidsoap-mode.2.2.5☑☑0
little_logger.0.3.0☑☑0
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.17.0.6☒☒4
llvmgraph.0.2☒☒0
lmdb.1.0☑☑0
lo.0.2.0☒☒4
loc.0.2.0☒☑2
lockfree.0.3.1☑☑23
logger-p5.0.4.5☑☑5
logical.0.3.0☑☑0
logs.0.7.0☑☑4359
logs-async.1.3☑☑2
logs-ppx.0.2.0☑☑1
logs-syslog.0.4.1☑☑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☑☑0
lru.0.3.1☑☑731
lru-cache.0.3.0☑☑1
lru_cache.0.4.0☑☑0
lsp.1.19.0☑☑3
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.14☑☑6
luv_unix.0.5.1☑☑4
lwd.0.3☑☑6
lwt.5.7.0☑☑4359
lwt-canceler.0.3☑☑321
lwt-dllist.1.0.1☑☑4359
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☒☑0
lwt_glib.1.1.1☑☑3
lwt_log.1.1.2☑☑602
lwt_ppx.2.1.0☑☑219
lwt_ppx_let.5.6.0☑☑0
lwt_react.1.2.0☑☑311
lwt_ssl.1.2.0☑☑550
lymp.0.2.5☑☒1
lz4.1.3.0☑☑12
lz4_chans.3.0.1☑☑0
lzo.0.0.3☑☑0
m_tree.0.1☑☑0
macaddr.5.6.0☑☑4359
macaddr-cstruct.5.6.0☑☑630
macaddr-sexp.5.6.0☑☑7
macaque.0.8☑☒2
macaroons.0.1.0☑☑0
mad.0.5.3☒☒6
magic.0.7.3☑☒4
magic-mime.1.3.1☑☑551
maildir.0.9.0☑☒0
make-random.0.1☑☑1
malfunction.0.6☑☑0
mariadb.1.1.6☒☒3
markdown.0.2.1☑☑1
markup.1.0.3☑☑4359
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☑☑3
mc2.0.1☑☑0
mccs.1.1+18☑☑10
md2mld.0.7.0☑☑24
mdx.2.4.1☑☑118
mec.0.1.0☑☑137
mechaml.1.2.1☑☒0
mehari.0.4☑☑3
mehari-eio.0.4☒☑0
mehari-lwt-unix.0.4☑☑0
mehari-mirage.0.4☑☑1
mel.0.3.2☒☒0
melange.4.0.1-52☒☑21
melange-atdgen-codec-runtime.3.0.0☑☑0
melange-compiler-libs.0.0.1-414☑☒5
melange-fest.0.1.0☑☑0
melange-fetch.0.1.0☑☑2
melange-jest.0.1.1☑☑8
melange-json.1.3.0☑☑1
melange-json-native.1.3.0☑☑0
melange-moment.0.4.0☑☑1
melange-numeral.0.0.1☑☑0
melange-radix-icons.0.0.1☒☑0
melange-recharts.4.0.3☑☑0
melange-testing-library.0.1.0☑☑2
melange-webapi.0.21.0☑☑3
meldep.0.3.2☑☒4
mem_usage.0.1.1☒☒4
memcad.1.1.0☒☒0
memcpy.0.2.2☑☑0
memgraph.1.0☑☑1
memgraph_kitty.1.0☑☑0
memprof-limits.0.2.1☑☒25
memtrace.0.2.3☑☑32
memtrace-mirage.0.2.1.2.2☑☒1
menhir.20240715☑☑4359
menhir-secondary.20231231☑☒4364
menhirCST.20240715☑☑4359
menhirLib.20240715☑☑4359
menhirSdk.20240715☑☑4359
merge-fmt.0.3☑☑0
mergeable-vector.0.1.0☑☑0
merlin.5.2.1-502☒☑25
merlin-extend.0.6.1☑☑43
merlin-lib.5.2.1-502☒☑27
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.3.0☑☑4
metadb.1.0.2☑☑1
metapp.0.4.4☒☒11
metaquot.0.5.2☒☒10
metrics.0.4.1☑☑4359
metrics-influx.0.4.1☑☑4
metrics-lwt.0.4.1☑☑4359
metrics-mirage.0.3.0☑☑0
metrics-rusage.0.4.1☑☑3
metrics-unix.0.4.1☑☑3
mew.0.1.0☑☑265
mew_vi.0.5.0☑☑264
middleware.0.0.1☑☑0
mikmatch.1.0.9☑☑0
mimic.0.0.9☑☑51
mimic-happy-eyeballs.0.0.9☑☑40
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☒☒4360
minisat.0.6☑☑2
minivpt.2.0.0☑☑1
minttea.0.0.2☒☑1
miou.0.3.0☒☑6
mirage.4.7.0☑☑4
mirage-block.3.0.2☑☑599
mirage-block-ccm.2.0.0☑☑0
mirage-block-combinators.3.0.2☑☑7
mirage-block-lwt.1.2.0☑☑590
mirage-block-partition.0.2.0☑☑0
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.3☑☑0
mirage-bootvar.1.0.1☑☑0
mirage-bootvar-solo5.0.6.0☑☑0
mirage-bootvar-unix.0.1.0☑☑4
mirage-bootvar-xen.0.8.0☑☑0
mirage-btrees.0.1.0☑☒0
mirage-channel.4.1.0☑☑588
mirage-channel-lwt.3.2.0☑☑585
mirage-clock.4.2.0☑☑749
mirage-clock-freestanding.4.1.0☑☑4359
mirage-clock-lwt.2.0.0☑☑4359
mirage-clock-solo5.4.2.0☑☑0
mirage-clock-unix.4.2.0☑☑722
mirage-clock-xen.1.1☑☑4359
mirage-console.5.1.0☑☑590
mirage-console-lwt.2.4.3☑☑600
mirage-console-solo5.0.8.0☑☑0
mirage-console-unix.5.1.0☑☑499
mirage-console-xen.5.1.0☑☑0
mirage-console-xen-backend.5.1.0☑☑1
mirage-console-xen-proto.5.1.0☑☑3
mirage-crypto.1.1.0☑☑696
mirage-crypto-ec.1.1.0☑☑648
mirage-crypto-entropy.0.6.2☑☒0
mirage-crypto-pk.1.1.0☑☑648
mirage-crypto-rng.1.1.0☑☑690
mirage-crypto-rng-eio.1.1.0☒☑2
mirage-crypto-rng-lwt.1.1.0☑☑439
mirage-crypto-rng-miou-unix.1.1.0☒☑2
mirage-crypto-rng-mirage.1.1.0☑☑627
mirage-device.2.0.0☑☑683
mirage-entropy.0.5.1☑☑676
mirage-flow.4.0.2☑☑659
mirage-flow-combinators.4.0.2☑☑20
mirage-flow-lwt.1.6.0☑☑606
mirage-flow-rawlink.1.1.0☑☒0
mirage-flow-unix.4.0.2☑☑2
mirage-fs.4.0.0☑☑583
mirage-fs-lwt.2.0.0☑☑584
mirage-fs-mem.0.1.0☑☑0
mirage-fs-unix.1.7.0☑☑4
mirage-kv.6.1.1☑☑636
mirage-kv-lwt.2.0.0☑☑608
mirage-kv-mem.3.2.1☑☑2
mirage-kv-unix.3.0.1☑☑0
mirage-logs.2.1.0☑☑5
mirage-monitoring.0.0.5☑☒0
mirage-nat.3.0.2☑☑0
mirage-net.4.0.0☑☑639
mirage-net-fd.0.2.1☑☒0
mirage-net-flow.1.0.0☑☒0
mirage-net-lwt.2.0.0☑☑616
mirage-net-solo5.0.8.0☑☑0
mirage-net-unix.3.0.0☑☑502
mirage-net-xen.2.1.5☑☑150
mirage-no-solo5.1☑☑680
mirage-no-xen.1☑☑681
mirage-os-shim.3.1.0☑☑677
mirage-profile.0.9.1☑☑4359
mirage-profile-unix.0.9.1☑☑0
mirage-protocols.8.0.0☑☑586
mirage-protocols-lwt.3.1.0☑☑609
mirage-qubes.1.0.0☑☑1
mirage-qubes-ipv4.1.0.0☑☑0
mirage-random.4.0.0☑☑60
mirage-random-stdlib.0.1.0☑☑1
mirage-random-test.0.1.0☑☑7
mirage-runtime.4.7.0☑☑4359
mirage-seal.0.4.2☑☒0
mirage-solo5.0.9.3☑☑684
mirage-stack.4.0.0☑☑607
mirage-stack-lwt.1.4.0☑☑610
mirage-tc.0.3.0☑☒20
mirage-time.3.0.0☑☑711
mirage-time-lwt.1.3.0☑☑611
mirage-time-unix.3.0.0☑☑23
mirage-types.3.10.8☑☑581
mirage-types-lwt.3.10.8☑☑569
mirage-unix.5.0.1☑☑707
mirage-vnetif.0.6.2☑☑6
mirage-vnetif-stack.0.6.2☑☑0
mirage-xen.8.0.3☑☑4359
misuja.0.0.0☒☒2
mixture.1.0.0☑☒5
mjson.0.2.1☑☑0
mkaudio.1.1.3☑☑0
mkocaml.1.2☑☑0
mlbdd.0.7.3☑☑4
mlcuddidl.3.0.8☒☒1
mlfenv.1.0.0☑☑0
mlgmpidl.1.2.15☑☑26
mlmpfr.4.2.1☒☒17
mlt_parser.v0.16.0☑☑1
mlx.0.9☑☑0
mm.0.8.5☑☑5
mmap.1.2.0☑☑4359
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.13.0☑☒5
monaco_jsoo.1.0.1☑☑1
monadlib.0.2☑☒2
monads.2.5.0☑☒108
monocypher.0.1.0☒☒2
monolith.20230604☑☑8
monomorphic.2.1.0☑☑1
monorobot.0.1☒☒0
moonpool.0.7☑☑4
moonpool-io.0.7☒☑0
moonpool-lwt.0.7☒☑0
mopsa.1.0☑☑0
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.06☑☑4
mpp.0.3.6☑☑1
mpris.0.2.0☑☑1
mpris-clients.0.2.0☑☑0
mqtt.0.2.2☑☑0
mrmime.0.6.1☑☑16
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
mstruct.1.4.0☑☒34
mtime.2.1.0☑☑876
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.3☒☑1
multicore-bench.0.1.5☑☑4
multicore-magic.2.3.0☑☑21
multicore-magic-dscheck.2.3.0☑☑3
multihash.0.1.0☑☑2
multihash-digestif.0.1.0☑☑1
multipart-form-data.0.3.0☑☑27
multipart_form.0.6.0☑☑28
multipart_form-cohttp-lwt.0.6.0☑☑0
multipart_form-eio.0.6.0☒☑0
multipart_form-lwt.0.6.0☑☑26
murmur3.0.3☑☑0
mustache.3.3.0☑☑5
mustache-cli.3.3.0☑☑0
mutaml.0.3☑☑0
mutf8.0.2☑☑0
mvar.1.0.0☑☒0
mwt.0.1.0☑☑0
mybuild.7☑☑3
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
neural_nets_lib.0.3.3☒☑0
nice_parser.1.0.0☑☑1
ninja_utils.0.9.0☑☑1
niru.1.0.0☑☑0
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☑☑676
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.13☑☑4359
note.0.0.3☑☑12
nottui.0.3☑☑3
nottui-lwt.0.3☑☑0
nottui-pretty.0.3☑☑0
notty.0.2.3☑☑23
np.np1.19-0.3.1☑☒2
nproc.0.5.1☑☒0
npy.0.0.9☑☑16
nsq.0.5.3☑☒0
num.1.5-1☑☑4359
numeric_string.v0.16.0☑☑1
nuscr.2.1.1☑☑0
oasis.0.4.11☑☒4359
oasis2debian.0.1.5☑☒0
oasis2opam.0.8☑☒0
obandit.0.3.4☑☒0
obatcher.1.1☒☑0
obelisk.0.7.0☑☑0
objsize.0.18☑☒1
obuild.0.1.11☑☑726
obuilder.0.6.0☑☑2
obuilder-spec.0.6.0☑☑4
obus.1.2.5☑☑5
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.17.0☒☑4359
ocaml-expat.1.3.0☒☒2
ocaml-freestanding.0.6.7☒☒4359
ocaml-http.0.1.6☒☒0
ocaml-in-python.0.1.0☑☒0
ocaml-index.1.1☒☑0
ocaml-inifiles.1.2☑☑6
ocaml-lsp-server.1.19.0☒☑12
ocaml-lua.1.8☒☒0
ocaml-makefile.6.39.2☑☑1
ocaml-manual.5.2.0☒☑0
ocaml-markdown.transition☑☑0
ocaml-monadic.0.5☑☑4
ocaml-print-intf.1.2.0☑☑0
ocaml-probes.v0.15.0☒☒0
ocaml-protoc.3.1.1☑☑8
ocaml-protoc-plugin.6.1.0☑☑3
ocaml-protoc-yojson.0.2.0☑☑0
ocaml-r.0.6.0☒☒1
ocaml-sat-solvers.0.7.1☑☒1
ocaml-secondary-compiler.4.14.2☑☑4366
ocaml-solo5.0.8.4☑☒0
ocaml-src.5.2.0☒☑4359
ocaml-syntax-shims.1.0.0☑☑4359
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.9☑☑38
ocaml-xdg-basedir.transition☑☑3
ocaml_intrinsics.v0.17.0☒☑6
ocaml_intrinsics_kernel.v0.17.1☒☑4359
ocamlbrowser.5.2.0☒☑0
ocamlbuild.0.15.0☑☑4359
ocamlbuild-atdgen.0.1.0☑☑0
ocamlbuild-pkg.0.2.1☑☒2
ocamlbuild-protoc.0.1☑☑0
ocamlc-loc.3.16.0☑☑1
ocamlclean.2.3☒☒2
ocamlcodoc.1.0.1☑☒1
ocamldap.transition☑☒0
ocamldiff.1.2☑☑2
ocamldot.1.1☑☑4
ocamldsort.0.16.0☑☒0
ocamleditor.1.15.2-ocaml414☑☒0
ocamlfind.1.9.6☑☑4359
ocamlfind-lint.0.1.0☑☒0
ocamlfind-secondary.1.9.6☑☑4359
ocamlformat.0.26.2☑☑55
ocamlformat-lib.0.26.2☑☑20
ocamlformat-rpc.removed☑☑0
ocamlformat-rpc-lib.0.26.2☑☑4
ocamlfuse.2.7.1-cvs10☒☒1
ocamlgraph.2.1.0☑☑4359
ocamlgraph_gtk.2.0.0☑☑7
ocamlify.0.0.1☑☒4359
ocamline.1.2☑☑1
ocamlmerlin-mlx.0.9☑☑0
ocamlmod.0.0.9☑☒4359
ocamlnet.4.1.9-2☑☒4359
ocamlog.0.2☑☑0
ocamlregextkit.1.0.2☑☑0
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
ocannl_npy.0.4.1☒☑2
ocapic.3.5☒☒0
ocb.0.2☑☑0
ocb-stubblr.0.1.1-1☑☑4359
ocephes.0.8.2☑☒3
ocf.0.9.0☑☑33
ocf_ppx.0.9.0☑☑28
ockt.0.0.1☑☑0
oclock.0.4.0☒☒4
ocluster.0.3.0☑☑0
ocluster-api.0.3.0☑☑3
ocluster-worker.0.3.0☑☑1
ocolor.1.3.1☑☑4
ocp-browser.1.3.6☑☑0
ocp-indent.1.8.1☑☑35
ocp-indent-nlfork.1.5.4☑☑2
ocp-index.1.3.6☑☑7
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☑☑4359
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☑☑15
ocplib_stuff.0.4.0☑☑17
ocsfml.2.0☒☒0
ocsigen-i18n.4.0.0☑☑1
ocsigen-ppx-rpc.1.0☑☑1
ocsigen-start.7.0.0☑☑0
ocsigen-toolkit.4.0.0☑☑1
ocsigenserver.6.0.0☑☑16
ocsipersist.2.0.0☑☑9
ocsipersist-dbm.2.0.0☑☑5
ocsipersist-dbm-config.2.0.0☑☑0
ocsipersist-lib.2.0.0☑☑10
ocsipersist-pgsql.2.0.0☒☑5
ocsipersist-pgsql-config.2.0.0☑☑0
ocsipersist-sqlite.2.0.0☑☑5
ocsipersist-sqlite-config.2.0.0☑☑0
octavius.1.2.2☑☑4359
octez.20.1☒☒0
octez-accuser-Proxford.20.1☒☒1
octez-accuser-PsParisC.20.1☒☒1
octez-accuser-PtLimaPt.16.1☒☒1
octez-accuser-PtMumbai.17.3☒☒1
octez-accuser-PtNairob.19.1☒☒1
octez-accuser-PtParisB.20.1☒☒1
octez-alcotezt.20.1☑☑96
octez-baker-Proxford.20.1☒☒1
octez-baker-PsParisC.20.1☒☒1
octez-baker-PtLimaPt.16.1☒☒1
octez-baker-PtMumbai.17.3☒☒1
octez-baker-PtNairob.19.1☒☒1
octez-baker-PtParisB.20.1☒☒1
octez-bls12-381-hash.17.3☒☒144
octez-bls12-381-polynomial.17.3☒☒146
octez-bls12-381-signature.17.3☒☒174
octez-client.20.1☒☒1
octez-codec.20.1☒☒1
octez-crawler.20.1☒☒30
octez-dac-client.20.1☒☒1
octez-dac-node.20.1☒☒1
octez-dal-node.20.1☒☒1
octez-distributed-internal.20.1☑☑95
octez-distributed-lwt-internal.20.1☑☑94
octez-injector.20.1☒☒29
octez-internal-libs.20.1☑☑94
octez-l2-libs.20.1☒☒87
octez-libs.20.1☒☒93
octez-mec.17.3☒☒145
octez-node.20.1☒☒1
octez-node-config.20.1☒☒11
octez-plompiler.17.3☒☒143
octez-plonk.17.3☒☒142
octez-polynomial.17.3☒☒145
octez-proto-libs.20.1☒☒86
octez-protocol-000-Ps9mPmXa-libs.20.1☒☒3
octez-protocol-001-PtCJ7pwo-libs.20.1☒☒3
octez-protocol-002-PsYLVpVv-libs.20.1☒☒3
octez-protocol-003-PsddFKi3-libs.20.1☒☒3
octez-protocol-004-Pt24m4xi-libs.20.1☒☒3
octez-protocol-005-PsBabyM1-libs.20.1☒☒4
octez-protocol-006-PsCARTHA-libs.20.1☒☒4
octez-protocol-007-PsDELPH1-libs.20.1☒☒5
octez-protocol-008-PtEdo2Zk-libs.20.1☒☒5
octez-protocol-009-PsFLoren-libs.20.1☒☒5
octez-protocol-010-PtGRANAD-libs.20.1☒☒5
octez-protocol-011-PtHangz2-libs.20.1☒☒5
octez-protocol-012-Psithaca-libs.20.1☒☒5
octez-protocol-013-PtJakart-libs.20.1☒☒5
octez-protocol-014-PtKathma-libs.20.1☒☒5
octez-protocol-015-PtLimaPt-libs.20.1☒☒5
octez-protocol-016-PtMumbai-libs.20.1☒☒5
octez-protocol-017-PtNairob-libs.20.1☒☒7
octez-protocol-018-Proxford-libs.20.1☒☒12
octez-protocol-019-PtParisB-libs.20.1☒☒12
octez-protocol-020-PsParisC-libs.20.1☒☒12
octez-protocol-alpha-libs.20.1☒☒12
octez-protocol-compiler.20.1☒☒85
octez-proxy-server.20.1☒☒1
octez-rpc-process.20.1☒☒2
octez-shell-libs.20.1☒☒84
octez-signer.20.1☒☒1
octez-smart-rollup-client-Proxford.18.1☒☒1
octez-smart-rollup-client-PtMumbai.17.3☒☒1
octez-smart-rollup-client-PtNairob.18.1☒☒1
octez-smart-rollup-node.20.1☒☒1
octez-smart-rollup-node-Proxford.20.1☒☒2
octez-smart-rollup-node-PsParisC.20.1☒☒2
octez-smart-rollup-node-PtMumbai.17.3☒☒1
octez-smart-rollup-node-PtNairob.20.1☒☒2
octez-smart-rollup-node-PtParisB.20.1☒☒2
octez-smart-rollup-node-alpha.20.1☒☒2
octez-smart-rollup-node-lib.20.1☒☒7
octez-smart-rollup-wasm-benchmark-lib.17.3☒☒2
octez-smart-rollup-wasm-debugger.20.1☒☒1
octez-smart-rollup-wasm-debugger-lib.20.1☒☒2
octez-smart-rollup-wasm-debugger-plugin.20.1☑☑3
octez-tx-rollup-client-PtLimaPt.16.1☒☒1
octez-tx-rollup-node-PtLimaPt.16.1☒☒1
octez-version.20.1☒☒86
ocurl.0.9.2☑☑62
ocveralls.0.3.4☑☒0
odate.0.7☑☑9
odbc.3.0☒☒0
odds.1.2☒☑0
odep.0.2.1☑☑0
odepack.0.7.1☑☑1
odig.0.0.9☑☑4
odnnr.2.0.0☒☒0
odoc.2.4.3☑☑1307
odoc-depgraph.1.0☑☑0
odoc-parser.2.4.3☑☑27
oepub.0.1.0☑☑0
offheap.0.1.2☑☒0
oframl.0.0.1☑☑0
ofx.0.1.5☑☑0
ogg.0.7.4☑☑12
ogre.2.5.0☑☒102
ohex.0.2.0☑☑668
ojo.0.2.1☑☑0
ojs.1.1.3☑☑59
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
oma.20240619☑☑0
omake.0.10.6☑☑86
omd.2.0.0~alpha4☑☑63
ometrics.0.2.1☑☒0
omigrate.0.3.2☑☑0
oml.0.0.7☑☑2
omlr.1.0.3☑☑0
omod.0.0.4☑☑0
omtl.0.2☑☑0
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.4☑☑0
opam-0install-cudf.0.5.0☑☑8
opam-bin.1.2.0☑☒0
opam-bundle.0.4☑☒0
opam-check-npm-deps.3.0.1☑☑7
opam-client.2.3.0~alpha1☑☑5
opam-compiler.0.2.0☑☑0
opam-core.2.3.0~alpha1☑☑36
opam-custom-install.0.3☑☑0
opam-depext.1.2.3☑☑1
opam-devel.2.3.0~alpha1☑☑0
opam-dune-lint.0.6☑☑0
opam-ed.0.4☑☑0
opam-file-format.2.1.6☑☑50
opam-format.2.3.0~alpha1☑☑35
opam-graph.0.1.1☑☑0
opam-grep.0.4.0☑☑0
opam-installer.2.3.0~alpha1☑☑10
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.4.0☑☑4
opam-repository.2.3.0~alpha1☑☑18
opam-solver.2.3.0~alpha1☑☑7
opam-spin.0.8.3☑☒0
opam-state.2.3.0~alpha1☑☑17
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☑☒0
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.10☑☑9
opentelemetry-client-cohttp-lwt.0.10☑☑0
opentelemetry-client-ocurl.0.10☑☑0
opentelemetry-cohttp-lwt.0.10☒☒0
opentelemetry-lwt.0.10☑☑1
operf-micro.1.1.1☑☒0
opine.0.1.3☑☑0
opium.0.20.0☑☑19
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☑☑815
opus.0.2.2☑☑4
oqamldebug.0.9.5☒☒0
orandforest.1.0.0☑☒0
oranger.4.3.5☒☒0
orb.1.0.0☑☑0
order-i3-xfce.0.1☑☑0
ordering.3.16.0☑☑391
ordinal.1.1☑☑0
ordinal_abbreviation.v0.16.0☑☑2
orec.1.0.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.3.0☑☑2
ortac-dune.0.3.0☑☑0
ortac-qcheck-stm.0.3.0☑☑1
ortac-runtime.0.3.0☑☑3
ortac-runtime-qcheck-stm.0.3.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.1☑☑0
oseq.0.5.1☑☑37
osh.0.1☑☒0
oskel.0.3.0☑☑0
osnap.0.3.0☑☑0
ostap.0.6☑☑0
otf.0.1☑☑0
otfm.0.4.0☑☑8
otoggl.0.3.2☑☒0
otoml.1.0.5☑☑6
otr.0.3.10☑☑0
ott.0.33☑☑11
otto.0.0.2☑☒0
ounit.2.2.7☑☑4359
ounit-lwt.2.2.7☑☑0
ounit2.2.2.7☑☑4359
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
p5scm.0.4.0☒☒0
pa_comprehension.0.4☑☒0
pa_monad_custom.v6.0.0☒☒4
pa_ppx.0.15☑☑11
pa_ppx_hashcons.0.11☑☑3
pa_ppx_migrate.0.12☑☑7
pa_ppx_parsetree.0.02☑☒0
pa_ppx_q_ast.0.12☑☑1
pa_ppx_quotation2extension.0.02☑☑1
pa_ppx_regexp.0.02☑☑3
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.7.0☑☑42
paf-cohttp.0.7.0☑☑0
paf-le.0.4.0☑☑0
pancake.2.0.1☒☑0
pandoc.0.2.1☑☑7
pandoc-abbreviations.0.2.1☑☑0
pandoc-comment.0.2.1☑☑0
pandoc-crossref.0.2.1☑☑0
pandoc-include.0.2.1☑☑0
pandoc-inspect.0.2.1☑☑0
pandoc-pdf2png.0.2.1☑☑0
pandoc-replace.0.2.1☑☑0
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☑☑27
parse-argv.0.3.0☑☑3
parsexp.v0.17.0☒☑4359
parsexp_io.v0.17.0☒☑0
parsite.0.1.2☑☑0
parsley.0.0.1☑☑0
passage.0.1.3☒☒0
patch.2.0.0☑☑2
path_glob.0.3☑☑1
patience_diff.v0.16.0☑☑29
patricia-tree.0.10.0☑☑0
pattern.0.3.2☒☒2
pb.1.0.0☑☑1
pb-plugin.1.0.0☑☒0
pbkdf.2.0.0☑☑651
pbrt.3.1.1☑☑19
pbrt_services.3.1.1☑☑5
pbrt_yojson.3.1.1☑☑6
pbs.0.2.0☑☒0
pcap-format.0.6.0☑☑3
pci-db.0.3.0☑☒0
pcre.7.5.0☑☑4359
pcre2.7.5.2☑☑12
pds.5.38☑☑7
pds-reachability.0.2.3☑☑0
pecu.0.7☑☑101
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.3☑☒0
pgx.2.2☑☑9
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
piaf.0.2.0☒☑0
picasso.0.4.0☑☑2
picos.0.5.0☑☑12
picos_aux.0.5.0☑☑7
picos_io.0.5.0☑☑5
picos_io_cohttp.0.5.0☑☑1
picos_lwt.0.5.0☑☑1
picos_meta.0.5.0☑☑0
picos_mux.0.5.0☑☑2
picos_std.0.5.0☑☑11
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☑☑0
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.17.0☒☑2
postgresql.5.0.0☑☑26
pp.2.0.0☑☑22
pp-binary-ints.1.0.0☑☑1
pp_loc.2.1.0☑☑27
pprint.20230830☑☑264
ppx-owl-opt.0.0.1☑☑2
ppx_accessor.v0.16.1☑☑3
ppx_assert.v0.17.0☒☑4359
ppx_bap.v0.14.0☑☒115
ppx_base.v0.17.0☒☑4359
ppx_bench.v0.17.0☒☑4359
ppx_bin_prot.v0.16.0☑☑4359
ppx_bitstring.4.1.0☑☑12
ppx_blob.0.9.0☑☑58
ppx_camlrack.0.10.1☑☑0
ppx_catch.0.1.0☑☑0
ppx_cold.v0.17.0☒☑4359
ppx_compare.v0.17.0☒☑4359
ppx_compose.0.2.1☑☑0
ppx_const.2.0.1☑☑0
ppx_conv_func.v0.17.0☒☑6
ppx_counters.0.1☑☑0
ppx_css.v0.15.1☑☒2
ppx_cstruct.6.2.0☑☑4359
ppx_cstubs.0.7.0☑☒4
ppx_csv_conv.v0.16.0☑☑4
ppx_custom_printf.v0.17.0☒☑4359
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☑☑4359
ppx_deriving.6.0.3☑☑4359
ppx_deriving_cad.0.2.0☑☑0
ppx_deriving_cmdliner.0.6.0☑☒1
ppx_deriving_encoding.0.4.0☑☑3
ppx_deriving_hardcaml.v0.16.0☑☑10
ppx_deriving_hash.0.1.2☑☑2
ppx_deriving_jsonschema.0.0.2☑☑0
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☑☑2
ppx_deriving_rpc.9.0.0☑☑25
ppx_deriving_scad.1.0.0☑☑0
ppx_deriving_variant_string.1.0.1☑☑0
ppx_deriving_yaml.0.3.0☑☑7
ppx_deriving_yojson.3.9.0☑☑145
ppx_disable_unused_warnings.v0.17.0☒☑4359
ppx_distr_guards.0.3☑☑1
ppx_dream_eml.1.0☑☑0
ppx_enumerate.v0.17.0☒☑4359
ppx_expect.v0.17.0☒☑4359
ppx_factory.0.2.0☑☑0
ppx_fail.v0.14.0☑☒0
ppx_fields_conv.v0.17.0☒☑4359
ppx_fixed_literal.v0.17.0☒☑4359
ppx_fun.0.0.9☑☑0
ppx_gen_rec.2.0.0☑☑2
ppx_getenv.2.1☑☑1
ppx_globalize.v0.17.0☒☑4359
ppx_hash.v0.17.0☒☑4359
ppx_here.v0.17.0☒☑4359
ppx_ignore_instrumentation.v0.17.0☒☑4359
ppx_import.1.11.0☑☑114
ppx_inline_alcotest.1.0.0☑☑2
ppx_inline_test.v0.17.0☒☑4359
ppx_interact.0.1.1☑☑0
ppx_irmin.3.9.0☑☑159
ppx_jane.v0.16.0☑☑4359
ppx_js_style.v0.17.0☒☑10
ppx_jsobject_conv.0.10.0☑☑0
ppx_jsonaf_conv.v0.16.0☑☑1
ppx_let.v0.17.0☒☑4359
ppx_log.v0.17.0☒☑4359
ppx_lun.0.0.1☑☑0
ppx_make.0.3.4☑☑4
ppx_map.0.2.1☑☑0
ppx_matches.0.1☑☑0
ppx_meta_conv.4.1.0☑☒7
ppx_minidebug.2.0.1☑☑2
ppx_module_timer.v0.17.0☒☑4359
ppx_monad.0.2.0☑☑0
ppx_monoid.0.3.3☑☑0
ppx_mysql.1.1.3☑☑0
ppx_optcomp.v0.17.0☒☑4359
ppx_optint.0.2.0☑☑0
ppx_optional.v0.17.0☒☑4359
ppx_parser.0.1.1☑☑0
ppx_partial.1.0☑☑0
ppx_pattern_bind.v0.17.0☒☑7
ppx_pipebang.v0.17.0☒☑4359
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_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.17.0☒☑4359
ppx_sexp_message.v0.17.0☒☑4359
ppx_sexp_value.v0.17.0☒☑4359
ppx_show.0.2.1☑☒7
ppx_stable.v0.17.0☒☑4359
ppx_stable_witness.v0.17.0☒☑4359
ppx_string.v0.17.0☒☑4359
ppx_string_conv.v0.17.0☒☑4359
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☑☒4359
ppx_trace.0.8☑☑0
ppx_traverse_builtins.v0.10.0☑☒4359
ppx_ts.0.1.6☑☑0
ppx_tydi.v0.17.0☒☑4359
ppx_type_directed_value.v0.15.0☑☑0
ppx_typed_fields.v0.16.0☑☑4
ppx_typerep_conv.v0.17.0☒☑4359
ppx_units.1.0.0☑☑0
ppx_update.0.81☑☑0
ppx_variants_conv.v0.17.0☒☑4359
ppx_viewpattern.0.1.0☑☑0
ppx_xml_conv.v0.16.0☑☑0
ppx_yojson.1.3.0☑☑3
ppx_yojson_conv.v0.17.0☒☑11
ppx_yojson_conv_lib.v0.17.0☒☑17
ppxlib.0.33.1~5.3preview☑☑4359
ppxlib_jane.v0.17.0☒☑4359
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.2☑☑0
prbnmcn-dagger.0.0.5☒☑3
prbnmcn-dagger-gsl.0.0.5☒☑1
prbnmcn-dagger-stats.0.0.5☒☑1
prbnmcn-dagger-test.0.0.5☒☑0
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.8☑☑2
prbnmcn-ucb1.0.0.2☑☑0
prc.0.1.0☑☑0
preface.1.0.0☑☑9
prelude.0.3☑☑2
pretty_expressive.0.5☑☑0
prettym.0.0.3☑☑48
primes.1.3.5☑☑0
pringo.1.4☑☑8
printbox.0.12☑☑11
printbox-ext-plot.0.12☑☑0
printbox-html.0.12☑☑2
printbox-md.0.12☑☑4
printbox-text.0.12☑☑9
proc-smaps.0.1.0☑☑0
process.0.2.1☑☑13
process_limits.1.5.5☑☑3
processor.0.2☑☑1
producer.0.2.0☑☑0
profiler-plugin.1.30☒☒0
profiling.1.5.5☑☑2
profunctor.v0.16.0☑☑2
progress.0.4.0☑☑312
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.4.2☑☑1
promise_jsoo_lwt.0.4.2☑☑0
prooftree.0.14☑☑0
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☑☑4359
proverif.2.05☑☑0
proverifdoc.2.05☑☑0
provider.0.0.9☒☑0
prr.0.1.1☑☑0
psmt2-frontend.0.4.0☑☑16
psq.0.2.1☑☑793
psyche.0.0.1☑☑0
ptime.1.2.0☑☑965
ptmap.2.0.5☑☑20
ptset.1.0.1☑☑0
publish.0.3.4+transition☑☑4
pulseaudio.0.1.5☑☑6
pure-html.3.6.2☑☑2
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☑☒111
pyml_bindgen.0.4.1☑☑0
pyre-ast.0.1.11☑☑1
pythonlib.v0.15.1☑☒0
qbf.0.3☒☒1
qcheck.0.22☑☑91
qcheck-alcotest.0.22☑☑255
qcheck-core.0.22☑☑279
qcheck-lin.0.4☑☑0
qcheck-multicoretests-util.0.4☑☑8
qcheck-ounit.0.22☑☑41
qcheck-stm.0.4☑☑9
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.1.0.2☑☒0
qmp.0.20.0☑☑0
qrc.0.2.0☑☑1
qrencode.0.2☒☒0
qtest.2.11.2☑☑42
queenshead.0.1☑☑0
quest.0.1☑☒0
quests.0.1.3☑☑1
quick_print.0.12☑☑0
quickjs.0.1.2☒☑3
r2pipe.0.0.1☑☑0
radamsa.0.2☒☒0
radare2.0.0.7☑☑0
randii.1.0.0☒☒0
random.0.0.1☑☑0
randomconv.0.2.0☑☑637
randoml.0.1.5☑☒0
range.0.8.3☑☑0
rangeSet.0.2.1☑☑0
ranger.0.1.0☑☒0
rankers.2.0.7☒☒0
rawlink.2.1☑☑4
rawlink-eio.2.1☒☑0
rawlink-lwt.2.1☑☑0
raygui.1.3.1☒☒0
raygun4ocaml.0.1.0☑☒0
raylib.1.3.1☒☒1
rdbg.1.199.0☑☑3
rdf.1.0.0☑☑27
rdf_impls.1.0.0☑☑0
rdf_json_ld.1.0.0☑☑0
rdf_lwt.1.0.0☑☑4
rdf_mysql.1.0.0☑☑0
rdf_postgresql.1.0.0☑☑0
rdf_ppx.1.0.0☑☑7
rdr.1.1☑☒0
re.1.12.0☑☑4359
re2.v0.16.0☑☑31
re_parser.v0.17.0☒☑0
rea.1.0.0☑☑0
react.1.2.2☑☑4359
reactiveData.0.3.0☑☑4359
reactjs-jsx-ppx.1.0.0☑☑9
readline.0.1☑☑1
reanalyze.2.25.1☑☑0
reason.3.12.0☑☑49
reason-react.0.15.0☑☑10
reason-react-ppx.0.15.0☑☑11
received.0.8.1☑☑0
record_builder.v0.16.0☑☑11
records.1.0.0☑☑1
red-black-tree.1.0.5☑☑0
reddit_api_kernel.0.2.1☑☒1
redirect.0.2.1☑☒2
redis.0.7.1☑☑16
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.17.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☑☑4359
rescript-syntax.1.0.0☑☒0
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☑☑4359
revops.2.5☑☑1
rfc1951.1.5.3☑☑0
rfc6287.1.0.4☑☑0
rfc7748.1.0☑☒0
rfsm.2.0☒☑0
rhythm.0.0.1☑☑0
ringo.1.1.0☑☑246
ringo-lwt.0.9☑☒74
rio.0.0.8☒☑10
riot.0.0.7☒☑3
river.0.3☑☒0
rlp.0.1☑☒0
rml.1.09.07☒☒3
rmlbuild.0.14.0-00☑☒0
rock.0.20.0☑☑20
roman.0.2☑☑0
root1d.0.5.1☑☑0
rope.0.6.3☒☑3
rosa.0.2.0☑☑0
rosetta.0.3.0☑☑24
routes.2.0.0☑☑5
rpc.9.0.0☑☑17
rpclib.9.0.0☑☑28
rpclib-html.9.0.0☑☑0
rpclib-js.9.0.0☑☑0
rpclib-lwt.9.0.0☑☑19
rpmfile.0.4.0☑☑3
rpmfile-cli.0.4.0☒☑0
rpmfile-eio.0.4.0☒☑1
rpmfile-unix.0.4.0☑☑0
rresult.0.7.0☑☑4359
rsdd.0.1.0☑☒0
rss.3.0☑☑1
rtop.3.12.0☑☑0
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.2.0☑☑0
safepass.3.1☑☑21
sail.0.18☑☑0
sail_c_backend.0.18☑☑0
sail_coq_backend.0.18☑☑0
sail_doc_backend.0.18☑☑0
sail_latex_backend.0.18☑☑0
sail_lem_backend.0.18☑☑0
sail_manifest.0.18☑☑1
sail_ocaml_backend.0.18☑☑0
sail_output.0.18☑☑0
sail_smt_backend.0.18☑☑0
sail_sv_backend.0.18☑☑0
salsa20.1.2.0☑☑0
salsa20-core.2.0.0☑☑0
samplerate.0.1.6☑☑4
sanddb.0.3.0☑☑0
sarif.0.3.1☑☑0
satML-plugin.1.30☑☒0
satex.0.1.1☑☑0
sattools.0.1.0☑☑2
saturn.0.5.0☑☑0
saturn_lockfree.0.5.0☑☑3
sawja.1.5.12☑☑0
scad_ml.1.1.0☑☑1
scfg.0.2☑☑3
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
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☑☑4359
sek.20201012☑☑0
sel.0.4.0☑☑1
semantic_version.v0.16.0☑☑2
semaphore-compat.1.0.2☑☑311
semv.1.0.0☑☑0
semver.0.2.1☑☑0
semver2.1.2.0☑☑0
sendmail.0.9.0☑☑6
sendmail-lwt.0.9.0☑☑4
sendmsg.0.0.2☑☑0
seq.base☑☑4359
seqes.0.2☑☑233
sequence.0.2☑☒72
sequencer_table.v0.16.0☑☑0
serde.0.0.2☒☑3
serde_debug.0.0.1☑☑0
serde_derive.0.0.2☒☑1
serde_json.0.0.2☒☑2
serde_sexpr.0.0.1☑☑0
serde_xml.0.0.1☑☑0
serial.0.1.0☑☑0
server-reason-react.0.3.1☒☑1
session.0.5.0☑☑17
session-cohttp.0.5.0☑☑9
session-cohttp-lwt.0.5.0☑☑5
session-cookie.0.1.8☑☑2
session-cookie-lwt.0.1.8☑☑0
session-postgresql.0.5.0☑☑2
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_decode.0.7☑☑0
sexp_diff.v0.16.0☑☑1
sexp_diff_kernel.v0.14.0☑☒1
sexp_grammar.v0.16.0☑☑2
sexp_pretty.v0.17.0☒☑4359
sexp_select.v0.16.0☑☑1
sexp_string_quickcheck.v0.16.0☑☑0
sexplib.v0.17.0☒☑4359
sexplib0.v0.17.0☑☑4359
sexps-rewriter.0.0.3☒☑0
sfml.0.09.2☒☒0
sgf.1.0.1☑☑0
sha.1.15.4☑☑80
shades.1.0☑☑0
shapefile.0.2.1☑☑0
shared-block-ring.3.0.1☑☑8
shared-memory-ring.3.2.1☑☑4359
shared-memory-ring-lwt.3.2.1☑☑4359
shared-secret.0.4☑☑0
shcaml.0.2.1☑☒0
sherlodoc.0.2☑☑11
shexp.v0.17.0☒☑2
shine.0.2.3☒☒4
sid.2.0☑☒0
sifun.3.0.0☑☑0
signal.0.4.2☑☑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
sitemap.1.0☑☑0
sklearn.sk0.23-0.3.1☑☒1
slack.0.1☒☒0
slacko.0.15.0☑☑0
slipshow.0.0.33☑☑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.5☑☑0
smtml.0.2.5☑☑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.3.0☑☑2
solid_server.0.3.0☑☑0
solid_tools.0.3.0☒☒0
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.1☑☑4360
solo5-bindings-hvt.0.6.9☒☒4360
solo5-bindings-muen.0.6.9☑☑4360
solo5-bindings-virtio.0.6.9☑☑4360
solo5-bindings-xen.0.6.9☑☑4360
solo5-elftool.0.3.1☑☑3
sortedseq_intersect.0.2.0☑☑0
sosa.0.3.0☑☒10
soundtouch.0.1.9☒☒4
soupault.4.11.0☑☑0
spatial-shell.6☒☑0
spawn.v0.15.1☑☑4359
spdx_licenses.1.2.0☑☑18
spectrum.0.6.0☑☑1
speed.0.2.0☒☑0
speex.0.4.1☑☑4
spelll.0.4☑☑27
spf.2.0.2☒☒0
spices.0.0.2☒☑10
spin.0.8.3☑☒1
spirv.1.1.2☑☑0
splay_tree.v0.16.0☑☑3
splittable_random.v0.17.0☒☑4359
spoke.0.0.3☑☑0
spotify-web-api.0.2.1☑☑1
spotify_ml.0.0.2☒☑0
spotlib.4.3.0☑☒14
spreadsheet.0.1☑☒0
sqids.0.1.0☑☑0
sqlgg.20231201☑☑0
sqlite3.5.2.0☑☑67
sqlite3_utils.0.5☑☑0
squirrel.0.1☑☑0
srs.2.0.0☒☒0
srt.0.3.0☑☑4
ssh-agent.0.4.1☑☑0
ssl.0.7.0☑☑4359
starpath.0.1.2☑☑0
starred_ml.0.0.5☒☑0
statverif.1.97pl1.2☑☒0
stb_image.0.5☑☑2
stb_image_write.0.2☑☑0
stb_truetype.0.7☑☑7
stdcompat.19☑☒199
stdint.0.7.2☑☑649
stdint-literals.1.0☑☑0
stdio.v0.17.0☒☑4359
stdlib-diff.0.1.3☑☑0
stdlib-random.1.2.0☑☑2
stdlib-shims.0.3.0☑☑4359
stdune.3.16.0☑☑388
stemmer.0.2☑☒0
stemming.0.2.1☑☒0
stitch.0.0.0☑☑0
stk.0.3.0☒☑3
stk_iconv.0.3.0☑☑1
stk_ocf.0.3.0☒☑1
stk_ppx.0.3.0☒☑4
stk_rdf.0.3.0☒☑0
stog.1.0.0☒☑16
stog_all.1.0.0☒☑0
stog_asy.1.0.0☒☑2
stog_dot.1.0.0☒☑2
stog_extern.1.0.0☒☑2
stog_markdown.1.0.0☒☑2
stog_multi_doc.1.0.0☒☑2
stog_nocaml.1.0.0☒☑2
stog_noexec.1.0.0☒☑2
stog_plugins.1.0.0☒☑1
stog_rdf.1.0.0☒☑2
stog_rel_href.1.0.0☒☑2
stog_server.1.0.0☒☑2
stog_server_multi.1.0.0☒☑1
stog_sitemap.1.0.0☒☑2
stog_writing.1.0.0☒☑2
store.0.1☑☑0
stored_reversed.v0.16.0☑☑9
streamable.v0.16.1☑☑10
streaming.0.8.0☑☑0
stringCodepointSplitter.0.0.2☑☑0
string_dict.v0.17.0☒☑0
stringext.1.6.0☑☑4359
sturgeon.0.4.2☑☑1
styled-ppx.0.56.0☒☑0
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.0.0☒☒0
swagger.0.2.0☑☒1
swhid.0.2☑☑0
swhid_core.0.1☑☑38
swipl.0.5☑☑0
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-base.0.0.10☑☑1
tablecloth-native.transition☑☑0
tabr.0.1.2☑☑0
taglib.0.3.10☒☒4
talaria-bibtex.0.5☑☑0
tar.3.1.2☑☑118
tar-eio.3.1.2☒☑0
tar-mirage.3.1.2☑☑0
tar-unix.3.1.2☑☑3
tcalc.1.0.1☑☑0
tcpip.8.2.0☑☑627
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
term-indexing.0.0.1☑☑0
termbox.0.1.0☒☒0
terminal.0.4.0☑☑313
terminal_size.0.2.0☑☑142
terminus.0.1.0☑☒2
terminus-cohttp.0.1.0☑☒0
terminus-hlc.0.1.0☑☒0
terml.0.0.1☒☑0
testu01.1.2.3-0.2☒☒3
text.0.8.1☑☒4359
text-tags.2.5.0☑☒14
textmate-language.0.4.0☑☑2
textrazor.0.1.1☑☑0
textutils_kernel.v0.16.0☑☑4359
textwrap.0.2.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.20.1☒☒85
tezos-bls12-381-polynomial.1.0.1☒☒137
tezos-clic.17.3☒☒61
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.20.1☒☒4
tezos-client-genesis.20.1☒☒4
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.20.1☒☒28
tezos-dac-lib.20.1☒☒29
tezos-dac-node-lib.20.1☒☒6
tezos-dal-node-lib.20.1☒☒27
tezos-dal-node-services.20.1☒☒28
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-015-PtLimaPt.16.1☒☒4
tezos-injector-016-PtMumbai.16.1☒☒4
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-lwt-result-stdlib.17.3☑☒182
tezos-micheline.17.3☑☒171
tezos-mockup.17.3☒☒38
tezos-mockup-commands.17.3☒☒37
tezos-mockup-proxy.17.3☒☒41
tezos-mockup-registration.17.3☒☒39
tezos-openapi.20.1☑☑8
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.20.1☒☒5
tezos-protocol-001-PtCJ7pwo.20.1☒☒5
tezos-protocol-002-PsYLVpVv.20.1☒☒5
tezos-protocol-003-PsddFKi3.20.1☒☒5
tezos-protocol-004-Pt24m4xi.20.1☒☒5
tezos-protocol-005-PsBABY5H.20.1☒☒2
tezos-protocol-005-PsBabyM1.20.1☒☒6
tezos-protocol-006-PsCARTHA.20.1☒☒6
tezos-protocol-007-PsDELPH1.20.1☒☒6
tezos-protocol-008-PtEdo2Zk.20.1☒☒6
tezos-protocol-008-PtEdoTez.20.1☒☒2
tezos-protocol-009-PsFLoren.20.1☒☒6
tezos-protocol-010-PtGRANAD.20.1☒☒6
tezos-protocol-011-PtHangz2.20.1☒☒6
tezos-protocol-012-Psithaca.20.1☒☒6
tezos-protocol-013-PtJakart.20.1☒☒6
tezos-protocol-014-PtKathma.20.1☒☒6
tezos-protocol-015-PtLimaPt.20.1☒☒6
tezos-protocol-016-PtMumbai.20.1☒☒6
tezos-protocol-017-PtNairob.20.1☒☒8
tezos-protocol-018-Proxford.20.1☒☒13
tezos-protocol-019-PtParisB.20.1☒☒13
tezos-protocol-020-PsParisC.20.1☒☒13
tezos-protocol-alpha.20.1☒☒13
tezos-protocol-demo-counter.20.1☒☒6
tezos-protocol-demo-noops.20.1☒☒2
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.20.1☒☒6
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-013-PtJakart.17.3☒☒7
tezos-protocol-plugin-013-PtJakart-registerer.17.3☒☒2
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-updater.17.3☒☒52
tezos-proxy.17.3☒☒38
tezos-proxy-server-config.20.1☒☒2
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.7☑☑166
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-services.17.3☒☒103
tezos-shell-services-test-helpers.16.1☒☒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-tree-encoding.17.3☒☒149
tezos-tx-rollup-015-PtLimaPt.16.1☒☒3
tezos-validation.17.3☒☒26
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.1.0☑☑149
tezt-bam.0.2☑☒0
tezt-performance-regression.17.3☑☑2
tezt-tezos.20.1☒☒14
tgls.0.8.6☑☒1
theora.0.4.0☑☑6
thread-local-storage.0.2☑☑14
thread-table.1.0.0☑☑69
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.17.0☒☑4359
timed.1.1☑☑1
timedesc.3.1.0☑☑4
timedesc-json.3.1.0☑☑0
timedesc-sexp.3.1.0☑☑0
timedesc-tzdb.3.1.0☑☑5
timedesc-tzlocal.3.1.0☑☑6
timedesc-tzlocal-js.3.1.0☑☑0
timere.0.8.0☑☑2
timere-parse.0.0.6☑☒1
timezone.v0.16.0☑☑4359
timmy.1.1.5☑☑3
timmy-jsoo.1.1.5☑☑0
timmy-lwt.1.1.5☑☑0
timmy-unix.1.1.5☑☑0
tiny_httpd.0.17.0☑☑6
tiny_httpd_camlzip.0.17.0☑☑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.1.0.2☑☑595
tls-eio.1.0.2☒☑0
tls-liquidsoap.1☑☑4
tls-lwt.1.0.2☑☑419
tls-miou-unix.1.0.3☒☑3
tls-mirage.1.0.2☑☑61
toc.0.1.0☑☑0
tofn.0.12☑☑0
togglelog.0.1.1☑☑0
toml.7.1.0☑☑13
toml-cconv.5.0.0☑☑0
toml_cconv.7.0.0☑☑0
tophide.1.0.4☑☑1
topiary.0.3.0☑☑0
topkg.1.0.7☑☑4359
topkg-care.1.0.7☑☑0
topkg-jbuilder.0.2.0☑☒6
toplevel_backend.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.8☑☑23
trace-fuchsia.0.8☑☑0
trace-tef.0.8☑☑7
tracy-client.0.5.1☑☑0
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☑☑268
tsdl.1.1.0☑☑20
tsdl-image.0.6☑☑13
tsdl-mixer.0.6☑☑0
tsdl-ttf.0.6☑☑13
tsort.2.1.0☑☑41
ttweetnacl.0.1.0☑☑0
tty.0.0.2☒☑10
tuareg.3.0.1☑☑2
tube.4.4.0☑☑0
tuntap.2.0.1☑☑710
twirp_cohttp_lwt_unix.0.1☑☑0
twirp_core.0.1☑☑3
twirp_ezcurl.0.1☑☑0
twirp_tiny_httpd.0.1☑☑0
twostep.1.0.1☑☑2
tyabt.0.1.0☑☑0
type_conv.113.00.02☑☒4359
type_eq.0.0.1☑☑1
type_id.0.0.1☑☑0
typebeat.0.3☑☒0
typeid.2.0.0☑☑0
typerep.v0.17.0☒☑4359
typeset.0.4☑☑0
tyre.0.5☑☑2
tyxml.4.6.0☑☑4359
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☑☑4359
uecc.0.4☑☑145
uint.2.0.1☑☑540
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.4☑☑1
unison-gui.2.53.4☑☑0
universal-portal.0.3.0☒☑0
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.4☑☑51
uri.4.4.0☑☑4359
uri-re.4.4.0☑☑0
uri-sexp.4.4.0☑☑4359
uring.0.1☒☒0
uritemplate.0.2.0☑☒0
urn.20231124☑☑0
usb.1.3.1☑☒0
user-agent-parser.0.2.0☑☑0
user-setup.0.8☑☑0
username_kernel.v0.16.0☑☑1
uspf.0.0.3☑☑2
uspf-lwt.0.0.3☑☑0
uspf-unix.0.0.3☑☑0
utop.2.14.0☑☑229
uucd.16.0.0☑☑3
uucp.16.0.0☑☑642
uuidm.0.9.9☑☑485
uunf.16.0.0☑☑670
uuseg.16.0.0☑☑308
uutf.1.0.3☑☑4359
uuuu.0.3.0☑☑23
valentine.1.0.0☑☒0
validate.1.1.0☒☑0
validator.0.2.3☑☑0
variantslib.v0.17.0☒☑4359
varint.1.0☑☒0
varray.0.2☑☑0
vcardgen.1.2☑☑0
vchan.6.0.2☑☑490
vchan-xen.6.0.2☑☑2
vdom.0.3☑☑1
vec.0.4.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.5☑☑8
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.2.1☑☑0
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.1☒☑0
waylaunch.0.2.0☒☒0
wcs-lib.2017-05-26.01☑☒2
wcwidth.1.0.1☑☑0
webauthn.0.2.0☑☑0
webbrowser.0.6.1☑☑5
weberizer.0.8☑☒0
webidl.1.4☑☑3
webmachine.0.7.0☑☑17
websocket.2.17☑☑30
websocket-lwt.2.12☑☒3
websocket-lwt-unix.2.17☑☑26
websocketaf.0.1.0☑☒1
websocketml.0.1.1☒☒0
webtest.2.0.0☑☑6
webtest-js.2.0.0☑☑5
why3.1.7.2☑☑15
why3-coq.1.7.2☑☑3
why3-ide.1.7.2☑☑0
why3find.1.0☑☑0
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.1.0.4☑☑647
x86_64-esperanto.0.0.6☑☒0
xapi-backtrace.0.7☑☑16
xapi-rrd.1.12.0☑☑12
xapi-stdext-date.4.24.0☑☑0
xapi-stdext-encodings.4.24.0☑☑0
xapi-stdext-pervasives.4.24.0☑☑15
xapi-stdext-std.4.24.0☑☑0
xapi-stdext-threads.4.24.0☑☑1
xapi-stdext-zerocheck.4.24.0☑☑0
xcursor.0.1.0☑☑0
xdg.3.16.0☑☑237
xdg-basedir.0.0.4☑☑4
xedbindings.0.9☑☑0
xen-evtchn.2.1.0☑☑4359
xen-gnt.4.0.2☑☑4359
xenstore.2.3.0☑☑4359
xenstore_transport.1.3.0☑☑519
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☑☑194
xmlplaylist.0.1.5☑☑5
xoshiro.0.1☑☑0
xtmpl.0.19.0☑☑36
xtmpl_js.0.19.0☑☑3
xtmpl_ppx.0.19.0☑☑25
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.2.0.0☒☑11
yocaml_cmark.1.0.0☑☑0
yocaml_cmarkit.2.0.0☒☑0
yocaml_eio.2.0.0☒☑0
yocaml_git.2.0.0☒☑0
yocaml_jingoo.2.0.0☒☑0
yocaml_markdown.1.0.0☑☑0
yocaml_mustache.2.0.0☒☑0
yocaml_omd.2.0.0☒☑0
yocaml_otoml.2.0.0☒☑0
yocaml_runtime.2.0.0☒☑3
yocaml_syndication.2.0.0☒☑0
yocaml_unix.2.0.0☒☑0
yocaml_yaml.2.0.0☒☑0
yojson.2.2.2☑☑4359
yojson-five.2.2.2☑☑0
yosqlite.0.1☒☑0
yurt.0.6☑☑0
yuscii.0.3.0☑☑23
yuujinchou.5.2.0☒☑1
z3.4.13.0-3☑☑32
z3_tptp.4.11.2☑☑0
zanuda.1.0.0☑☒0
zar.0.9.3☑☑0
zarith.1.14☑☑4359
zarith-freestanding.1.12☒☒680
zarith_stubs_js.v0.17.0☒☑330
zarr.0.1.0☑☑3
zarr-eio.0.1.0☒☑0
zarr-lwt.0.1.0☑☑0
zarr-sync.0.1.0☑☑0
zed.3.2.3☑☑264
zeit.0.1.0☑☑1
zelus.2.2☑☑1
zelus-gtk.2.2☑☑0
zenon.0.8.5☑☑0
zenon_modulo.0.5.0☑☑0
zipc.0.2.0☑☑0
zipperposition.1.6☑☒0
zipperposition-tools.1.6☑☒0
zlib.0.8☑☑3
zlist.0.5.0☑☑0
zmq.5.3.0☑☑21
zmq-eio.5.3.0☒☑0
zmq-lwt.5.3.0☑☑4
zstandard.v0.15.0☒☒0
zstd.0.4☑☑0
zxcvbn.2.4+1☑☑0