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: 4076
Packages failing with current filters: 200
Packages whose dependencies failed with current filters: 229

Run made on the 2023-04-19 18:19:28


4.024.034.044.054.064.074.084.094.104.114.124.134.145.05.1number of revdeps
0install.2.18☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒1
0install-gtk.2.18☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒0
0install-solver.2.18☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑10
ANSITerminal.0.8.5☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑37
BetterErrors.0.0.1☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒8
CamlGI.0.6☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
Camldiets.0.2☑☑☑☒☒☒☒☒☒☒☒☒☒☒☒-1
DAGaml.0.02☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒0
DrawGrammar.0.2.2☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
FPauth-core.1.0.0☒☒☒☒☒☒☒☒☒☒☑☑☑☒☒3
FPauth-responses.1.0.0☒☒☒☒☒☒☒☒☒☒☑☑☑☒☒1
FrontC.4.1.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑14
GT.0.5.1☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒4
General.0.7.0☑☑☑☑☑☑☑☑☒☑☒☒☒☒☒4
GuaCaml.0.05☒☒☒☒☒☒☒☒☒☒☒☑☑☑☑2
ISO3166.0.1.0☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑0
ISO8601.0.2.6☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑46
JsOfOCairo.2.0.0☑☑☑☑☑☑☒☒☒☒☒☒☒☒☒-1
KaSim.4.0.0☑☑☑☑☑☑☒☒☒☒☒☒☒☒☒-1
OCADml.0.4.1☒☒☒☒☒☒☒☒☒☒☒☒☑☑☑2
OCanren.0.3.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒2
OCanren-ppx.0.3.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒2
OSCADml.0.2.1☒☒☒☒☒☒☒☒☒☒☒☒☑☑☑1
SZXX.3.0.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒0
Snowflake.0.02.03☒☒☒☒☒☒☒☒☒☒☒☑☑☑☑1
TCSLib.0.3☒☑☑☑☑☑☑☑☑☑☑☑☑☒☒1
aacplus.0.2.2☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒2
abella.2.0.7☑☑☑☑☑☑☑☑☑☑☑☒☒☒☒0
absolute.0.2☒☒☒☒☒☒☒☒☒☑☑☑☑☒☒0
abstract_algebra.v0.15.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒7
abt.0.0.3☑☑☑☒☒☒☒☒☒☒☒☒☒☒☒-1
accessor.v0.15.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒4
accessor_async.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒0
accessor_base.v0.15.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒2
accessor_core.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1
acgtk.1.5.3☒☒☒☑☑☑☑☑☑☑☑☑☑☑☑0
aches.1.0.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑197
aches-lwt.1.0.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑185
acme.0.1☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
acp4.1.0.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
acpc.2.0.0☒☒☒☒☒☒☒☒☒☒☒☒☒☑☒0
advi.2.0.0☒☒☒☒☒☒☒☒☒☑☑☑☑☒☒0
aez.0.3☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
afl.2.52b☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑1
afl-persistent.1.3☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑25
ago.0.4☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
agrep.1.0☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
agrid.0.1☒☒☒☑☑☑☑☑☑☑☑☑☑☑☑1
ahrocksdb.0.2.2☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒0
aifad.2.3.0☒☒☑☑☑☑☑☑☑☑☑☑☑☑☑0
aio.0.0.3☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
alba.0.4.4☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
albatross.1.5.6☒☒☒☒☒☒☒☒☒☒☑☑☑☑☑0
alcotest.1.7.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑779
alcotest-async.1.7.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒5
alcotest-js.1.7.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
alcotest-lwt.1.7.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑147
alcotest-mirage.1.7.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
alg_structs.0.1.3☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒1
alg_structs_qcheck.0.1.3☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
algaeff.0.2.1☒☒☒☒☒☒☒☒☒☒☒☒☒☑☑2
aliases.0.0.5☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
alonzo.0.4.0☒☒☒☒☒☒☒☒☒☒☒☒☑☑☑0
alphaCaml.20061214☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
alsa.0.3.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑6
alt-ergo.2.4.2☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒12
alt-ergo-free.2.2.0☒☒☑☑☑☑☑☑☑☑☑☑☑☒☒8
alt-ergo-lib.2.4.2☒☒☒☑☑☑☑☑☑☑☑☑☑☑☒14
alt-ergo-lib-free.2.3.3.dune3☒☒☑☑☑☒☒☒☒☒☒☒☒☒☒-1
alt-ergo-parsers.2.4.2☒☒☒☑☑☑☑☑☑☑☑☑☑☑☒13
alt-ergo-parsers-free.2.3.3.dune3☒☒☑☑☑☒☒☒☒☒☒☒☒☒☒-1
altgr-ergo.2.4.2☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒3
amf.0.1.2☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒0
amqp-client.2.2.2☒☒☑☑☑☑☑☑☑☑☑☑☑☑☑2
amqp-client-async.2.2.2☒☒☑☑☑☑☑☑☑☑☑☑☑☑☒0
amqp-client-lwt.2.2.2☒☒☑☑☑☑☑☑☑☑☑☑☑☑☑0
ancient.0.9.1☒☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
anders.1.1.1☒☒☒☒☒☒☒☒☑☑☑☑☑☑☑0
angstrom.0.15.0☒☒☑☑☑☑☑☑☑☑☑☑☑☑☑1052
angstrom-async.0.15.0☒☒☑☑☑☑☑☑☑☑☑☑☑☑☒3
angstrom-lwt-unix.0.15.0☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑3
angstrom-unix.0.15.0☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑5
annexlib.0.13.5☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
annot.1.1.0☑☑☑☑☑☒☒☒☒☒☒☒☒☒☒-1
ansi.0.6.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☑5
ansi-parse.0.4.0☒☒☒☑☑☑☑☑☑☑☑☑☑☑☒0
ansicolor.0.5☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑0
anthill.0.1☒☒☒☒☒☑☑☑☑☑☒☒☒☒☒0
antic.0.2.3☒☒☒☒☒☒☒☒☑☑☑☑☑☑☑2
anycache.0.7.4☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒2
anycache-async.0.7.4☒☒☑☑☑☒☒☒☒☒☒☒☒☒☒0
anycache-lwt.0.7.4☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
ao.0.2.4☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑6
apalogretrieve.0.9.6-4☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
aperf.0.1.2☒☑☑☑☑☑☒☒☒☒☒☒☒☒☒-1
apero-core.0.4.7☒☒☒☒☒☑☑☑☒☒☒☒☒☒☒3
apero-net.0.4.7☒☒☒☒☒☑☑☑☒☒☒☒☒☒☒0
apero-time.0.4.7☒☒☒☒☒☑☑☑☒☒☒☒☒☒☒0
apron.v0.9.13☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒20
apronext.1.0.4☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒3
arakoon.1.9.17☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
arb.0.2.3☒☒☒☒☒☒☒☒☑☑☑☑☑☑☑2
archetype.1.4.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
archi.0.2.0☒☒☒☒☑☑☑☑☑☑☑☑☑☑☑2
archi-async.0.2.0☒☒☒☒☑☑☑☑☑☑☑☑☑☑☒0
archi-lwt.0.2.0☒☒☒☒☑☑☑☑☑☑☑☑☑☑☑0
archimedes.0.4.19☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
archsat.1.1☒☒☒☒☒☑☑☑☑☑☑☑☑☒☒0
arg-complete.0.1.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2
argon2.1.0.1☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2
arp.3.1.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑563
arp-mirage.2.2.1☒☒☒☒☑☑☑☑☑☑☑☑☑☑☒2
art.0.2.0☒☒☒☒☒☑☑☑☑☑☑☑☑☑☑3
asak.0.3☒☒☒☑☑☑☑☑☑☑☑☒☒☒☒2
ascii85.0.4☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
asetmap.0.8.1☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑174
ask.0.2.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1
ask-integrator.0.2.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒0
asl.0.11☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒4
asli.0.2.0☒☒☒☒☒☒☒☑☑☑☑☑☑☒☒0
asn1-combinators.0.2.6☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑578
assertions.0.1☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
assimp.0.3☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑0
ast_generic.1.8.0☒☒☒☒☒☒☒☒☒☒☑☑☑☑☒0
astring.0.8.5☒☒☒☑☑☑☑☑☑☑☑☑☑☑☑2271
async.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1643
async-mvar.0.1.0☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
async-uri.0.3.0☒☒☒☒☒☒☒☒☒☑☑☑☑☒☒0
async-zmq.0.3.0☑☑☑☑☑☒☒☒☒☒☒☒☒☒☒-1
async_durable.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒0
async_extended.v0.11.0☒☒☑☑☑☑☒☒☒☒☒☒☒☒☒-1
async_extra.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒4
async_find.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒3
async_graphics.0.7.0☒☒☒☒☒☑☑☑☑☑☑☑☑☒☒0
async_inotify.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1
async_interactive.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒0
async_js.v0.15.1☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒6
async_kernel.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒2286
async_parallel.v0.11.0☒☒☑☑☑☑☒☒☒☒☒☒☒☒☒-1
async_rpc_kernel.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1643
async_rpc_websocket.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒2
async_sendfile.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1
async_shell.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒2
async_smtp.v0.15.0☒☒☒☒☒☒☒☒☒☒☑☑☑☑☒0
async_ssl.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒464
async_udp.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1
async_unix.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒1646
async_websocket.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒5
atable.0.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
atd.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑61
atd2cconv.0.0.0☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
atdgen.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑54
atdgen-codec-runtime.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑1
atdgen-runtime.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑54
atdj.20151001.01.2☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
atdpy.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
atds.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
atdts.2.11.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑1
atomic.base☒☒☒☒☒☒☒☒☒☒☑☑☑☑☑0
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
avroc.0.0.1☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
awa.0.2.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑38
awa-lwt.0.2.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
awa-mirage.0.2.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑36
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.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒2
aws-s3-async.4.8.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
aws-s3-lwt.4.8.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒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
azblob-async.0.1.0☒☒☒☒☑☑☑☑☑☑☑☑☑☒☒0
azure-cosmos-db.0.2.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒0
b0.0.0.4☒☒☒☒☒☒☑☑☑☑☑☑☑☑☒1
bag.1.0.0☒☒☒☒☒☑☑☑☑☑☑☑☑☑☑0
baguette_sharp.2.2.1☒☒☒☒☒☒☒☒☒☒☒☑☑☑☑0
balancer.1.0☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
bamboo.0.0.03☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
bap.0.9.9☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-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-dead-code-elimination.1.4.0☒☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
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.2☒☒☑☑☑☑☒☒☒☒☒☒☒☒☒-1
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-saluki.bap-1.6☒☒☑☑☑☑☒☒☒☒☒☒☒☒☒-1
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-veri.0.2.4☒☒☑☑☑☑☒☒☒☒☒☒☒☒☒-1
bap-warn-unused.2.5.0☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒10
bare.2.5.0☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒14
bare_encoding.0.3☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
bark.0.1.4☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
base.v0.15.1☒☒☒☒☒☒☒☒☑☑☑☑☑☑☑2786
base-bigarray.base☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2415
base-bytes.base☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑3037
base-domains.base☒☒☒☒☒☒☒☒☒☒☒☒☒☑☑20
base-native-int63.0.1☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2757
base-nnp.base☒☒☒☒☒☒☒☒☒☒☒☒☒☑☑0
base-num.base☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
base-ocamlbuild.base☑☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
base-threads.base☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑4044
base-unix.base☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑4048
base-unsafe-string.base☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
base32.1.0.0☒☒☑☑☑☑☑☑☑☑☑☑☑☑☑2
base58.0.1.2☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑0
base64.3.5.1☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑875
base_bigstring.v0.15.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒2372
base_quickcheck.v0.15.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒2396
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
batsh.0.0.5☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
batteries.3.6.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☒1595
bau.0.0.4☒☒☒☒☒☒☒☒☒☒☒☒☒☒☒-1
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.4.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑10
bechamel-js.0.4.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑1
bechamel-notty.0.4.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑3
bechamel-perf.0.4.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑1
beluga.1.0☒☒☒☒☒☒☑☑☑☑☑☑☑☒☒1
bench.1.3☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
benchmark.1.6☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2343
benchpress.0.1☒☑☑☑☑☑☑☑☑☑☑☑☑☒☒1
benchpress-server.0.1☒☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
bencode.2.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑7
bentov.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑2
bes.0.9.4.2☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
bheap.2.0.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑1389
bibtex2html.1.99-1☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑0
bigarray-compat.1.1.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2284
bigarray-overlap.0.2.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑76
bigbro.2.0.4-rev3☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
bigdecimal.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒0
bignum.v0.15.0☒☒☒☒☒☒☒☒☒☑☑☑☑☑☒4
bigstring.0.3☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑338
bigstring-unix.0.3☒☑☑☑☑☑☑☑☑☑☑☑☑☑☑1
bigstringaf.0.9.1☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑1097
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.15.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒2396
binaryen.0.20.1☒☒☒☒☒☒☒☒☒☒☑☑☑☑☒0
binaryen_dsl.0.7☒☒☒☒☒☒☒☒☒☒☑☑☑☒☒0
binbin.0.01☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒0
bindlib.6.0.0☒☒☒☒☒☑☑☑☑☑☑☑☑☑☑2
biniou.1.2.2☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑2373
binning.0.0.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑3
binsec.0.7.1☒☒☒☒☒☒☒☑☑☑☑☑☑☒☒0
bio_io.0.6.0☒☒☒☒☒☒☒☒☑☑☑☑☑☑☒0
biocaml.0.11.2☒☒☒☒☒☒☒☒☒☑☑☑☑☒☒3
biotk.0.2.0☒☒☒☒☒☒☒☒☒☒☒☒☑☒☒2
bisect.1.3.1☑☑☑☑☑☑☑☑☑☑☑☑☑☒☒7
bisect-summary.0.3☑☑☑☑☑☑☑☑☑☑☑☒☒☒☒0
bisect_ppx.2.8.2☒☒☑☑☑☑☑☑☑☑☑☑☑☑☒244
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
bitlib.1.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑0
bitmasks.1.4.0☑☑☑☑☑☑☑☑☑☑☑☑☑☑☒0
bitpack_serializer.0.1.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑0
bitstring.4.1.0☒☒☑☑☑☑☑☑☑☑☑☑☑☑☑24
bitv.1.6☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑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
bjack.0.1.6☑☑☑☑☑☑☑☑☑☑☑☑☑☑☑4
blahcaml.2.1☑☑☑☑☒☒☒☒☒☒☒☒☒☒☒-1
blake2.0.3☒☒☒☒☑☑☑☑☑☑☑☑☑☒☒112
blake3.0.3☒☒☒☒☒☒☒☑☑☑☑☑☑☒☒1
bloomf.0.2.0☒☒☒☒☑☑☑☑☑☑☑☑☑☑☑0
bls12-381.6.1.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑238
bls12-381-gen.0.5.0☒☒☒☒☒☒☑☑☑☑☑☑☑☑☑189
bls12-381-hash.1.0.0☒☒☒☒☒☒☒☒