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: 3962
Packages failing with current filters: 166
Packages whose dependencies failed with current filters: 313

Run made on the 2025-10-29 11:32:13


4.14.25.3.0number of revdeps
0install.2.18☑☑1
0install-gtk.2.18☑☑0
0install-solver.2.18☑☑14
ANSITerminal.0.8.5☑☑25
BetterErrors.0.0.1☑☒0
CamelCase.0.3.0☒☑0
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☑☑12
GT.0.5.4☒☒3
GuaCaml.0.05☑☑2
ISO3166.0.1.0☑☑0
ISO8601.0.2.6☑☑45
MlFront_Cache.2.4.2.30☑☑1
MlFront_Cli.2.4.2.30☑☑2
MlFront_Codept.2.4.2.30☑☑1
MlFront_Config.2.4.2.30☑☑2
MlFront_Core.2.4.2.30☑☑6
MlFront_Errors.2.4.2.30☑☑4
MlFront_Exec.2.4.2.30☑☑0
MlFront_Logs.2.4.2.30☑☑1
MlFront_Manip.2.4.2.30☑☑0
MlFront_Signify.2.4.2.30☑☑1
MlFront_Thunk.2.4.2.30☑☑1
MlFront_Tools.2.4.2.30☑☑0
MlFront_ZipFile.2.4.2.30☑☑2
OCADml.0.6.0☑☑2
OCanren.0.3.0☒☒1
OCanren-ppx.0.3.0☑☑2
OSCADml.0.2.3☑☑1
SZXX.4.2.0☒☑0
Snowflake.0.02.03☑☑1
SourceCode_ASCII.0.1.0☑☑0
aacplus.0.2.2☒☒0
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☑☑243
aches-lwt.1.1.0☑☑231
acp4.1.1.0☒☑0
acpc.2.0.0☒☑0
activitypub.0.1.0☑☑4
activitypub_client.0.1.0☑☑2
activitypub_gui.0.1.0☒☑1
activitypub_server.0.1.0☒☑1
activitypub_server_gui.0.1.0☒☑0
adelfa.0.1☑☑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☑☑28
ago.0.4☑☒0
agrid.0.1☑☑1
ahrocksdb.0.2.2☒☒0
aifad.2.3.2☑☑0
aio.0.0.3☒☒0
alba.0.4.4☑☑0
albatross.2.6.0☑☑0
alcotest.1.9.1☑☑839
alcotest-js.1.9.1☑☑0
alcotest-lwt.1.9.1☑☑124
alcotest-mirage.1.9.1☑☑0
alg_structs.0.1.3☑☑1
alg_structs_qcheck.0.1.3☑☑0
algaeff.2.0.0☒☑4
aliases.0.0.5☑☒0
allegro5.0.2☑☑0
alonzo.0.4.0☑☑0
alt-ergo.2.6.2☑☑8
alt-ergo-free.2.2.0☑☒6
alt-ergo-lib.2.6.2☑☑10
alt-ergo-parsers.2.6.2☑☑8
alt-ergo-plugin-ab-why3.2.6.2☑☑0
altgr-ergo.2.4.3☑☑0
ambient-context.0.1.0☑☑11
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.10.0☒☑2
anders.1.1.1☑☑0
angstrom.0.16.1☑☑992
angstrom-lwt-unix.0.16.1☑☑4
angstrom-unix.0.16.1☑☑6
ansi.0.7.0☑☑5
ansi-parse.0.4.0☑☑0
ansicolor.0.5☑☑0
ansifmt.1.0.0~pre2☒☑0
anthropic.0.1.0☒☑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☑☑17
apronext.1.0.4☑☑3
arb.0.4.0☒☒4
archetype.1.5.3☑☑0
archi.0.2.0☑☑2
archi-lwt.0.2.0☑☑0
archimedes.0.4.19☑☒3
archsat.1.1☑☒0
areas-and-adversaries.1.0☒☑0
arg-complete.0.2.1☑☑3
argon2.1.0.2☒☒2
argsh.0.1.0☑☑0
arp.4.1.0☑☑77
arrakis.1.1.1☑☑0
arrayjit.0.6.1☒☒1
art.0.2.0☑☑3
asai.0.3.1☒☑2
asak.0.5☑☒2
ascend.0.1.2-1☒☑0
ascii85.0.4☑☒0
asetmap.0.8.1☑☑171
ask.0.2.0☑☑1
ask-integrator.0.2.0☑☑0
asl.0.11☑☒1
asli.0.2.0☑☒0
asn1-combinators.0.3.2☑☑494
assertions.0.1☑☒0
assimp.0.3☒☒0
ast_generic.1.8.0☑☒0
astring.0.8.5☑☑1788
async_durable.v0.16.0☑☒2
async_extra.v0.16.0☑☒3
async_js.v0.16.0☑☒6
async_kernel.v0.16.0☑☒234
async_rpc_kernel.v0.16.0☑☒223
async_websocket.v0.13.0☑☑1
atable.0.1☑☑0
atd.2.16.0☑☑56
atd2cconv.0.0.0☑☒0
atdcpp.2.16.0☑☑0
atdd.2.16.0☑☑0
atdgen.2.16.0☑☑34
atdgen-codec-runtime.2.16.0☑☑1
atdgen-runtime.2.16.0☑☑47
atdj.2.16.0☑☑0
atdpy.2.16.0☑☑0
atds.2.16.0☑☑0
atdts.2.16.0☑☑1
atomic.base☑☑15
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.5.2☑☑23
awa-mirage.0.5.2☑☑22
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.3.1☑☒0
b0.0.0.6☑☑1
babel.v0.16.0☑☒2
baby.20241204☑☑0
backoff.0.1.1☑☑59
bag.1.0.0☑☑0
baguette_sharp.2.2.1-1☑☑0
balancer.1.0☑☒0
bam.0.4☒☒1
bam-ppx.0.4☑☑1
bap.2.5.0☒☒6
bap-abi.2.5.0☒☒49
bap-analyze.2.5.0☒☒8
bap-api.2.5.0☒☒48
bap-arm.2.5.0☒☒11
bap-beagle.2.5.0☒☒8
bap-beagle-strings.2.5.0☒☒7
bap-bil.2.5.0☒☒8
bap-build.2.5.0☑☒94
bap-bundle.2.5.0☑☒95
bap-byteweight.2.5.0☑☒9
bap-byteweight-frontend.2.5.0☒☒1
bap-c.2.5.0☒☒47
bap-cache.2.5.0☒☒8
bap-callgraph-collator.2.5.0☑☒8
bap-callsites.2.5.0☒☒8
bap-constant-tracker.2.5.0☒☒7
bap-core.2.5.0☒☒7
bap-core-theory.2.5.0☒☒92
bap-cxxfilt.2.5.0☒☒8
bap-demangle.2.5.0☒☒13
bap-dependencies.2.5.0☒☒8
bap-disassemble.2.5.0☒☒8
bap-dump-symbols.2.5.0☑☒8
bap-dwarf.2.5.0☑☒8
bap-elementary.2.5.0☑☒8
bap-elf.2.5.0☑☒1
bap-emacs-dot.0.1☑☑9
bap-emacs-goodies.0.1☑☑8
bap-emacs-mode.0.1☑☑9
bap-extra.2.5.0☒☒0
bap-flatten.2.5.0☑☒8
bap-frontc.2.5.0☑☒8
bap-frontend.2.5.0☑☒8
bap-future.2.5.0☑☒95
bap-ghidra.2.5.0☒☒1
bap-glibc-runtime.2.5.0☑☒8
bap-ida-plugin.2.5.0☒☒1
bap-knowledge.2.5.0☑☒93
bap-llvm.2.5.0☒☒12
bap-main.2.5.0☑☒93
bap-mc.2.5.0☑☒8
bap-microx.2.5.0☑☒10
bap-mips.2.5.0☑☒8
bap-objdump.2.5.0☑☒8
bap-optimization.2.5.0☑☒8
bap-patterns.2.5.0☑☒8
bap-phoenix.2.5.0☑☒0
bap-piqi.2.5.0☑☒0
bap-plugins.2.5.0☑☒94
bap-powerpc.2.5.0☑☒9
bap-primus.2.5.0☑☒41
bap-primus-dictionary.2.5.0☑☒7
bap-primus-exploring-scheduler.2.5.0☑☒9
bap-primus-greedy-scheduler.2.5.0☑☒9
bap-primus-limit.2.5.0☑☒9
bap-primus-lisp.2.5.0☑☒8
bap-primus-loader.2.5.0☑☒9
bap-primus-mark-visited.2.5.0☑☒9
bap-primus-powerpc.2.5.0☑☒7
bap-primus-print.2.5.0☑☒9
bap-primus-promiscuous.2.5.0☑☒9
bap-primus-propagate-taint.2.5.0☑☒7
bap-primus-random.2.5.0☑☒7
bap-primus-region.2.5.0☑☒7
bap-primus-round-robin-scheduler.2.5.0☑☒9
bap-primus-support.2.5.0☑☒8
bap-primus-symbolic-executor.2.5.0☒☒1
bap-primus-systems.2.5.0☑☒7
bap-primus-taint.2.5.0☑☒7
bap-primus-test.2.5.0☑☒7
bap-primus-track-visited.2.5.0☑☒10
bap-primus-wandering-scheduler.2.5.0☑☒9
bap-primus-x86.2.5.0☒☒7
bap-print.2.5.0☑☒8
bap-radare2.2.5.0☑☒1
bap-raw.2.5.0☑☒8
bap-recipe.2.5.0☑☒94
bap-recipe-command.2.5.0☑☒8
bap-relation.2.5.0☑☒91
bap-relocatable.2.5.0☒☒8
bap-report.2.5.0☑☒8
bap-riscv.2.5.0☑☒8
bap-run.2.5.0☑☒7
bap-signatures.2.5.0☑☑10
bap-specification.2.5.0☑☒8
bap-ssa.2.5.0☑☒8
bap-std.2.5.0☑☒90
bap-strings.2.5.0☑☒43
bap-stub-resolver.2.5.0☑☒8
bap-symbol-reader.2.5.0☑☒8
bap-systemz.2.5.0☑☒8
bap-taint.2.5.0☑☒9
bap-taint-propagator.2.5.0☑☒7
bap-term-mapper.2.5.0☑☒7
bap-thumb.2.5.0☑☒8
bap-toplevel.2.5.0☑☒8
bap-trace.2.5.0☑☒1
bap-traces.2.5.0☑☒13
bap-trivial-condition-form.2.5.0☑☒7
bap-warn-unused.2.5.0☑☒7
bap-x86.2.5.0☒☒10
bare.2.5.0☑☒10
bare_encoding.0.3.1☑☑0
bark.0.1.4☑☑0
base.v0.17.3☒☑1920
base-bigarray.base☑☑1376
base-bytes.base☑☑2739
base-domains.base☒☑39
base-effects.base☒☑0
base-native-int63.0.1☑☑2176
base-nnp.base☒☑0
base-threads.base☑☑4071
base-unix.base☑☑4071
base32.1.0.0☑☑1
base58.0.1.2☑☒0
base64.3.5.2☑☑875
base_bigstring.v0.16.0☑☒474
base_quickcheck.v0.17.1☒☑513
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.10.0☑☑57
bdd.0.5☑☑1
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.3☑☑0
benchmark.1.7☑☑269
benchpress.0.1☑☒1
benchpress-server.0.1☑☒0
bencode.2.0☑☑6
bentov.1☑☑2
bestline.0.2.1☑☑0
bheap.2.0.0☑☑1267
bibfmt.0.7.9☑☑1
bibtex2html.1.99-1☑☑0
bidirectional_map.v0.17.0☒☑0
bigarray-compat.1.1.0☑☑2180
bigarray-overlap.0.2.1☑☑69
bigdecimal.v0.16.0☑☒0
bignum.v0.16.0☑☒12
bigstring.0.3☑☑252
bigstring-unix.0.3☑☑1
bigstringaf.0.10.0☑☑1053
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.0.0.2☑☑0
bin_prot.v0.16.0☑☑507
bin_tree.0.1☑☑0
binary_tree.1.0☑☑0
binaryen.0.26.0☑☑0
binaryen-bin.119☑☑3
binbin.0.01☑☒0
bindlib.6.0.0☑☑4
biniou.1.2.2☑☑1987
binning.0.0.0☑☑3
binsec.0.10.1☑☑0
bio_io.0.7.0☑☑0
biocaml.0.11.1☑☒3
bip32.0.2☑☒0
bisect.1.3.1☑☒3
bisect_ppx.2.8.3☑☑223
bisect_ppx-ocamlbuild.1.0.1☑☒0
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.5.0☑☑0
bitpack_serializer.0.1.0☑☑0
bitstring.5.0.1☒☑11
bitv.2.1☑☑16
bitvec.2.5.0☑☒97
bitvec-binprot.2.5.0☑☒93
bitvec-order.2.5.0☑☒93
bitvec-sexp.2.5.0☑☒95
bjack.0.1.6☑☑4
blake2.0.3☑☒5
blake3.0.3☒☒1
bloomf.0.2.0☑☑0
bls12-381.20.1☑☑220
bls12-381-gen.0.5.0☑☑19
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☑☒1
bls12-381-signature.1.0.0☑☑161
bls12-381-unix.2.0.1☑☑16
blurhash.0.1.0☑☑0
bn128.0.1.3☑☑0
bnfgen.4.0.0☑☑1
bogue.20250815☑☑2
bogue-tutorials.0.2.0☒☒0
boltzgen.0.9.5☒☑0
bookaml.4.0☑☒0
bos.0.2.1☑☑878
boulangerie.1.0.1☑☒0
box.1.2.0☑☑0
bpf.0.2☑☑0
bracetax.0.4☑☒0
brisk-reconciler.1.0.0~alpha1☑☒0
broken.0.4.2☑☑5
brr.0.0.8☑☑19
brr-lwd.0.4☑☑0
bsdowl.3.0.0-20150830☑☑6
bst.7.1.0☑☑9
bstr.0.0.2☑☑41
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☑☑5
bytearray.1.0.3☑☒0
bytebuffer.0.0.2☑☒0
bytesrw.0.2.0☑☑30
bytestring.0.0.8☒☑5
bz2.0.8.0☑☑15
ca-certs.1.0.1☑☑373
ca-certs-nss.3.117☑☑60
cachet.0.0.2☑☑33
cachet-lwt.0.0.2☑☑27
cachet-solo5.0.0.2☑☑0
cactus.1.0.0☑☑0
cairn.2.0☑☑0
cairo2.0.6.5☑☑48
cairo2-gtk.0.6.5☑☑1
cairo2-pango.0.6.5☑☑0
caisar.4.0☑☑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.4☑☑0
calendar.3.0.0☑☑91
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☒☑14
camldiets.0.3☑☑0
camlgpc.1.2☑☑0
camlidl.1.13☑☑29
camlimages.5.0.5☒☒7
camlix.0.1☑☒0
camlkit.0.3.0☑☑0
camlkit-base.0.3.0☑☑2
camlkit-gui.0.3.0☑☑1
camllib.1.3.3☑☒1
camlmix.1.3.0☑☒0
camlon.3.1.0☑☑5
camlp-streams.5.0.1☑☑2207
camlp4.5.3☒☑674
camlp5.8.04.00☒☒606
camlp5-buildscripts.0.06☑☑607
camlpdf.2.8.1☑☑2
camlprime.0.5☑☑0
camlrack.0.10.1☑☑1
camltc.0.9.8☑☒8
camlzip.1.13☑☑250
camomile.2.0.0☑☑246
camyll.0.4.4☑☑0
canary.0.0.1☑☑0
caper.0.9☑☑0
capitalization.v0.17.0☒☑511
capnp.3.6.0☑☑10
capnp-rpc.2.1☒☑9
capnp-rpc-lwt.2.0☒☑6
capnp-rpc-net.2.1☒☑2
capnp-rpc-unix.2.1☒☑1
captureio.0.1.2☑☒0
caqti.2.2.4☑☑39
caqti-driver-mariadb.2.2.4☑☑2
caqti-driver-pgx.2.2.4☑☑0
caqti-driver-postgresql.2.2.4☑☑2
caqti-driver-sqlite3.2.2.4☑☑8
caqti-dynload.2.0.1☑☑3
caqti-eio.2.2.4☒☑0
caqti-lwt.2.2.4☑☑27
caqti-miou.2.2.4☒☑0
caqti-mirage.2.2.4☑☑0
caqti-tls.2.1.2☑☑1
caqti-type-calendar.2.0.1☑☑2
carbon.0.2.0☒☑0
carray.0.0.2☑☑0
carton.1.1.0☑☑28
carton-git.0.7.2☑☑26
carton-git-lwt.1.1.0☑☑3
carton-lwt.1.1.0☑☑26
carton-miou-unix.1.1.0☒☑0
castore.0.0.2☒☑1
catala.1.0.0~beta☑☑2
catala-format.1.0.0~beta☑☑0
catala-lsp.1.0.0~beta☑☑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☑☑4
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☑☑20
cf-lwt.0.5.0☑☑18
cf_workers.0.1.5☑☑0
cfg.2.3.1☑☑1
cfgen.1.0☑☑0
cfml.20220112☑☑0
cfstream.1.3.2☑☒4
cgi.0.10☑☒0
cgroups.0.1☑☑0
chacha.1.1.0☑☑0
chalk.1.0☑☑0
chamelon.0.2.1☑☑1
chamelon-unix.0.2.1☑☑0
chamo.4.2.0☒☒0
charInfo_width.2.0.0☑☑0
charrua.2.1.1☑☑3
charrua-client.2.1.1☑☑0
charrua-server.2.1.1☑☑2
charrua-unix.2.1.1☑☑0
charset.0.2.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.1.0.0☑☑0
checkseum.0.5.2☑☑304
chess_com_api.1.0.1☑☑0
choice.0.4☑☑0
chrome-trace.3.20.2☑☑1
cid.0.1.0☑☑2
cinaps.v0.15.1☑☑5
clangml.4.8.0☒☒2
clangml-transforms.0.26☒☒1
clap.0.3.0☑☑109
clarity-lang.0.1.0☑☑0
class_group_vdf.0.0.5☑☑196
claudius.1.2.1☒☑0
clim.0.3.0☑☑1
climate.0.8.5☑☑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☑☑13
cmdlang.0.0.10☑☑19
cmdlang-cmdliner-err-runner.0.0.16☑☑13
cmdlang-stdlib-runner.0.0.10☑☑0
cmdlang-to-climate.0.0.10☑☑0
cmdlang-to-cmdliner.0.0.10☑☑14
cmdliner.2.0.0☑☑2452
cmdliner-stdlib.1.0.1☑☑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.3.0☑☑0
codept.0.12.2☑☑0
codept-lib.0.12.2☑☑3
cohttp.6.1.1☑☑392
cohttp-curl.6.1.1☑☑2
cohttp-curl-lwt.6.1.1☑☑0
cohttp-eio.6.1.1☒☑9
cohttp-lwt.6.1.1☑☑315
cohttp-lwt-jsoo.6.1.1☑☑18
cohttp-lwt-unix.6.1.1☑☑292
cohttp-mirage.6.1.1☑☑0
cohttp-server-lwt-unix.6.1.1☑☑1
cohttp-top.6.1.1☑☑0
coin.0.1.4☑☑27
colibri2.0.4☒☒2
colibrics.0.4☑☒0
colibrilib.0.4☑☑3
colombe.0.12.0☑☑14
color.0.3.0☑☑0
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
compsort.0.9.2☒☑0
conan.0.0.6☑☑10
conan-cli.0.0.6☑☑0
conan-database.0.0.6☑☑7
conan-lwt.0.0.6☑☑0
conan-unix.0.0.6☑☑2
conduit.8.0.0☑☑385
conduit-lwt.8.0.0☑☑358
conduit-lwt-unix.8.0.0☑☑319
conduit-mirage.8.0.0☑☑8
conex.1.0.0☑☑1
conex-mirage-crypto.1.0.0☑☑0
conf-aarch64-linux-gnu-gcc.1☒☒0
conf-aclocal.2☑☑17
conf-adwaita-icon-theme.2☑☑2
conf-age.1☑☑1
conf-allegro5.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☑☑4073
conf-automake.1☑☑184
conf-bap-llvm.1.8☒☒14
conf-bash.1☑☑2021
conf-binaryen.1☑☑0
conf-binutils.0.3☑☑92
conf-bison.2☑☑3
conf-blas.1☑☑9
conf-bmake.1.0☑☑7
conf-boost.1☑☑4
conf-brotli.0.0.1☑☑2
conf-c++.1.0☑☑49
conf-cairo.1☒☒50
conf-calcium.1☒☒4
conf-capnproto.2☑☑11
conf-clang.2☑☑101
conf-clang-format.1☑☒0
conf-cmake.1☑☑268
conf-cosmopolitan.1☑☑1
conf-cpio.1☑☑6
conf-csdp.1☑☑1
conf-cuda.1☒☒3
conf-cuda-config.1☑☑4
conf-dbm.1.0.0☑☒17
conf-diffutils.2☑☒7
conf-dpkg.1☒☒2
conf-dssi.1☒☑5
conf-efl.1.8☒☒1
conf-emacs.1☑☒4
conf-env-travis.1☑☑14
conf-expat.1☑☑2
conf-faad.1☑☑5
conf-fdkaac.1☑☑5
conf-ffmpeg.1☒☑13
conf-fftw3.1☑☑1
conf-findutils.1☑☑1152
conf-flex.2☑☒1
conf-flint.3.0☒☒8
conf-freeglut.1☒☑581
conf-freetype.1☑☑57
conf-frei0r.1☒☑5
conf-ftgl.1☑☒0
conf-fts.1☑☑2
conf-g++.1.0☒☑241
conf-gcc.1.0☑☑20
conf-gd.1☒☒5
conf-gegl.1☒☒0
conf-gfortran.0☑☑6
conf-ghostscript.1☑☒7
conf-git.1.1☑☑18
conf-glade.2☑☑575
conf-gles2.1☒☒4
conf-glew.1☒☒2
conf-glfw3.2☒☒3
conf-glib-2.1☑☑5
conf-glpk.1☑☑2
conf-gmp.5☑☑1064
conf-gmp-paths.1☑☑23
conf-gmp-powm-sec.4☑☑575
conf-gnome-icon-theme3.0☑☑0
conf-gnomecanvas.2☒☒575
conf-gnuplot.0.1☒☒25
conf-gnustep-base.1☒☒3
conf-gnustep-gui.1☒☒2
conf-gnutls.1☒☒62
conf-gobject-introspection.1.0☒☑1
conf-goocanvas2.0☒☒1
conf-graphviz.0.1☒☒17
conf-gsl.2☒☒11
conf-gssapi.1☑☑62
conf-gstreamer.1☒☒6
conf-gtk2.1☑☑575
conf-gtk3.18☒☒29
conf-gtksourceview.2☒☒575
conf-gtksourceview3.0+2☒☒23
conf-guile.1☑☑1
conf-haveged.1.0.0☑☑0
conf-hg.1.0☑☑3
conf-hidapi.0☑☑137
conf-ida.0.3☒☒3
conf-jack.1☒☒5
conf-jq.1☑☒6
conf-ladspa.1☑☒6
conf-lame.1☑☑5
conf-lapack.1☒☒10
conf-leveldb.2☒☒1
conf-libMagickCore.1☒☒0
conf-libX11.1☒☑3991
conf-libXft.1☒☑3990
conf-libargon2.1☑☑2
conf-libblake3.1.5.1☒☒31
conf-libbz2.1☑☑16
conf-libclang.15☑☑4
conf-libcurl.2☑☑55
conf-libdw.1☒☒0
conf-libelf.1.0.0☒☑0
conf-libev.4-13☑☑1942
conf-libevent.1☑☑6
conf-libffi.2.0.0☑☑561
conf-libflac.1☑☑5
conf-libfontconfig.1☑☑1
conf-libfuse.1☑☑1
conf-libgccjit.1☑☑3
conf-libgif.1☑☑7
conf-libgl.1☑☑583
conf-libglu.1☒☑582
conf-libgsasl.1☑☑0
conf-libjpeg.1☑☑8
conf-liblinear-tools.1.0.0☑☑1
conf-liblo.1☑☑5
conf-liblz4.1☑☑15
conf-liblzma.1☑☑0
conf-libmagic.1☑☑1
conf-libmaxminddb.1☑☑2
conf-libmd.1.0.0☑☑31
conf-libmosquitto.1☑☑1
conf-libmpg123.1☑☑1
conf-libobjc2.1☑☑3
conf-libogg.1☑☑13
conf-libopus.1☑☑5
conf-libpcre.2☑☑414
conf-libpcre2-8.2☑☑610
conf-libpng.1☑☑7
conf-libportmidi.1☑☑1
conf-librsvg2.0☒☑1
conf-libsamplerate.2☑☑0
conf-libsodium.1☑☑3
conf-libspeex.1☑☑5
conf-libssl.4☑☑437
conf-libsvm.3☑☑0
conf-libsvm-tools.1.0.0☑☑1
conf-libtheora.1☑☑7
conf-libtool.1☑☑2
conf-libuv.1☑☑0
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☒☒0
conf-llvm.17☒☒7
conf-llvm-shared.19☒☑5
conf-llvm-static.19☑☑11
conf-lua.1☒☒0
conf-lz4.1.0.0☑☑1
conf-m4.1☑☑3991
conf-mad.2☒☒7
conf-mariadb.2☒☒11
conf-mbedtls.2☒☒1
conf-mecab.0.996☒☒1
conf-mesa.1☒☒2
conf-mpfr.3☒☑39
conf-mpi.1☒☒5
conf-mysql.1☒☑9
conf-nanomsg.0☒☑0
conf-nauty.1.0☒☑0
conf-ncurses.1☑☒9
conf-neko.1☒☒1
conf-netsnmp.1.0.0☒☒1
conf-ninja.1☑☑5
conf-nlopt.1☒☒5
conf-nmap.1.0.0☑☒0
conf-npm.1☒☒23
conf-numa.0.1.0☒☒1
conf-ode.1☑☒0
conf-oniguruma.1☑☑6
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☒☒2
conf-openssl.2☑☑4
conf-pandoc.0.1☑☑1
conf-pango.1☒☑1
conf-perl.2☑☑1505
conf-perl-ipc-system-simple.3☑☑604
conf-perl-string-shellquote.3☒☑604
conf-pixz.1☑☑0
conf-pkg-config.4☑☑4212
conf-plplot.1☒☒11
conf-portaudio.1☑☑6
conf-postgresql.2☑☑20
conf-povray.1☑☒0
conf-ppl.1☒☑19
conf-protoc.4.4.0☑☑5
conf-protoc-dev.1.0.0☑☑1
conf-pulseaudio.1☒☒7
conf-python-2-7.1.2☑☑47
conf-python-2-7-dev.1.0☒☒0
conf-python-3.9.0.0☑☑71
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-qemu-img.1☒☒1
conf-qt.5.2.1☒☒3
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-rubberband.1☒☒0
conf-ruby.1.0.0☒☑2
conf-rust.0.1☑☑233
conf-rust-2018.1☒☑2
conf-rust-2021.1☒☑222
conf-rust-2024.1☒☒0
conf-rust-wasm.1☒☒0
conf-samplerate.1☒☒7
conf-scdoc.1☒☒1
conf-sdl-gfx.1☒☒10
conf-sdl-image.1☒☑10
conf-sdl-mixer.1☒☒10
conf-sdl-net.1☑☒0
conf-sdl-ttf.1☑☑10
conf-sdl2.1☒☒33
conf-sdl2-image.1☒☒21
conf-sdl2-mixer.1☒☒1
conf-sdl2-net.1☑☑0
conf-sdl2-ttf.1☒☒20
conf-sdpa.1☑☒1
conf-secp256k1.2☑☑2
conf-sfml2.1☑☒2
conf-shine.1☒☒5
conf-snappy.1☑☑1
conf-sndfile.1☒☑0
conf-soundtouch.1☑☒5
conf-sqlite3.1☑☑61
conf-srt.2☒☑5
conf-srt-gnutls.1☒☒0
conf-srt-openssl.1☒☒0
conf-sundials.2☒☒4
conf-swi-prolog.1☒☑2
conf-sysinfo.1☑☑5
conf-taglib.1☑☑4
conf-taglib_c.2☑☑1
conf-tcl.1☑☑4
conf-texlive.2☒☒3
conf-tidy.1☒☒1
conf-time.1☑☑3
conf-timeout.1☑☑2
conf-tk.1☒☒4
conf-tree-sitter.1☒☒0
conf-trexio.0.1☒☒1
conf-tzdata.1☑☑1
conf-unwind.0☑☑4073
conf-vim.1☒☒0
conf-vips.1☒☒1
conf-wayland-protocols.1☑☑2
conf-wget.1☑☑2
conf-which.1☑☑4080
conf-wxwidgets.3.0☒☒1
conf-x86_64-linux-gnu-gcc.1☒☒0
conf-xen.1☑☑1
conf-xkbcommon.1☑☑3
conf-xxhash.1☑☑32
conf-zig.1☑☑0
conf-zlib.1☑☑500
conf-zmq.0.1☑☑21
conf-zstd.1.3.8☑☑37
confero.0.1.1☑☑0
config.0.0.3☒☑6
config-file.1.2.2☑☑2
configuration.0.4.1☑☑0
conformist.0.8.1☑☑8
conjury.2.2☑☑1
containers.3.16☑☑101
containers-data.3.16☑☑10
containers-thread.3.12☑☑0
content_security_policy.v0.16.0☑☒0
cookie.0.1.8☑☑3
cookies.1.0.0☑☑0
coq.9.1.0☑☑9
coq-core.9.1.0☑☑14
coq-lsp.0.2.4+9.1☑☑0
coq-native.1☑☒23
coq-of-ocaml.2.5.3+4.14☑☒0
coq-serapi.8.20.0+0.20.0☑☑0
coq-shell.1☑☑0
coq-stdlib.9.0.0☑☑12
coq-waterproof.3.0.0+9.0☑☑0
coqide.8.20.1☑☑0
coqide-server.9.1.0☑☑11
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☑☒477
core_kernel.v0.16.0☑☒398
corecount.1.0.0☑☒0
cosovo.3☑☑0
cow.2.5.0☑☑5
cpdf.2.8.1☑☑0
cpm.12.2.0☑☑16
cppffigen.0.002☑☑0
cppo.1.8.0☑☑2462
cppo_ocamlbuild.1.8.0☑☑23
cps_toolbox.0.3☑☑1
cpu.2.0.0☑☑20
cpuid.0.1.2☑☑442
craml.1.0.0☑☒2
crc.2.2.0☑☑0
crdt-ml.0.10.0☑☒0
crlibm.0.5.1☑☑2
crontab.0.1☑☑0
crowbar.0.2.1☑☑48
crunch.4.0.0☑☑94
cry.1.0.3☑☑4
crypt.1.3☒☒0
cryptodbm.0.84.2☑☒0
cryptohash.0.1.2☑☒0
cryptokit.1.20☑☑126
cryptoverif.2.11☑☑0
csdp.6.2.0☑☑0
csexp.1.5.2☑☑3989
css.0.3.0☑☑7
css-parser.0.2.5☑☒0
cstruct.6.2.0☑☑1742
cstruct-lwt.6.2.0☑☑531
cstruct-sexp.6.2.0☑☑481
cstruct-unix.6.2.0☑☑32
csv.2.4☑☑58
csv-lwt.2.4☑☑0
csvfields.v0.16.0☑☒8
csvtool.2.4☑☑0
ctoxml.4.1.0☑☑0
ctypes.0.23.0☑☑565
ctypes-build.0.0.2☑☑2
ctypes-foreign.0.23.0☑☑562
ctypes-zarith.0.2.0☑☒1
ctypes_stubs_js.0.1☑☑235
cubicle.1.2.0☒☒0
cucumber.1.0.4☒☒0
cudajit.0.7.2☒☒2
cudd.0.1.3☑☑0
cudf.0.10☑☑22
cue_sheet_maker.0.2.0-1☑☑0
cuid.0.1☑☒0
cumulus.0.0.1☑☑0
cure2.1.0☒☒0
curl.0.10.0☑☑53
curl_lwt.0.10.0☑☑51
curly.0.3.0☑☑4
current.0.7.1☑☑11
current-albatross-deployer.1.0.0☒☒0
current-web-pipelines.0.1☑☑0
current_ansi.0.4☑☑3
current_docker.0.7.1☑☑2
current_examples.0.7.1☑☑0
current_git.0.7.1☑☑7
current_github.0.7.1☑☑2
current_gitlab.0.7.1☑☑1
current_incr.0.6.1☑☑13
current_ocluster.0.3.0☑☑1
current_rpc.0.7.1☑☑1
current_slack.0.7.1☑☑0
current_ssh.0.7.1☑☑1
current_web.0.7.1☑☑6
curses.1.0.11☑☑2
curve-sampling.0.2.1☑☑0
cvc5.1.3.0☒☒2
cviode.0.0.4☒☒0
daft.0.0.4☒☑0
dap.1.0.6☑☑2
data-encoding.1.0.1☑☑197
datakit-server.1.0.0☑☒2
datakit-server-9p.1.0.0☑☒1
datalog.0.7☑☑2
dates_calc.0.0.10☑☑1
daypack-lib.0.0.6☑☑1
dbase4.0.2.0☒☑0
dbf.0.2.0☑☑0
dblp.0.1.1☑☑0
dblp-api.0.1.1☑☑1
dbm.1.4☑☑16
debian-formats.0.1.2☑☑1
decimal.1.0.2☑☑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☑☑1
decompress.1.5.3☑☑175
dedent.v0.16.0☑☒2
dedukti.2.7☑☑3
delimcc.2023.06.17☒☒1
delimcc_of_fxhandler.0.1☒☑0
depgraph.0.1.0☑☒0
depyt.0.3.0☑☑0
deriving.0.8.1☑☒3
devkit.1.20210517☒☒4
diet.0.4☑☑4
diff.1.0.2☑☑0
diffable.v0.16.0☑☒8
diffast.0.3.5.1☑☑0
diffast-api.0.3.5.1☑☑3
diffast-cli.0.3.5.1☑☑1
diffast-core.0.3.5.1☑☑14
diffast-etc.0.3.5.1☑☑8
diffast-git.0.3.5.1☑☑2
diffast-git-cli.0.3.5.1☑☑1
diffast-langs-common.0.3.5.1☑☑16
diffast-langs-cpp.0.3.5.1☑☑1
diffast-langs-cpp-parsing.0.3.5.1☑☑3
diffast-langs-cpp-parsing-cli.0.2☑☑0
diffast-langs-cpp-spec.0.3.5.1☑☑2
diffast-langs-fortran.0.3.5.1☑☑1
diffast-langs-fortran-parsing.0.3.5.1☑☑3
diffast-langs-fortran-parsing-cli.0.2☑☑0
diffast-langs-fortran-spec.0.3.5.1☑☑2
diffast-langs-java.0.3.5.1☑☑1
diffast-langs-java-parsing.0.3.5.1☑☑3
diffast-langs-java-parsing-cli.0.2☑☑0
diffast-langs-java-spec.0.3.5.1☑☑2
diffast-langs-python.0.3.5.1☑☑1
diffast-langs-python-parsing.0.3.5.1☑☑3
diffast-langs-python-parsing-cli.0.2☑☑0
diffast-langs-python-spec.0.3.5.1☑☑2
diffast-langs-verilog.0.3.5.1☑☑1
diffast-langs-verilog-parsing.0.3.5.1☑☑3
diffast-langs-verilog-parsing-cli.0.2☑☑0
diffast-langs-verilog-spec.0.3.5.1☑☑2
diffast-misc.0.3.5.1☑☑27
digestif.1.3.0☑☑674
directories.0.6☑☑0
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☑☑9
dispatch.0.5.0☑☑21
dispatch-js.0.5.0☑☑0
distributed.0.6.0☑☒2
distributed-lwt.0.2.0☑☒0
diy.5.01☑☒0
dkim.0.8.0☑☑3
dkim-bin.0.8.0☑☑0
dkim-lwt-unix.0.8.0☑☑1
dkim-mirage.0.8.0☑☑0
dkml-c-probe.3.0.0☑☑1
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☑☑3
dns.10.2.2☑☑73
dns-certify.10.2.2☑☑1
dns-cli.10.2.2☑☑0
dns-client.10.2.2☑☑64
dns-client-lwt.10.2.2☑☑35
dns-client-miou-unix.10.2.2☒☑4
dns-client-mirage.10.2.2☑☑39
dns-mirage.10.2.2☑☑5
dns-resolver.10.2.2☑☑2
dns-server.10.2.2☑☑3
dns-stub.10.2.2☑☑0
dns-tsig.10.2.2☑☑6
dnssec.10.2.2☑☑3
docfd.3.0.0☒☑0
docker-api.0.2.2☑☒0
docker_hub.0.2.0☑☑0
dockerfile.8.3.3☑☑8
dockerfile-cmd.8.3.3☑☑2
dockerfile-opam.8.3.3☑☑3
docout.0.0.1☑☑0
docteur.0.0.7☑☑2
docteur-solo5.0.0.7☑☑0
docteur-unix.0.0.7☑☑0
doculib.1.3.5☑☑0
doi2bib.0.7.9☑☑0
dokeysto.4.0.2☑☑11
dokeysto_camltc.4.0.2☑☒7
dokeysto_lz4.4.0.2☑☑0
dolmen.0.10☑☑16
dolmen_bin.0.10☑☑0
dolmen_loop.0.10☑☑14
dolmen_lsp.0.10☑☑0
dolmen_model.0.10☑☑2
dolmen_type.0.10☑☑15
dolog.6.0.0☑☑20
domain-local-await.1.0.1☑☑89
domain-local-timeout.1.0.1☑☑2
domain-name.0.5.0☑☑1333
domain_shims.0.1.0☑☑28
domainslib.0.5.2☒☑13
dose3.7.0.0☑☑11
dose3-extra.7.0.0☑☑0
dot-merlin-reader.5.6-503☒☑13
dotenv.0.0.3☑☑0
down.0.4.0☑☑0
dream.1.0.0~alpha8☑☑22
dream-accept.0.1.0☑☑0
dream-cli.0.2.0☑☑0
dream-encoding.0.3.0☑☑0
dream-html.3.11.1☑☑1
dream-htmx.0.1.0☑☑0
dream-httpaf.1.0.0~alpha4☑☑22
dream-inertia.0.0.1☑☑0
dream-livereload.0.2.0☑☑0
dream-pure.1.0.0~alpha2☑☑25
dream-serve.1.0.1☑☑0
dream_middleware_ext.0.1.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☑☑8
dssi.0.1.5☒☒4
dtc-pb.1.0☑☒0
dtoa.0.3.3☑☑1
dual.0.1.0☑☑0
duff.0.5☑☑32
dum.1.0.3☑☒0
dune.3.20.2☑☑3998
dune-action-plugin.3.20.2☑☑0
dune-build-info.3.20.2☑☑198
dune-cargo-build.0.2.2☑☑1
dune-compiledb.0.6.0☑☑421
dune-configurator.3.20.2☑☑3989
dune-deps.1.5.0☑☑1
dune-glob.3.20.2☑☑3
dune-private-libs.3.20.2☑☑366
dune-release.2.1.0☑☑1
dune-rpc.3.20.2☑☑3
dune-rpc-lwt.3.20.2☑☑0
dune-secondary.3.16.0☑☑4070
dune-site.3.20.2☑☑364
dune_deps_extra.0.1☑☑0
dunolint-lib.0.0.20251006☑☑2
dunolint-lib-base.0.0.20251006☒☑1
duration.0.2.1☑☑1335
dyn.3.20.2☑☑396
dynamic_gc.0.2.0☑☑0
dyntype.0.9.0☑☒1
dypgen.0.2.1☑☑3
earley.3.0.0☑☑1
earlybird.1.3.4☑☑0
easy-format.1.3.4☑☑1996
easy_logging.0.8.2☑☑7
easy_logging_yojson.0.8.2☑☑6
echo.0.0.5☑☑0
edn.0.2.0☑☑0
efl.1.24.0☒☒0
ego.0.0.6☑☑0
eigen.0.3.3☒☒16
eio.1.3☒☑67
eio-ssl.0.3.0☒☑3
eio-trace.0.4☒☑0
eio_main.1.3☒☑36
eio_posix.1.3☒☑19
either.1.0.0☑☑412
elasticsearch-cli.1.2☒☒0
electrod.1.0.0☑☒0
elina.1.3.2☒☒1
eliom.11.1.1☑☒2
elm_core.0.1.7☑☑4
elm_playground.0.1.7☑☑2
elm_playground_native.0.1.7☑☒0
elm_playground_web.0.1.7☑☑0
elm_system.0.1.7☑☑3
elpi.3.4.2☑☑0
embedded_ocaml_templates.0.8☑☑0
emile.1.1☑☑56
emoji.3.0.1☑☑0
encore.0.8.1☑☑28
enumerators.0.2.0☑☑0
epictetus.3.1.1☑☑0
eprover.3.1☒☒0
eqaf.0.10☑☑689
eqaf-cstruct.0.10☑☑0
equinoxe.0.2.0☑☑2
equinoxe-cohttp.0.2.0☑☑0
equinoxe-hlc.0.2.0☑☑0
erlang.0.0.14☑☑0
errpy.0.0.10☑☒0
erssical.1.1.0☑☑0
esa.0.1.1☑☑0
esgg.20190322☑☑0
esperanto-cosmopolitan.0.0.6☑☑2
ethernet.3.2.0☑☑79
euler.0.3☑☑0
exenum.0.86☑☑0
exn-source.0.1☑☑0
expect.0.1.0☑☑0
expect_test_helpers_core.v0.16.0☑☒253
extism.1.4.0☑☑0
extism-manifest.1.4.0☑☑1
extlib.1.8.0☑☑48
extprot.1.7.0☑☑0
extunix.0.4.4☑☑24
ez-conf-lib.2☑☑24
ez_api.2.1.0☑☑2
ez_cmdliner.0.4.3☑☑7
ez_config.0.2.0☑☒4
ez_dune_describe.0.1☒☒1
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☑☑1
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.2☑☑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☑☑742
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☑☑25
faad.0.5.1☑☑4
facile.1.1.4☑☒0
fadbadml.0.1.2☑☑0
fadecider.0.7☑☑0
faraday.0.8.2☑☑155
faraday-lwt.0.8.2☑☑76
faraday-lwt-unix.0.8.2☑☑71
farfadet.0.3☑☑0
farith.0.1☑☑5
farmhash.0.4☒☒0
fasmifra.2.1.0☒☑0
fast_bitvector.0.1.2.2☑☑0
fat-filesystem.0.15.1☑☑0
fd-send-recv.2.0.3☑☑2
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
fehu.1.0.0~alpha1☒☒1
ff.0.6.2☑☑136
ff-pbt.0.6.2☑☑4
ff-sig.0.6.2☑☑179
ffmpeg.1.2.6☒☑4
ffmpeg-av.1.2.6☒☒7
ffmpeg-avcodec.1.2.6☒☒9
ffmpeg-avdevice.1.2.6☒☒5
ffmpeg-avfilter.1.2.6☑☑5
ffmpeg-avutil.1.2.6☒☑12
ffmpeg-swresample.1.2.6☑☒5
ffmpeg-swscale.1.2.6☒☑5
fftw3.0.8.5☒☒0
fiber.3.7.0☑☑2
fiber-lwt.3.7.0☑☑0
fieldslib.v0.17.0☒☑828
file-rewriter.0.0.3☒☑3
fileutils.0.6.6☑☑288
findlib_top.v0.11.0☑☒0
fit.1.3.2☑☑0
fix.20250919☑☑78
flac.1.0.0☑☑4
flatunionfind.20241210☑☑0
flex-array.1.2.0☑☑2
flexdll.0.44☑☑0
flint.0.4.0☒☒6
float_option.0.0.3☒☑0
flow_parser.0.268.0☒☑0
fm-simplex-plugin.1.30☑☒0
fmlib.0.6.1☑☑0
fmlib_browser.0.6.1☑☑1
fmlib_js.0.6.1☑☑2
fmlib_parse.0.6.1☑☑1
fmlib_pretty.0.6.1☑☑2
fmlib_std.0.6.1☑☑5
fmt.0.11.0☑☑2095
fontforge-of-ocaml.1.1.0☑☑0
forester.5.0☒☑1
format.0.1☑☒0
fpath.0.7.3☑☑1107
fpath-base.0.3.1☒☑5
fpath-sexp0.0.3.1☑☑14
frama-c.31.0☑☑5
frama-c-lannotate.0.2.4☒☒0
frama-c-luncov.0.2.4☑☒0
frama-c-metacsl.0.9☑☑0
frama-clang.0.0.18☒☒0
fred.0.1.0☑☑0
freetds.0.7☒☒1
frei0r.0.1.2☑☑4
fsevents.0.3.0☑☑18
fsevents-lwt.0.3.0☑☑17
fsml.0.3.0☑☒0
fstar.2025.10.06☑☑0
fstreams.0.2.1☑☒0
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
functory.0.6☒☒1
funfields.0.04☑☑0
fungi.0.1.4☒☑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
gappa.1.4.1☑☑0
gavl.0.1.6☒☒0
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☑☑1933
gen-bs.0.0.0☑☒0
gen_js_api.1.1.6☑☑60
gendarme.0.3.0☑☑5
gendarme-json.0.3.0☑☑1
gendarme-toml.0.3.0☑☑1
gendarme-yaml.0.3.0☑☑1
genspio.0.0.3☑☑0
genspir.1.0.1☑☑1
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☑☒0
gettext.0.5.0☑☑2
gettext-camomile.0.5.0☑☑0
gettext-stub.0.5.0☑☑0
gg.1.0.0☑☑16
giflib.1.1.0☒☑1
git.3.18.0☑☑23
git-kv.0.2.0☑☑2
git-mirage.3.18.0☑☑20
git-net.0.2.0☑☑1
git-paf.3.18.0☑☑21
git-split.1.0.0☑☑0
git-unix.3.18.0☑☑21
github.4.5.0☑☑11
github-data.4.5.0☑☑12
github-hooks.0.5.0☑☑1
github-hooks-unix.0.5.0☑☑0
github-jsoo.4.5.0☑☑0
github-unix.4.5.0☑☑8
gitlab.0.1.8☑☑6
gitlab-jsoo.0.1.8☑☑0
gitlab-unix.0.1.8☑☑4
gitlab_pipeline_notifier.0.1☑☑0
gl-legacy.0.1.0☑☑1
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☑☑53
gluten-eio.0.5.2☒☑8
gluten-lwt.0.5.2☑☑39
gluten-lwt-unix.0.5.2☑☑31
gluten-mirage.0.5.2☑☑3
gmap.0.3.0☑☑503
gmp.6.3.0☑☑0
gmp-ecm.7.0.3☒☒0
gnuplot.0.7☑☑2
goblint.2.1.0☑☒1
goblint-cil.2.0.8☑☑2
gospel.0.3.0☑☑4
gotd.0.1☑☑0
gperftools.0.5☒☒5
gpt.1.0.0☑☑1
gptar.1.0.0☑☑0
gpx.1.1.1☑☑0
gr.0.0.2☑☑0
graft.0.1.0☒☑0
grain_dypgen.0.2.1☑☑2
graphics.5.2.0☑☑3989
graphicspdf.2.2.1☑☑0
graphlib.2.5.0☑☒91
graphql.0.14.0☑☑36
graphql-async.0.14.0☑☒0
graphql-cohttp.0.14.0☑☑7
graphql-lwt.0.14.0☑☑33
graphql_jsoo_client.0.1.1☑☒0
graphql_parser.0.14.0☑☑37
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☑☑5
grib.0.11.0☒☒0
grid.0.2.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.1☑☑10
gstreamer.0.3.1☑☑5
guardian.0.1.0☑☒0
gufo.0.1.2☑☒0
guile.1.0☒☒0
gxl-light.1.0☑☑0
h1.1.1.0☑☑32
h1-lwt-unix.1.1.0☑☑0
h1_parser.0.0.2☑☒0
h2.0.13.0☑☑67
h2-eio.0.13.0☒☑1
h2-lwt.0.13.0☑☑26
h2-lwt-unix.0.13.0☑☑24
h2-mirage.0.13.0☑☑0
hachis.20240918☑☑1
hacl.0.3☒☒0
hacl-star.0.7.1☒☒239
hacl-star-raw.0.7.1☒☒242
hacl_func.0.1.0☒☒0
hamt.1.0.0☑☒0
handlebars-ml.0.2.1☑☑0
happy-eyeballs.2.0.1☑☑63
happy-eyeballs-lwt.2.0.1☑☑35
happy-eyeballs-miou-unix.2.0.1☒☑6
happy-eyeballs-mirage.2.0.1☑☑39
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☑☑109
hashset.1.0.1☑☑1
haxe.4.1.1☒☒0
hc.0.5☑☑2
hdfs.0.4☒☒0
hdr_histogram.0.0.4☑☑1
headache.1.08☑☑9
header-check.0.1.0☑☑0
hector.20241208☑☑2
heptagon.1.05.00☑☒0
herdtools7.7.58☑☑0
heroicons-reason-react.1.0☑☑0
hevea.2.36☑☑2
hex.1.5.0☑☑1021
hex_encode.v0.16.0☑☒1
hexstring.0.2.1☑☑0
hidapi.1.2.1☑☑136
hidapi-lwt.1.2.1☑☑135
higher.0.3.1☑☑0
higher_kinded.v0.16.0☑☒5
highlexer.0.1☑☑0
higlo.0.10.0☑☑27
hilite.0.5.0☑☑2
hiredis.0.8☑☒0
hiredis-value.0.8☑☒2
hl_yaml.1.0.0☒☒0
hlarp.0.0.3☑☒0
hll.4.3☑☑0
hmap.0.8.1☑☑216
hockmd.0.1.0☑☑0
hol2dk.2.0.0☑☑0
hol_light_module.1.0☑☑0
hooke.0.0.1☒☑0
host-arch-x86_64.1☑☑0
host-system-other.1☑☑0
hpack.0.13.0☑☑75
hsluv.0.1.0☑☑1
html_of_jsx.0.0.6☑☑1
htmlfromtexbooks.3.3.2☑☑0
htmlit.0.2.0☑☑0
hts_shrink.3.0.1☑☑0
http.6.1.1☑☑395
http-cookie.4.3.0☑☑0
http-date.0.1☑☑0
http-lwt-client.0.3.2☑☑5
http-mirage-client.0.0.10☑☑1
http-multipart-formdata.3.1.0☑☑0
httpaf.0.7.1☑☑116
httpaf-lwt-unix.0.7.1☑☑31
httpaf_caged.1.0.0☑☑0
httpcats.0.1.0☒☑3
httph.0.1☑☑0
httpun.0.2.0☑☑37
httpun-eio.0.2.0☒☑3
httpun-lwt.0.2.0☑☑25
httpun-lwt-unix.0.2.0☑☑23
httpun-mirage.0.2.0☑☑0
httpun-types.0.2.0☑☑88
httpun-ws.0.2.0☑☑29
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
hugin.1.0.0~alpha1☒☑2
humane-re.0.1.1☑☒0
huml.0.1.1☑☑1
huml-cli.0.1.1☑☑0
hurl.0.0.1~beta1☒☑1
hvsock.3.1.0☑☑1
hweak.1.1☑☒0
hxd.0.3.5☑☑58
hyper.1.0.0~alpha2☑☒0
i3ipc.0.4☑☑1
icalendar.0.1.13☑☑2
idd.0.1☑☒0
idds.0.2☑☒1
igvxml.0.1.0☑☒0
imagelib.20221222☑☑7
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
incremental_cycles.0.1☑☑0
indentation_buffer.v0.16.0☑☒2
index.1.6.2☑☑232
index-bench.1.6.2☑☑0
inferno.20220603☑☑0
influxdb.0.3.0☑☑2
influxdb-lwt.0.3.0☑☑0
inifiles.2.0☑☑0
inquire.0.3.1☑☑0
inquirer_oc.1.0.15☑☑0
inspect.0.2.1☑☑0
intPQueue.20250925☑☑0
int_repr.v0.16.0☑☒475
integers.0.7.0☑☑578
integers_stubs_js.1.0☑☑241
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☑☑1248
iomux.0.4☑☑27
iostream.0.3☑☑9
iostream-camlzip.0.3☑☑2
ip2location.8.2.0☑☑0
ip2locationio.1.1.0☑☑0
ip2proxy.3.1.0☑☑0
ip2whois.1.0.0☑☑0
ipaddr.5.6.1☑☑1333
ipaddr-cstruct.5.6.1☑☑78
ipaddr-sexp.5.6.1☑☑499
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☑☑1
irc-client-unix.0.7.1☑☑4
iri.1.1.0☑☑69
irmin.3.11.0☑☑19
irmin-bench.3.11.0☑☑0
irmin-chunk.3.11.0☑☑0
irmin-cli.3.11.0☑☑2
irmin-client.3.11.0☑☑0
irmin-containers.3.11.0☑☑0
irmin-fs.3.11.0☑☑4
irmin-git.3.11.0☑☑5
irmin-graphql.3.11.0☑☑4
irmin-http.3.6.1☑☒2
irmin-indexeddb.2.0☑☒0
irmin-layers.2.10.2☑☒6
irmin-mirage.3.11.0☑☑2
irmin-mirage-git.3.11.0☑☑0
irmin-mirage-graphql.3.11.0☑☑0
irmin-pack.3.11.0☑☑8
irmin-pack-tools.3.11.0☑☑0
irmin-server.3.11.0☑☑3
irmin-test.3.11.0☑☑10
irmin-tezos.3.11.0☑☑5
irmin-watcher.0.5.0☑☑18
iso639.0.0.5☑☑1
iter.1.9☑☑28
itv-tree.2.2☑☑1
jane-street-headers.v0.17.0☒☑857
jane_rope.v0.16.0☑☒25
janestreet_lru_cache.v0.16.1☑☒9
jasmin.2025.06.1☒☒0
javalib.3.2.2☑☑1
javascriptcore.0.0.1☒☒0
jekyll-format.0.3.4☑☑0
jemalloc.0.2☒☒9
jext.0.1.0☑☑0
jhupllib.0.3☑☑1
jingoo.1.5.1☑☑17
jose.0.10.0☑☑1
js_of_ocaml.6.2.0☑☑1868
js_of_ocaml-camlp4.3.1.0☑☒1
js_of_ocaml-compiler.6.2.0☑☑1879
js_of_ocaml-lwt.6.2.0☑☑141
js_of_ocaml-ocamlbuild.5.0☑☑3
js_of_ocaml-ppx.6.2.0☑☑235
js_of_ocaml-ppx_deriving_json.6.2.0☑☑3
js_of_ocaml-toplevel.6.2.0☑☑20
js_of_ocaml-tyxml.6.2.0☑☑7
js_of_ocaml_patches.v0.16.0☑☑8
json-data-encoding.1.0.1☑☑232
json-data-encoding-browser.1.0.1☑☑0
json-data-encoding-bson.1.0.1☑☑222
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☑☒2
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☑☑975
jsonoo.0.3.0☑☑0
jsonrpc.1.24.0☑☑11
jsonschema.0.1.0☑☑0
jsonschema2atd.0.0.3☑☑0
jsont.0.2.0☑☑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.17.0☒☑857
junit.2.3.0☑☑8
junit_alcotest.2.3.0☑☑9
junit_ounit.2.3.0☑☑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☑☒2
kaun.1.0.0~alpha1☒☒3
kcas.0.7.0☑☑3
kcas_data.0.7.0☑☑0
kdf.1.0.0☑☑493
kdl.0.2.0☑☑0
ke.0.6☑☑124
key-parsers.1.5.0☑☒0
kicadsch.0.9.0☑☑1
kind2.2.3.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.6☒☑0
kqueue.0.4.0☑☑6
kuznechik.0.1.1☑☑0
kyotocabinet.0.2☒☒0
lab.0.1.8☑☑0
lablgl.1.07☒☒580
lablgtk.2.18.14☑☑574
lablgtk3.3.1.5☒☒27
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☒☒13
lablqml.0.7☒☒1
labltk.8.06.15☑☑3
labrys.0.1☒☒0
lacaml.11.1.1☒☒12
ladspa.0.2.2☑☒5
lambda.0.1.7☑☑0
lambda-runtime.0.1.0☑☒1
lambda-term.3.3.2☑☑225
lambda_streams.0.1.2☑☑2
lambda_streams_lwt.0.1.2☑☑0
lambdapi.3.0.0☑☑0
lambdasoup.1.1.1☑☑42
lame.0.3.7☒☒4
landmarks.1.5☑☑1
landmarks-ppx.1.5☑☑0
lascar.0.7.0☑☒1
lastfm.0.3.4☑☑3
lazy-trie.1.2.0☑☑0
lbfgs.0.9.5☒☒3
lbvs_consent.2.2.0☒☒0
ldap.2.5.2☑☑1
ldp.0.5.0☑☑22
ldp_curl.0.5.0☑☑2
ldp_js.0.5.0☑☑0
ldp_tls.0.5.0☑☑17
leaflet.0.2☑☑0
leaves.0.0.1☒☑0
ledes.0.1.0☑☑0
ledgerwallet.0.4.1☑☑134
ledgerwallet-tezos.0.4.1☑☑133
ledit.2.08☒☒4
lem.2025-03-13☑☑13
lemonade.0.6.0☑☒2
lemonade-sqlite.0.1.0☑☒0
lens.1.2.5☑☑0
letsencrypt.1.1.0☑☑3
letsencrypt-app.1.1.0☑☑0
letsencrypt-dns.1.1.0☑☑1
letsencrypt-mirage.1.1.0☑☑0
letters.0.4.0☑☑3
leveldb.1.3.0☒☒0
lib_parsing.1.12.0☑☒1
libabsolute.0.1☑☑1
libbinaryen.121.0.0☑☑0
libc.0.0.1☒☑5
libdash.0.3☑☑0
libevent.0.9.0☒☒5
libirmin.3.11.0☑☑0
liblinear.2.47☑☑0
libnlopt.2.7.1☑☑0
libsail.0.20☑☑11
libssh.0.1☒☒0
libsvm.0.10.0☒☒0
libsvm_tools.3.35☑☑0
libtensorflow.0.1☑☑0
libtorch.1.6.0☑☑1
libwasmer.3.0.0~beta☒☒1
libzipperposition.1.6☑☒2
lichess_api.1.0.1☑☑0
lilac.0.1.1☑☑0
lilv.0.1.0☑☑4
line_oriented.1.3.0☑☑11
linenoise.1.5.1☑☑25
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☑☑12
linol.0.10☑☑3
linol-eio.0.10☒☑0
linol-lwt.0.10☑☑1
lintcstubs.0.4.7☑☒0
lintcstubs-arity.0.4.1☑☒2
lintcstubs-gen.0.4.7☑☒1
linwrap.9.2.0☒☑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.4.0☑☑2
liquidsoap-core.2.3.0☑☒0
liquidsoap-daemon.1.0.0☑☑0
liquidsoap-js.2.4.0☑☑0
liquidsoap-lang.2.4.0☑☑6
liquidsoap-libs.2.3.0☑☑1
liquidsoap-libs-extra.2.3.0☑☑0
liquidsoap-mode.2.4.0☑☑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
llhttp.0.0.1☑☑0
llopt.1.0.0☒☒0
llvm.19-static☑☑4
llvmgraph.0.2☒☒0
lmdb.1.0☑☑0
lo.0.2.0☒☒4
loc.0.2.2☑☑20
lockfree.0.3.1☑☑12
logger-p5.0.4.5☒☒4
logical.0.3.0☑☑0
logs.0.9.0☑☑1672
logs-async.1.3☑☒2
logs-ppx.0.2.0☑☑1
logs-syslog.0.5.0☑☑1
logtk.1.6☑☒3
loop.0.0.1☒☑0
lp.0.5.0☒☑4
lp-glpk.0.5.0☒☒0
lp-glpk-js.0.5.0☒☑0
lp-gurobi.0.5.0☒☑0
lp-highs.0.5.0☒☑0
lpd.1.2.2☑☑0
lpi.0.0.2☑☑0
lreplay.0.1.1☑☑0
lru.0.3.1☑☑362
lru-cache.0.3.0☑☑1
lru_cache.0.4.0☑☑4
lsp.1.24.0☑☑7
lt-code.0.1.1☑☑0
lua-ml.0.9.4☑☑2
lua_parser.1.0.2☑☑0
lua_pattern.1.7☑☑0
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☑☑2
luv_unix.0.5.1☑☑0
lwd.0.4☑☑10
lwt.6.0.0~alpha00☑☑1935
lwt-canceler.0.3☑☑243
lwt-dllist.1.1.0☑☑1290
lwt-exit.1.0☑☑162
lwt-parallel.1.0.0☑☑0
lwt-pipe.0.1☑☒0
lwt-pipeline.0.2☑☒0
lwt-watcher.0.2☑☑148
lwt_camlp4.1.0.0☑☒6
lwt_direct.6.0.0~alpha00☒☑0
lwt_domain.0.3.0☒☑0
lwt_eio.0.5.1☒☑7
lwt_glib.1.1.1☑☑3
lwt_log.1.1.2☑☑463
lwt_ppx.5.9.2☑☑222
lwt_react.1.2.0☑☑255
lwt_retry.5.9.0☑☑0
lwt_ssl.1.2.0☑☑377
lymp.0.2.5☑☒0
lz4.1.3.0☑☑14
lz4_chans.3.0.1☑☑0
lzo.0.0.3☑☑0
m_tree.0.1☑☑0
macaddr.5.6.1☑☑1337
macaddr-cstruct.5.6.1☑☑80
macaddr-sexp.5.6.1☑☑5
macaque.0.8☑☒1
macaroons.0.1.0☑☑0
mad.0.5.3☑☑6
magic.0.7.4☑☑3
magic-mime.1.3.1☑☑399
maildir.0.9.0☑☒0
make-random.0.1☑☑1
malfunction.0.7☑☑0
mariadb.1.3.0☑☑3
markdown.0.2.1☑☑1
markup.1.0.3☑☑111
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
mazeppa.0.5.2☑☑0
mbr-format.2.0.0☑☑3
mc2.0.1☑☑0
mccs.1.1+19☑☑12
md2mld.0.7.0☑☑7
mdx.2.5.1☑☑127
mec.0.1.0☑☑134
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
mel-bastet.1.0.0☒☑1
melange.5.1.0-414☑☒25
melange-atdgen-codec-runtime.3.0.1☑☑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.2.0.0☑☑2
melange-json-native.2.0.0☑☑1
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.2☑☑4
memcad.1.1.0☒☒0
memcpy.0.2.2☑☑0
memfd.0.1.0☑☑0
memgraph.1.0☑☑1
memgraph_kitty.1.0☑☑0
memo.0.2☑☑0
memprof-limits.0.3.0☑☑28
memtrace.0.2.3☑☑35
memtrace-mirage.0.2.1.2.3☑☒1
menhir.20250912☑☑2075
menhir-secondary.20231231☑☒4069
menhirCST.20250912☑☑2072
menhirLib.20250912☑☑2074
menhirSdk.20250912☑☑2072
merge-fmt.0.4☑☑0
mergeable-vector.0.1.0☑☑0
merlin.5.6-503☒☑13
merlin-extend.0.6.2☑☑40
merlin-lib.5.6-503☒☑17
merlin-of-pds.1.4☑☑2
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.1☑☑4
metadb.1.0.2☑☑1
metapp.0.4.4☑☑11
metaquot.0.6.0☒☑10
metrics.0.5.0☑☑1293
metrics-influx.0.5.0☑☑4
metrics-lwt.0.5.0☑☑1266
metrics-rusage.0.5.0☑☑3
metrics-unix.0.5.0☑☑3
mew.0.1.0☑☑230
mew_vi.0.5.0☑☑229
middleware.0.0.1☑☑0
mikmatch.1.0.9☑☑0
mimic.0.0.9☑☑33
mimic-happy-eyeballs.0.0.9☑☑24
mindstorm.0.8.1☒☒1
mindstorm-lwt.0.8.1☒☒0
minicaml.0.3.1☑☑0
minicli.5.0.2☑☑19
minilight.1.6☑☑0
minima-theme.1.0.0☑☑0
minimal.1.0.0☑☒0
minios-xen.0.9☒☒1106
minisat.0.6☑☑3
minivpt.2.0.0☑☑1
miou.0.5.0☒☑12
mirage.4.10.3☑☑4
mirage-block.3.0.2☑☑24
mirage-block-ccm.2.0.0☑☑0
mirage-block-combinators.3.0.2☑☑7
mirage-block-partition.0.2.0☑☑0
mirage-block-ramdisk.0.6☑☑2
mirage-block-solo5.0.8.1☑☑1
mirage-block-unikraft.1.0.0☒☑0
mirage-block-unix.2.14.2☑☑11
mirage-block-xen.2.1.3☑☑0
mirage-bootvar.1.0.1☑☑0
mirage-btrees.0.1.0☑☒0
mirage-channel.5.0.0☑☑11
mirage-clock.4.2.0☑☑472
mirage-clock-unix.4.2.0☑☑40
mirage-crypto.2.0.2☑☑520
mirage-crypto-ec.2.0.2☑☑494
mirage-crypto-pk.2.0.2☑☑495
mirage-crypto-rng.2.0.2☑☑523
mirage-crypto-rng-eio.1.2.0☒☑5
mirage-crypto-rng-lwt.1.2.0☑☑379
mirage-crypto-rng-miou-unix.2.0.2☒☑5
mirage-crypto-rng-mirage.2.0.2☑☑11
mirage-flow.5.0.0☑☑477
mirage-flow-combinators.5.0.0☑☑13
mirage-flow-unix.5.0.0☑☑1
mirage-kv.6.1.1☑☑447
mirage-kv-mem.4.0.1☑☑2
mirage-kv-unix.3.0.1☑☑0
mirage-logs.3.0.0☑☑5
mirage-monitoring.0.0.8☑☒0
mirage-mtime.5.2.0☑☑83
mirage-nat.3.0.2☑☑0
mirage-net.4.0.0☑☑88
mirage-net-solo5.0.8.0☑☑0
mirage-net-unikraft.1.0.0☒☑0
mirage-net-unix.3.0.0☑☑0
mirage-net-xen.2.1.7☑☑0
mirage-ptime.5.2.0☑☑81
mirage-qubes.2.0.0☑☑1
mirage-qubes-ipv4.2.0.0☑☑0
mirage-runtime.4.10.3☑☑1306
mirage-seal.0.4.2☑☒0
mirage-sleep.4.1.0☑☑1286
mirage-solo5.0.10.0☑☑446
mirage-tc.0.3.0☑☒0
mirage-time.3.0.0☑☑89
mirage-time-unix.3.0.0☑☑8
mirage-unikraft.1.0.0☒☑2
mirage-unix.5.0.1☑☑23
mirage-vnetif.0.6.2☑☑3
mirage-xen.9.0.0☑☑1230
misuja.0.0.0☒☒1
mixture.1.0.0☑☒3
mjson.0.2.1☑☑0
mkaudio.1.1.4☑☑0
mkocaml.1.2☑☑0
mlbdd.0.7.3☑☑4
mlcuddidl.3.0.8☒☒1
mlfenv.1.0.0☑☑0
mlgmpidl.1.2.15-1☑☑22
mlgpx.1.0.0☒☑0
mlmpfr.4.2.1☒☒13
mlsolver.1.5☑☑0
mlt_parser.v0.16.0☑☒1
mlx.0.10☑☑2
mm.0.8.6☑☑5
mmap.1.2.0☑☑1935
mmdb.0.3.0☒☒0
mmo.1.0.1☒☒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.17.0.1☒☑7
monaco_jsoo.1.0.1☑☑0
monadlib.0.2☑☒2
monads.2.5.0☑☒99
monolith.20250922☑☑10
monomorphic.2.1.0☑☑1
monorobot.0.1☒☒0
moonpool.0.9☒☑5
moonpool-io.0.9☒☑0
moonpool-lwt.0.9☒☑0
mopsa.1.2☑☑0
morbig.0.11.0☑☑0
more-ocaml.1.0☑☑0
morsmall.0.2.0☑☑0
mosaique.0.0.1☒☑0
mosquitto.0.2.1-0☒☒0
moss.0.1.1☑☑0
mparser.1.3☑☑13
mparser-pcre.1.3☑☑2
mparser-re.1.3☑☑1
mpg123.0.3☑☑0
mpi.1.06☑☑4
mpp.0.3.6☑☑0
mpris.0.2.0☑☑1
mpris-clients.0.2.0☑☑0
mqtt.0.2.2☑☑0
mrmime.0.7.0☑☑20
msat.0.9.1☑☑6
msat-bin.0.9.1☑☑0
msgpack.1.3.0☑☒2
msgpck.1.7☑☑5
msgpck-repr.1.7☑☒0
mtime.2.1.0☑☑748
mtl.1.0.0☑☒0
mugen.0.1.0☑☑0
mula.0.1.2☑☑0
multibase.0.1.0☑☑3
multicodec.0.1.0☑☑5
multicont.1.0.3☒☑1
multicore-bench.0.1.7☑☑4
multicore-magic.2.3.1☑☑59
multicore-magic-dscheck.2.3.1☑☑3
multihash.0.1.0☑☑4
multihash-digestif.0.1.0☑☑3
multipart-form-data.0.3.0☑☑28
multipart_form.0.7.0☑☑34
multipart_form-cohttp-lwt.0.7.0☑☑0
multipart_form-eio.0.7.0☒☑0
multipart_form-lwt.0.7.0☑☑29
multipart_form-miou.0.7.0☒☑1
murmur3.0.3☑☑1
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☑☑7
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
nanoev.0.1☑☑3
nanoev-picos.0.1☑☑2
nanoev-posix.0.1☑☑0
nanoev_tiny_httpd.0.1☑☑0
nanoid.1.0.0☑☑0
nanosvg.0.2☑☑2
nanosvg_text.0.1☑☑1
nbd.6.0.1☑☑4
nbd-tool.6.0.1☑☑0
nbd-unix.6.0.1☑☑1
neural_nets_lib.0.6.1☒☒0
nice_parser.1.0.0☑☑1
ninja_utils.1.0.0☑☑0
niru.1.0.0☑☑0
nloge.0.0.2☒☑0
nlopt.0.7.0☒☒4
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☑☑441
node_of_ocaml.1.0.0☑☑0
non_empty_list.0.1☑☑0
nonstd.0.0.3☑☒9
nosetup.0.8.1☑☒0
not-ocamlfind.0.14☑☑608
note.0.0.3☑☑0
nottui.0.4☑☑7
nottui-lwt.0.4☑☑0
nottui-pretty.0.4☑☑0
nottui-unix.0.4☑☑3
notty.0.2.3☑☑25
notty-community.0.2.4☑☑0
np.np1.19-0.3.1☑☑2
nproc.0.5.1☑☒0
npy.0.0.9☑☑16
nsq.0.5.3☑☒0
num.1.6☑☑2007
numeric_string.v0.16.0☑☒1
nuscr.2.1.1☑☑0
nx.1.0.0~alpha1☒☑10
nx-datasets.1.0.0~alpha1☒☑4
nx-text.1.0.0~alpha0☒☑2
oasis.0.4.11☑☒255
oasis2debian.0.1.5☑☒0
oasis2opam.0.8☑☒0
obandit.0.3.4☑☒0
obatcher.1.1☒☑0
obelisk.0.8.1☑☑0
objsize.0.18☑☒1
obuild.0.1.11☑☑52
obuilder.0.6.0☑☑2
obuilder-spec.0.6.0☑☑4
obus.1.2.5☑☑4
obytelib.1.6☒☒2
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.5.3.0☒☑4070
ocaml-compiler-libs.v0.17.0☒☑2540
ocaml-expat.1.3.0☒☒1
ocaml-http.0.1.6☒☒0
ocaml-in-python.0.1.0☑☒0
ocaml-index.5.6-503☒☑2
ocaml-inifiles.1.2☑☑5
ocaml-lsp-server.1.23.1☒☑12
ocaml-lua.1.8☒☒0
ocaml-makefile.6.39.2☑☑1
ocaml-manual.5.3.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☑☑5
ocaml-protoc-plugin.6.2.0☑☑3
ocaml-protoc-yojson.0.2.0☑☑0
ocaml-r.0.6.0☒☒1
ocaml-sat-solvers.0.8☑☑2
ocaml-secondary-compiler.4.14.2☑☑4071
ocaml-solo5.1.1.0☒☑0
ocaml-src.5.3.0☒☑1400
ocaml-syntax-shims.1.0.0☑☑1956
ocaml-systemd.1.2☒☒0
ocaml-top.1.2.0☑☑0
ocaml-twt.0.94.0☑☒0
ocaml-vdom.transition☑☑0
ocaml-version.4.0.3☑☑40
ocaml-xdg-basedir.transition☑☑2
ocaml_intrinsics.v0.17.0☒☑4
ocaml_intrinsics_kernel.v0.17.1☒☑1921
ocamlbrowser.5.3.0☒☑0
ocamlbuild.0.16.1☑☑3104
ocamlbuild-atdgen.0.1.0☑☑0
ocamlbuild-pkg.0.2.1☑☒2
ocamlbuild-protoc.0.1☑☑0
ocamlc-loc.3.20.2☑☑4
ocamlclean.2.3☒☒1
ocamlcodoc.1.0.1☑☑1
ocamldap.transition☑☑0
ocamldiff.1.2☑☑1
ocamldot.1.1☑☑3
ocamldsort.0.16.0☑☒0
ocamleditor.1.16.0-ocaml414☑☒0
ocamlfind.1.9.8☑☑3432
ocamlfind-lint.0.1.0☑☒0
ocamlfind-secondary.1.9.6☑☑3989
ocamlformat.0.28.1☑☑57
ocamlformat-lib.0.28.1☑☑21
ocamlformat-mlx.0.27.0.1☑☑0
ocamlformat-mlx-lib.0.27.0.1☑☑1
ocamlformat-rpc.removed☑☑0
ocamlformat-rpc-lib.0.28.1☑☑4
ocamlgraph.2.2.0☑☑615
ocamlgraph_gtk.2.2.0☑☑5
ocamlify.0.1.0☒☑258
ocamline.1.2☑☑1
ocamlmerlin-mlx.0.10☑☑0
ocamlmod.0.1.1☑☑256
ocamlnet.4.1.9-2☑☒61
ocamlog.0.2☑☑0
ocamlregextkit.1.0.2☑☑0
ocamlrss.2.2.2☑☒0
ocamlscript.3.0.0☑☑0
ocamlsdl.0.9.1☒☒9
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☑☑472
ocephes.0.8.2☑☒2
ocf.0.9.0☑☑47
ocf_ppx.0.9.0☑☑44
ockt.0.0.1☑☑0
oclock.0.4.0☒☒0
ocluster.0.3.0☑☑0
ocluster-api.0.3.0☑☑3
ocluster-worker.0.3.0☑☑1
ocolor.1.3.1☑☑6
ocp-browser.1.4.0☑☑0
ocp-indent.1.9.0☑☑37
ocp-indent-nlfork.1.5.5☑☑2
ocp-index.1.4.0☑☑5
ocp-ocamlres.0.4☑☑140
ocp-pack-split.1.0.1☑☒0
ocp-reloc.0.1☑☑0
ocp_reveal.0.1☑☑0
ocplib-endian.1.2☑☑1964
ocplib-json-typed.0.7.1☑☒156
ocplib-json-typed-browser.0.7.1☑☒1
ocplib-json-typed-bson.0.7.1☑☒140
ocplib-simplex.0.5.1☑☑11
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.1.0☑☒0
ocsigen-toolkit.4.1.0☑☒1
ocsigenserver.6.0.0☑☑13
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☑☑863
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☑☑95
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☒☒142
octez-bls12-381-polynomial.17.3☒☒144
octez-bls12-381-signature.17.3☒☒172
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☑☑94
octez-distributed-lwt-internal.20.1☑☑93
octez-injector.20.1☒☒29
octez-internal-libs.20.1☑☒93
octez-l2-libs.20.1☒☒86
octez-libs.20.1☒☒92
octez-mec.17.3☒☒143
octez-node.20.1☒☒1
octez-node-config.20.1☒☒11
octez-plompiler.17.3☒☒141
octez-plonk.17.3☒☒140
octez-polynomial.17.3☒☒143
octez-proto-libs.20.1☒☒85
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☒☒84
octez-proxy-server.20.1☒☒1
octez-rpc-process.20.1☒☒2
octez-shell-libs.20.1☒☒83
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☒☒85
ocue.0.1.0☑☑0
ocveralls.0.3.4☑☒0
odate.0.7☑☑8
odbc.3.0☒☒0
odds.1.2☒☑0
odep.0.2.1☑☑0
odepack.0.7.1☑☑1
odig.0.1.0☑☑6
odnnr.2.0.0☒☒0
odoc.3.1.0☑☑1578
odoc-depgraph.1.0☑☑0
odoc-driver.3.1.0☒☒0
odoc-md.3.1.0☑☑1
odoc-parser.3.1.0☑☑15
oenv.0.1.0☒☑0
oepub.0.1.0☑☑0
offheap.0.1.2☑☒0
oframl.0.0.1☑☑0
ofx.0.1.5☑☑0
ogg.1.0.0☑☑12
oglsl.0.1.0☒☑0
ogre.2.5.0☑☒93
ohex.0.2.0☑☑521
oidc.0.2.0☑☑0
ojo.0.2.1☑☑0
ojs.1.1.6☑☑61
ojs-base.0.6.0☑☒3
ojs_base.0.8.0☑☑8
ojs_base_all.0.8.0☑☑3
ojs_base_ppx.0.8.0☑☑2
ojs_ed.0.8.0☑☑4
ojs_filetree.0.8.0☑☑4
ojs_list.0.8.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.7☑☑12
omd.2.0.0~alpha4☑☑32
ometrics.0.2.1☑☒0
omigrate.0.3.2☑☑0
oml.0.0.7☑☑1
omlr.1.0.3☑☑0
omod.0.0.4☑☑0
omtl.0.2☑☑0
oneffs.0.1.0☑☑0
oniguruma.0.1.2☑☑5
ooh.0.0.3☑☑0
oolc.0.3☑☒0
opaca.0.1.5☑☒0
opal.0.1.1☑☒0
opam-0install.0.5.1☑☑0
opam-0install-cudf.0.5.0☑☑10
opam-bin.1.2.0☑☒0
opam-build.0.2.6☑☑0
opam-bundle.0.4☑☒0
opam-check-npm-deps.4.0.1☑☑7
opam-ci-check-lint.0.2☑☑0
opam-client.2.5.0~alpha1☑☑3
opam-compiler.0.2.1☑☑0
opam-core.2.5.0~alpha1☑☑32
opam-custom-install.0.3☑☑0
opam-depext.1.2.3☑☑1
opam-devel.2.5.0~alpha1☑☑0
opam-dune-lint.0.6☑☑0
opam-ed.0.4☑☑0
opam-file-format.2.2.0☑☑48
opam-format.2.5.0~alpha1☑☑32
opam-graph.0.1.1☑☑0
opam-grep.0.4.0☑☑0
opam-installer.2.5.0~alpha1☑☑8
opam-lock.0.2☑☒0
opam-monorepo.0.4.3☑☑2
opam-package-upgrade.0.2☑☒0
opam-publish.2.7.0☑☑3
opam-repository.2.5.0~alpha1☑☑15
opam-solver.2.5.0~alpha1☑☑5
opam-spin.0.8.3☑☒0
opam-state.2.5.0~alpha1☑☑14
opam-test.0.2.6☑☑0
opam_bin_lib.1.2.0☑☒1
opamconfig.0.3.0☑☑0
opamfu.0.1.4☑☒0
opasswd.1.3.1☑☑0
opatch.3.0.1☑☑0
open.0.2.1☑☒3
openQASM.0.4.0☑☑1
openai.0.0.1☑☑0
openapi.1.0.1☑☒2
openapi-opium.1.0.1☑☒0
openapi_router.0.1.0☑☒0
openbsd.1.0☑☑0
opencage.1.0.5☑☑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.12☑☑10
opentelemetry-client-cohttp-eio.0.12☒☑1
opentelemetry-client-cohttp-lwt.0.12☑☑1
opentelemetry-client-ocurl.0.12☑☑0
opentelemetry-cohttp-lwt.0.12☑☑1
opentelemetry-logs.0.12☑☑0
opentelemetry-lwt.0.12☑☑2
operf-micro.1.1.3☑☑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.80☑☑0
oplsr.8.0.1☒☒0
opomodoro.0.0.2☑☑0
optal.0.3☑☑0
opti.1.0.3☑☑0
optimization1d.0.6.1☑☑0
optiml-transport.0.0.1☒☒0
optint.0.3.0☑☑651
opus.1.0.0☑☑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.20.2☑☑397
ordinal.1.1☑☑0
ordinal_abbreviation.v0.16.0☑☒2
orec.1.0.1☑☑2
orf.1.0.1☒☑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.7.2☑☑3
ortac-dune.0.7.2☑☑0
ortac-qcheck-stm.0.7.2☑☑1
ortac-runtime.0.7.2☑☑4
ortac-runtime-qcheck-stm.0.7.2☑☑1
ortac-wrapper.0.7.2☑☑1
orthologic-coq.0.9.1☒☑0
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☑☑15
osh.0.1☑☒0
oskel.0.3.0☑☑0
osnap.0.3.0☑☑0
ostap.0.6.1☒☒0
otaglibc.0.1.0☑☑0
otf.0.1☑☑0
otfm.0.4.0☑☑6
otoggl.0.3.2☑☒0
otoml.1.0.5☑☑10
otp.0.2☒☒0
otr.1.0.0☑☑0
ott.0.34☑☑12
otto.0.0.2☑☒0
ounit.2.2.7☑☑233
ounit-lwt.2.2.7☑☑0
ounit2.2.2.7☑☑1398
ounit2-lwt.2.2.7☑☑1
owee.0.8☑☑8
owi.0.1☑☑0
owl.1.2☒☒13
owl-base.1.2☑☑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.1☒☒5
owl-top.1.2☒☒1
owork.0.1.1☑☑0
ozulip.0.1☑☑0
p5scm.0.5.0☒☒0
pa_comprehension.0.4☑☒0
pa_monad_custom.v6.0.0☒☒0
pa_ppx.0.20☒☒13
pa_ppx_hashcons.0.11☒☒3
pa_ppx_migrate.0.13☒☒8
pa_ppx_migrate_ocaml_parsetree.0.01☒☒0
pa_ppx_parsetree.0.02☑☒0
pa_ppx_q_ast.0.12☑☒1
pa_ppx_quotation2extension.0.02☒☒1
pa_ppx_regexp.0.05☒☒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.8.0☑☑26
paf-cohttp.0.8.0☑☑0
pageantty.0.0.3☑☑2
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☑☑15
pardi.3.2.2☑☑0
pareto.0.3☑☒0
pari.0.1☒☒0
pari-bindings.0.1☒☒1
parmap.1.2.5☑☑29
parsexp.v0.17.0☒☑1869
parsexp_io.v0.17.0☒☑0
parsite.0.1.2☑☑0
parsley.0.0.1☑☑0
passage.0.1.2☒☒0
patch.3.0.0☑☑40
path_glob.0.3☑☑1
patience_diff.v0.16.0☑☒7
patricia-tree.0.11.0☑☑1
pattern.0.3.2☑☒2
pb.1.0.0☑☑1
pb-plugin.1.0.0☑☒0
pbkdf.1.2.0☑☑494
pbrt.3.1.1☑☑21
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
pcrc.0.25.2☑☑0
pcre.8.0.5☑☑410
pcre2.8.0.3☑☑609
pds.5.42☑☑4
pds-reachability.0.2.3☑☑0
pecu.0.7☑☑92
petrol.1.2.0☑☑0
pf-qubes.0.1.1☑☑0
pg_query.0.9.8☑☑3
pgn_parser.1.0.1☑☑0
pgocaml.4.4.0☑☑16
pgocaml_ppx.4.4.0☑☑1
pgsolver.4.4☑☑1
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.6.0☑☑15
picos_aux.0.6.0☑☑37
picos_io.0.6.0☑☑5
picos_io_cohttp.0.6.0☑☑1
picos_lwt.0.6.0☑☑1
picos_meta.0.6.0☑☑0
picos_mux.0.6.0☑☑2
picos_std.0.6.0☑☑14
piece_rope.0.9.1☑☑0
pilat.1.6☒☒0
piqi.0.7.8☑☒6
piqilib.0.6.16☑☒7
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☑☒0
plist-xml.0.5.1☑☑2
plist-xml-lwt.0.3.0☑☑0
plotkicadsch.0.9.0☑☑0
plotly.1.0.0☑☑0
plplot.5.12.1☑☑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☑☑135
pomap.4.1.2☑☑0
popper.0.1.1☑☑2
portaudio.0.2.3☑☑4
portaudio_c_bindings.19.6.0☒☒0
portia.1.5☒☒0
portmidi.0.4☒☒0
posix-base.2.2.0☑☑15
posix-bindings.3☑☑0
posix-clock.0.4.0-0☑☒0
posix-getopt.2.2.0☑☑1
posix-math.0.3.1-0☑☒1
posix-math2.2.2.0☑☑1
posix-mqueue.0.8.0-0☒☒0
posix-semaphore.0.5.0-0☒☒0
posix-signal.2.2.0☑☑0
posix-socket.3.0.0☑☑7
posix-socket-unix.3.0.0☑☑1
posix-time.1.0.1-0☑☒3
posix-time2.2.2.0☑☑4
posix-types.2.2.0☑☑7
posix-uname.2.2.0☑☑2
posixat.v0.17.0☒☑2
postgresql.5.3.2☒☑19
pp.2.0.0☑☑418
pp-binary-ints.1.0.0☑☑1
pp_loc.2.1.0☑☑23
pplumbing.0.0.16☑☑12
pplumbing-err.0.0.16☑☑15
pplumbing-log.0.0.16☑☑14
pplumbing-log-cli.0.0.16☑☑13
pplumbing-pp-tty.0.0.16☑☑17
pprint.20230830☑☑169
ppx-owl-opt.0.0.1☑☑2
ppx_accessor.v0.16.1☑☒3
ppx_assert.v0.17.0☒☑863
ppx_bap.v0.14.0☑☒107
ppx_base.v0.17.0☒☑875
ppx_bench.v0.17.1☒☑513
ppx_bin_prot.v0.16.0☑☑505
ppx_bitstring.5.0.1☒☑8
ppx_blob.0.9.0☑☑61
ppx_camlrack.0.10.1☑☑0
ppx_catch.0.1.0☑☑0
ppx_cold.v0.17.0☒☑879
ppx_compare.v0.17.0☒☑917
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☑☑509
ppx_cstubs.0.7.0☑☒4
ppx_csv_conv.v0.16.0☑☒4
ppx_custom_printf.v0.17.0☒☑524
ppx_decimal.1.0.2☑☑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☑☑2560
ppx_deriving.6.1.1☑☑877
ppx_deriving_cad.0.2.0☑☑0
ppx_deriving_cmdliner.0.6.0☑☒1
ppx_deriving_decoders.1.0☑☑0
ppx_deriving_encoding.0.4.2☑☑3
ppx_deriving_ezjsonm.0.4.1☑☑0
ppx_deriving_hardcaml.v0.16.0☑☒10
ppx_deriving_hash.0.1.3☑☑2
ppx_deriving_json_schema.1.0.1☑☒0
ppx_deriving_jsonschema.0.0.4☑☑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☑☑11
ppx_deriving_protocol.0.8.1☑☑0
ppx_deriving_qcheck.0.7☑☑1
ppx_deriving_rpc.9.0.0☑☑10
ppx_deriving_scad.1.0.0☑☑0
ppx_deriving_variant_string.1.0.1☑☑0
ppx_deriving_yaml.0.4.1☑☑7
ppx_deriving_yojson.3.10.0☑☑138
ppx_disable_unused_warnings.v0.17.0☒☑510
ppx_distr_guards.0.3☑☑1
ppx_dream_eml.1.0☑☑0
ppx_enumerate.v0.17.0☒☑890
ppx_expect.v0.17.3☒☑906
ppx_expect_nobase.v0.17.2.2☑☑1
ppx_factory.0.2.0☑☑0
ppx_fail.v0.14.0☑☒0
ppx_fields_conv.v0.17.0☒☑829
ppx_fixed_literal.v0.17.0☒☑550
ppx_format.1.0☑☑0
ppx_fun.0.0.9☑☑0
ppx_gen_rec.2.0.0☑☑1
ppx_getenv.2.1☑☑1
ppx_globalize.v0.17.2☒☑876
ppx_hash.v0.17.0☒☑895
ppx_here.v0.17.0☒☑896
ppx_ignore_instrumentation.v0.17.0☒☑510
ppx_import.1.12.0☑☑110
ppx_inline_alcotest.1.0.0☑☑2
ppx_inline_test.v0.17.1☒☑897
ppx_inline_test_nobase.v0.17.0.2☑☑6
ppx_interact.0.2.0☑☑0
ppx_irmin.3.11.0☑☑20
ppx_jane.v0.16.0☑☒505
ppx_js_style.v0.17.1☒☑18
ppx_jsobject_conv.0.21.1☑☑0
ppx_jsonaf_conv.v0.16.0☑☒1
ppx_let.v0.17.1☒☑530
ppx_log.v0.17.0☒☑510
ppx_lun.0.0.1☑☑0
ppx_make.0.3.4☑☑4
ppx_map.0.2.1☑☑0
ppx_marshal.0.3.0☑☑0
ppx_marshal_ext.0.3.0☑☑3
ppx_matches.0.1.0☑☒0
ppx_meta_conv.4.1.0☑☒4
ppx_minidebug.3.0.0☒☑2
ppx_module_timer.v0.17.0☒☑510
ppx_monad.0.2.0☑☑0
ppx_monoid.0.3.3☑☑0
ppx_mysql.1.1.3☑☑0
ppx_optcomp.v0.17.1☒☑879
ppx_optint.0.2.0☑☑0
ppx_optional.v0.17.0☒☑512
ppx_parser.0.2.0☑☑0
ppx_partial.1.0☑☑1
ppx_pattern_bind.v0.17.1☒☑7
ppx_pipebang.v0.17.0☒☑512
ppx_protocol_conv.5.2.3☑☑10
ppx_protocol_conv_json.5.2.3☒☑3
ppx_protocol_conv_jsonm.5.2.3☑☑0
ppx_protocol_conv_msgpack.5.2.3☑☑0
ppx_protocol_conv_xml_light.5.2.3☑☑3
ppx_protocol_conv_xmlm.5.2.3☑☑3
ppx_protocol_conv_yaml.5.2.3☑☑0
ppx_pyformat.0.1.2☑☑0
ppx_python.v0.17.0☒☑1
ppx_rapper.3.1.0☑☑2
ppx_rapper_lwt.3.1.0☑☑0
ppx_regexp.0.5.1☑☑0
ppx_repr.0.7.0☑☑256
ppx_seq.0.3.2☑☑0
ppx_sexp_conv.v0.17.1☒☑1413
ppx_sexp_message.v0.17.0☒☑515
ppx_sexp_value.v0.17.0☒☑526
ppx_show.0.2.1☑☑8
ppx_stable.v0.17.1☒☑510
ppx_stable_witness.v0.17.0☒☑515
ppx_string.v0.17.0☒☑521
ppx_string_conv.v0.17.0☒☑510
ppx_string_interpolation.1.1.0☑☑3
ppx_subliner.0.2.1☑☑0
ppx_system.1.0☑☑0
ppx_test.1.8.0☑☒8
ppx_tools.6.6☑☒883
ppx_trace.0.10☑☑0
ppx_traverse_builtins.v0.10.0☑☒0
ppx_ts.0.1.6☑☑0
ppx_tydi.v0.17.1☒☑510
ppx_type_directed_value.v0.15.0☑☒0
ppx_typed_fields.v0.16.0☑☒4
ppx_typerep_conv.v0.17.1☒☑512
ppx_units.1.0.0☑☑0
ppx_unreachable.1.1☑☑0
ppx_update.0.81☑☑0
ppx_variants_conv.v0.17.1☒☑521
ppx_viewpattern.0.1.1☑☑0
ppx_xml_conv.v0.16.0☑☒0
ppx_yojson.1.3.0☑☑3
ppx_yojson_conv.v0.17.1☒☑19
ppx_yojson_conv_lib.v0.17.0☒☑26
ppxlib.0.37.0☑☑2483
ppxlib-tools.0.37.0☑☑0
ppxlib_jane.v0.17.4☒☑1407
ppxx.2.5.0☑☒9
pratter.5.0.1☑☑1
prbnmcn-basic-structures.0.0.1☑☑94
prbnmcn-cgrph.0.0.2☑☑4
prbnmcn-clustering.0.0.2☑☑1
prbnmcn-dagger.0.0.6☒☑3
prbnmcn-dagger-gsl.0.0.6☒☑1
prbnmcn-dagger-stats.0.0.6☒☑1
prbnmcn-dagger-test.0.0.6☒☑0
prbnmcn-gnuplot.0.0.5☑☑1
prbnmcn-linalg.0.0.1☑☑92
prbnmcn-mcts.0.0.2☑☑0
prbnmcn-proptest.0.0.1☑☑1
prbnmcn-stats.0.0.8☑☑2
prbnmcn-ucb1.0.0.2☑☑1
prc.0.1.0☑☒0
preface.1.1.0☑☑0
prelude.0.5☑☑3
pretty_expressive.0.5☑☑0
prettym.0.0.3☑☑58
primavera.1.0.0☒☑0
primes.1.3.5☑☑0
pringo.1.4☑☑8
print-table.0.1.0☑☑1
printbox.0.12☑☑13
printbox-ext-plot.0.12☑☑1
printbox-html.0.12☑☑4
printbox-md.0.12☑☑4
printbox-text.0.12☑☑11
proc-smaps.0.1.0☑☑0
process.0.2.1☑☑10
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.5.0☑☑237
proj4.0.9.2☒☒0
prolect.1.1.3☒☑0
prom.0.3☑☑0
prometheus.1.2☑☑166
prometheus-app.1.2☑☑25
prometheus-liquidsoap.2☑☑4
promise.1.1.2☑☑3
promise_jsoo.0.4.3☑☑1
promise_jsoo_lwt.0.4.3☑☑0
prooftree.0.14☑☑0
protocell.1.0.0☑☑0
protocol-9p.2.1.0☑☑4
protocol-9p-tool.2.1.0☑☑0
protocol-9p-unix.2.1.0☑☑1
protocol_version_header.v0.16.0☑☒224
proton.1.0.17☑☑0
proverif.2.05☑☑0
proverifdoc.2.05☑☑0
provider.0.0.11☑☑0
prr.0.1.1☑☑0
psmt2-frontend.0.4.0☑☑11
psq.0.2.1☑☑466
psyche.0.0.1☑☑0
ptime.1.2.0☑☑775
ptmap.2.0.5☑☑25
ptset.1.0.1☑☑1
publish.0.3.4+transition☑☑3
pulseaudio.0.1.5☑☑6
pure-html.3.11.1☑☑3
pure-splitmix.0.3☑☑103
pvec.0.1.1☑☑0
pvem.0.0.1☑☑1
pxp.1.2.9☑☒1
py.1.3☑☑0
pyast.0.2.0☑☒0
pyml.20250807☑☑112
pyml_bindgen.0.4.1☑☑0
pyre-ast.0.1.11☑☑1
pythonlib.v0.15.1☑☒0
qbf.0.3☒☒1
qcheck.0.26☑☑65
qcheck-alcotest.0.26☑☑250
qcheck-core.0.26☑☑256
qcheck-lin.0.10☑☑0
qcheck-multicoretests-util.0.10☑☑9
qcheck-ounit.0.26☑☑17
qcheck-stm.0.10☑☑9
qcow.0.12.1☑☒1
qcow-stream.0.12.1☑☑1
qcow-tool.0.12.1☑☒0
qcow-types.0.12.1☑☑3
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☑☑2
qrencode.0.2☒☒0
qtest.2.11.2☑☑20
queenshead.0.1☑☑0
quest.0.1☑☒0
quests.0.1.3☑☑1
quick_print.0.12☑☑0
quickjs.0.1.2☑☑3
quill.1.0.0~alpha1☒☒1
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☑☑92
randoml.0.1.5☑☒0
range.0.8.3☑☑0
rangeSet.0.2.1☑☑0
ranger.0.1.0☑☒0
rankers.2.0.9☒☒0
raven.1.0.0~alpha1☒☒0
rawlink.2.1☑☑3
rawlink-eio.2.1☒☑0
rawlink-lwt.2.1☑☑1
raygui.1.5.1☒☒0
raygun4ocaml.0.1.0☑☒0
raylib.1.5.1☒☒1
rdbg.1.199.0☑☑3
rdf.1.1.0☑☑42
rdf_impls.1.1.0☑☑0
rdf_json_ld.1.1.0☑☑5
rdf_lwt.1.1.0☑☑4
rdf_mysql.1.1.0☑☑0
rdf_postgresql.1.1.0☑☑0
rdf_ppx.1.1.0☑☑23
rdr.1.1☑☒0
re.1.14.0☑☑1664
re2.v0.16.0☒☒27
re_parser.v0.17.0☒☑0
rea.1.0.0☑☑0
react.1.2.2☑☑267
reactiveData.0.3.1☑☑8
reactjs-jsx-ppx.1.0.0☑☑9
readline.0.2☑☑1
reanalyze.2.25.1☑☒0
reason.3.17.0☑☑45
reason-react.0.16.0☑☑11
reason-react-ppx.0.16.0☑☑12
received.0.11.0☑☑0
record_builder.v0.16.0☑☒7
records.1.0.0☑☑0
red-black-tree.1.0.5☑☑0
reddit_api_kernel.0.2.1☑☒1
redirect.0.2.1☑☑2
redis.0.8☑☑14
redis-lwt.0.8☑☑12
redis-sync.0.8☑☑0
reedsolomon.0.3☑☑0
refl.0.4.1☑☒6
regenerate.0.2☑☒0
regex_parser_intf.v0.17.0☒☑25
regrade.0.1.0☑☑0
regular.2.5.0☑☒94
relude.3.0.0☒☑0
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☑☑259
repr-bench.0.7.0☑☑0
repr-fuzz.0.7.0☑☑0
res.5.0.2☑☑12
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☑☑242
resto-acl.1.2☑☑137
resto-cohttp.1.2☑☑153
resto-cohttp-client.1.2☑☑148
resto-cohttp-self-serving-client.1.2☑☑125
resto-cohttp-server.1.2☑☑135
resto-directory.1.2☑☑239
resto-json.1.2☑☑1
result.1.5☑☑3989
revops.2.5☑☑0
rfc1951.1.5.3☑☑0
rfc6287.1.0.4☑☑0
rfc7748.1.0☑☒0
rfsm.2.0☒☑0
rhythm.0.0.1☑☑0
rich-string.1.0.0☒☑0
ringo.1.1.0☑☑244
ringo-lwt.0.9☑☒0
rio.0.0.8☒☑10
river.0.4☑☑0
rlp.0.1☑☒0
rml.1.09.07☑☒3
rmlbuild.0.14.0-00☑☒0
rock.0.20.0☑☑21
rocq-core.9.1.0☑☑17
rocq-devtools.9.1.0☑☑0
rocq-native.1☑☒30
rocq-prover.9.0.0☑☑1
rocq-runtime.9.1.0☑☑23
rocq-stdlib.9.0.0☑☑16
rocqide.9.1.0☑☑0
roman.0.2☑☑0
root1d.0.5.1☑☑0
rope.0.6.3☒☑2
rosa.0.2.0☑☑0
rosetta.0.3.0☑☑29
routes.2.0.0☑☑7
rpc.9.0.0☑☑1
rpclib.9.0.0☑☑13
rpclib-html.9.0.0☑☑0
rpclib-js.9.0.0☑☑0
rpclib-lwt.9.0.0☑☑2
rpmfile.0.8.0☑☑0
rpmfile-cli.0.4.0☒☑0
rpmfile-eio.0.5.0☒☑1
rpmfile-unix.0.5.0☑☑0
rresult.0.7.0☑☑1058
rsdd.0.1.0☑☒0
rss.3.0☑☑1
rtop.3.17.0☑☑0
rtree.0.1.1☑☑0
rune.1.0.0~alpha1☒☒5
rungen.0.0.1☑☑0
runtime_events_tools.0.5.3☒☒0
runtime_events_tools_bare.0.5.3☒☒0
rusage.1.0.0☑☑231
rust-staticlib-gen.0.2.2☑☑0
rust-staticlib-virtual.0.2.2☑☑1
safa.1.4☑☑1
safemoney.0.3.0☑☒0
safepass.3.1☑☑21
saga.1.0.0~alpha1☒☑4
sail.0.20☑☑0
sail_c_backend.0.20☑☑0
sail_coq_backend.0.20☑☑0
sail_doc_backend.0.20☑☑0
sail_latex_backend.0.20☑☑0
sail_lean_backend.0.20☑☑0
sail_lem_backend.0.20☑☑0
sail_manifest.0.20☑☑1
sail_ocaml_backend.0.20☑☑0
sail_output.0.20☑☑0
sail_smt_backend.0.20☑☑0
sail_sv_backend.0.20☑☑0
salsa20.1.2.0☑☑0
salsa20-core.2.0.0☑☑0
salto-analyzer.0.1☒☒0
saltoIL.0.1.11☒☒1
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☑☑0
saturn.1.0.0☑☑13
saturn_lockfree.0.5.0☑☑3
savvy.0.4.0☑☑0
sawja.1.5.12☑☑0
scad_ml.1.1.0☑☑1
scfg.0.5☑☑1
scgi.1.0☑☑0
schroedinger.0.1.1☒☒0
scid.1.0☑☒0
scipy.sp1.5-0.3.1☑☑1
scope.1.1☒☑0
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☑☑237
sedlex.3.7☑☑1915
sek.20201012☑☑0
sel.0.7.0☑☑2
semantic_version.v0.16.0☑☒2
semaphore-compat.1.0.2☑☑233
semv.1.0.0☑☒0
semver.0.2.1☑☑0
semver2.1.2.0☑☑0
sendmail.0.12.0☑☑8
sendmail-lwt.0.12.0☑☑4
sendmail-miou-unix.0.12.0☒☑0
sendmail-mirage.0.12.0☑☑0
sendmsg.0.0.2☑☑0
seq.base☑☑2722
seqes.0.4☑☑231
sequence.0.2☑☒0
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☑☑16
session-cohttp.0.5.0☑☑8
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☑☑0
session-webmachine.0.5.0☑☑0
sessions.0.1.0☑☒0
setcore.1.0.2☑☑0
setr.0.1.1☑☒1
sexp_decode.0.7☑☑2
sexp_diff.v0.16.0☑☒1
sexp_diff_kernel.v0.14.0☑☒1
sexp_grammar.v0.16.0☑☒2
sexp_pretty.v0.17.0☒☑264
sexp_select.v0.16.0☑☒1
sexp_string_quickcheck.v0.16.0☑☒0
sexplib.v0.17.0☒☑1857
sexplib0.v0.17.0☑☑2735
sexps-rewriter.0.0.3☒☑1
sfml.0.09.2☒☒0
sgf.1.0.1☑☑0
sha.1.15.4☑☑59
shades.1.0☑☑0
shapefile.0.2.1☑☑0
shared-block-ring.3.0.1☑☑0
shared-memory-ring.3.2.1☑☑1232
shared-memory-ring-lwt.3.2.1☑☑1231
shared-secret.0.4☑☑0
shcaml.0.2.1☒☒0
sherlodoc.3.1.0☑☑13
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
slice.0.0.2☑☑1
slipshow.0.6.0☒☒1
slug.1.0.1☑☑2
smart-print.0.3.0☑☑3
smaws-clients.0.1~preview1☒☑0
smaws-lib.0.1~preview1☒☑1
smbc.0.6.1☑☒0
smol.0.0.1☑☑2
smol-helpers.0.0.1☑☑1
smtlib-utils.0.5☑☑0
smtml.0.13.0☒☒0
smtp.0.3☑☑0
snappy.0.1.2☒☒0
snf_mcp.0.2.1☒☒0
snoke.0.3☒☒0
sodium.0.6.0☒☒2
sodium-fmt.1.0.0☒☒0
solid.0.5.0☒☒2
solid_server.0.5.0☒☒0
solid_tools.0.5.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.10.0☑☑2
solo5-elftool.0.4.0☑☑1
sortedseq_intersect.0.2.0☑☑0
sosa.0.3.0☑☒7
soundtouch.0.1.9☒☒4
soupault.4.11.0☑☑0
sowilo.1.0.0~alpha1☒☒2
spatial-shell.6☒☑0
spawn.v0.15.1☑☑329
spdx_licenses.1.4.0☑☑20
spectrum.0.6.0☑☑1
speex.1.0.0☑☑4
spelll.0.4☑☑24
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☒☑512
spoke.0.0.4☑☑0
spotify-web-api.0.2.1☑☑0
spotify_ml.0.0.2☒☑0
spotlib.4.3.0☑☒6
spreadsheet.0.1☑☒0
spurs.0.1.1☒☑0
sqids.0.1.0☑☑0
sqlgg.20231201☑☑0
sqlite3.5.3.1☑☑57
sqlite3_utils.0.5☑☑0
squirrel.0.1☑☑0
srs.2.0.0☒☒0
srt.0.3.4☑☑4
ssh-agent.0.4.1☑☑0
ssl.0.7.0☑☑396
starpath.0.1.2☑☑0
statocaml.0.1.0☑☑9
statocaml_changelog.0.1.0☑☑7
statocaml_community.0.1.0☑☑3
statocaml_db.0.1.0☑☑2
statocaml_github.0.1.0☑☑7
statocaml_go.0.1.0☒☑0
statocaml_gui.0.1.0☒☒1
statocaml_html.0.1.0☒☑2
statocaml_plots.0.1.0☑☑4
statocaml_profile.0.1.0☑☑5
statverif.1.97pl1.2☑☒0
stb_image.0.5☑☑1
stb_image_write.0.2☑☑0
stb_truetype.0.7☑☑6
stdcompat.21.1☑☑167
stdint.0.7.2☑☑280
stdint-literals.1.0☑☑0
stdio.v0.17.0☒☑1873
stdlib-diff.0.1.3☑☑0
stdlib-random.1.2.0☑☑199
stdlib-shims.0.3.0☑☑2743
stdune.3.20.2☑☑394
stemmer.0.2☑☒0
stemming.0.2.1☑☒0
stitch.0.0.0☑☑0
stk.0.5.0☒☑6
stk_iconv.0.5.0☑☑1
stk_ocf.0.5.0☒☑3
stk_ppx.0.5.0☒☑7
stk_rdf.0.5.0☒☑1
stk_xml.0.5.0☒☑0
stog.1.1.0☒☑16
stog_all.1.1.0☒☑0
stog_asy.1.1.0☒☑2
stog_dot.1.1.0☒☑2
stog_extern.1.1.0☒☑2
stog_markdown.1.1.0☒☑2
stog_multi_doc.1.1.0☒☑2
stog_nocaml.1.1.0☒☑2
stog_noexec.1.1.0☒☑2
stog_plugins.1.1.0☒☑1
stog_rdf.1.1.0☒☑2
stog_rel_href.1.1.0☒☑2
stog_server.1.1.0☒☑2
stog_server_multi.1.1.0☒☑1
stog_sitemap.1.1.0☒☑2
stog_writing.1.1.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☑☑894
stringx.0.3.0☒☑0
strymonas-pure.2.1.1☑☑0
sturgeon.0.4.2☑☑1
styled-ppx.0.56.0☒☑0
subprocess.0.2.1☒☑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.1.1☒☒0
swagger.0.2.0☑☒1
swapfs.0.1.0☑☑0
swhid.0.2☑☑0
swhid_core.0.1☑☑38
swipl.0.5☑☑0
symkat.1.4☑☑0
synchronizer.0.1☒☑0
syncweb.0.5.1☑☒0
syndic.1.7.0☑☑2
synopsis.1.1☒☑0
sys-socket.1.0.0☑☑1
sys-socket-unix.1.0.0☑☑0
syslog.2.0.2☑☑4
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
tacit.1.0.0☑☑0
taglib.0.3.10☒☒3
talaria-bibtex.0.5☑☑1
talon.1.0.0~alpha1☒☑0
tar.3.3.0☑☑116
tar-eio.3.3.0☒☑0
tar-mirage.3.3.0☑☑0
tar-unix.3.3.0☑☑2
tcalc.1.1.1☑☑0
tcpip.9.0.1☑☑78
tcs-lib.0.6☑☑3
tcx.0.25.0☑☑0
tdigest.2.2.1☒☑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
term-tools.0.0.2☑☑0
termbox.0.1.0☒☒0
terminal.0.5.0☑☑238
terminal_size.0.2.0☑☑7
terminus.0.1.0☑☒2
terminus-cohttp.0.1.0☑☒0
terminus-hlc.0.1.0☑☒0
terml.0.0.1☒☑0
testo.0.2.0☑☑0
testo-diff.0.2.0☑☑3
testo-lwt.0.2.0☑☑0
testo-util.0.2.0☑☑2
testu01.1.2.3-0.2☒☒3
text.0.8.1☑☒1
text-tags.2.5.0☑☒10
textmate-language.0.4.0☑☑4
textrazor.0.1.1☑☑0
textutils_kernel.v0.16.0☑☒221
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☒☒3
tezos-baking-alpha-commands.17.3☒☒2
tezos-base.17.3☒☒169
tezos-base-test-helpers.17.3☒☒16
tezos-base58.1.0.0☑☑9
tezos-benchmark.20.1☒☒84
tezos-bls12-381-polynomial.1.0.1☒☒135
tezos-clic.17.3☑☒59
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☒☒4
tezos-client-006-PsCARTHA.17.3☒☒4
tezos-client-007-PsDELPH1.17.3☒☒4
tezos-client-008-PtEdo2Zk.17.3☒☒4
tezos-client-009-PsFLoren.17.3☒☒4
tezos-client-010-PtGRANAD.17.3☒☒4
tezos-client-011-PtHangz2.17.3☒☒4
tezos-client-012-Psithaca.17.3☒☒4
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☒☒7
tezos-client-base.17.3☒☒58
tezos-client-base-unix.17.3☒☒34
tezos-client-commands.17.3☒☒47
tezos-client-demo-counter.20.1☒☒3
tezos-client-genesis.20.1☒☒3
tezos-context.17.3☒☒154
tezos-context-hash.1.0.0☑☑2
tezos-context-hash-irmin.1.0.0☑☑0
tezos-context-ops.17.3☒☒38
tezos-crypto.17.3☒☒171
tezos-crypto-dal.17.3☒☒142
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☑☒179
tezos-event-logging.17.3☑☒172
tezos-event-logging-test-helpers.17.3☑☒4
tezos-hacl.17.3☒☒172
tezos-hacl-glue.12.3☑☑17
tezos-hacl-glue-unix.12.3☑☒15
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☒☒146
tezos-lwt-result-stdlib.17.3☑☒180
tezos-micheline.17.3☑☒169
tezos-mockup.17.3☒☒36
tezos-mockup-commands.17.3☒☒35
tezos-mockup-proxy.17.3☒☒39
tezos-mockup-registration.17.3☒☒37
tezos-openapi.20.1☑☑8
tezos-p2p.17.3☒☒43
tezos-p2p-services.17.3☒☒103
tezos-plompiler.1.0.1☒☒133
tezos-plonk.1.0.1☒☒132
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☒☒5
tezos-protocol-demo-noops.20.1☒☒2
tezos-protocol-environment.17.3☒☒139
tezos-protocol-environment-packer.12.3☑☑2
tezos-protocol-environment-sigs.12.3☑☑0
tezos-protocol-environment-structs.12.3☑☒0
tezos-protocol-genesis.20.1☒☒5
tezos-protocol-plugin-007-PsDELPH1.17.3☒☒7
tezos-protocol-plugin-007-PsDELPH1-registerer.17.3☒☒2
tezos-protocol-plugin-008-PtEdo2Zk.17.3☒☒7
tezos-protocol-plugin-008-PtEdo2Zk-registerer.17.3☒☒2
tezos-protocol-plugin-009-PsFLoren.17.3☒☒7
tezos-protocol-plugin-009-PsFLoren-registerer.17.3☒☒2
tezos-protocol-plugin-010-PtGRANAD.17.3☒☒7
tezos-protocol-plugin-010-PtGRANAD-registerer.17.3☒☒2
tezos-protocol-plugin-011-PtHangz2.17.3☒☒7
tezos-protocol-plugin-011-PtHangz2-registerer.17.3☒☒2
tezos-protocol-plugin-012-Psithaca.17.3☒☒7
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☒☒11
tezos-protocol-plugin-alpha-registerer.17.3☒☒2
tezos-protocol-updater.17.3☒☒52
tezos-proxy.17.3☒☒36
tezos-proxy-server-config.20.1☒☒2
tezos-requester.17.3☒☒12
tezos-rpc.17.3☑☒172
tezos-rpc-http.17.3☒☒61
tezos-rpc-http-client.17.3☒☒53
tezos-rpc-http-client-unix.17.3☒☒49
tezos-rpc-http-server.17.3☒☒8
tezos-rust-libs.1.7☑☑0
tezos-sapling.17.3☒☒144
tezos-sapling-parameters.1.1.0☑☑97
tezos-scoru-wasm.17.3☒☒143
tezos-scoru-wasm-fast.17.3☒☒7
tezos-scoru-wasm-helpers.17.3☒☒3
tezos-shell.17.3☒☒11
tezos-shell-context.17.3☒☒66
tezos-shell-services.17.3☒☒101
tezos-shell-services-test-helpers.16.1☒☒1
tezos-signer-backends.17.3☒☒48
tezos-signer-services.17.3☒☒49
tezos-smart-rollup-016-PtMumbai.17.3☒☒15
tezos-smart-rollup-017-PtNairob.17.3☒☒16
tezos-smart-rollup-alpha.17.3☒☒11
tezos-smart-rollup-layer2-016-PtMumbai.17.3☒☒3
tezos-smart-rollup-layer2-017-PtNairob.17.3☒☒4
tezos-stdlib.17.3☑☒180
tezos-stdlib-unix.17.3☒☒171
tezos-store.17.3☒☒13
tezos-test-helpers.17.3☑☒24
tezos-test-helpers-extra.16.1☒☒2
tezos-tree-encoding.17.3☒☒147
tezos-tx-rollup-015-PtLimaPt.16.1☒☒3
tezos-validation.17.3☒☒26
tezos-version.17.3☒☒104
tezos-wasmer.17.3☒☒8
tezos-webassembly-interpreter.17.3☒☒145
tezos-webassembly-interpreter-extra.17.3☒☒4
tezos-workers.17.3☒☒12
tezt.4.2.0☑☑159
tezt-bam.0.4☑☑0
tezt-performance-regression.17.3☑☒2
tezt-tezos.20.1☒☒14
tgls.0.9.1☑☑1
theora.1.0.0☑☑6
thread-local-storage.0.2☑☑32
thread-table.1.0.0☑☑90
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☒☑856
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☑☒245
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.19☑☑8
tiny_httpd_camlzip.0.19☑☑1
tiny_json.1.1.6☑☒5
tinyfiledialogs.1.0☑☑0
tip-parser.0.6☑☑1
tjr_simple_earley.2017-11-14e☑☑0
tldr.0.3.0☑☑0
tls.2.0.3☑☑452
tls-eio.2.0.3☒☑9
tls-liquidsoap.1☑☑4
tls-lwt.2.0.3☑☑375
tls-miou-unix.2.0.3☒☑6
tls-mirage.2.0.3☑☑52
toc.0.1.0☑☑0
tofn.0.12☑☑0
togglelog.0.1.1☑☑0
toml.7.1.0☑☑21
toml-cconv.5.0.0☑☑0
toml_cconv.7.0.0☑☑0
tophide.1.1.0☒☑1
topiary.0.6.0☑☑1
topkg.1.1.0☑☑2536
topkg-care.1.1.0☑☑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.10☑☑30
trace-fuchsia.0.10☑☑1
trace-tef.0.10☑☑8
tracy-client.0.6☑☑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.7.2☑☒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☑☑233
trs.1.0.0☑☑0
tsdl.1.1.0☑☑26
tsdl-image.0.6☑☑19
tsdl-mixer.0.6☑☒0
tsdl-ttf.0.6☑☑18
tsort.2.2.0☑☑18
ttweetnacl.0.1.0☑☑0
tty.0.0.2☒☑10
tuareg.3.0.1☑☑2
tube.4.4.0☑☑0
tuntap.2.0.1☑☑2
twirp_cohttp_lwt_unix.0.2☑☑0
twirp_core.0.2☑☑3
twirp_ezcurl.0.2☑☑0
twirp_tiny_httpd.0.2☑☑0
twostep.1.0.1☑☑2
tyabt.0.1.0☑☑0
type_conv.113.00.02☑☒11
type_eq.0.0.1☑☑1
type_id.0.0.1☑☑0
typeid.2.0.0☑☑0
typerep.v0.17.1☒☑513
typeset.0.4☑☑0
tyre.0.5☑☑3
tyxml.4.6.0☑☑112
tyxml-jsx.4.6.0☑☑2
tyxml-lwd.0.4☑☑0
tyxml-ppx.4.6.0☑☑2
tyxml-syntax.4.6.0☑☑4
ubase.0.20☑☑3
ubpf.0.2☒☒0
ucaml.0.1☒☒0
uchar.0.0.2☑☑2032
uecc.0.4☑☑1
uint.2.0.1☑☑17
ulex.1.2☑☒19
ulex-camlp5.1.3☑☒0
ulid.0.1☑☑0
um-abt.0.1.7☑☑0
unidecode.0.4.0☑☑0
unikraft-musl.0.18.0☑☑0
unionFind.20250818☑☑8
unison.2.53.7☑☑1
unison-gui.2.53.7☑☑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☑☒6
unix-unistd.0.4.0☑☑0
unstrctrd.0.4☑☑61
uri.4.4.0☑☑877
uri-re.4.4.0☑☑0
uri-sexp.4.4.0☑☑419
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.1.0☑☑2
uspf-lwt.0.1.0☑☑0
uspf-mirage.0.1.0☑☑0
uspf-unix.0.0.4☑☑0
utop.2.16.0☑☑210
uucd.17.0.0☑☑3
uucp.17.0.0☑☑531
uuidm.0.9.10☑☑383
uunf.17.0.0☑☑557
uuseg.17.0.0☑☑281
uutf.1.0.4☑☑1434
uuuu.0.3.0☑☑27
valentine.1.0.0☑☒0
validate.1.1.0☒☑0
validator.0.2.3☑☑0
variantslib.v0.17.0☒☑522
varint.1.0☑☒0
varray.0.2☑☑0
vcardgen.1.2☑☑0
vchan.6.0.2☑☑14
vchan-xen.6.0.2☑☑2
vdom.0.3☑☑4
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☑☑240
vector3.1.0.0☑☑10
vendredi.0.1.0☑☑0
vercel.0.1.0☑☒0
vg.0.9.5☑☑6
vhdlib.0.9.1☒☒0
vif.0.0.1~beta1☒☑0
virtual_dom.v0.16.0☑☒7
visitors.20251010☑☑10
vlq.0.2.1☑☒0
vlt.0.2.5☑☑28
voaacenc.0.1.1☒☒0
vocal.0.1☑☑0
volgo.0.0.21☑☑10
volgo-base.0.0.21☒☑2
volgo-git-backend.0.0.21☑☑7
volgo-git-eio.0.0.21☒☑1
volgo-hg-backend.0.0.21☑☑5
volgo-hg-eio.0.0.21☒☑0
volt.1.4☑☒1
voqc.0.3.0☑☒0
vorbis.1.0.0☑☑4
vpt.5.0.0☑☑1
vscoq-language-server.2.2.6☑☑0
vsrocq-language-server.2.3.1☑☑0
vue-jsoo.0.3☑☑0
vue-ppx.0.1.0☑☑0
wall.0.4.1☒☒0
wamp.1.2☑☒2
wamp-msgpck.1.2☑☒0
wamp-yojson.1.2☑☒0
wasm.2.0.2☑☑0
wasm_of_ocaml-compiler.6.2.0☑☑2
wasmer.1.2.1☒☒0
wayland.2.2☒☑0
waylaunch.0.2.0☒☒0
wcs-lib.2017-05-26.01☑☒0
wcwidth.1.0.1☑☑0
webauthn.0.2.0☑☑0
webbrowser.0.6.2☑☑3
weberizer.0.8☑☒0
webidl.1.4☑☑3
webmachine.0.7.0☑☑18
websocket.2.17☑☑29
websocket-lwt.2.12☑☒1
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.8.2☑☑10
why3-coq.1.8.2☑☑2
why3-ide.1.8.2☑☑0
why3find.1.2.0☑☑0
wikitext.3.0.1☑☑0
win-error.1.0☑☑5
win-eventlog.0.4☑☑1
ws-server.0.1☑☑0
wseg.0.3.0☑☒1
wtf8.1.0.2☑☑1
wtr.3.0.0☑☑1
wtr-ppx.3.0.0☑☑0
wu-manber-fuzzy-search.0.1.0☑☑0
x509.1.0.6☑☑493
x86_64-esperanto.0.0.6☑☒0
xapi-backtrace.0.7☑☑4
xapi-rrd.1.12.0☑☑0
xapi-stdext-date.4.24.0☑☑0
xapi-stdext-encodings.4.24.0☑☑0
xapi-stdext-pervasives.4.24.0☑☑3
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.20.2☑☑221
xdg-basedir.0.0.5☑☑3
xedbindings.0.11☑☑0
xen-evtchn.2.1.0☑☑1
xen-gnt.4.0.2☑☑1
xenstore.2.4.0☑☑1235
xenstore-tool.1.5.0☑☑0
xenstore_transport.1.5.0☑☑16
xkbcommon.0.1☑☑0
xlsx2csv.0.1.2☑☑0
xmelly.1.0.0☑☑0
xml-light.2.5☑☑35
xmldiff.0.7.0☑☑8
xmldiff_js.0.7.0☑☑3
xmlm.1.4.0☑☑158
xmlplaylist.0.1.5☑☑4
xoshiro.0.1☑☑0
xtmpl.1.1.0☑☑42
xtmpl_js.1.1.0☑☑3
xtmpl_ppx.1.1.0☑☑31
xxhash.0.1☒☒0
yajl.0.7.3☒☒0
yaml.3.2.0☑☑129
yaml-sexp.3.2.0☑☑2
yices2.0.0.3☒☒1
yices2_bindings.0.2☒☒0
yocaml.2.6.0☒☑12
yocaml_cmark.1.0.0☑☑0
yocaml_cmarkit.2.6.0☒☑0
yocaml_eio.2.6.0☒☑0
yocaml_git.2.6.0☒☑0
yocaml_jingoo.2.6.0☒☑0
yocaml_markdown.2.6.0☒☑0
yocaml_mustache.2.6.0☒☑0
yocaml_omd.2.6.0☒☑0
yocaml_otoml.2.6.0☒☑0
yocaml_runtime.2.6.0☒☑3
yocaml_syndication.2.6.0☒☑0
yocaml_unix.2.6.0☒☑0
yocaml_yaml.2.6.0☒☑0
yojson.3.0.0☑☑2018
yojson-five.3.0.0☑☑1
yosqlite.0.2☒☑0
yurt.0.6☑☑0
yuscii.0.3.0☑☑27
yuujinchou.5.2.0☒☑2
z3.4.15.2☑☑35
z3_tptp.4.11.2☑☑0
zanuda.2.0.0☑☑0
zar.0.9.3☑☑0
zarith.1.14☑☑1043
zarith_stubs_js.v0.17.0☒☑276
zarr.0.1.0☑☑3
zarr-eio.0.1.0☒☑0
zarr-lwt.0.1.0☑☑0
zarr-sync.0.1.0☑☑0
zdd.0.5☑☑0
zed.3.2.3☑☑229
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☑☑17
zmq-eio.5.3.0☒☑0
zmq-lwt.5.3.0☑☑4
zstandard.v0.15.0☒☒0
zstd.0.4☑☑1
zxcvbn.2.4+1☑☑0