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: 4142
Packages failing with current filters: 90
Packages whose dependencies failed with current filters: 84

Run made on the 2024-12-10 21:27:21


4.084.094.104.114.124.134.145.05.15.2number of revdeps
0install.2.18☑☑☑☑☑☑☑☑☑☑1
0install-gtk.2.18☑☑☑☑☑☑☑☑☑☑0
0install-solver.2.18☑☑☑☑☑☑☑☑☑☑12
ANSITerminal.0.8.5☑☑☑☑☑☑☑☑☑☑41
BetterErrors.0.0.1☑☑☑☑☑☑☑☒☒☒12
DAGaml.0.02☑☑☑☑☑☑☑☒☒☒0
DkSDKFFIOCaml_Std.1.0.0~1☒☒☒☒☒☒☑☒☒☒0
DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1☑☑☑☑☑☑☑☑☑☑1
FPauth-core.1.0.0☒☒☒☒☒☒☒☒☒☒3
FPauth-responses.1.0.0☒☒☒☒☒☒☒☒☒☒1
FrontC.4.1.0☑☑☑☑☑☑☑☑☑☑14
GT.0.5.3☒☒☒☒☒☒☑☒☒☑4
General.0.7.0☑☑☑☑☒☒☒☒☒☒4
GuaCaml.0.05☒☒☒☒☒☑☑☑☑☑2
ISO3166.0.1.0☑☑☑☑☑☑☑☑☑☑0
ISO8601.0.2.6☑☑☑☑☑☑☑☑☑☑48
MlFront_Cli.2.1.4~prerel2☒☒☒☒☒☒☑☑☑☑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.17.0☒☒☒☒☒☒☒☒☑☑7
accessor.v0.17.0☒☒☒☒☒☒☒☒☑☑4
accessor_async.v0.17.0☒☒☒☒☒☒☒☒☑☑0
accessor_base.v0.17.0☒☒☒☒☒☒☒☒☑☑2
accessor_core.v0.17.0☒☒☒☒☒☒☒☒☑☑1
acgtk.2.1.0☒☒☒☒☒☒☑☑☑☑0
aches.1.1.0☑☑☑☑☑☑☑☑☑☑245
aches-lwt.1.1.0☑☑☑☑☑☑☑☑☑☑233
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☑☑☑☑☑☑☑☑☑☑30
ago.0.4☑☑☑☑☑☑☑☒☒☒0
agrid.0.1☑☑☑☑☑☑☑☑☑☑1
ahrocksdb.0.2.2☒☒☒☒☒☒☒☒☒☒0
aifad.2.3.1☑☑☑☑☑☑☑☑☑☑0
aio.0.0.3☑☑☑☑☑☑☑☒☒☒0
alba.0.4.4☑☑☑☑☑☑☑☑☑☑0
albatross.2.3.0☒☒☒☒☒☑☑☑☑☑0
alcotest.1.8.0☑☑☑☑☑☑☑☑☑☑871
alcotest-async.1.8.0☒☒☒☒☒☒☑☑☑☑5
alcotest-js.1.8.0☑☑☑☑☑☑☑☑☑☑0
alcotest-lwt.1.8.0☑☑☑☑☑☑☑☑☑☑142
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
alsa.0.3.0☑☑☑☑☑☑☑☑☑☑6
alt-ergo.2.6.0☑☑☑☑☑☑☑☑☑☑13
alt-ergo-free.2.2.0☑☑☑☑☑☑☑☒☒☒8
alt-ergo-lib.2.6.0☑☑☑☑☑☑☑☑☑☑16
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-async.2.3.0☒☒☒☒☒☒☑☑☑☑0
amqp-client-lwt.2.3.0☒☒☒☒☒☒☑☑☑☑0
ancient.0.9.1☑☑☑☑☑☑☑☒☒☒1
anders.1.1.1☒☒☑☑☑☑☑☑☑☑0
angstrom.0.16.1☑☑☑☑☑☑☑☑☑☑4443
angstrom-async.0.16.1☑☑☑☑☑☑☑☑☑☑3
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
anthill.0.1☑☑☑☑☒☒☒☒☒☒0
antic.0.4.0☒☒☑☑☑☑☑☑☑☑4
anycache.0.7.4☑☑☑☑☑☑☑☒☒☒2
anycache-async.0.7.4☑☑☒☒☒☒☒☒☒☒0
anycache-lwt.0.7.4☑☑☑☑☑☑☑☒☒☒0
ao.0.2.4☑☑☑☑☑☑☑☑☑☑6
apero-core.0.4.7☑☑☒☒☒☒☒☒☒☒3
apero-net.0.4.7☑☑☒☒☒☒☒☒☒☒0
apero-time.0.4.7☑☑☒☒☒☒☒☒☒☒0
api-watch.0.1.1☒☒☒☒☒☒☒☒☒☑0
apron.v0.9.15☑☑☑☑☑☑☑☑☑☑19
apronext.1.0.4☑☑☑☑☑☑☑☑☑☑3
arb.0.4.0☒☒☑☑☑☑☑☑☑☑4
archetype.1.5.2☑☑☑☑☑☑☑☑☑☑0
archi.0.2.0☑☑☑☑☑☑☑☑☑☑2
archi-async.0.2.0☑☑☑☑☑☑☑☑☑☑0
archi-lwt.0.2.0☑☑☑☑☑☑☑☑☑☑0
archimedes.0.4.19☑☑☑☑☑☑☑☒☒☒5
archsat.1.1☑☑☑☑☑☑☑☒☒☒0
areas-and-adversaries.1.0☒☒☒☒☒☒☒☒☑☑0
arg-complete.0.1.0☑☑☑☑☑☑☑☑☑☑2
argon2.1.0.2☑☑☑☑☑☑☑☑☑☑2
argsh.0.1.0☒☒☒☒☒☑☑☑☑☑0
arp.3.1.1☑☑☑☑☑☑☑☑☑☑640
arp-mirage.2.2.1☑☑☑☑☑☑☑☑☑☑2
arrakis.1.0.0☒☒☒☒☒☒☑☑☑☑0
arrayjit.0.4.1☒☒☒☒☒☒☒☒☒☑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☒☒☒☒☒☑☑☑☑☑660
assertions.0.1☑☑☑☑☑☑☑☒☒☒0
assimp.0.3☑☑☑☑☑☑☑☑☑☑0
ast_generic.1.8.0☒☒☒☒☑☑☑☑☑☒0
astring.0.8.5☑☑☑☑☑☑☑☑☑☑4443
async.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
async-uri.0.4.0☒☒☒☒☒☒☑☑☑☑0
async_durable.v0.17.0☒☒☒☒☒☒☒☒☑☑2
async_extra.v0.17.0☒☒☒☒☒☒☒☒☑☑4
async_find.v0.17.0☒☒☒☒☒☒☒☒☑☑3
async_graphics.0.7.0☑☑☑☑☑☑☑☒☒☒0
async_inotify.v0.17.0☒☒☒☒☒☒☒☒☑☑1
async_interactive.v0.17.0☒☒☒☒☒☒☒☒☑☑0
async_js.v0.17.0☒☒☒☒☒☒☒☒☑☒6
async_kernel.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
async_log.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
async_rpc_kernel.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
async_rpc_websocket.v0.17.0☒☒☒☒☒☒☒☒☒☒2
async_sendfile.v0.17.0☒☒☒☒☒☒☒☒☑☑1
async_shell.v0.17.0☒☒☒☒☒☒☒☒☑☑2
async_smtp.v0.17.0☒☒☒☒☒☒☒☒☑☑0
async_ssl.v0.17.0-1☒☒☒☒☒☒☒☒☑☑506
async_udp.v0.17.0☒☒☒☒☒☒☒☒☑☑1
async_unix.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
async_websocket.v0.17.0☒☒☒☒☒☒☒☒☑☑7
atable.0.1☑☑☑☑☑☑☑☑☑☑0
atacama.0.0.5☒☒☒☒☒☒☒☒☒☒2
atd.2.15.0☑☑☑☑☑☑☑☑☑☑67
atd2cconv.0.0.0☑☑☑☑☑☑☑☒☒☒0
atdd.2.15.0☑☑☑☑☑☑☑☑☑☑0
atdgen.2.15.0☑☑☑☑☑☑☑☑☑☑59
atdgen-codec-runtime.2.15.0☑☑☑☑☑☑☑☑☑☑1
atdgen-runtime.2.15.0☑☑☑☑☑☑☑☑☑☑59
atdj.2.15.0☑☑☑☑☑☑☑☑☑☑0
atdpy.2.15.0☑☑☑☑☑☑☑☑☑☑0
atds.2.15.0☑☑☑☑☑☑☑☑☑☑0
atdts.2.15.0☑☑☑☑☑☑☑☑☑☑1
atomic.base☒☒☒☒☑☑☑☑☑☑4
augeas.0.6☑☒☒☒☒☒☒☒☒☒0
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-async.1.2☑☑☑☑☑☑☑☑☑☑0
aws-autoscaling.1.2☑☑☑☑☑☑☑☑☑☑0
aws-cloudformation.1.2☑☑☑☑☑☑☑☑☑☑0
aws-cloudtrail.1.2☑☑☑☑☑☑☑☑☑☑0
aws-cloudwatch.1.2☑☑☑☑☑☑☑☑☑☑0
aws-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-async.4.8.1☒☒☒☒☒☒☑☑☑☑0
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
awsm.0.1.0☒☒☒☑☑☑☑☑☒☒2
awsm-async.0.1.0☒☒☒☒☒☒☒☒☒☒0
awsm-codegen.0.1.0☒☒☒☑☑☑☑☑☒☒3
awsm-lwt.0.1.0☒☒☒☑☑☑☑☑☒☒0
azblob.0.1.0☑☑☑☑☑☑☑☑☑☑1
azblob-async.0.1.0☑☑☑☑☑☑☑☒☒☒0
azure-cosmos-db.0.2.4☑☑☑☑☑☑☑☑☑☑0
b0.0.0.5☑☑☑☑☑☑☑☑☑☑1
babel.v0.17.0☒☒☒☒☒☒☒☒☑☑4
baby.20241204☒☒☒☒☒☒☑☑☑☑0
backoff.0.1.1☒☒☒☒☑☑☑☑☑☑21
bag.1.0.0☑☑☑☑☑☑☑☑☑☑0
baguette_sharp.2.2.1☒☒☒☒☒☑☑☑☑☑0
balancer.1.0☑☑☑☑☑☑☑☒☒☒0
bam.0.3☒☒☒☒☒☒☑☑☑☑1
bam-ppx.0.3☒☒☒☒☒☒☑☑☑☑1
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-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-flatten.2.5.0☑☑☑☑☑☑☑☒☒☒11
bap-frames.2.1.0☒☒☒☒☒☒☒☒☒☒0
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-knowledge.2.5.0☑☑☑☑☑☑☑☒☒☒98
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.4.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-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.1.0☑☑☒☒☒☒☒☒☒☒9
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
bare.2.5.0☑☑☑☑☑☑☑☒☒☒14
bare_encoding.0.3.1☑☑☑☑☑☑☑☑☑☑0
bark.0.1.4☑☑☑☑☑☑☑☑☑☑0
base.v0.17.1☒☒☒☒☒☒☒☒☑☑4443
base-bigarray.base☑☑☑☑☑☑☑☑☑☑4444
base-bytes.base☑☑☑☑☑☑☑☑☑☑4443
base-domains.base☒☒☒☒☒☒☒☑☑☑32
base-native-int63.0.1☑☑☑☑☑☑☑☑☑☑4443
base-nnp.base☒☒☒☒☒☒☒☑☑☑0
base-threads.base☑☑☑☑☑☑☑☑☑☑4451
base-unix.base☑☑☑☑☑☑☑☑☑☑4451
base32.1.0.0☑☑☑☑☑☑☑☑☑☑2
base58.0.1.2☑☑☑☑☑☑☑☑☑☑0
base64.3.5.1☑☑☑☑☑☑☑☑☑☑962
base_bigstring.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
base_quickcheck.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
base_trie.v0.17.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☑☑☑☑☑☑☑☑☑☑4443
bdd.0.3☑☑☑☑☑☑☑☒☒☒3
bddapron.2.3.3☒☒☒☒☒☒☒☒☒☒0
bddrand.2.71.15☒☒☒☒☒☒☒☒☒☒0
bear.0.0.1☑☑☑☑☑☑☑☒☒☒0
bech32.0.1☑☑☑☑☑☑☑☑☑☑0
bechamel.0.5.0☑☑☑☑☑☑☑☑☑☑11
bechamel-js.0.5.0☑☑☑☑☑☑☑☑☑☑1
bechamel-notty.0.5.0☑☑☑☑☑☑☑☑☑☑4
bechamel-perf.0.5.0☑☑☑☑☑☑☑☑☑☑1
beluga.1.1.2☒☒☒☒☒☒☑☑☑☑1
benchmark.1.6☑☑☑☑☑☑☑☑☑☑4443
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☑☑☑☑☑☑☑☑☑☑4443
bibtex2html.1.99-1☑☑☑☑☑☑☑☑☑☑0
bidirectional_map.v0.17.0☒☒☒☒☒☒☒☒☑☑0
bigarray-compat.1.1.0☑☑☑☑☑☑☑☑☑☑4443
bigarray-overlap.0.2.1☑☑☑☑☑☑☑☑☑☑87
bigdecimal.v0.17.0☒☒☒☒☒☒☒☒☑☑0
bignum.v0.17.0☒☒☒☒☒☒☒☒☑☑12
bigstring.0.3☑☑☑☑☑☑☑☑☑☑330
bigstring-unix.0.3☑☑☑☑☑☑☑☑☑☑1
bigstringaf.0.10.0☑☑☑☑☑☑☑☑☑☑4443
bimage.0.6.0☑☑☑☑☑☑☑☑☑☑3
bimage-display.0.6.0☑☑☑☑☑☑☑☑☑☑0
bimage-gtk.0.2.1☑☑☑☑☑☑☑☑☑☑0
bimage-io.0.6.0☑☑☑☑☑☑☑☑☑☑0
bimage-lwt.0.4.0☑☑☑☑☑☑☑☑☑☑0
bimage-sdl.0.2.1☑☑☑☑☑☑☑☑☑☑0
bimage-unix.0.6.0☑☑☑☑☑☑☑☑☑☑0
bimap.20201231☑☑☑☑☑☑☑☒☒☒0
bin_prot.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
bin_tree.0.1☑☑☑☑☑☑☑☑☑☑0
binaryen.0.24.0☒☒☒☒☑☑☑☑☑☑0
binaryen-bin.119☑☑☑☑☑☑☑☑☑☑0
binaryen_dsl.0.7☒☒☒☒☑☑☑☒☒☒0
binbin.0.01☑☑☑☑☑☑☑☒☒☒0
bindlib.6.0.0☑☑☑☑☑☑☑☑☑☑2
biniou.1.2.2☑☑☑☑☑☑☑☑☑☑4443
binning.0.0.0☑☑☑☑☑☑☑☑☑☑3
binsec.0.9.1☒☒☒☑☑☑☑☑☑☑0
bio_io.0.7.0☒☒☒☒☒☒☑☑☑☑0
biocaml.0.11.2☒☒☒☑☑☑☑☒☒☒3
biotk.0.3☒☒☒☒☒☒☑☑☑☑2
bip32.0.2☑☑☑☑☑☑☑☒☒☒0
bisect.1.3.1☑☑☑☑☑☑☑☒☒☒7
bisect-summary.0.3☑☑☑☑☑☒☒☒☒☒0
bisect_ppx.2.8.3☑☑☑☑☑☑☑☑☑☑237
bisect_ppx-ocamlbuild.1.0.1☑☑☑☑☑☑☑☒☒☒1
bistro.0.6.0☑☑☑☑☑☑☑☒☒☒1
bistro-bio.0.6.0☒☒☒☑☑☑☑☒☒☒0
bitcoin.3.0☑☑☑☑☑☑☑☑☑☑3
bitcoin-cohttp-async.3.0☑☑☑☑☑☑☑☑☑☑0
bitcoin-cohttp-lwt.3.0☑☑☑☑☑☑☑☑☑☑0
bitcoin-ocurl.3.0☑☑☑☑☑☑☑☑☑☑0
bitcoinml.0.4.1☑☑☑☑☑☒☒☒☒☒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
bitwuzla.1.0.5☑☑☑☑☑☑☑☑☑☑1
bitwuzla-bin.1.0.0☒☒☒☒☒☒☒☒☒☒0
bitwuzla-c.1.0.5☑☑☑☑☑☑☑☑☑☑2
bitwuzla-cxx.0.6.1☒☒☒☒☑☑☑☑☑☑3
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
bonsai.v0.17.0☒☒☒☒☒☒☒☒☒☒1
bookaml.4.0☑☑☑☑☑☑☑☒☒☒0
bos.0.2.1☑☑☑☑☑☑☑☑☑☑4443
boulangerie.1.0.1☒☒☒☒☒☑☑☑☑☑0
box.1.2.0☑☑☑☑☑☑☑☑☑☑0
bpf.0.2☑☑☑☑☑☑☑☑☑☑0
bracetax.0.4☑☑☑☑☑☑☑☒☒☒0
broken.0.4.2☑☑☑☑☑☑☑☑☑☑7
brotli.1.3.0☒☒☒☒☒☒☒☒☒☒1
brozip.1.1☒☒☒☒☒☒☒☒☒☒0
brr.0.0.7☑☑☑☑☑☑☑☑☑☑15
brr-lwd.0.3☑☑☑☑☑☑☑☑☑☑0
bsdowl.3.0.0-20150830☑☑☑☑☑☑☑☑☑☑8
bson2.0.0.1☑☑☒☒☒☒☒☒☒☒0
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
bwrap.0.1☑☑☑☑☑☑☑☑☑☑0
bytearray.1.0.3☑☑☑☑☑☑☑☒☒☒0
bytebuffer.0.0.2☒☒☒☑☑☑☑☑☑☑0
bytepdf.0.1☑☑☑☑☑☒☒☒☒☒0
bytesrw.0.1.0☒☒☒☒☒☒☑☑☑☑1
bytestring.0.0.8☒☒☒☒☒☒☒☒☒☑6
bz2.0.8.0☑☑☑☑☑☑☑☑☑☑14
ca-certs.1.0.0☒☒☒☒☒☑☑☑☑☑448
ca-certs-nss.3.107☒☒☒☒☒☑☑☑☑☑77
cactus.1.0.0☒☒☒☑☑☑☑☑☑☑0
cairn.1.0☑☑☑☑☑☑☑☑☑☑0
cairo2.0.6.5☑☑☑☑☑☑☑☑☑☑58
cairo2-gtk.0.6.5☑☑☑☑☑☑☑☑☑☑1
cairo2-pango.0.6.5☑☑☑☑☑☑☑☑☑☑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.1.7.1☒☒☑☑☑☒☒☒☒☒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☑☑☑☑☑☑☑☑☑☑32
camlimages.5.0.5☒☒☒☒☑☑☑☑☑☑10
camlix.0.1☒☒☑☑☑☑☑☑☑☑0
camllib.1.3.3☑☑☑☑☑☑☑☒☒☒1
camlmix.1.3.0☑☑☑☑☑☑☑☒☒☒1
camlon.3.1.0☑☑☑☑☑☑☑☑☑☑9
camlp-streams.5.0.1☑☑☑☑☑☑☑☑☑☑4443
camlp4.5.2☒☒☒☒☒☒☒☒☒☑4443
camlp5.8.03.01☒☒☑☑☑☑☑☑☑☑4443
camlp5-buildscripts.0.03☒☒☑☑☑☑☑☑☑☑4443
camlpdf.2.7.2☒☒☑☑☑☑☑☑☑☑2
camlprime.0.5☑☑☑☑☑☑☑☑☑☑0
camlrack.0.10.1☒☒☒☒☑☑☑☑☑☑1
camltc.0.9.8☑☑☑☑☑☑☑☒☒☒9
camlzip.1.13☒☒☒☒☒☑☑☑☑☑4443
camomile.2.0.0☒☒☒☒☒☑☑☑☑☑282
camyll.0.4.3☒☒☒☒☒☒☑☑☑☑0
canary.0.0.1☑☑☑☑☑☑☑☑☑☑0
caper.0.9☑☑☑☑☑☑☑☑☑☑0
capitalization.v0.17.0☒☒☒☒☒☒☒☒☑☑4443
capnp.3.6.0☑☑☑☑☑☑☑☑☑☑12
capnp-rpc.2.0☒☒☒☒☒☒☒☒☒☑9
capnp-rpc-lwt.2.0☒☒☒☒☒☒☒☒☒☑6
capnp-rpc-mirage.1.2.3☑☑☑☑☑☑☑☑☑☑0
capnp-rpc-net.2.0☒☒☒☒☒☒☒☒☒☑1
capnp-rpc-unix.2.0☒☒☒☒☒☒☒☒☒☑0
captureio.0.1.2☑☑☑☑☑☑☑☒☒☒0
caqti.2.1.2☑☑☑☑☑☑☑☑☑☑35
caqti-async.2.1.2☒☒☒☒☒☒☒☒☑☑1
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.2.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
catala-format.0.1.1☑☑☑☑☑☑☑☑☑☑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
catt.1.0☒☒☒☒☒☒☑☒☒☒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
cconv-ppx.0.5☑☑☒☒☒☒☒☒☒☒0
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.1☑☑☑☑☑☑☑☑☑☑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.6.0☒☒☒☒☒☑☑☑☑☑3
charrua-client.1.6.0☒☒☒☒☒☑☑☑☑☑0
charrua-client-lwt.1.2.2☑☑☑☑☑☑☑☑☑☑1
charrua-client-mirage.1.2.2☑☑☑☑☑☑☑☑☑☑1
charrua-server.1.6.0☒☒☒☒☒☑☑☑☑☑2
charrua-unix.1.6.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.4.0☒☒☒☒☒☑☑☑☑☑1
checkseum.0.5.2☑☑☑☑☑☑☑☑☑☑318
choice.0.4☑☑☑☑☑☑☑☑☑☑0
chrome-trace.3.17.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.5☒☒☒☒☒☒☑☑☑☑199
clim.0.3.0☑☑☑☑☑☑☑☑☑☑1
clim-ppx.0.3.0☑☑☑☑☑☒☒☒☒☒0
climate.0.3.0☒☒☒☒☒☒☑☑☑☑1
cll.0.2.0☑☑☑☑☑☑☑☑☑☑0
cloudi.2.0.7☑☑☑☑☑☑☑☑☑☑0
clz.0.1.0☑☑☑☑☑☑☑☑☑☑1
cmark.0.2.0☑☑☑☑☑☑☑☒☒☒0
cmarker.0.3.0☑☑☑☑☑☑☑☑☑☑0
cmarkit.0.3.0☒☒☒☒☒☒☑☑☑☑5
cmdlang.0.0.9☒☒☒☒☒☒☑☑☑☑4
cmdlang-stdlib-runner.0.0.9☒☒☒☒☒☒☑☑☑☑0
cmdlang-to-base.0.0.9☒☒☒☒☒☒☒☒☒☑0
cmdlang-to-climate.0.0.9☒☒☒☒☒☒☑☑☑☑0
cmdlang-to-cmdliner.0.0.9☒☒☒☒☒☒☑☑☑☑0
cmdliner.1.3.0☑☑☑☑☑☑☑☑☑☑4443
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☑☑☑☑