ocaml-docs-ci

Profiles › oxcaml-odoc-master › Snapshots › 22dd8fcd9d91

oxcaml-odoc-master / 22dd8fcd9d91

Created 2026-09-28T16:54:09Z

DAG state

All 3042 nodes finished — ok=2371, failed=172, cascade=499

Repos at this snapshot

Repo	Snapshot	Message	Latest
`/home/app/.day11/repo/opam-repository`	b09f5a27f114	Merge pull request #30812 from jmid/ocsipersist-lib-lwt-lower-bound	77bf79b2f35a
`/home/app/.day11/repo/oxcaml/opam-repository`	f1bd228dda31	Add oxcaml-compiler.5.4.0-ox7	afddc8337950
`/home/app/.day11/overlays/odoc-master/repo`	86d73884d947	Track 3.2.1 @ 6dc58262b276af7e24b92ac5343b9f26d621122b (version 3.2.1+master.1790607351.6dc5826)	9559c2c50e2a
`/home/app/.day11/overlays/odoc-master/upstream (upstream)`	—	—	6747ca453d03

Failures

172 failed (build=169, tool=3)

Package	Kind	Hash	Log
MlFront_Manip.2.4.2.169	build	b9ca1fb127ec	log
MlFront_ZipFile.2.4.2.169	build	48f3011a51ad	log
aacplus.0.2.2	build	5213309b2780	log
afl.2.57b	build	4daec0addaa4	log
ahrocksdb.0.2.2	build	f85985c63c73	log
angstrom.0.16.1+ox	build	2eeeb1d10b3a	log
angstrom.0.16.1+ox	build	a522086b9e1a	log
angstrom.0.16.1+ox	build	e818338a0f04	log
apron.v0.9.14	build	d7cfe83cec9b	log
apron.v0.9.15	build	09a946ea231b	log
apron.v0.9.15	build	8113176bddf8	log
basement.v0.18~preview.130.91+190	build	3bfe49928f5c	log
basement.v0.18~preview.130.91+190	build	302802440fd3	log
batteries.3.11.0	build	c17aa79d32f3	log
bencode.2.0	build	e76e50ca3fbf	log
bin.0.1.1	build	295a1b200190	log
bin.0.1.1	build	8c8ee4c21ffe	log
bitwuzla-bin.1.0.0	build	45cafc2a6d53	log
bls12-381.6.0.1	build	aa7d52fc7f71	log
bls12-381.6.1.0	build	903085fca9b6	log
bnfgen.4.0.0	build	8488d85afd14	log
camlp4.5.4	build	e8787f9b1867	log
camlp5.8.04.01	build	da86cb7d5d9a	log
camlpdf.2.5.3	build	3cf0162ac92a	log
camlpdf.2.9	build	fdf9b868d338	log
camomile.2.0.0	build	382c8269d266	log
camomile.2.1.0	build	8f7679d4ff2e	log
caps.0.1.0	build	1ce508f063d6	log
catapult-sqlite.0.2	build	aa3550d636ca	log
cbor.0.5	build	e4913b72a326	log
clap.0.3.0	build	2fe6297768e3	log
cmitomli.1.0.0	build	f8407233d172	log
codept-lib.0.13.0	build	7ca42f9c7868	log
conex.1.0.0	build	3d40c0282cd4	log
conf-antic.1	build	73f6b6e165a7	log
conf-arb.1	build	94341404d5ac	log
conf-bap-llvm.1.8	build	666adad70c84	log
conf-cuda.1	build	e18d310c4d2d	log
conf-fdkaac.1	build	affe0bf50072	log
conf-fswatch.11-0.1.3	build	1d94a54689bc	log
conf-glade.2	build	9c6c639bcae0	log
conf-gtksourceview.2	build	ef98622ceca1	log
conf-ida.0.3	build	61abbb9c7005	log
conf-libblake3.1.5.1	build	2e139a1de4b4	log
conf-libclang.22	build	302459bf0f18	log
conf-libgccjit.1	build	f728ca28a4ad	log
conf-libpcre.2	build	16b5752ab0c6	log
conf-lldb.3.5	build	cc4d03008f89	log
conf-lz4.1.0.0	build	3b61e6148591	log
conf-nauty.1.0	build	ebeff2d2626a	log
conf-opencc0.1	build	6d97c7433ec2	log
conf-opencc1.1	build	469bcb14cda9	log
conf-python-2-7-dev.1.0	build	471718c5eb61	log
conf-python-2-7.1.2	build	39188aec12cc	log
conf-radare2.0.1	build	b7321ffc2d94	log
conf-sdpa.1	build	57d48560e836	log
conf-tree-sitter.1	build	d53c14ca98ad	log
conf-trexio.0.1	build	4f30593f71f0	log
conf-wxwidgets.3.0	build	d5c19818524f	log
conf-zig.1	build	2420be919c6c	log
containers.3.18	build	56afb15512d6	log
coq-core.8.18.0	build	a05166d2f522	log
coq-core.8.20.1	build	a739da2a5387	log
cry.1.0.3	build	ae0623c10610	log
dead_code_analyzer.1.3.0	build	8cc644c5dec4	log
digestif.1.3.1	build	ebbc74a5a43d	log
digestif.1.3.1	build	596d3acea141	log
digestif.1.3.1	build	6026ed095d97	log
duppy.0.9.5	build	32308ffdd7ff	log
earley.3.0.0	build	df3a8d20ae54	log
ez_file.0.5.0	build	e9fae9d9b300	log
faraday.0.8.2+ox	build	c97c6ca2cb7c	log
faraday.0.8.2+ox	build	1da1801b3e76	log
faraday.0.8.2+ox	build	76334b382675	log
flac.1.0.0	build	ce3ca4df3fb1	log
hevea.2.38	build	1fd46612072e	log
hugin.1.0.0~alpha3	build	8a4946135ea8	log
inspect.0.2.1	build	9f03a10f7e83	log
irc-client-unix.0.7.1	build	7f9caa681335	log
iter.1.9	build	d8a0c9457ec6	log
javalib.3.2.2	build	dfcc901016df	log
lablgtk.2.18.14	build	267b889cd093	log
lablgtk.2.18.14	build	4929c6b0e604	log
lablgtk3.3.1.5	build	67f87dfbb34b	log
lablgtk3.3.1.5-1	build	955a0940d573	log
labltk.8.06.15	build	b7c646aa4cb9	log
lem.2026-05-01	build	58d16862307f	log
lintcstubs-arity.0.5.2	build	6a72d6e38856	log
little_logger.0.3.0	build	94b2a94145ab	log
llama-cpp-ocaml.0.0.1	build	90441182150d	log
lo.0.2.0	build	0b6bc4bd0f75	log
lrgrep.0.9	build	b22cbcba69ba	log
make-random.0.1	build	852b7f04d37a	log
mdx.2.6.0	build	d179b6422855	log
mec.0.1.0	build	6a8a67bebb55	log
memprof-limits.0.3.0	build	b835782caefb	log
metadata.0.3.2	build	2a1bd58b763b	log
mfat.0.0.1~beta1	build	7dc2833209f0	log
miou.0.10.1	build	36a5043eca98	log
miou.0.10.1	build	7c7091151723	log
mlcuddidl.3.0.8	build	d6527460558e	log
mlmpfr.4.2.1	build	4c43a093ca10	log
mpg123.0.3	build	7160f1c9df92	log
msgpck.1.7	build	ab6349183577	log
multicont.1.0.3	build	3dca7ba0971c	log
obuild.0.3.0	build	c99a43c92bee	log
ocaml-buddy.0.6.1	build	cc9052ccff40	log
ocaml-compiler-libs.v0.17.0+ox	tool	c9f47bb46510	log
ocaml-print-intf.1.2.0	build	0035f11531bd	log
ocaml-solo5.1.2.0	build	7739992d5d22	log
ocaml-solo5.1.2.0	build	cec48e5d184c	log
ocaml-unikraft-arm64.1.2.0	build	f473125ce69f	log
ocaml-unikraft-x86_64.1.2.0	build	4f957a1c415e	log
ocaml-unikraft-x86_64.1.2.0	build	a78123b0c580	log
ocaml_intrinsics_kernel.v0.17.2	build	55e08680830a	log
ocamldot.1.1	build	e4a0304f7087	log
ocamlregextkit.1.0.2	build	e0ab962b7511	log
ocamlscript.3.0.0	build	33553f07312e	log
ocamlyices.0.7.1	build	c9bc07fbdb37	log
ocp-index.1.4.1	build	ea2e039277e3	log
ogg.0.6.1	build	4d4987ec34d1	log
ogg.1.0.0	build	34b9fa7a980b	log
omake.0.10.7	build	0fba7b83c9a3	log
omod.0.0.5	build	6b03a5911d76	log
opam-monorepo.0.4.3	build	b022411d7ce4	log
opam-monorepo.0.5.0	build	5726a477bc40	log
ortac-runtime.0.8.0	build	86713f0712bd	log
orxgboost.1.2.0	build	c61b2d1e6167	log
osdp.1.1.1	build	130f19701bd3	log
oseq.0.4.1	build	bf324581a85e	log
oseq.0.5.1	build	9b5679028c59	log
polka.2.71.15	build	884fbd03ecf5	log
polka.2.71.15	build	d9c8f92ad613	log
portaudio_c_bindings.19.6.0	build	67b975f4c549	log
prbnmcn-basic-structures.0.0.1	build	4dc8880af1ac	log
pretty_expressive.0.5	build	2568b37f0240	log
printbox-text.0.12	build	9d1e517d1c92	log
quickjs.0.6.0	build	a55dcfff9622	log
quill.1.0.0~alpha3	build	47f1c061a2b2	log
quill.1.0.0~alpha3	build	ec4d9c02d92d	log
re.1.14.0+ox	tool	6c1c059b82f5	log
reanalyze.2.26.0	build	a2e90ebb9c06	log
redis-sync.0.8	build	0f67cc1e8fd8	log
repr.0.4.0	build	b3328cb98cd1	log
repr.0.8.0	build	86ead1b8380c	log
rocq-runtime.9.1.1	build	6407ab14ea34	log
rocq-runtime.9.2.0	build	05e73b6c5fdb	log
rpclib.10.2.0	build	1c4786b26db5	log
safa.1.4	build	fb2dbf3c5008	log
smart-print.0.3.0	build	3778bd05ccff	log
solo5-bindings-hvt.0.6.9	build	4c2192d98f78	log
sturgeon.0.4.2	build	9f1354098504	log
taglib.0.3.10	build	d485f057d21e	log
termbox.0.1.0	build	a74d939cb25e	log
thread-local-storage.0.1	build	096a206ead01	log
thread-local-storage.0.2	build	27a1029b30fb	log
tiny_httpd_eio.0.22	build	4483605c763d	log
topiary.0.5.1	build	fd82eda1f5ee	log
topiary.0.6.0	build	b838bc74dcd5	log
topkg.1.1.1+ox	tool	147515bac51e	log
topup.0.1.3	build	eb985a46617e	log
tplib.1.3-1	build	e755dc1f6493	log
tsdl-ttf.0.7	build	580d70aedcd2	log
unison.2.53.8	build	d2f0eb5fef09	log
unix-errno.0.6.2	build	0e92102a587c	log
uunf.14.0.0	build	7212c6a4cfbf	log
wall.0.4.1	build	2576002a9533	log
why3.1.8.2	build	5cf698ff429c	log
wikitext.3.0.1	build	91f070da3b7f	log
wire.1.3.0	build	b872ed30c343	log
xen-evtchn-unix.2.1.0	build	a1c662901bee	log
zenon_modulo.0.5.0	build	714d5e492078	log

Cascaded nodes

Cascaded (499)

Nodes that didn't run because an upstream node failed.

Package	Kind	Blocked by	Kind
amqp-client-lwt.2.3.0	build	angstrom.0.16.1+ox	build
angstrom-lwt-unix.0.16.1	build	angstrom.0.16.1+ox	build
angstrom-unix.0.16.1	build	angstrom.0.16.1+ox	build
bechamel-js.0.5.0	build	angstrom.0.16.1+ox	build
caper.0.9	build	angstrom.0.16.1+ox	build
caqti-lwt.2.3.2	build	angstrom.0.16.1+ox	build
caqti.2.3.2	build	angstrom.0.16.1+ox	build
cascade.1.2.1	build	angstrom.0.16.1+ox	build
colombe.0.12.1	build	angstrom.0.16.1+ox	build
colombe.0.13.0	build	angstrom.0.16.1+ox	build
colombe.0.13.0	build	angstrom.0.16.1+ox	build
confero.0.1.1	build	angstrom.0.16.1+ox	build
cookie.0.1.8	build	angstrom.0.16.1+ox	build
emile.1.1	build	angstrom.0.16.1+ox	build
emile.1.1	build	angstrom.0.16.1+ox	build
encore.0.8.1	build	angstrom.0.16.1+ox	build
ezresto-directory.0.6.1	build	angstrom.0.16.1+ox	build
ezresto.0.6.1	build	angstrom.0.16.1+ox	build
fit.1.4.1	build	angstrom.0.16.1+ox	build
fluxt.0.0.1~beta8	build	angstrom.0.16.1+ox	build
functoria.4.0.0	build	angstrom.0.16.1+ox	build
git.3.16.1	build	angstrom.0.16.1+ox	build
git.3.18.0	build	angstrom.0.16.1+ox	build
h1.1.1.1	build	angstrom.0.16.1+ox	build
h2.0.13.0	build	angstrom.0.16.1+ox	build
hpack.0.13.0	build	angstrom.0.16.1+ox	build
http-cookie.4.3.0	build	angstrom.0.16.1+ox	build
http-multipart-formdata.3.1.0	build	angstrom.0.16.1+ox	build
httpaf.0.7.1	build	angstrom.0.16.1+ox	build
httpun-ws.0.2.0	build	angstrom.0.16.1+ox	build
httpun.0.2.0	build	angstrom.0.16.1+ox	build
hvsock.3.1.0	build	angstrom.0.16.1+ox	build
jasmin.2026.03.2	build	angstrom.0.16.1+ox	build
json-data-encoding-bson.0.11	build	angstrom.0.16.1+ox	build
json-data-encoding-bson.0.9.1	build	angstrom.0.16.1+ox	build
json-data-encoding-bson.1.1.1	build	angstrom.0.16.1+ox	build
json-data-encoding.0.11	build	angstrom.0.16.1+ox	build
json-data-encoding.0.9.1	build	angstrom.0.16.1+ox	build
json-data-encoding.1.1.1	build	angstrom.0.16.1+ox	build
json-pointer.1.0	build	angstrom.0.16.1+ox	build
jsonschema-core.0.1.0	build	angstrom.0.16.1+ox	build
jsonschema-validation.0.1.0	build	angstrom.0.16.1+ox	build
ledes.0.1.0	build	angstrom.0.16.1+ox	build
minima-theme.1.0.0	build	angstrom.0.16.1+ox	build
mirage-block-ccm.2.0.0	build	angstrom.0.16.1+ox	build
mirage-block-unix.2.14.2	build	angstrom.0.16.1+ox	build
mirage.4.11.2	build	angstrom.0.16.1+ox	build
moss.0.1.1	build	angstrom.0.16.1+ox	build
mrmime.0.8.0	build	angstrom.0.16.1+ox	build
multipart_form-eio.0.8.0	build	angstrom.0.16.1+ox	build
multipart_form-lwt.0.8.0	build	angstrom.0.16.1+ox	build
multipart_form-miou.0.8.0	build	angstrom.0.16.1+ox	build
multipart_form.0.8.0	build	angstrom.0.16.1+ox	build
neodriver_core.0.1.2	build	angstrom.0.16.1+ox	build
ocue.0.1.0	build	angstrom.0.16.1+ox	build
opam-compiler.0.2.1	build	angstrom.0.16.1+ox	build
oxcaml-angstrom-patches.enabled	build	angstrom.0.16.1+ox	build
petrol.1.2.0	build	angstrom.0.16.1+ox	build
pf-qubes.0.1.2	build	angstrom.0.16.1+ox	build
pure-html.3.11.2	build	angstrom.0.16.1+ox	build
received.0.12.1	build	angstrom.0.16.1+ox	build
resto-directory.0.6.1	build	angstrom.0.16.1+ox	build
resto-json.0.6.1	build	angstrom.0.16.1+ox	build
resto.0.6.1	build	angstrom.0.16.1+ox	build
rock.0.20.0	build	angstrom.0.16.1+ox	build
rpmfile-unix.0.5.0	build	angstrom.0.16.1+ox	build
rss.3.0	build	angstrom.0.16.1+ox	build
semver2.1.2.0	build	angstrom.0.16.1+ox	build
session-cookie-lwt.0.1.8	build	angstrom.0.16.1+ox	build
session-cookie.0.1.8	build	angstrom.0.16.1+ox	build
stramon-lib.0.3.0	build	angstrom.0.16.1+ox	build
syndic.1.8.0	build	angstrom.0.16.1+ox	build
timedesc-json.3.1.2	build	angstrom.0.16.1+ox	build
timedesc.3.1.2	build	angstrom.0.16.1+ox	build
unstrctrd.0.5	build	angstrom.0.16.1+ox	build
uri-re.4.4.0	build	angstrom.0.16.1+ox	build
uri.4.4.0	build	angstrom.0.16.1+ox	build
uspf.0.0.4	build	angstrom.0.16.1+ox	build
uspf.0.2.1	build	angstrom.0.16.1+ox	build
uspf.0.2.1	build	angstrom.0.16.1+ox	build
wtr.3.0.0	build	angstrom.0.16.1+ox	build
xcursor.0.1.0	build	angstrom.0.16.1+ox	build
MlFront_Cache.2.4.2.169	build	digestif.1.3.1	build
MlFront_Config.2.4.2.169	build	digestif.1.3.1	build
MlFront_Core.2.4.2.169	build	digestif.1.3.1	build
MlFront_Signify.2.4.2.169	build	digestif.1.3.1	build
aws-autoscaling.1.2	build	digestif.1.3.1	build
aws-cloudformation.1.2	build	digestif.1.3.1	build
aws-cloudtrail.1.2	build	digestif.1.3.1	build
aws-cloudwatch.1.2	build	digestif.1.3.1	build
aws-ec2.1.2	build	digestif.1.3.1	build
aws-elasticache.1.2	build	digestif.1.3.1	build
aws-elasticloadbalancing.1.2	build	digestif.1.3.1	build
aws-rds.1.2	build	digestif.1.3.1	build
aws-route53.1.2	build	digestif.1.3.1	build
aws-sdb.1.2	build	digestif.1.3.1	build
aws-sqs.1.2	build	digestif.1.3.1	build
aws-ssm.1.2	build	digestif.1.3.1	build
aws-sts.1.2	build	digestif.1.3.1	build
aws.1.2	build	digestif.1.3.1	build
carton-git-lwt.1.4.0	build	digestif.1.3.1	build
carton-git.0.7.2	build	digestif.1.3.1	build
carton-lwt.0.7.2	build	digestif.1.3.1	build
carton-miou-unix.1.1.0	build	digestif.1.3.1	build
carton-miou.1.4.0	build	digestif.1.3.1	build
carton.0.7.2	build	digestif.1.3.1	build
charrua-client.3.2.1	build	digestif.1.3.1	build
cid.0.1.0	build	digestif.1.3.1	build
curve448.0.1.0	build	digestif.1.3.1	build
dns-client.10.2.6	build	digestif.1.3.1	build
dns-mirage.10.2.6	build	digestif.1.3.1	build
dns-server.10.2.6	build	digestif.1.3.1	build
dns-tsig.10.2.6	build	digestif.1.3.1	build
esperanto-cosmopolitan.0.0.6	build	digestif.1.3.1	build
git-kv.0.2.3	build	digestif.1.3.1	build
happy-eyeballs-mirage.2.0.2	build	digestif.1.3.1	build
hpke.0.3.0	build	digestif.1.3.1	build
httpun-ws-eio.0.2.0	build	digestif.1.3.1	build
httpun-ws-lwt.0.2.0	build	digestif.1.3.1	build
jupyter-kernel.0.8	build	digestif.1.3.1	build
kdf.1.1.2	build	digestif.1.3.1	build
mcrunch.0.0.5	build	digestif.1.3.1	build
mirage-crypto-ec.2.4.1	build	digestif.1.3.1	build
mirage-crypto-rng-eio.1.2.0	build	digestif.1.3.1	build
mirage-crypto-rng-lwt.1.2.0	build	digestif.1.3.1	build
mirage-crypto-rng-miou-unix.2.1.0	build	digestif.1.3.1	build
mirage-crypto-rng-mirage.2.4.1	build	digestif.1.3.1	build
mirage-crypto-rng-mkernel.2.4.1	build	digestif.1.3.1	build
mirage-crypto-rng.1.2.0	build	digestif.1.3.1	build
mirage-crypto-rng.2.1.0	build	digestif.1.3.1	build
mirage-crypto-rng.2.4.1	build	digestif.1.3.1	build
mirage-nat.3.1.0	build	digestif.1.3.1	build
mirage-qubes-ipv4.2.0.1	build	digestif.1.3.1	build
multihash-digestif.0.1.0	build	digestif.1.3.1	build
noise.0.2.0	build	digestif.1.3.1	build
passe.0.2.0	build	digestif.1.3.1	build
spoke.0.0.4	build	digestif.1.3.1	build
swhid.0.2	build	digestif.1.3.1	build
tcpip.9.0.1	build	digestif.1.3.1	build
tezos-base58.1.0.0	build	digestif.1.3.1	build
tezos-context-hash.1.0.0	build	digestif.1.3.1	build
uspf-unix.0.0.4	build	digestif.1.3.1	build
utcp.0.0.9	build	digestif.1.3.1	build
wol-mirage.1.0	build	digestif.1.3.1	build
alice.0.5.0	build	basement.v0.18~preview.130.91+190	build
awa-mirage.0.3.1	build	basement.v0.18~preview.130.91+190	build
awa.0.3.1	build	basement.v0.18~preview.130.91+190	build
ca-certs-nss.3.101	build	basement.v0.18~preview.130.91+190	build
ca-certs.0.2.3	build	basement.v0.18~preview.130.91+190	build
ca-certs.0.2.3	build	basement.v0.18~preview.130.91+190	build
certify.0.3.3	build	basement.v0.18~preview.130.91+190	build
cow.2.5.0	build	basement.v0.18~preview.130.91+190	build
data-encoding.0.4	build	basement.v0.18~preview.130.91+190	build
decoders-ezjsonm.1.0.0	build	basement.v0.18~preview.130.91+190	build
dns-client-lwt.8.0.0	build	basement.v0.18~preview.130.91+190	build
dns-client-mirage.8.0.0	build	basement.v0.18~preview.130.91+190	build
docker_hub.0.2.0	build	basement.v0.18~preview.130.91+190	build
dunolint-lib.0.0.20260306	build	basement.v0.18~preview.130.91+190	build
equinoxe.0.2.0	build	basement.v0.18~preview.130.91+190	build
ez_api.3.0.0	build	basement.v0.18~preview.130.91+190	build
ezjsonm-encoding.2.1.0	build	basement.v0.18~preview.130.91+190	build
ezjsonm.1.3.0	build	basement.v0.18~preview.130.91+190	build
fpath-sexp0.0.4.0	build	basement.v0.18~preview.130.91+190	build
geojsone.0.2.0	build	basement.v0.18~preview.130.91+190	build
git-mirage.3.16.1	build	basement.v0.18~preview.130.91+190	build
git-paf.3.16.1	build	basement.v0.18~preview.130.91+190	build
http-lwt-client.0.2.6	build	basement.v0.18~preview.130.91+190	build
irc-client-tls.0.7.1	build	basement.v0.18~preview.130.91+190	build
kdl.0.2.0	build	basement.v0.18~preview.130.91+190	build
loc.0.3.3	build	basement.v0.18~preview.130.91+190	build
mehari-eio.0.4	build	basement.v0.18~preview.130.91+190	build
mehari-lwt-unix.0.4	build	basement.v0.18~preview.130.91+190	build
mehari-mirage.0.4	build	basement.v0.18~preview.130.91+190	build
mehari.0.4	build	basement.v0.18~preview.130.91+190	build
mimic-happy-eyeballs.0.0.10	build	basement.v0.18~preview.130.91+190	build
mirage-crypto-pk.0.10.7	build	basement.v0.18~preview.130.91+190	build
mirage-crypto-pk.0.11.3	build	basement.v0.18~preview.130.91+190	build
mirage-crypto-pk.0.11.3	build	basement.v0.18~preview.130.91+190	build
mirage-crypto-pk.0.11.3	build	basement.v0.18~preview.130.91+190	build
orgeat.0.0.1	build	basement.v0.18~preview.130.91+190	build
ortools_solvers.9.15.0-2	build	basement.v0.18~preview.130.91+190	build
pplumbing-log.0.0.16	build	basement.v0.18~preview.130.91+190	build
pplumbing-pp-tty.0.0.16	build	basement.v0.18~preview.130.91+190	build
provider.0.0.11	build	basement.v0.18~preview.130.91+190	build
rfc6287.1.0.4	build	basement.v0.18~preview.130.91+190	build
rpclib-html.10.2.0	build	basement.v0.18~preview.130.91+190	build
rungen.0.0.1	build	basement.v0.18~preview.130.91+190	build
sexp_type.v0.18~preview.130.91+190	build	basement.v0.18~preview.130.91+190	build
sexplib0.v0.18~preview.130.91+190	build	basement.v0.18~preview.130.91+190	build
stone.0.6.1	build	basement.v0.18~preview.130.91+190	build
tls-eio.0.17.5	build	basement.v0.18~preview.130.91+190	build
tls-liquidsoap.1	build	basement.v0.18~preview.130.91+190	build
tls-lwt.0.17.5	build	basement.v0.18~preview.130.91+190	build
tls-lwt.0.17.5	build	basement.v0.18~preview.130.91+190	build
tls-mirage.0.17.5	build	basement.v0.18~preview.130.91+190	build
tls.0.17.5	build	basement.v0.18~preview.130.91+190	build
tls.0.17.5	build	basement.v0.18~preview.130.91+190	build
uspf-lwt.0.2.1	build	basement.v0.18~preview.130.91+190	build
uspf-mirage.0.2.1	build	basement.v0.18~preview.130.91+190	build
x509.0.15.0	build	basement.v0.18~preview.130.91+190	build
x509.0.16.5	build	basement.v0.18~preview.130.91+190	build
x509.0.16.5	build	basement.v0.18~preview.130.91+190	build
astring.0.8.5	tool	topkg.1.1.1+ox	tool
bos.0.3.0	tool	topkg.1.1.1+ox	tool
cmarkit.0.4.0	tool	topkg.1.1.1+ox	tool
crunch.4.1.0	tool	topkg.1.1.1+ox	tool
cstruct.6.3.0	tool	topkg.1.1.1+ox	tool
eio.1.6	tool	topkg.1.1.1+ox	tool
eio_linux.1.6	tool	topkg.1.1.1+ox	tool
eio_main.1.6	tool	topkg.1.1.1+ox	tool
eio_posix.1.6	tool	topkg.1.1.1+ox	tool
fmt.0.11.0	tool	topkg.1.1.1+ox	tool
fpath.0.7.3	tool	topkg.1.1.1+ox	tool
hmap.0.8.1	tool	topkg.1.1.1+ox	tool
jsonm.1.0.2	tool	topkg.1.1.1+ox	tool
logs.0.10.0	tool	topkg.1.1.1+ox	tool
mtime.2.2.0	tool	topkg.1.1.1+ox	tool
odoc-driver.3.2.1+master.1790607351.6dc5826	tool	topkg.1.1.1+ox	tool
odoc-md.3.2.1+master.1790607351.6dc5826	tool	topkg.1.1.1+ox	tool
odoc-parser.3.2.1+master.1790607351.6dc5826	tool	topkg.1.1.1+ox	tool
odoc.3.2.1+master.1790607351.6dc5826	tool	topkg.1.1.1+ox	tool
opam-core.2.6.0	tool	topkg.1.1.1+ox	tool
opam-format.2.6.0	tool	topkg.1.1.1+ox	tool
progress.0.5.0	tool	topkg.1.1.1+ox	tool
ptime.1.2.0	tool	topkg.1.1.1+ox	tool
rresult.0.7.0	tool	topkg.1.1.1+ox	tool
terminal.0.5.0	tool	topkg.1.1.1+ox	tool
uring.2.15.0	tool	topkg.1.1.1+ox	tool
uucp.18.0.0	tool	topkg.1.1.1+ox	tool
uutf.1.0.4+ox	tool	topkg.1.1.1+ox	tool
acpc.2.0.0	build	batteries.3.11.0	build
bst.7.1.0	build	batteries.3.11.0	build
cpm.12.2.0	build	batteries.3.11.0	build
cpm.12.2.0	build	batteries.3.11.0	build
daft.0.0.4	build	batteries.3.11.0	build
expect.0.1.0	build	batteries.3.11.0	build
fasmifra.2.1.0	build	batteries.3.11.0	build
get_line.7.0.0	build	batteries.3.11.0	build
line_oriented.1.3.0	build	batteries.3.11.0	build
markdown.0.2.1	build	batteries.3.11.0	build
mutf8.0.2	build	batteries.3.11.0	build
ocaml-markdown.transition	build	batteries.3.11.0	build
odnnr.2.0.0	build	batteries.3.11.0	build
omlr.1.0.3	build	batteries.3.11.0	build
oplsr.8.0.1	build	batteries.3.11.0	build
orrandomForest.3.0.0	build	batteries.3.11.0	build
pardi.3.2.2	build	batteries.3.11.0	build
portia.1.5	build	batteries.3.11.0	build
spirv.1.1.2	build	batteries.3.11.0	build
typeid.2.0.0	build	batteries.3.11.0	build
vcardgen.1.2	build	batteries.3.11.0	build
faraday-lwt-unix.0.8.2	build	faraday.0.8.2+ox	build
faraday-lwt.0.8.2	build	faraday.0.8.2+ox	build
farfadet.0.3	build	faraday.0.8.2+ox	build
gluten-eio.0.5.2	build	faraday.0.8.2+ox	build
gluten-lwt-unix.0.5.2	build	faraday.0.8.2+ox	build
gluten-lwt.0.5.2	build	faraday.0.8.2+ox	build
gluten.0.5.2	build	faraday.0.8.2+ox	build
h1-lwt-unix.1.1.1	build	faraday.0.8.2+ox	build
h2-eio.0.13.0	build	faraday.0.8.2+ox	build
h2-lwt-unix.0.13.0	build	faraday.0.8.2+ox	build
h2-lwt.0.13.0	build	faraday.0.8.2+ox	build
httpaf-lwt-unix.0.7.1	build	faraday.0.8.2+ox	build
httpun-eio.0.2.0	build	faraday.0.8.2+ox	build
httpun-lwt-unix.0.2.0	build	faraday.0.8.2+ox	build
httpun-lwt.0.2.0	build	faraday.0.8.2+ox	build
httpun-types.0.2.0	build	faraday.0.8.2+ox	build
httpun-ws-lwt-unix.0.2.0	build	faraday.0.8.2+ox	build
oxcaml-faraday-patches.enabled	build	faraday.0.8.2+ox	build
paf.0.6.0	build	faraday.0.8.2+ox	build
piaf.0.2.0	build	faraday.0.8.2+ox	build
binary_tree.1.0	build	rocq-runtime.9.2.0	build
coq-core.9.2.0	build	rocq-runtime.9.2.0	build
coq.9.2.0	build	rocq-runtime.9.2.0	build
coqide-server.9.2.0	build	rocq-runtime.9.2.0	build
lstar-rocq.3.0	build	rocq-runtime.9.2.0	build
lstar.3.0	build	rocq-runtime.9.2.0	build
prooftree.0.14	build	rocq-runtime.9.2.0	build
rocq-core.9.2.0	build	rocq-runtime.9.2.0	build
rocq-devtools.9.2.0	build	rocq-runtime.9.2.0	build
rocq-prover.meta.1	build	rocq-runtime.9.2.0	build
rocq-stdlib.9.1.0	build	rocq-runtime.9.2.0	build
rocqide.9.2.0	build	rocq-runtime.9.2.0	build
caqti-driver-mariadb.3.0.1	build	angstrom.0.16.1+ox	build
caqti-driver-postgresql.3.0.1	build	angstrom.0.16.1+ox	build
caqti-driver-sqlite3.3.0.0	build	angstrom.0.16.1+ox	build
caqti-dynload.3.0.0	build	angstrom.0.16.1+ox	build
caqti-eio.3.0.0	build	angstrom.0.16.1+ox	build
caqti-lwt.3.0.0	build	angstrom.0.16.1+ox	build
caqti-miou.3.0.0	build	angstrom.0.16.1+ox	build
caqti-type-calendar.3.0.0	build	angstrom.0.16.1+ox	build
caqti.3.0.0	build	angstrom.0.16.1+ox	build
oxcaml-angstrom-patches.enabled	build	angstrom.0.16.1+ox	build
tdmrep.1.0	build	angstrom.0.16.1+ox	build
uri.4.4.0	build	angstrom.0.16.1+ox	build
calculon-web.0.8	build	containers.3.18	build
calculon.0.8	build	containers.3.18	build
calli.0.2	build	containers.3.18	build
containers-data.3.18	build	containers.3.18	build
lt-code.0.1.1	build	containers.3.18	build
mastodon-archive-viewer.0.4.0	build	containers.3.18	build
mc2.0.1	build	containers.3.18	build
msat-bin.0.9.1	build	containers.3.18	build
prom.0.3	build	containers.3.18	build
revops.2.5	build	containers.3.18	build
term-indexing.0.0.1	build	containers.3.18	build
term-tools.0.0.2	build	containers.3.18	build
brr.0.0.9	tool	ocaml-compiler-libs.v0.17.0+ox	tool
js_of_ocaml-compiler.6.4.1	tool	ocaml-compiler-libs.v0.17.0+ox	tool
js_of_ocaml-toplevel.6.4.1	tool	ocaml-compiler-libs.v0.17.0+ox	tool
js_of_ocaml.6.4.1	tool	ocaml-compiler-libs.v0.17.0+ox	tool
ppx_blob.0.9.0	tool	ocaml-compiler-libs.v0.17.0+ox	tool
ppx_sexp_conv.v0.17.1	tool	ocaml-compiler-libs.v0.17.0+ox	tool
ppxlib.0.38.0	tool	ocaml-compiler-libs.v0.17.0+ox	tool
ppxlib_jane.v0.17.4	tool	ocaml-compiler-libs.v0.17.0+ox	tool
sedlex.3.7+ox	tool	ocaml-compiler-libs.v0.17.0+ox	tool
sherlodoc.3.2.1+master.1790607351.6dc5826	tool	ocaml-compiler-libs.v0.17.0+ox	tool
libsail.0.20.3	build	lem.2026-05-01	build
linksem.0.8	build	lem.2026-05-01	build
sail_c_backend.0.20.3	build	lem.2026-05-01	build
sail_coq_backend.0.20.3	build	lem.2026-05-01	build
sail_lean_backend.0.20.3	build	lem.2026-05-01	build
sail_lem_backend.0.20.3	build	lem.2026-05-01	build
sail_ocaml_backend.0.20.3	build	lem.2026-05-01	build
sail_output.0.20.3	build	lem.2026-05-01	build
sail_smt_backend.0.20.3	build	lem.2026-05-01	build
sail_sv_backend.0.20.3	build	lem.2026-05-01	build
autofonce.0.8	build	ez_file.0.5.0	build
autofonce_config.0.8	build	ez_file.0.5.0	build
autofonce_core.0.8	build	ez_file.0.5.0	build
autofonce_lib.0.8	build	ez_file.0.5.0	build
autofonce_m4.0.8	build	ez_file.0.5.0	build
autofonce_misc.0.8	build	ez_file.0.5.0	build
autofonce_patch.0.8	build	ez_file.0.5.0	build
header-check.0.1.0	build	ez_file.0.5.0	build
altgr-ergo.2.4.3	build	lablgtk3.3.1.5	build
lablgtk3-extras.3.0.1	build	lablgtk3.3.1.5	build
lablgtk3-goocanvas2.3.1.5	build	lablgtk3.3.1.5	build
lablgtk3-gtkspell3.3.1.5	build	lablgtk3.3.1.5	build
lablgtk3-rsvg2.3.1.5	build	lablgtk3.3.1.5	build
lablgtk3-sourceview3.3.1.5	build	lablgtk3.3.1.5	build
ocaml-top.1.2.0	build	lablgtk3.3.1.5	build
why3-ide.1.8.2	build	lablgtk3.3.1.5	build
coq-core.9.1.1	build	rocq-runtime.9.1.1	build
coq-stdlib.9.0.0	build	rocq-runtime.9.1.1	build
coq-waterproof.3.1.0+9.1	build	rocq-runtime.9.1.1	build
coq.9.1.1	build	rocq-runtime.9.1.1	build
coqide-server.9.1.1	build	rocq-runtime.9.1.1	build
rocq-core.9.1.1	build	rocq-runtime.9.1.1	build
rocq-stdlib.9.0.0	build	rocq-runtime.9.1.1	build
why3-coq.1.8.2	build	rocq-runtime.9.1.1	build
bancos.0.0.1	build	miou.0.10.1	build
bm25.0.0.2	build	miou.0.10.1	build
cattery.0.0.1	build	miou.0.10.1	build
flux.0.0.1~beta8	build	miou.0.10.1	build
happy-eyeballs-miou-unix.2.0.2	build	miou.0.10.1	build
mkernel.0.0.2	build	miou.0.10.1	build
stem.0.0.2	build	miou.0.10.1	build
carton-git.0.7.2	build	digestif.1.3.1	build
carton-lwt.0.7.2	build	digestif.1.3.1	build
carton.0.7.2	build	digestif.1.3.1	build
docteur-solo5.0.0.7	build	digestif.1.3.1	build
docteur-unix.0.0.7	build	digestif.1.3.1	build
docteur.0.0.7	build	digestif.1.3.1	build
git-unix.3.16.1	build	digestif.1.3.1	build
bogue-tutorials.0.2.0	build	tsdl-ttf.0.7	build
bogue.20250815	build	tsdl-ttf.0.7	build
bogue.20260208	build	tsdl-ttf.0.7	build
oplot.0.85	build	tsdl-ttf.0.7	build
sdl-liquidsoap.3	build	tsdl-ttf.0.7	build
snoke.0.3.2	build	tsdl-ttf.0.7	build
prbnmcn-dagger-stats.0.0.6	build	prbnmcn-basic-structures.0.0.1	build
prbnmcn-dagger-test.0.0.6	build	prbnmcn-basic-structures.0.0.1	build
prbnmcn-linalg.0.0.1	build	prbnmcn-basic-structures.0.0.1	build
prbnmcn-proptest.0.0.1	build	prbnmcn-basic-structures.0.0.1	build
prbnmcn-stats.0.0.8	build	prbnmcn-basic-structures.0.0.1	build
charrua-client.3.2.1	build	digestif.1.3.1	build
mirage-crypto-rng.2.4.1	build	digestif.1.3.1	build
mnet-dhcp.0.0.7	build	digestif.1.3.1	build
tcpip.9.0.1	build	digestif.1.3.1	build
utcp.0.0.9	build	digestif.1.3.1	build
cairo2-gtk.0.6.5	build	lablgtk.2.18.14	build
cairo2-pango.0.6.5	build	lablgtk.2.18.14	build
proverif.2.05	build	lablgtk.2.18.14	build
zelus-gtk.2.2	build	lablgtk.2.18.14	build
absolute.0.3	build	apron.v0.9.14	build
apronext.1.0.4	build	apron.v0.9.14	build
libabsolute.0.1	build	apron.v0.9.14	build
picasso.0.4.0	build	apron.v0.9.14	build
opus.1.0.0	build	ogg.1.0.0	build
speex.1.0.0	build	ogg.1.0.0	build
theora.1.0.0	build	ogg.1.0.0	build
vorbis.1.0.0	build	ogg.1.0.0	build
coq-stdlib.8.18.0	build	coq-core.8.18.0	build
coq.8.18.0	build	coq-core.8.18.0	build
coqide-server.8.18.0	build	coq-core.8.18.0	build
orthologic-coq.0.9.1	build	coq-core.8.18.0	build
mparser-pcre.1.3	build	conf-libpcre.2	build
ocaml-inifiles.1.2	build	conf-libpcre.2	build
pcre.8.0.4	build	conf-libpcre.2	build
squirrel.0.1	build	conf-libpcre.2	build
mirage-crypto-pk.0.11.3	build	basement.v0.18~preview.130.91+190	build
sexp_type.v0.18~preview.130.91+190	build	basement.v0.18~preview.130.91+190	build
sexplib0.v0.18~preview.130.91+190	build	basement.v0.18~preview.130.91+190	build
x509.0.16.5	build	basement.v0.18~preview.130.91+190	build
config-file.1.2.2	build	camlp4.5.4	build
extprot.1.7.0	build	camlp4.5.4	build
mikmatch.1.0.9	build	camlp4.5.4	build
ocaml-unikraft-backend-qemu.1.2.0-0.20.0	build	ocaml-unikraft-x86_64.1.2.0	build
ocaml-unikraft-default-x86_64.1.2.0	build	ocaml-unikraft-x86_64.1.2.0	build
ocaml-unikraft.1.2.0	build	ocaml-unikraft-x86_64.1.2.0	build
mnet-cli.0.0.7	build	bin.0.1.1	build
mnet-happy-eyeballs.0.0.7	build	bin.0.1.1	build
mnet.0.0.7	build	bin.0.1.1	build
daypack-lib.0.0.6	build	oseq.0.4.1	build
daypack-lib.0.0.6	build	oseq.0.4.1	build
telltime.0.0.3	build	oseq.0.4.1	build
bimage-gtk.0.2.1	build	lablgtk3.3.1.5-1	build
eio-trace.0.4	build	lablgtk3.3.1.5-1	build
unison-gui.2.53.8	build	lablgtk3.3.1.5-1	build
ocaml-unikraft-backend-firecracker.1.2.0-0.20.0	build	ocaml-unikraft-x86_64.1.2.0	build
ocaml-unikraft-default-x86_64.1.2.0	build	ocaml-unikraft-x86_64.1.2.0	build
ocaml-unikraft.1.2.0	build	ocaml-unikraft-x86_64.1.2.0	build
m_tree.0.1	build	iter.1.9	build
msat.0.9.1	build	iter.1.9	build
tree_layout.0.2	build	iter.1.9	build
omd.2.0.0~alpha4+ox	build	uunf.14.0.0	build
oxcaml-omd-patches.enabled	build	uunf.14.0.0	build
uucp.14.0.0	build	uunf.14.0.0	build
elina.1.3.2	build	apron.v0.9.15	build
mopsa.1.2	build	apron.v0.9.15	build
fswatch.11-0.1.6	build	conf-fswatch.11-0.1.3	build
fswatch_lwt.11-0.1.0	build	conf-fswatch.11-0.1.3	build
conjury.2.2	build	omake.0.10.7	build
orsetto.1.1.3	build	omake.0.10.7	build
bddrand.2.71.15	build	polka.2.71.15	build
lutin.2.71.15	build	polka.2.71.15	build
dlm.0.3.3	build	unix-errno.0.6.2	build
sys-socket-unix.1.0.0	build	unix-errno.0.6.2	build
fuseau-lwt.0.1	build	thread-local-storage.0.1	build
fuseau.0.1	build	thread-local-storage.0.1	build
charset.0.3.0	build	ocaml_intrinsics_kernel.v0.17.2	build
ocaml_intrinsics.v0.17.0	build	ocaml_intrinsics_kernel.v0.17.2	build
coqide-server.8.20.1	build	coq-core.8.20.1	build
coqide.8.20.1	build	coq-core.8.20.1	build
colibrilib-why3.0.6	build	why3.1.8.2	build
why3find.1.3.0	build	why3.1.8.2	build
odoc-depgraph.1.0	build	ocamldot.1.1	build
opam-graph.0.1.1	build	ocamldot.1.1	build
ledit.2.08	build	camlp5.8.04.01	build
logger-p5.0.4.5	build	camlp5.8.04.01	build
opencc.transition	build	conf-opencc1.1	build
opencc1.1.0.1	build	conf-opencc1.1	build
charInfo_width.2.0.0	build	camomile.2.0.0	build
headache.1.08	build	camomile.2.0.0	build
printbox-ext-plot.0.12	build	printbox-text.0.12	build
printbox-md.0.12	build	printbox-text.0.12	build
delimcc_of_fxhandler.0.1	build	multicont.1.0.3	build
minivpt.2.0.0	build	obuild.0.3.0	build
bibtex2html.1.99-1	build	hevea.2.38	build
radare2.0.0.7	build	conf-radare2.0.1	build
decoders-cbor.1.0.0	build	cbor.0.5	build
raven.1.0.0~alpha3	build	hugin.1.0.0~alpha3	build
symkat.1.4	build	safa.1.4	build
docout.0.0.1	build	smart-print.0.3.0	build
codept.0.13.0	build	codept-lib.0.13.0	build
catapult-daemon.0.2	build	catapult-sqlite.0.2	build
oxcaml-faraday-patches.enabled	build	faraday.0.8.2+ox	build
trexio.2.2.0	build	conf-trexio.0.1	build
opencc0.1.0.2	build	conf-opencc0.1	build
lz4_chans.3.0.1	build	conf-lz4.1.0.0	build
oxcaml-faraday-patches.enabled	build	faraday.0.8.2+ox	build
picos.0.6.0	build	thread-local-storage.0.2	build
ocamlbrowser.5.4.0	build	labltk.8.06.15	build
cudajit.0.7.2	build	conf-cuda.1	build
ocaml-unikraft-default-arm64.1.2.0	build	ocaml-unikraft-arm64.1.2.0	build
mkernel.0.0.4	build	miou.0.10.1	build
bls12-381-hash.1.0.0	build	bls12-381.6.0.1	build
camomile-embedded.2.1.0	build	camomile.2.1.0	build
ortac-runtime-qcheck-stm.0.8.0	build	ortac-runtime.0.8.0	build
ocp-browser.1.4.1	build	ocp-index.1.4.1	build
xoshiro.0.1	build	make-random.0.1	build
conf-calcium.1	build	conf-arb.1	build
oxcaml-angstrom-patches.enabled	build	angstrom.0.16.1+ox	build
bls12-381-signature.1.0.0	build	bls12-381.6.1.0	build
gccjit.0.3.2	build	conf-libgccjit.1	build
tezt.4.3.0	build	clap.0.3.0	build
fdkaac.0.3.3	build	conf-fdkaac.1	build
rpclib-lwt.10.2.0	build	rpclib.10.2.0	build
sawja.1.5.12	build	javalib.3.2.2	build
decoders-bencode.1.0.0	build	bencode.2.0	build
cfgen.1.0	build	bnfgen.4.0.0	build
decoders-msgpck.1.0.0	build	msgpck.1.7	build
catala-format.1.2.0	build	topiary.0.5.1	build
schroedinger.0.1.1	build	ogg.0.6.1	build
cpdf.2.9	build	camlpdf.2.9	build
ocamlgraph_gtk.2.2.0	build	lablgtk.2.18.14	build
tyxml.5.0.0	tool	re.1.14.0+ox	tool
graphicspdf.2.2.1	build	camlpdf.2.5.3	build

Solve failures (2903)

Targets with no dependency solution — never built. Click a package for the solver's explanation.

Status totals

Blessed builds	0
Non-blessed builds	3042 (dependency_failure=499, success=2371, build_failure=172)
Blessed docs	0
Non-blessed docs	0

Builds count compiled package layers; docs count compile+link (or doc-all) stages. Counts are per node (a package solved in N universes counts as N). 'Blessed' means the node belongs to the chosen primary universe for its package; build nodes aren't universe-specific, so blessed builds is normally empty. A dependency_failure is a cascade — the node never ran because a dependency failed.

Packages (2511)

Package	Build	Doc
0install-solver.2.18	ok	—
ANSITerminal.0.8.5	ok	—
FrontC.4.1.0	ok	—
GenArrayIter.0.3.1	ok	—
GuaCaml.0.05	ok	—
ISO3166.0.1.0	ok	—
ISO8601.0.2.6	ok	—
MlFront_Cache.2.4.2.169	cascade	—
MlFront_Cli.2.4.2.30	ok	—
MlFront_Config.2.4.2.169	cascade	—
MlFront_Console.2.4.2.169	ok	—
MlFront_Core.2.4.2.169	cascade	—
MlFront_Errors.2.4.2.169	ok	—
MlFront_Logs.2.4.2.169	ok	—
MlFront_Manip.2.4.2.169	failed	—
MlFront_Progress.2.4.2.169	ok	—
MlFront_ProgressPeriod.2.4.2.169	ok	—
MlFront_Signify.2.4.2.169	cascade	—
MlFront_ZipFile.2.4.2.169	failed	—
OCADml.0.6.0	ok	—
OSCADml.0.2.3	ok	—
Snowflake.0.02.03	ok	—
UnifiedScript_Std.2.4.2.169	ok	—
UnifiedScript_Top.2.4.2.169	ok	—
aacplus.0.2.2	failed	—
abella.2.0.8	ok	—
absolute.0.3	cascade	—
aches-lwt.1.1.0	ok	—
aches.1.1.0	ok	—
acpc.2.0.0	cascade	—
adelfa.0.1	ok	—
adobe_font_metrics.1.0.0	ok	—
afl-persistent.1.4	ok	—
afl.2.57b	failed	—
agrid.0.1	ok	—
aho-corasick.0.1.1	ok	—
ahrocksdb.0.2.2	failed	—
aifad.2.3.2	ok	—
alcobar.0.3.2	ok	—
alcotest.1.9.0+ox	ok	—
algaeff.2.0.0	ok	—
alice.0.5.0	cascade	—
allegro5.0.2	ok	—
alonzo.0.4.0	ok	—
alsa.0.3.0	ok	—
alt-ergo-free.2.4.3	ok	—
alt-ergo-lib.2.4.3	ok	—
alt-ergo-parsers.2.4.3	ok	—
altgr-ergo.2.4.3	cascade	—
amlc-lsp.0.2.0	ok	—
amqp-client-lwt.2.3.0	cascade	—
amqp-client.2.3.0	ok	—
ancient.0.10.0	ok	—
anders.5.1.0	ok	—
angstrom-lwt-unix.0.16.1	cascade	—
angstrom-unix.0.16.1	cascade	—
angstrom.0.16.1+ox	failed	—
ansi.0.7.0	ok	—
ansicolor.0.5	ok	—
ao.0.2.4	ok	—
apron.v0.9.14	failed	—
apron.v0.9.15	failed	—
apronext.1.0.4	cascade	—
archi-lwt.0.2.0	ok	—
archi.0.2.0	ok	—
areas-and-adversaries.1.0	ok	—
arg-complete.0.2.1	ok	—
argon2.1.0.2	ok	—
argsh.0.1.0	ok	—
arp.3.1.1	ok	—
arp.4.1.0	ok	—
arrakis.1.1.1	ok	—
art.0.4.0	ok	—
asai.0.3.1	ok	—
ascon.0.2.0	ok	—
asetmap.0.8.1	ok	—
asn1-combinators.0.2.6	ok	—
asn1-combinators.0.3.3	ok	—
assimp.0.3	ok	—
astring.0.8.5	cascade	—
atd-jsonlike.4.2.0	ok	—
atd.2.16.0	ok	—
atd.4.2.0	ok	—
atdcpp.4.2.0	ok	—
atdd.4.2.0	ok	—
atdgen-codec-runtime.4.2.0	ok	—
atdgen-runtime.2.16.0	ok	—
atdgen.2.15.0	ok	—
atdgen.2.16.0	ok	—
atdj.4.2.0	ok	—
atdml.4.2.0	ok	—
atdpy.4.2.0	ok	—
atds.4.2.0	ok	—
atdts.4.2.0	ok	—
atomic.base	ok	—
autofonce.0.8	cascade	—
autofonce_config.0.8	cascade	—
autofonce_core.0.8	cascade	—
autofonce_lib.0.8	cascade	—
autofonce_m4.0.8	cascade	—
autofonce_misc.0.8	cascade	—
autofonce_patch.0.8	cascade	—
autofonce_share.0.8	ok	—
avro-compiler.0.1	ok	—
avro.0.1	ok	—
awa-mirage.0.3.1	cascade	—
awa.0.3.1	cascade	—
aws-autoscaling.1.2	cascade	—
aws-cloudformation.1.2	cascade	—
aws-cloudtrail.1.2	cascade	—
aws-cloudwatch.1.2	cascade	—
aws-config.0.0.1	ok	—
aws-ec2.1.2	cascade	—
aws-elasticache.1.2	cascade	—
aws-elasticloadbalancing.1.2	cascade	—
aws-rds.1.2	cascade	—
aws-route53.1.2	cascade	—
aws-sdb.1.2	cascade	—
aws-sqs.1.2	cascade	—
aws-ssm.1.2	cascade	—
aws-sts.1.2	cascade	—
aws.1.2	cascade	—
b0.0.0.6	ok	—
baby.20260620	ok	—
backoff.0.1.1+ox	ok	—
bag.1.0.0	ok	—
baguette_sharp.2.2.1-1	ok	—
bancos.0.0.1	cascade	—
bank.0.0.1	ok	—
bap-emacs-dot.0.1	ok	—
bap-emacs-goodies.0.1	ok	—
bap-emacs-mode.0.1	ok	—
bap-signatures.2.5.0	ok	—
bare_encoding.0.3.1	ok	—
bark.0.1.4	ok	—
base-bigarray.base	ok	—
base-bytes.base	ok	—
base-domains.base	ok	—
base-effects.base	ok	—
base-native-int63.0.1	ok	—
base-nnp.base	ok	—
base-threads.base	ok	—
base-unix.base	ok	—
base.v0.17.3	ok	—
base32.1.0.0	ok	—
base64.2.3.0	ok	—
base64.3.5.2	ok	—
basement.v0.18~preview.130.91+190	failed	—
batch_jaro_winkler.0.1.1	ok	—
batteries.3.11.0	failed	—
bcfg.0.1.0	ok	—
bcfgt.0.1.0	ok	—
bdd.0.5	ok	—
bddrand.2.71.15	cascade	—
bech32.0.1	ok	—
bechamel-js.0.5.0	cascade	—
bechamel-perf.0.5.0	ok	—
bechamel.0.5.0	ok	—
benchmark.1.7	ok	—
bencode.2.0	failed	—
bentov.1	ok	—
bestline.0.2.1	ok	—
bheap.2.0.0	ok	—
bibfmt.0.9.2	ok	—
bibtex2html.1.99-1	cascade	—
bidirectional_map.v0.17.0	ok	—
bigarray-compat.1.1.0	ok	—
bigarray-overlap.0.2.1	ok	—
bigstring-unix.0.3	ok	—
bigstring.0.3	ok	—
bigstringaf.0.10.0	ok	—
bimage-display.0.6.0	ok	—
bimage-gtk.0.2.1	cascade	—
bimage-io.0.6.0	ok	—
bimage-lwt.0.4.0	ok	—
bimage-sdl.0.2.1	ok	—
bimage-unix.0.6.0	ok	—
bimage.0.2.1	ok	—
bimage.0.4.0	ok	—
bimage.0.6.0	ok	—
bin.0.1.1	failed	—
bin_tree.0.1	ok	—
binary_tree.1.0	cascade	—
binaryen-bin.119	ok	—
bindlib.6.0.0	ok	—
biniou.1.2.2	ok	—
binning.0.0.0	ok	—
bitcoin-ocurl.3.0	ok	—
bitcoin.3.0	ok	—
bitgenerators.v0.1.0	ok	—
bitlib.1.0	ok	—
bitmasks.1.5.0	ok	—
bitpack_serializer.0.1.0	ok	—
bitstring.5.0.2	ok	—
bitv.2.1	ok	—
bitwuzla-bin.1.0.0	failed	—
bitwuzla-c.1.0.6	ok	—
bitwuzla-cxx.0.9.1	ok	—
bitwuzla.1.0.6	ok	—
bjack.0.1.6	ok	—
bloomf.0.2.0	ok	—
bls12-381-gen.0.5.0	ok	—
bls12-381-hash.1.0.0	cascade	—
bls12-381-signature.1.0.0	cascade	—
bls12-381-unix.2.0.1	ok	—
bls12-381.2.0.1	ok	—
bls12-381.6.0.1	failed	—
bls12-381.6.1.0	failed	—
blurhash.0.1.0	ok	—
bm25.0.0.2	cascade	—
bn128.0.1.3	ok	—
bnfgen.4.0.0	failed	—
bogue-tutorials.0.2.0	cascade	—
bogue.20250815	cascade	—
bogue.20260208	cascade	—
bos.0.2.1	ok	—
bos.0.3.0	cascade	—
broken.0.4.2	ok	—
brot.1.0.0~alpha3	ok	—
brr.0.0.9	cascade	—
bsdowl.3.0.0-20150830	ok	—
bst.7.1.0	cascade	—
bstr.0.1.1	ok	—
buffer-pool.0.2	ok	—
build_path_prefix_map.0.3	ok	—
bwd.2.3.0	ok	—
bwrap.0.1	ok	—
bytesrw.0.4.1	ok	—
bytream.0.3	ok	—
bz2.0.8.0	ok	—
ca-certs-nss.3.101	cascade	—
ca-certs.0.2.3	cascade	—
cachet-lwt.0.0.4	ok	—
cachet-solo5.0.0.4	ok	—
cachet.0.0.2	ok	—
cachet.0.0.4	ok	—
cairn.2.1	ok	—
cairo2-gtk.0.6.5	cascade	—
cairo2-pango.0.6.5	cascade	—
cairo2.0.6.5	ok	—
calculon-web.0.8	cascade	—
calculon.0.8	cascade	—
calendar.3.0.0	ok	—
calendars.2.0.0	ok	—
calipso.4.1.0	ok	—
calli.0.2	cascade	—
callipyge.0.2	ok	—
caml-mode.4.9	ok	—
camlbz2.transition	ok	—
camldiets.0.3	ok	—
camlgpc.1.2	ok	—
camlid.0.2	ok	—
camlidl.1.13-1	ok	—
camlon.3.1.0	ok	—
camlp-streams.5.0.1	ok	—
camlp4.5.4	failed	—
camlp5-buildscripts.0.07	ok	—
camlp5.8.04.01	failed	—
camlpdf.2.5.3	failed	—
camlpdf.2.9	failed	—
camlprime.0.5	ok	—
camlrack.0.10.1	ok	—
camlzip.1.14	ok	—
camomile-embedded.2.1.0	cascade	—
camomile.2.0.0	failed	—
camomile.2.1.0	failed	—
caper.0.9	cascade	—
caps.0.1.0	failed	—
caqti-driver-mariadb.3.0.1	cascade	—
caqti-driver-postgresql.3.0.1	cascade	—
caqti-driver-sqlite3.3.0.0	cascade	—
caqti-dynload.3.0.0	cascade	—
caqti-eio.3.0.0	cascade	—
caqti-lwt.2.3.2	cascade	—
caqti-lwt.3.0.0	cascade	—
caqti-miou.3.0.0	cascade	—
caqti-type-calendar.3.0.0	cascade	—
caqti.2.3.2	cascade	—
caqti.3.0.0	cascade	—
carray.0.0.2	ok	—
carton-git-lwt.1.4.0	cascade	—
carton-git.0.7.2	cascade	—
carton-lwt.0.7.2	cascade	—
carton-lwt.1.4.0	ok	—
carton-miou-unix.1.1.0	cascade	—
carton-miou.1.4.0	cascade	—
carton.0.7.2	cascade	—
carton.1.1.0	ok	—
carton.1.4.0	ok	—
cascade.1.2.1	cascade	—
castore.0.0.2	ok	—
catala-format.1.2.0	cascade	—
catapult-client.0.2	ok	—
catapult-daemon.0.2	cascade	—
catapult-file.0.2	ok	—
catapult-sqlite.0.2	failed	—
catapult.0.2	ok	—
cattery.0.0.1	cascade	—
cb-check.0.1	ok	—
cbor.0.5	failed	—
cborl.0.1.0	ok	—
cconv.0.5	ok	—
cdb.1.0.1	ok	—
cdp-gen.0.1.0	ok	—
cdrom.0.9.4	ok	—
ceph.20240106	ok	—
certify.0.3.3	cascade	—
cf-lwt.0.5.0	ok	—
cf.0.5.0	ok	—
cfg.2.3.1	ok	—
cfgen.1.0	cascade	—
cfml.20220112	ok	—
cgroups.0.1	ok	—
chacha.1.1.0	ok	—
chalk.1.0	ok	—
charInfo_width.2.0.0	cascade	—
charrua-client.3.2.1	cascade	—
charrua-server.3.2.1	ok	—
charrua.3.2.1	ok	—
charset.0.3.0	cascade	—
chase.1.5	ok	—
checkseum.0.5.3	ok	—
choice.0.4	ok	—
chrome-trace.3.22.2+ox	ok	—
chrome-trace.3.24.2	ok	—
cid.0.1.0	cascade	—
cinaps.v0.15.1	ok	—
clap.0.3.0	failed	—
clarity-lang.0.1.0	ok	—
class_group_vdf.0.0.5	ok	—
claudius.1.2.1	ok	—
clim.0.3.0	ok	—
climate.0.9.0	ok	—
cll.0.2.0	ok	—
cmarkit.0.3.0+ox	ok	—
cmarkit.0.4.0	cascade	—
cmdlang-stdlib-runner.0.0.11	ok	—
cmdlang-to-climate.0.0.11	ok	—
cmdlang-to-cmdliner.0.0.11	ok	—
cmdlang.0.0.11	ok	—
cmdliner-stdlib.1.0.1	ok	—
cmdliner.1.0.4	ok	—
cmdliner.1.3.0	ok	—
cmdliner.2.1.1	ok	—
cmitomli.1.0.0	failed	—
cmon.0.2	ok	—
coap-core.0.1.0	ok	—
coap-server-lwt.0.1.0	ok	—
coap.0.1.0	ok	—
cobs.0.1.1	ok	—
codept-lib.0.13.0	failed	—
codept.0.13.0	cascade	—
cohttp-curl-lwt.6.3.0	ok	—
cohttp-curl.6.3.0	ok	—
cohttp-server-lwt-unix.6.3.0	ok	—
coin.0.1.5	ok	—
colibrilib-why3.0.6	cascade	—
colibrilib.0.6	ok	—
colombe.0.12.1	cascade	—
colombe.0.13.0	cascade	—
color-brewery.0.2	ok	—
color.0.3.0	ok	—
colors.0.0.1	ok	—
combic.1.0.0	ok	—
combinat.3.0	ok	—
compiler-cloning.enabled	ok	—
conan-cli.0.0.8	ok	—
conan-database.0.0.8	ok	—
conan-lwt.0.0.8	ok	—
conan-unix.0.0.8	ok	—
conan.0.0.8	ok	—
conex.1.0.0	failed	—
conf-aarch64-linux-gnu-gcc.1	ok	—
conf-aclocal.2	ok	—
conf-adwaita-icon-theme.2	ok	—
conf-age.1	ok	—
conf-allegro5.2	ok	—
conf-alsa.1	ok	—
conf-antic.1	failed	—
conf-ao.1	ok	—
conf-arb.1	failed	—
conf-asciidoc.1	ok	—
conf-assimp.1	ok	—
conf-autoconf.1	ok	—
conf-automake.1	ok	—
conf-bap-llvm.1.8	failed	—
conf-bash.1	ok	—
conf-binaryen.1	ok	—
conf-binutils.0.3	ok	—
conf-bison.2	ok	—
conf-blas.1	ok	—
conf-bluetooth.1	ok	—
conf-bmake.1.0	ok	—
conf-boost.1	ok	—
conf-bpftool.0.1.0	ok	—
conf-brotli.0.0.1	ok	—
conf-bzip2.1	ok	—
conf-c++.1.0	ok	—
conf-cairo.1	ok	—
conf-calcium.1	cascade	—
conf-capnproto.2	ok	—
conf-cc.1	ok	—
conf-clang-format.1	ok	—
conf-clang.2	ok	—
conf-cmake.1	ok	—
conf-cosmopolitan.1	ok	—
conf-cpio.1	ok	—
conf-csdp.1	ok	—
conf-cuda-config.1	ok	—
conf-cuda.1	failed	—
conf-dbm.1.0.0	ok	—
conf-diffutils.2	ok	—
conf-dpkg.1	ok	—
conf-dssi.1	ok	—
conf-efl.1.8	ok	—
conf-emacs.1	ok	—
conf-env-travis.1	ok	—
conf-expat.1	ok	—
conf-faad.1	ok	—
conf-fdkaac.1	failed	—
conf-ffmpeg.1	ok	—
conf-fftw3.1	ok	—
conf-findutils.1	ok	—
conf-flex.2	ok	—
conf-flint.1	ok	—
conf-freeglut.1	ok	—
conf-freetype.1	ok	—
conf-frei0r.1	ok	—
conf-fswatch.11-0.1.3	failed	—
conf-ftgl.1	ok	—
conf-fts.1	ok	—
conf-g++.1.0	ok	—
conf-gcc.1.0	ok	—
conf-gd.1	ok	—
conf-gegl.1	ok	—
conf-gfortran.0	ok	—
conf-ghostscript.1	ok	—
conf-git-daemon.1.0	ok	—
conf-git.1.1	ok	—
conf-glade.2	failed	—
conf-gles2.3.0	ok	—
conf-glew.1	ok	—
conf-glfw3.2	ok	—
conf-glib-2.1	ok	—
conf-glpk.1	ok	—
conf-gmp-paths.1	ok	—
conf-gmp-powm-sec.4	ok	—
conf-gmp.5	ok	—
conf-gnome-icon-theme3.0	ok	—
conf-gnomecanvas.2	ok	—
conf-gnuplot.0.1	ok	—
conf-gnutls.1	ok	—
conf-gobject-introspection.1.0	ok	—
conf-goocanvas2.0	ok	—
conf-gpiod.1	ok	—
conf-graphviz.0.1	ok	—
conf-gsl.2	ok	—
conf-gssapi.1	ok	—
conf-gstreamer.1	ok	—
conf-gtk2.1	ok	—
conf-gtk3-webkit.1	ok	—
conf-gtk3.18	ok	—
conf-gtk4.2	ok	—
conf-gtksourceview.2	failed	—
conf-gtksourceview3.0+2	ok	—
conf-guile.1	ok	—
conf-haveged.1.0.0	ok	—
conf-hg.1.0	ok	—
conf-hidapi.0	ok	—
conf-ida.0.3	failed	—
conf-jack.2	ok	—
conf-jq.1	ok	—
conf-ladspa.1	ok	—
conf-lame.1	ok	—
conf-lapack.1	ok	—
conf-leveldb.2	ok	—
conf-libMagickCore.1	ok	—
conf-libX11.1	ok	—
conf-libXft.1	ok	—
conf-libargon2.1	ok	—
conf-libblake3.1.5.1	failed	—
conf-libbpf.0.1.0	ok	—
conf-libbz2.1	ok	—
conf-libclang.22	failed	—
conf-libcorosync.3	ok	—
conf-libcurl.2	ok	—
conf-libdrm.1	ok	—
conf-libdw.1	ok	—
conf-libelf.1.0.0	ok	—
conf-libev.4-13	ok	—
conf-libevent.1	ok	—
conf-libffi.2.0.0	ok	—
conf-libflac.1	ok	—
conf-libfontconfig.1	ok	—
conf-libfuse.1	ok	—
conf-libfuse3.1	ok	—
conf-libgccjit.1	failed	—
conf-libgif.1	ok	—
conf-libgl.1	ok	—
conf-libglu.1	ok	—
conf-libgsasl.1	ok	—
conf-libinput.1	ok	—
conf-libjpeg.1	ok	—
conf-liblinear-tools.1.0.0	ok	—
conf-liblo.1	ok	—
conf-liblz4.1	ok	—
conf-liblzma.1	ok	—
conf-libmagic.1	ok	—
conf-libmaxminddb.1	ok	—
conf-libmd.1.0.0	ok	—
conf-libmosquitto.1	ok	—
conf-libmpg123.1	ok	—
conf-libnl3.1	ok	—
conf-libogg.1	ok	—
conf-libopus.1	ok	—
conf-libpcre.2	failed	—
conf-libpcre2-8.2	ok	—
conf-libpng.1	ok	—
conf-libportmidi.1	ok	—
conf-librdkafka.1	ok	—
conf-librsvg2.0	ok	—
conf-libsamplerate.2	ok	—
conf-libseccomp.1	ok	—
conf-libsodium.1	ok	—
conf-libspeex.1	ok	—
conf-libssl.4	ok	—
conf-libsvm-tools.1.0.0	ok	—
conf-libsvm.3	ok	—
conf-libtheora.1	ok	—
conf-libtool.1	ok	—
conf-libudev.1	ok	—
conf-liburing.0.1.0	ok	—
conf-libusb.1	ok	—
conf-libuv.1	ok	—
conf-libvorbis.1	ok	—
conf-libwayland.1	ok	—
conf-libxcb-image.1	ok	—
conf-libxcb-keysyms.1	ok	—
conf-libxcb-shm.1	ok	—
conf-libxcb-xkb.1	ok	—
conf-libxcb.1	ok	—
conf-libxcursor.1	ok	—
conf-libxi.1	ok	—
conf-libxinerama.1	ok	—
conf-libxrandr.1	ok	—
conf-lilv.1	ok	—
conf-linux-libc-dev.0	ok	—
conf-lld.1	ok	—
conf-lldb.3.5	failed	—
conf-llvm-shared.19	ok	—
conf-llvm-static.19	ok	—
conf-llvm.17	ok	—
conf-lua.1	ok	—
conf-lz4.1.0.0	failed	—
conf-m4.1	ok	—
conf-mad.2	ok	—
conf-mariadb.2	ok	—
conf-mbedtls.2	ok	—
conf-mecab.0.996	ok	—
conf-mesa.1	ok	—
conf-mpfr-paths.1	ok	—
conf-mpfr.3	ok	—
conf-mpi.1	ok	—
conf-mysql.1	ok	—
conf-nanomsg.0	ok	—
conf-nauty.1.0	failed	—
conf-ncurses.1	ok	—
conf-neko.1	ok	—
conf-netsnmp.1.0.0	ok	—
conf-ninja.1	ok	—
conf-nlopt.1	ok	—
conf-nmap.1.0.0	ok	—
conf-npm.1	ok	—
conf-numa.0.1.0	ok	—
conf-ode.1	ok	—
conf-oniguruma.1	ok	—
conf-openbabel.0.1	ok	—
conf-openblas.0.2.3	ok	—
conf-opencc0.1	failed	—
conf-opencc1.1	failed	—
conf-opencc1_1.1	ok	—
conf-openimageio.1	ok	—
conf-openjdk.1	ok	—
conf-openssl.2	ok	—
conf-pam.1	ok	—
conf-pandoc.0.1	ok	—
conf-pango.1	ok	—
conf-perl-ipc-system-simple.3	ok	—
conf-perl-string-shellquote.3	ok	—
conf-perl.2	ok	—
conf-pixz.1	ok	—
conf-pkg-config.2	ok	—
conf-pkg-config.5	ok	—
conf-plplot.1	ok	—
conf-portaudio.1	ok	—
conf-postgresql.2	ok	—
conf-povray.1	ok	—
conf-ppl.1	ok	—
conf-protoc-dev.1.0.0	ok	—
conf-protoc.4.4.0	ok	—
conf-pulseaudio.1	ok	—
conf-python-2-7-dev.1.0	failed	—
conf-python-2-7.1.2	failed	—
conf-python-3-7.1.0.0	ok	—
conf-python-3-dev.1	ok	—
conf-python-3.9.0.0	ok	—
conf-python3-pyparsing.1	ok	—
conf-python3-tomli.1	ok	—
conf-python3-yaml.1	ok	—
conf-qemu-img.1	ok	—
conf-qrencode.0.2	ok	—
conf-qt.5.2.1	ok	—
conf-r-mathlib.1	ok	—
conf-r.1.0.0	ok	—
conf-radare2.0.1	failed	—
conf-rdkit.1	ok	—
conf-readline.1	ok	—
conf-rocksdb.2	ok	—
conf-rubberband.1	ok	—
conf-ruby.1.0.0	ok	—
conf-rust-2018.1	ok	—
conf-rust-2021.1	ok	—
conf-rust-2024.1	ok	—
conf-rust-llvm.1	ok	—
conf-rust-wasm.1	ok	—
conf-rust.0.1	ok	—
conf-samplerate.1	ok	—
conf-scdoc.1	ok	—
conf-sdl-gfx.1	ok	—
conf-sdl-image.1	ok	—
conf-sdl-mixer.1	ok	—
conf-sdl-net.1	ok	—
conf-sdl-ttf.1	ok	—
conf-sdl2-image.1	ok	—
conf-sdl2-mixer.1	ok	—
conf-sdl2-net.1	ok	—
conf-sdl2-ttf.1	ok	—
conf-sdl2.1	ok	—
conf-sdpa.1	failed	—
conf-secp256k1.2	ok	—
conf-sfml2.1	ok	—
conf-shine.1	ok	—
conf-snappy.1	ok	—
conf-sndfile.1	ok	—
conf-soundtouch.1	ok	—
conf-sqlite3.1	ok	—
conf-srt-gnutls.1	ok	—
conf-srt-openssl.1	ok	—
conf-srt.2	ok	—
conf-sundials.2	ok	—
conf-swi-prolog.1	ok	—
conf-taglib.1	ok	—
conf-taglib_c.2	ok	—
conf-tcl.1	ok	—
conf-texlive.2	ok	—
conf-tidy.1	ok	—
conf-time.1	ok	—
conf-timeout.1	ok	—
conf-tk.1	ok	—
conf-tree-sitter.1	failed	—
conf-trexio.0.1	failed	—
conf-tzdata.1	ok	—
conf-unwind.0	ok	—
conf-vim.1	ok	—
conf-vips.1	ok	—
conf-wayland-protocols.1	ok	—
conf-wget.1	ok	—
conf-which.1	ok	—
conf-wxwidgets.3.0	failed	—
conf-x86_64-linux-gnu-gcc.1	ok	—
conf-xen.1	ok	—
conf-xkbcommon.1	ok	—
conf-xxhash.1	ok	—
conf-zig.1	failed	—
conf-zlib.1	ok	—
conf-zmq.0.1	ok	—
conf-zstd.1.3.8	ok	—
confero.0.1.1	cascade	—
config-file.1.2.2	cascade	—
configuration.0.4.1	ok	—
conformist.0.8.1	ok	—
conjury.2.2	cascade	—
containers-data.3.18	cascade	—
containers.3.18	failed	—
contract.0.2.0	ok	—
cookie.0.1.8	cascade	—
coq-core.8.18.0	failed	—
coq-core.8.20.1	failed	—
coq-core.9.1.1	cascade	—
coq-core.9.2.0	cascade	—
coq-shell.1	ok	—
coq-stdlib.8.18.0	cascade	—
coq-stdlib.9.0.0	cascade	—
coq-waterproof.3.1.0+9.1	cascade	—
coq.8.18.0	cascade	—
coq.9.1.1	cascade	—
coq.9.2.0	cascade	—
coqide-server.8.18.0	cascade	—
coqide-server.8.20.1	cascade	—
coqide-server.9.1.1	cascade	—
coqide-server.9.2.0	cascade	—
coqide.8.20.1	cascade	—
corosync.0.1.0	ok	—
cosovo.3	ok	—
cow.2.5.0	cascade	—
cpdf.2.9	cascade	—
cpm.12.2.0	cascade	—
cppo.1.8.0	ok	—
cppo_ocamlbuild.1.8.0	ok	—
cps_toolbox.0.3	ok	—
cpu.2.0.0	ok	—
cpuid.0.1.2	ok	—
crlibm.0.5.1	ok	—
crockford.1.0.0	ok	—
crontab.0.1	ok	—
crowbar.0.2.2	ok	—
crunch.4.1.0	cascade	—
cry.1.0.3	failed	—
crypt.2.1	ok	—
cryptokit.1.20	ok	—
csdp.6.2.0	ok	—
csexp-query.0.1.0	ok	—
csexp.1.5.2	ok	—
cstruct-lwt.6.0.0	ok	—
cstruct-lwt.6.3.0	ok	—
cstruct-unix.6.3.0	ok	—
cstruct.6.0.0	ok	—
cstruct.6.0.1	ok	—
cstruct.6.3.0	cascade	—
csv-lwt.2.4	ok	—
csv.2.4	ok	—
csvtool.2.4	ok	—
ctoxml.4.1.0	ok	—
ctypes-build.0.0.2	ok	—
ctypes-foreign.0.24.0+ox	ok	—
ctypes.0.24.0+ox	ok	—
cudajit.0.7.2	cascade	—
cudd.0.1.3	ok	—
cudf.0.10	ok	—
cudf.0.11~rc1	ok	—
cue_sheet_maker.0.2.0-1	ok	—
cumulus.0.0.1	ok	—
curl.0.10.0	ok	—
curl_lwt.0.10.0	ok	—
curly.0.3.0	ok	—
current_ansi.0.4	ok	—
current_incr.0.6.1	ok	—
curses.1.0.12	ok	—
curve-sampling.0.2.1	ok	—
curve448.0.1.0	cascade	—
cvc5.1.3.0-2	ok	—
daft.0.0.4	cascade	—
data-encoding.0.4	cascade	—
datalog.0.7	ok	—
dates_calc.0.0.10	ok	—
daypack-lib.0.0.6	cascade	—
dbase4.0.2.0	ok	—
dbm.1.4	ok	—
dead_code_analyzer.1.3.0	failed	—
debian-formats.0.1.2	ok	—
decimal.1.0.2	ok	—
decoders-bencode.1.0.0	cascade	—
decoders-cbor.1.0.0	cascade	—
decoders-ezjsonm.1.0.0	cascade	—
decoders-ezxmlm.1.0.0	ok	—
decoders-jsonm.1.0.0	ok	—
decoders-msgpck.1.0.0	cascade	—
decoders-yojson.1.0.0	ok	—
decoders.1.0.0	ok	—
decompress.1.6.0	ok	—
dedukti.2.7	ok	—
deepseek.0.1.0	ok	—
delimcc_of_fxhandler.0.1	cascade	—
depyt.0.3.0	ok	—
diet.0.4	ok	—
diffast-etc.0.4	ok	—
digestif.1.3.1	failed	—
directories.0.5	ok	—
directories.0.7	ok	—
dispatch.0.5.0	ok	—
dkml-c-probe.4.0.0	ok	—
dkml-compiler-env.1.0.2~prerel7	ok	—
dkml-dune-dsl.0.1.4	ok	—
dkml-runtime-common-native.2.0.3	ok	—
dkml-runtime-common.2.0.3	ok	—
dlm.0.3.3	cascade	—
dmap.0.5	ok	—
dns-client-lwt.8.0.0	cascade	—
dns-client-mirage.8.0.0	cascade	—
dns-client.10.2.6	cascade	—
dns-client.8.0.0	ok	—
dns-mirage.10.2.6	cascade	—
dns-server.10.2.6	cascade	—
dns-tsig.10.2.6	cascade	—
dns.10.2.6	ok	—
dns.8.0.0	ok	—
docker_hub.0.2.0	cascade	—
docout.0.0.1	cascade	—
docteur-solo5.0.0.7	cascade	—
docteur-unix.0.0.7	cascade	—
docteur.0.0.7	cascade	—
doctor.0.4.0	ok	—
dolmen.0.10	ok	—
dolmen_loop.0.10	ok	—
dolmen_type.0.10	ok	—
dolog.4.0.0	ok	—
dolog.6.0.0	ok	—
domain-local-await.1.0.1	ok	—
domain-local-timeout.1.0.1	ok	—
domain-name.0.5.0	ok	—
domain_shims.0.1.0	ok	—
domainpc.0.2	ok	—
domainslib.0.5.1	ok	—
dose3-extra.7.0.0	ok	—
dose3.7.0.0	ok	—
down.0.4.0	ok	—
drom_toml.0.8.0	ok	—
dscheck.0.6.0	ok	—
dssi.0.1.5	ok	—
dtoa.0.3.3	ok	—
dtools.0.4.6	ok	—
dual.0.1.0	ok	—
duff.0.5	ok	—
dune-action-plugin.3.22.2+ox	ok	—
dune-action-plugin.3.24.2	ok	—
dune-action-trace.3.24.2	ok	—
dune-build-info.3.20.2	ok	—
dune-build-info.3.22.2+ox	ok	—
dune-build-info.3.24.2	ok	—
dune-cargo-build.0.2.2	ok	—
dune-configurator.3.22.2+ox	ok	—
dune-configurator.3.24.2	ok	—
dune-glob.3.22.2+ox	ok	—
dune-glob.3.24.2	ok	—
dune-private-libs.3.22.2+ox	ok	—
dune-private-libs.3.24.2	ok	—
dune-rpc-eio.0.1.0	ok	—
dune-rpc-lwt.3.22.2+ox	ok	—
dune-rpc-lwt.3.24.2	ok	—
dune-rpc.3.20.2+ox	ok	—
dune-rpc.3.22.2+ox	ok	—
dune-rpc.3.24.2	ok	—
dune-site.3.22.2+ox	ok	—
dune-site.3.24.2	ok	—
dune.3.22.2+ox	ok	—
dune.3.24.2	ok	—
dunolint-lib.0.0.20260306	cascade	—
duppy.0.9.5	failed	—
duras.2.1.1	ok	—
duration.0.3.1	ok	—
dyn.3.20.2+ox	ok	—
dyn.3.22.2+ox	ok	—
dyn.3.24.2	ok	—
dynamic_gc.0.2.0	ok	—
dypgen.0.2.1	ok	—
earley.3.0.0	failed	—
ease-caml.0.1.7	ok	—
easy-format.1.3.4	ok	—
easy_logging.0.8.2	ok	—
ecma-regex.0.1.0	ok	—
edn.0.2.0	ok	—
eigen.0.3.3	ok	—
eio-ssl.0.3.0	ok	—
eio-trace.0.4	cascade	—
eio.1.3+ox	ok	—
eio.1.6	cascade	—
eio_linux.1.3+ox	ok	—
eio_linux.1.6	cascade	—
eio_main.1.3+ox	ok	—
eio_main.1.6	cascade	—
eio_posix.1.3+ox	ok	—
eio_posix.1.6	cascade	—
either.1.0.0	ok	—
elina.1.3.2	cascade	—
elm_core.0.2.1	ok	—
elm_playground.0.2.1	ok	—
elm_playground_native.0.2.1	ok	—
elm_system.0.2.1	ok	—
emile.1.1	cascade	—
emoji.3.0.1	ok	—
encore.0.8.1	cascade	—
enumerators.0.2.0	ok	—
epictetus.3.1.1	ok	—
eprover.3.1	ok	—
eqaf-cstruct.0.10	ok	—
eqaf.0.10	ok	—
eqaf.0.9	ok	—
equinoxe.0.2.0	cascade	—
esa.0.1.1	ok	—
esperanto-cosmopolitan.0.0.6	cascade	—
ethernet.3.2.0	ok	—
exenum.0.88	ok	—
exn-source.0.1	ok	—
expect.0.1.0	cascade	—
expr.0.7.0	ok	—
extlib.1.8.0+ox	ok	—
extprot.1.7.0	cascade	—
ez-conf-lib.2	ok	—
ez_api.3.0.0	cascade	—
ez_cmdliner.0.5.0	ok	—
ez_file.0.5.0	failed	—
ez_hash.0.5.3	ok	—
ez_opam_file.0.1.0	ok	—
ez_subst.0.2.1	ok	—
ezcurl-lwt.0.4	ok	—
ezcurl.0.4	ok	—
ezdl.2.71.15	ok	—
ezgzip.0.2.3	ok	—
ezjsonm-encoding.2.1.0	cascade	—
ezjsonm.1.3.0	cascade	—
ezlua.0.1	ok	—
ezresto-directory.0.6.1	cascade	—
ezresto.0.6.1	cascade	—
ezsqlite.0.4.2	ok	—
ezxmlm.1.1.0	ok	—
faad.0.5.1	ok	—
fadbadml.0.1.2	ok	—
fadecider.0.7	ok	—
faraday-lwt-unix.0.8.2	cascade	—
faraday-lwt.0.8.2	cascade	—
faraday.0.8.2+ox	failed	—
farfadet.0.3	cascade	—
farmhash.0.4	ok	—
fasmifra.2.1.0	cascade	—
fd-send-recv.2.0.3	ok	—
fdkaac.0.3.3	cascade	—
feat-core.20220407	ok	—
feat-num.20220407	ok	—
feat.20220407	ok	—
fehu.1.0.0~alpha3	ok	—
ff-pbt.0.6.2	ok	—
ff-sig.0.6.2	ok	—
ff.0.6.2	ok	—
ffmpeg-av.1.3.1	ok	—
ffmpeg-avcodec.1.3.1	ok	—
ffmpeg-avdevice.1.3.1	ok	—
ffmpeg-avfilter.1.3.1	ok	—
ffmpeg-avutil.1.3.1	ok	—
ffmpeg-swresample.1.3.1	ok	—
ffmpeg-swscale.1.3.1	ok	—
ffmpeg.1.3.1	ok	—
fftw3.0.8.5	ok	—
fiat-p256.0.2.3	ok	—
fiber-lwt.3.7.0	ok	—
fiber.3.7.0	ok	—
fileutils.0.6.6	ok	—
fit.1.4.1	cascade	—
fix.20250919	ok	—
flac.1.0.0	failed	—
flatunionfind.20241210	ok	—
flex-array.1.2.0	ok	—
flexdll.0.44	ok	—
flux.0.0.1~beta8	cascade	—
fluxt.0.0.1~beta8	cascade	—
fmt.0.11.0	cascade	—
fmt.0.9.0	ok	—
forcamla.0.4.0	ok	—
fpath-sexp0.0.4.0	cascade	—
fpath.0.7.3	cascade	—
frei0r.0.1.2	ok	—
frontmatter_extractor.0.2	ok	—
fs-io.3.22.2+ox	ok	—
fs-io.3.24.2	ok	—
fsevents-lwt.0.3.0	ok	—
fsevents.0.3.0	ok	—
fswatch.11-0.1.6	cascade	—
fswatch_lwt.11-0.1.0	cascade	—
fun-postgresql.0.2.3	ok	—
fun-sql.0.2.3	ok	—
fun-sqlite.0.2.3	ok	—
functoria-runtime.4.0.0	ok	—
functoria.4.0.0	cascade	—
funfields.0.04	ok	—
fungi.0.2.0	ok	—
fuse3.3.10.0.1	ok	—
fuseau-lwt.0.1	cascade	—
fuseau.0.1	cascade	—
gappa.1.6.0	ok	—
gavl.0.1.6	ok	—
gbddml.2.71.15	ok	—
gccjit.0.3.2	cascade	—
gd.1.1	ok	—
gedcom.1.0.0	ok	—
gen.1.1	ok	—
genspir.1.0.1	ok	—
geojson.0.2.0	ok	—
geojsone.0.2.0	cascade	—
geoml.0.1.1	ok	—
get_line.7.0.0	cascade	—
getopt.20230213	ok	—
gg.1.0.0	ok	—
giflib.1.1.0	ok	—
git-kv.0.2.3	cascade	—
git-mirage.3.16.1	cascade	—
git-paf.3.16.1	cascade	—
git-unix.3.16.1	cascade	—
git.3.16.1	cascade	—
git.3.18.0	cascade	—
github-data.4.5.1	ok	—
gl-legacy.0.1.0	ok	—
gles3-stubs.20260725	ok	—
gles3-wayland.20260725	ok	—
gles3-x11.20260725	ok	—
gles3.20260725	ok	—
glfw-ocaml.3.3.1-2	ok	—
glical.0.0.7	ok	—
globlon.1.0	ok	—
glpk.0.1.8	ok	—
gluten-eio.0.5.2	cascade	—
gluten-lwt-unix.0.5.2	cascade	—
gluten-lwt.0.5.2	cascade	—
gluten.0.5.2	cascade	—
gmap.0.3.0	ok	—
gmp-ecm.7.0.3	ok	—
gmp.6.3.0-1	ok	—
gnuplot.0.7	ok	—
gperftools.0.5	ok	—
gpt.1.0.0	ok	—
gptar.1.0.0	ok	—
gpx.1.1.1	ok	—
gr.0.0.2	ok	—
grain_dypgen.0.2.1	ok	—
graphics.5.2.0	ok	—
graphicspdf.2.2.1	cascade	—
graphql-lwt.0.14.0	ok	—
graphql.0.14.0	ok	—
graphql_parser.0.14.0	ok	—
graphv_core.0.1.1	ok	—
graphv_core_lib.0.1.1	ok	—
graphv_font.0.1.1	ok	—
graphv_font_stb_truetype.0.1.1	ok	—
graphv_gles2.0.1.1	ok	—
graphv_gles2_native.0.1.1	ok	—
graphv_gles2_native_impl.0.1.1	ok	—
grenier.0.16	ok	—
grid.0.2.0	ok	—
gsl.1.25.1	ok	—
gstreamer.0.3.1	ok	—
gxl-light.1.0	ok	—
h1-lwt-unix.1.1.1	cascade	—
h1.1.1.1	cascade	—
h2-eio.0.13.0	cascade	—
h2-lwt-unix.0.13.0	cascade	—
h2-lwt.0.13.0	cascade	—
h2.0.13.0	cascade	—
hachis.20240918	ok	—
hacl-star-raw.0.7.2	ok	—
hacl-star.0.7.2	ok	—
hacl_func.0.1.0	ok	—
hacl_x25519.0.2.2	ok	—
happy-eyeballs-lwt.2.0.2	ok	—
happy-eyeballs-miou-unix.2.0.2	cascade	—
happy-eyeballs-mirage.2.0.2	cascade	—
happy-eyeballs.2.0.2	ok	—
hashcons.1.4.0	ok	—
hashset.1.0.1	ok	—
hc.0.5	ok	—
hdr_histogram.0.0.6	ok	—
headache.1.08	cascade	—
header-check.0.1.0	cascade	—
hector.20241208	ok	—
hedgehog-alcotest.0.1	ok	—
hedgehog.0.1	ok	—
hevea.2.38	failed	—
hex.1.5.0	ok	—
hidapi-lwt.1.2.1	ok	—
hidapi.1.2.1	ok	—
higher.0.3.1	ok	—
highlexer.0.1	ok	—
highway.0.0.1	ok	—
hilite.0.5.0	ok	—
hkdf.1.0.4	ok	—
hmap.0.8.1	cascade	—
hol2dk.2.1.0	ok	—
hol_light_module.1.0	ok	—
hooke.0.0.1	ok	—
host-arch-x86_64.1	ok	—
host-system-other.1	ok	—
hpack.0.13.0	cascade	—
hpke.0.3.0	cascade	—
hsluv.0.1.0	ok	—
htmlfromtexbooks.3.3.2	ok	—
htmlit.0.2.0	ok	—
http-cookie.4.3.0	cascade	—
http-date.0.2	ok	—
http-lwt-client.0.2.6	cascade	—
http-multipart-formdata.3.1.0	cascade	—
http.6.3.0	ok	—
httpaf-lwt-unix.0.7.1	cascade	—
httpaf.0.7.1	cascade	—
httph.0.1	ok	—
httpun-eio.0.2.0	cascade	—
httpun-lwt-unix.0.2.0	cascade	—
httpun-lwt.0.2.0	cascade	—
httpun-types.0.2.0	cascade	—
httpun-ws-eio.0.2.0	cascade	—
httpun-ws-lwt-unix.0.2.0	cascade	—
httpun-ws-lwt.0.2.0	cascade	—
httpun-ws.0.2.0	cascade	—
httpun.0.2.0	cascade	—
huffman.0.1.2	ok	—
hugin.1.0.0~alpha3	failed	—
huml-cli.0.2.0	ok	—
huml.0.2.0	ok	—
hvsock.3.1.0	cascade	—
hxd.0.5.0	ok	—
idna.0.3.0	ok	—
idna.0.4.0	ok	—
ifs-fractals.1.2.0	ok	—
imagelib.20221222	ok	—
incremental_cycles.0.1	ok	—
inferno.20220603	ok	—
inifiles.2.0	ok	—
inotify-eio.2.6	ok	—
inotify.2.6	ok	—
inquirer_oc.1.0.15	ok	—
inspect.0.2.1	failed	—
intPQueue.20250925	ok	—
integers.0.8.0	ok	—
integration1d.0.5.1	ok	—
intel_hex.0.4.1	ok	—
interface-prime-lwt.0.1	ok	—
interface-prime.0.1	ok	—
interval-map.0.2.1	ok	—
interval.1.6	ok	—
interval_base.1.6	ok	—
interval_crlibm.1.6	ok	—
interval_intel.1.6	ok	—
inuit.0.3	ok	—
io-page-unix.2.3.0	ok	—
io-page.2.3.0	ok	—
io-page.3.0.0	ok	—
iomux.0.4	ok	—
iostream-camlzip.0.3	ok	—
iostream.0.3	ok	—
ip2proxy.3.2.0	ok	—
ipaddr-cstruct.5.6.2	ok	—
ipaddr.5.6.2	ok	—
irc-client-lwt-ssl.0.7.1	ok	—
irc-client-lwt.0.7.1	ok	—
irc-client-tls.0.7.1	cascade	—
irc-client-unix.0.7.1	failed	—
irc-client.0.7.1	ok	—
irky-eio.0.1	ok	—
irky.0.1	ok	—
irmin-watcher.0.5.0	ok	—
iso639.0.0.5	ok	—
iter.1.9	failed	—
itv-tree.2.2	ok	—
jane-street-headers.v0.17.0	ok	—
jasmin.2026.03.2	cascade	—
javalib.3.2.2	failed	—
jemalloc.0.2	ok	—
js_of_ocaml-compiler.6.4.1	cascade	—
js_of_ocaml-ocamlbuild.5.0	ok	—
js_of_ocaml-toplevel.6.4.1	cascade	—
js_of_ocaml.6.4.1	cascade	—
json-data-encoding-bson.0.11	cascade	—
json-data-encoding-bson.0.9.1	cascade	—
json-data-encoding-bson.1.1.1	cascade	—
json-data-encoding.0.11	cascade	—
json-data-encoding.0.9.1	cascade	—
json-data-encoding.1.1.1	cascade	—
json-pointer.1.0	cascade	—
jsonfeed.1.1.0	ok	—
jsonm.1.0.2	cascade	—
jsonrpc.1.19.0+ox1	ok	—
jsonschema-core.0.1.0	cascade	—
jsonschema-validation.0.1.0	cascade	—
jsonschema2atd.0.0.3	ok	—
jsont.0.4.0	ok	—
junit.2.3.0	ok	—
junit_alcotest.2.3.0	ok	—
junit_ounit.2.3.0	ok	—
jupyter-kernel.0.8	cascade	—
kafka-eio.0.1.1	ok	—
kaun-board.1.0.0~alpha3	ok	—
kaun.1.0.0~alpha3	ok	—
kdf.1.1.2	cascade	—
kdl.0.2.0	cascade	—
ke.0.6	ok	—
keynub-licdongle.1.1.1	ok	—
keyseq.0.1.0	ok	—
kicadsch.0.9.0	ok	—
kind2.3.0.0	ok	—
kittyimg.0.1	ok	—
kot.20251212	ok	—
kqueue.0.7.0	ok	—
ktdeque.0.2.0	ok	—
lablgtk.2.18.14	failed	—
lablgtk3-extras.3.0.1	cascade	—
lablgtk3-goocanvas2.3.1.5	cascade	—
lablgtk3-gtkspell3.3.1.5	cascade	—
lablgtk3-rsvg2.3.1.5	cascade	—
lablgtk3-sourceview3.3.1.5	cascade	—
lablgtk3.3.1.5	failed	—
lablgtk3.3.1.5-1	failed	—
labltk.8.06.15	failed	—
lacaml.11.1.1	ok	—
ladspa.0.2.2	ok	—
lambda-term.3.4.1	ok	—
lambda.0.1.7	ok	—
lambda_streams.0.1.2	ok	—
lambda_streams_lwt.0.1.2	ok	—
lambdasoup.1.1.1	ok	—
lame.0.3.7	ok	—
landmarks.1.7	ok	—
lastfm.0.3.4	ok	—
layoutz.0.1.0	ok	—
lbfgs.0.9.5	ok	—
ldap.2.5.2	ok	—
ledes.0.1.0	cascade	—
ledgerwallet.0.4.1	ok	—
ledit.2.08	cascade	—
lem.2026-05-01	failed	—
libabsolute.0.1	cascade	—
libbinaryen.132.0.0	ok	—
libbpf.0.1.0	ok	—
libbpf_maps.0.1.0	ok	—
libdash.0.5.2	ok	—
libdrm.1.1	ok	—
libevent.0.9.0	ok	—
libinput.1.29	ok	—
liblinear.2.47	ok	—
libnlopt.2.7.1	ok	—
libsail.0.20.3	cascade	—
libsvm_tools.3.35	ok	—
libtensorflow.0.1	ok	—
libtorch.2.2.1+linux-x86_64	ok	—
libwasmer.3.0.0~beta	ok	—
lilv.0.1.0	ok	—
line_oriented.1.3.0	cascade	—
linenoise.1.5.1	ok	—
linksem.0.8	cascade	—
linol-eio.0.11	ok	—
linol-lwt.0.11	ok	—
linol.0.11	ok	—
lintcstubs-arity.0.5.2	failed	—
lipsum.0.2	ok	—
little_logger.0.3.0	failed	—
llama-cpp-ocaml.0.0.1	failed	—
llama_core.0.1.0	ok	—
llama_midi.0.1.0	ok	—
llhttp.0.0.1	ok	—
llvm.19-static	ok	—
lmdb.1.1.3	ok	—
lo.0.2.0	failed	—
loc.0.3.3	cascade	—
lockfree.0.3.1	ok	—
locswijch.0.1.1	ok	—
logger-p5.0.4.5	cascade	—
logs-syslog.0.5.0	ok	—
logs.0.10.0	cascade	—
loop.0.0.1	ok	—
lp-glpk.0.5.0	ok	—
lp-gurobi.0.5.0	ok	—
lp-highs.0.5.0	ok	—
lp.0.5.0	ok	—
lpd.1.2.2	ok	—
lpi.0.0.2	ok	—
lreplay.0.1.1	ok	—
lrgrep.0.9	failed	—
lru-cache.0.3.0	ok	—
lru.0.3.1	ok	—
lru_cache.0.4.0	ok	—
lstar-rocq.3.0	cascade	—
lstar.3.0	cascade	—
lt-code.0.1.1	cascade	—
lua-ml.0.9.5	ok	—
lua_pattern.1.7	ok	—
lucid.0.1.5	ok	—
lun.0.0.3	ok	—
luna.0.1.0	ok	—
lunar.1.3.0	ok	—
lustre-v6.6.107.1	ok	—
lutils.1.54.1	ok	—
lutin.2.71.15	cascade	—
luv.0.5.14	ok	—
luv_unix.0.5.1	ok	—
lwd.0.5	ok	—
lwt-canceler.0.3	ok	—
lwt-dllist.1.1.0	ok	—
lwt-exit.1.0	ok	—
lwt-parallel.1.0.0	ok	—
lwt-watcher.0.2	ok	—
lwt.5.9.2+ox	ok	—
lwt.6.0.0+ox	ok	—
lwt.6.1.2	ok	—
lwt_direct.6.0.0+ox	ok	—
lwt_domain.0.3.0	ok	—
lwt_glib.1.1.1	ok	—
lwt_log.1.1.2	ok	—
lwt_react.1.2.0	ok	—
lwt_retry.5.9.0	ok	—
lwt_runtime_events.6.0.0+ox	ok	—
lwt_ssl.1.2.0	ok	—
lz4.1.3.0	ok	—
lz4_chans.3.0.1	cascade	—
lzo.0.0.3	ok	—
m_tree.0.1	cascade	—
macaddr-cstruct.5.6.2	ok	—
macaddr.5.6.2	ok	—
macaroons.0.1.0	ok	—
mad.0.5.3	ok	—
magic-mime.1.3.1	ok	—
magic.0.7.4	ok	—
make-random.0.1	failed	—
mariadb.2.1.0	ok	—
markdown.0.2.1	cascade	—
markup-lwt.0.5.0	ok	—
markup.1.0.3	ok	—
mastodon-archive-viewer.0.4.0	cascade	—
matrix-eio.0.1.0	ok	—
matrix.0.1.0	ok	—
mbr-format.2.0.0	ok	—
mc2.0.1	cascade	—
mccs.1.1+19	ok	—
mcrunch.0.0.5	cascade	—
md2mld.0.7.0	ok	—
mdx.2.6.0	failed	—
mec.0.1.0	failed	—
mehari-eio.0.4	cascade	—
mehari-lwt-unix.0.4	cascade	—
mehari-mirage.0.4	cascade	—
mehari.0.4	cascade	—
mem_usage.0.2.0	ok	—
memcpy.0.3.0	ok	—
memfd.0.1.0	ok	—
memgraph.1.0	ok	—
memo.0.2	ok	—
memprof-limits.0.3.0	failed	—
memtrace.0.2.3	ok	—
menhir.20211012	ok	—
menhir.20250912	ok	—
menhir.20260209	ok	—
menhirCST.20250912	ok	—
menhirCST.20260209	ok	—
menhirGLR.20260209	ok	—
menhirLib.20211012	ok	—
menhirLib.20250912	ok	—
menhirLib.20260209	ok	—
menhirSdk.20211012	ok	—
menhirSdk.20250912	ok	—
menhirSdk.20260209	ok	—
mergeable-vector.0.1.0	ok	—
merlin-extend.0.6.2	ok	—
merlin-of-pds.1.4	ok	—
mesh-easymesh.0.9.5	ok	—
mesh-graphics.0.9.5	ok	—
mesh.0.9.5	ok	—
metadata.0.3.2	failed	—
metadb.1.0.2	ok	—
metrics-influx.0.5.0	ok	—
metrics-lwt.0.5.0	ok	—
metrics-rusage.0.5.0	ok	—
metrics-unix.0.5.0	ok	—
metrics.0.5.0	ok	—
mew.0.1.0	ok	—
mew_vi.0.5.0	ok	—
mfat.0.0.1~beta1	failed	—
miaou-registry.0.5.2	ok	—
micro_httpd.0.20.1-1	ok	—
middleware.0.0.1	ok	—
mikmatch.1.0.9	cascade	—
mimic-happy-eyeballs.0.0.10	cascade	—
mimic.0.0.10	ok	—
mindstorm-lwt.0.8.1	ok	—
mindstorm.0.8.1	ok	—
minicli.5.0.2	ok	—
minilight.1.6	ok	—
minima-theme.1.0.0	cascade	—
minisat.0.6	ok	—
minivpt.2.0.0	cascade	—
miou.0.10.1	failed	—
mirage-block-ccm.2.0.0	cascade	—
mirage-block-combinators.3.0.2	ok	—
mirage-block-lwt.1.2.0	ok	—
mirage-block-partition.0.2.0	ok	—
mirage-block-ramdisk.0.6	ok	—
mirage-block-solo5.0.8.1	ok	—
mirage-block-unikraft.1.0.0	ok	—
mirage-block-unix.2.14.2	cascade	—
mirage-block-xen.2.1.3	ok	—
mirage-block.1.2.0	ok	—
mirage-block.3.0.2	ok	—
mirage-bootvar.1.0.1	ok	—
mirage-channel-lwt.3.2.0	ok	—
mirage-channel.3.2.0	ok	—
mirage-channel.5.0.0	ok	—
mirage-clock-lwt.2.0.0	ok	—
mirage-clock-unix.4.2.0	ok	—
mirage-clock.2.0.0	ok	—
mirage-clock.4.2.0	ok	—
mirage-console-lwt.2.4.3	ok	—
mirage-console.2.4.3	ok	—
mirage-crypto-ec.0.10.7	ok	—
mirage-crypto-ec.0.11.3	ok	—
mirage-crypto-ec.2.4.1	cascade	—
mirage-crypto-pk.0.10.7	cascade	—
mirage-crypto-pk.0.11.3	cascade	—
mirage-crypto-rng-eio.1.2.0	cascade	—
mirage-crypto-rng-lwt.0.11.3	ok	—
mirage-crypto-rng-lwt.1.2.0	cascade	—
mirage-crypto-rng-miou-unix.2.1.0	cascade	—
mirage-crypto-rng-mirage.2.4.1	cascade	—
mirage-crypto-rng-mkernel.2.4.1	cascade	—
mirage-crypto-rng.0.10.7	ok	—
mirage-crypto-rng.0.11.3	ok	—
mirage-crypto-rng.1.2.0	cascade	—
mirage-crypto-rng.2.1.0	cascade	—
mirage-crypto-rng.2.4.1	cascade	—
mirage-crypto.0.10.7	ok	—
mirage-crypto.0.11.3	ok	—
mirage-crypto.1.2.0	ok	—
mirage-crypto.2.1.0	ok	—
mirage-crypto.2.4.1	ok	—
mirage-device.1.2.0	ok	—
mirage-device.2.0.0	ok	—
mirage-flow-combinators.5.0.0	ok	—
mirage-flow-lwt.1.6.0	ok	—
mirage-flow-unix.5.0.0	ok	—
mirage-flow.1.6.0	ok	—
mirage-flow.5.0.0	ok	—
mirage-fs-lwt.2.0.0	ok	—
mirage-fs.2.0.0	ok	—
mirage-fs.4.0.0	ok	—
mirage-kv-lwt.2.0.0	ok	—
mirage-kv-mem.4.0.1	ok	—
mirage-kv-unix.3.0.1	ok	—
mirage-kv.2.0.0	ok	—
mirage-kv.4.0.1	ok	—
mirage-kv.6.1.1	ok	—
mirage-logs.3.0.0	ok	—
mirage-mtime.5.2.0	ok	—
mirage-nat.3.1.0	cascade	—
mirage-net-lwt.2.0.0	ok	—
mirage-net-solo5.0.8.1	ok	—
mirage-net-unikraft.1.0.0	ok	—
mirage-net-unix.3.0.0	ok	—
mirage-net-xen.2.1.8	ok	—
mirage-net.2.0.0	ok	—
mirage-net.4.0.0	ok	—
mirage-no-solo5.1	ok	—
mirage-no-xen.1	ok	—
mirage-protocols-lwt.3.1.0	ok	—
mirage-protocols.3.1.0	ok	—
mirage-protocols.7.0.0	ok	—
mirage-ptime.5.2.0	ok	—
mirage-qubes-ipv4.2.0.1	cascade	—
mirage-qubes.2.0.1	ok	—
mirage-random.1.2.0	ok	—
mirage-random.3.0.0	ok	—
mirage-runtime.4.11.2	ok	—
mirage-sleep.4.1.0	ok	—
mirage-solo5.0.10.0	ok	—
mirage-stack-lwt.1.4.0	ok	—
mirage-stack.1.4.0	ok	—
mirage-time-lwt.1.3.0	ok	—
mirage-time-unix.3.0.0	ok	—
mirage-time.1.3.0	ok	—
mirage-time.3.0.0	ok	—
mirage-types-lwt.3.6.0	ok	—
mirage-types.3.6.0	ok	—
mirage-unikraft.1.0.0	ok	—
mirage-unix.5.0.1	ok	—
mirage-vnetif.0.6.2	ok	—
mirage-xen.9.0.1	ok	—
mirage.4.11.2	cascade	—
mkaudio.1.1.4	ok	—
mkernel.0.0.2	cascade	—
mkernel.0.0.4	cascade	—
mkocaml.1.2	ok	—
mlbdd.0.7.3	ok	—
mlcuddidl.3.0.8	failed	—
mldsa.0.1.1	ok	—
mlfenv.1.0.0	ok	—
mlgmpidl.1.3.0	ok	—
mlkem.0.1.1	ok	—
mlmpfr.4.2.1	failed	—
mlsolver.1.5	ok	—
mm.0.8.6	ok	—
mmap.1.2.0	ok	—
mnd.1.1.0	ok	—
mnet-cli.0.0.7	cascade	—
mnet-dhcp.0.0.7	cascade	—
mnet-happy-eyeballs.0.0.7	cascade	—
mnet.0.0.7	cascade	—
mock-ounit.1.0.0	ok	—
mock.1.0.0	ok	—
modelkit-nx.0.5.0	ok	—
modelkit-talon.0.5.0	ok	—
modelkit.0.5.0	ok	—
monolith.20250922	ok	—
monomorphic.2.1.0	ok	—
mopsa.1.2	cascade	—
more-ocaml.1.0	ok	—
mosaic.0.1.0	ok	—
mosaique.0.0.1	ok	—
moss.0.1.1	cascade	—
mparser-pcre.1.3	cascade	—
mparser-re.1.3	ok	—
mparser.1.3	ok	—
mperf.0.5.0	ok	—
mpg123.0.3	failed	—
mpi.1.07	ok	—
mpp.0.3.6	ok	—
mrmime.0.8.0	cascade	—
msat-bin.0.9.1	cascade	—
msat.0.9.1	cascade	—
mset.0.2.0	ok	—
msgpck.1.7	failed	—
msts.0.1.0	ok	—
mtime.2.2.0	cascade	—
mugen.0.1.0	ok	—
mula.0.1.2	ok	—
multibase.0.1.0	ok	—
multicodec.0.1.0	ok	—
multicont.1.0.3	failed	—
multicore-magic-dscheck.2.3.2	ok	—
multihash-digestif.0.1.0	cascade	—
multihash.0.1.0	ok	—
multipart_form-eio.0.8.0	cascade	—
multipart_form-lwt.0.8.0	cascade	—
multipart_form-miou.0.8.0	cascade	—
multipart_form.0.8.0	cascade	—
murmur3.0.3	ok	—
mustache-cli.3.3.0	ok	—
mustache.3.3.0	ok	—
mutf8.0.2	cascade	—
mybuild.7	ok	—
mysql.1.2.4	ok	—
namespaces.0.5.1	ok	—
nanoev.0.1	ok	—
nanoid.1.0.0	ok	—
nanosvg.0.2	ok	—
nanosvg_text.0.1	ok	—
nats-client.0.0.10	ok	—
nel.1.0.1	ok	—
neodriver_core.0.1.2	cascade	—
neodriver_packstream.0.1.2	ok	—
netlink.0.3.4	ok	—
ninja_utils.2.0.0	ok	—
niru.1.0.0	ok	—
nlopt-ocaml.transition	ok	—
nlopt.0.7.0	ok	—
nlp.0.0.1	ok	—
nmea.0.1.5	ok	—
noise.0.2.0	cascade	—
not-ocamlfind.0.15	ok	—
note.0.0.3	ok	—
npy.0.0.9	ok	—
num.1.6	ok	—
nx-datasets.1.0.0~alpha2	ok	—
nx-text.1.0.0~alpha0	ok	—
nx.1.0.0~alpha0	ok	—
nx.1.0.0~alpha2	ok	—
nx.1.0.0~alpha3	ok	—
obelisk.0.8.1	ok	—
object.0.1	ok	—
obs-eio.0.1.0	ok	—
obuild.0.3.0	failed	—
ocaml-base-compiler.5.5.1	ok	—
ocaml-buddy.0.6.1	failed	—
ocaml-canvas.1.0.0	ok	—
ocaml-compiler-libs.v0.17.0+ox	failed	—
ocaml-compiler.5.5.1	ok	—
ocaml-config.3	ok	—
ocaml-expat.1.3.0	ok	—
ocaml-inifiles.1.2	cascade	—
ocaml-lua.1.8	ok	—
ocaml-makefile.6.39.2	ok	—
ocaml-markdown.transition	cascade	—
ocaml-options-vanilla.1	ok	—
ocaml-print-intf.1.2.0	failed	—
ocaml-probes.v0.17.0	ok	—
ocaml-protoc.4.1	ok	—
ocaml-sat-solvers.0.8	ok	—
ocaml-secondary-compiler.4.14.2	ok	—
ocaml-solo5.1.2.0	failed	—
ocaml-src.5.4.0	ok	—
ocaml-syntax-shims.1.0.0	ok	—
ocaml-systemd.1.3	ok	—
ocaml-top.1.2.0	cascade	—
ocaml-unikraft-arm64.1.2.0	failed	—
ocaml-unikraft-backend-firecracker-arm64.1.2.0-0.20.0	ok	—
ocaml-unikraft-backend-firecracker-x86_64.1.2.0-0.20.0	ok	—
ocaml-unikraft-backend-firecracker.1.2.0-0.20.0	cascade	—
ocaml-unikraft-backend-qemu-arm64.1.2.0-0.20.0	ok	—
ocaml-unikraft-backend-qemu-x86_64.1.2.0-0.20.0	ok	—
ocaml-unikraft-backend-qemu.1.2.0-0.20.0	cascade	—
ocaml-unikraft-default-arm64.1.2.0	cascade	—
ocaml-unikraft-default-x86_64.1.2.0	cascade	—
ocaml-unikraft-option-9pfs.1.2.0-0.20.0	ok	—
ocaml-unikraft-option-debug.1.2.0-0.20.0	ok	—
ocaml-unikraft-toolchain-arm64.1.2.0-0.20.0	ok	—
ocaml-unikraft-toolchain-x86_64.1.2.0-0.20.0	ok	—
ocaml-unikraft-x86_64.1.2.0	failed	—
ocaml-unikraft.1.2.0	cascade	—
ocaml-variants.5.4.0+ox	ok	—
ocaml-version.4.1.4	ok	—
ocaml-xdg-basedir.transition	ok	—
ocaml-yescrypt.0.1.1	ok	—
ocaml.5.4.0	ok	—
ocaml.5.5.1	ok	—
ocaml_intrinsics.v0.17.0	cascade	—
ocaml_intrinsics_kernel.v0.17.2	failed	—
ocamlbrowser.5.4.0	cascade	—
ocamlbuild-atdgen.0.1.0	ok	—
ocamlbuild-protoc.0.1	ok	—
ocamlbuild.0.16.1+ox	ok	—
ocamlc-loc.3.20.2+ox	ok	—
ocamlc-loc.3.22.2+ox	ok	—
ocamlc-loc.3.24.2	ok	—
ocamldap.transition	ok	—
ocamldiff.1.2	ok	—
ocamldot.1.1	failed	—
ocamlfind.1.9.8+ox	ok	—
ocamlformat-rpc-lib.0.29.0	ok	—
ocamlformat-rpc.removed	ok	—
ocamlfuse.2.7.2	ok	—
ocamlgraph.2.2.0	ok	—
ocamlgraph_gtk.2.2.0	cascade	—
ocamlify.0.1.0	ok	—
ocamline.1.2	ok	—
ocamlmod.0.1.1	ok	—
ocamlog.0.2	ok	—
ocamlregextkit.1.0.2	failed	—
ocamlscript.3.0.0	failed	—
ocamlsdl2-image.0.01	ok	—
ocamlsdl2-ttf.0.02	ok	—
ocamlsdl2.0.04	ok	—
ocamlwc.0.3	ok	—
ocamlyices.0.7.1	failed	—
ocannl_npy.0.4.1	ok	—
ocb-stubblr.0.1.1-1	ok	—
ocb.0.2	ok	—
ocf.1.0.0	ok	—
ocgtk.0.1~preview2	ok	—
ockt.0.0.1	ok	—
ocolor.1.3.1	ok	—
ocp-browser.1.4.1	cascade	—
ocp-indent-nlfork.1.5.5	ok	—
ocp-indent.1.10.0	ok	—
ocp-index.1.4.1	failed	—
ocp-ocamlres.0.4	ok	—
ocp-reloc.0.1	ok	—
ocplib-endian.1.2	ok	—
ocplib-simplex.0.4.1	ok	—
ocplib-simplex.0.5	ok	—
ocplib-simplex.0.5.1	ok	—
ocplib_stuff.0.4.0	ok	—
octavius.1.2.2	ok	—
ocue.0.1.0	cascade	—
ocurl.transition	ok	—
odate.0.7	ok	—
odds.1.2	ok	—
odepack.0.7.1	ok	—
odnnr.2.0.0	cascade	—
odoc-depgraph.1.0	cascade	—
odoc-driver.3.2.1+master.1790607351.6dc5826	cascade	—
odoc-md.3.2.1+master.1790607351.6dc5826	cascade	—
odoc-parser.3.2.1	ok	—
odoc-parser.3.2.1+master.1790607351.6dc5826	cascade	—
odoc.3.2.1+master.1790607351.6dc5826	cascade	—
oepub.0.1.0	ok	—
ofx.0.1.5	ok	—
ogg.0.6.1	failed	—
ogg.1.0.0	failed	—
oglsl.0.1.0	ok	—
ohex.0.2.0	ok	—
ojo.0.2.1	ok	—
olint.0.1.0	ok	—
ollvm-tapir.0.99.1	ok	—
ollvm.0.99	ok	—
oma.20240619	ok	—
omake.0.10.7	failed	—
omd.2.0.0~alpha4+ox	cascade	—
oml.0.0.7	ok	—
omlr.1.0.3	cascade	—
omod.0.0.5	failed	—
omtl.0.2	ok	—
oneffs.0.1.0	ok	—
oniguruma.0.2.0	ok	—
opam-0install-cudf.0.5.0	ok	—
opam-compiler.0.2.1	cascade	—
opam-core.2.5.1+ox	ok	—
opam-core.2.6.0	cascade	—
opam-depext.1.2.3	ok	—
opam-ed.0.5	ok	—
opam-file-format.2.1.6	ok	—
opam-file-format.2.2.0	ok	—
opam-format.2.5.1+ox	ok	—
opam-format.2.6.0	cascade	—
opam-graph.0.1.1	cascade	—
opam-grep.0.4.1	ok	—
opam-monorepo.0.4.3	failed	—
opam-monorepo.0.5.0	failed	—
opamconfig.0.3.0	ok	—
opasswd.1.3.1	ok	—
opatch.3.1.2	ok	—
openQASM.0.4.0	ok	—
openbsd.1.0	ok	—
opencc.transition	cascade	—
opencc0.1.0.2	cascade	—
opencc1.1.0.1	cascade	—
opencc1_1.0.1.0	ok	—
operf-micro.1.1.3	ok	—
oplot.0.85	cascade	—
oplsr.8.0.1	cascade	—
opomodoro.0.0.2	ok	—
optal.0.3	ok	—
opti.1.0.3	ok	—
optimization1d.0.6.1	ok	—
optiml-transport.0.0.1	ok	—
optint.0.3.0	ok	—
opus.1.0.0	cascade	—
oqamldebug.0.9.5	ok	—
ordering.3.20.2+ox	ok	—
ordering.3.22.2+ox	ok	—
ordering.3.24.2	ok	—
ordinal.1.1	ok	—
orec.1.0.1	ok	—
orgeat.0.0.1	cascade	—
orocksdb.0.4.0	ok	—
orrandomForest.3.0.0	cascade	—
orsetto.1.1.3	cascade	—
orsvm_e1071.4.0.0	ok	—
ortac-runtime-qcheck-stm.0.8.0	cascade	—
ortac-runtime.0.8.0	failed	—
orthologic-coq.0.9.1	cascade	—
ortools.9.15.0-2	ok	—
ortools_solvers.9.15.0-2	cascade	—
orxgboost.1.2.0	failed	—
osc-unix.0.2.0	ok	—
osc.0.2.0	ok	—
osdp.1.1.1	failed	—
oseq.0.4.1	failed	—
oseq.0.5.1	failed	—
oskel.0.3.0	ok	—
otaglibc.0.1.0	ok	—
otf.0.1	ok	—
otfm.0.4.0	ok	—
otoml.1.0.5+ox	ok	—
otp.0.3	ok	—
ott.0.34	ok	—
ounit-lwt.2.2.7	ok	—
ounit.2.2.7	ok	—
ounit2-lwt.2.2.7	ok	—
ounit2.2.2.7	ok	—
out-channel-redirect.0.2	ok	—
owebview.0.1.0	ok	—
owee.0.8	ok	—
owl-base.1.2	ok	—
owl-ode-base.0.5.0	ok	—
oxcaml-alcotest-patches.enabled	ok	—
oxcaml-alcotest.guard	ok	—
oxcaml-angstrom-patches.enabled	cascade	—
oxcaml-angstrom.guard	ok	—
oxcaml-backoff-patches.enabled	ok	—
oxcaml-backoff.guard	ok	—
oxcaml-chrome-trace-patches.enabled	ok	—
oxcaml-chrome-trace.guard	ok	—
oxcaml-cmarkit-patches.enabled	ok	—
oxcaml-cmarkit.guard	ok	—
oxcaml-compiler.5.4.0-ox7	ok	—
oxcaml-ctypes-foreign-patches.enabled	ok	—
oxcaml-ctypes-foreign.guard	ok	—
oxcaml-ctypes-patches.enabled	ok	—
oxcaml-ctypes.guard	ok	—
oxcaml-dot-merlin-reader.guard	ok	—
oxcaml-dune-action-plugin-patches.enabled	ok	—
oxcaml-dune-action-plugin.guard	ok	—
oxcaml-dune-build-info-patches.enabled	ok	—
oxcaml-dune-build-info.guard	ok	—
oxcaml-dune-configurator-patches.enabled	ok	—
oxcaml-dune-configurator.guard	ok	—
oxcaml-dune-glob-patches.enabled	ok	—
oxcaml-dune-glob.guard	ok	—
oxcaml-dune-patches.enabled	ok	—
oxcaml-dune-private-libs-patches.enabled	ok	—
oxcaml-dune-private-libs.guard	ok	—
oxcaml-dune-rpc-lwt-patches.enabled	ok	—
oxcaml-dune-rpc-lwt.guard	ok	—
oxcaml-dune-rpc-patches.enabled	ok	—
oxcaml-dune-rpc.guard	ok	—
oxcaml-dune-site-patches.enabled	ok	—
oxcaml-dune-site.guard	ok	—
oxcaml-dune.guard	ok	—
oxcaml-dyn-patches.enabled	ok	—
oxcaml-dyn.guard	ok	—
oxcaml-eio-patches.enabled	ok	—
oxcaml-eio.guard	ok	—
oxcaml-eio_linux-patches.enabled	ok	—
oxcaml-eio_linux.guard	ok	—
oxcaml-eio_main-patches.enabled	ok	—
oxcaml-eio_main.guard	ok	—
oxcaml-eio_posix-patches.enabled	ok	—
oxcaml-eio_posix.guard	ok	—
oxcaml-extlib-patches.enabled	ok	—
oxcaml-extlib.guard	ok	—
oxcaml-faraday-patches.enabled	cascade	—
oxcaml-faraday.guard	ok	—
oxcaml-fs-io-patches.enabled	ok	—
oxcaml-fs-io.guard	ok	—
oxcaml-gen_js_api.guard	ok	—
oxcaml-js_of_ocaml-compiler.guard	ok	—
oxcaml-js_of_ocaml-ppx.guard	ok	—
oxcaml-js_of_ocaml-toplevel.guard	ok	—
oxcaml-js_of_ocaml.guard	ok	—
oxcaml-jsonrpc-patches.enabled	ok	—
oxcaml-jsonrpc.guard	ok	—
oxcaml-lsp.guard	ok	—
oxcaml-lwt-patches.enabled	ok	—
oxcaml-lwt.guard	ok	—
oxcaml-lwt_direct-patches.enabled	ok	—
oxcaml-lwt_direct.guard	ok	—
oxcaml-lwt_ppx.guard	ok	—
oxcaml-lwt_runtime_events-patches.enabled	ok	—
oxcaml-lwt_runtime_events.guard	ok	—
oxcaml-mdx.guard	ok	—
oxcaml-merlin-lib.guard	ok	—
oxcaml-merlin.guard	ok	—
oxcaml-notty-community.guard	ok	—
oxcaml-ocaml-compiler-libs-patches.enabled	ok	—
oxcaml-ocaml-compiler-libs.guard	ok	—
oxcaml-ocaml-index.guard	ok	—
oxcaml-ocaml-lsp-server.guard	ok	—
oxcaml-ocamlbuild-patches.enabled	ok	—
oxcaml-ocamlbuild.guard	ok	—
oxcaml-ocamlc-loc-patches.enabled	ok	—
oxcaml-ocamlc-loc.guard	ok	—
oxcaml-ocamlfind-patches.enabled	ok	—
oxcaml-ocamlfind.guard	ok	—
oxcaml-ocamlformat-lib.guard	ok	—
oxcaml-ocamlformat.guard	ok	—
oxcaml-odoc.guard	ok	—
oxcaml-ojs.guard	ok	—
oxcaml-omd-patches.enabled	cascade	—
oxcaml-omd.guard	ok	—
oxcaml-opam-core-patches.enabled	ok	—
oxcaml-opam-core.guard	ok	—
oxcaml-opam-format-patches.enabled	ok	—
oxcaml-opam-format.guard	ok	—
oxcaml-ordering-patches.enabled	ok	—
oxcaml-ordering.guard	ok	—
oxcaml-otoml-patches.enabled	ok	—
oxcaml-otoml.guard	ok	—
oxcaml-patch-guards.ox	ok	—
oxcaml-ppx_deriving.guard	ok	—
oxcaml-ppxlib.guard	ok	—
oxcaml-ppxlib_ast.guard	ok	—
oxcaml-re-patches.enabled	ok	—
oxcaml-re.guard	ok	—
oxcaml-sedlex.guard	ok	—
oxcaml-sherlodoc.guard	ok	—
oxcaml-spawn-patches.enabled	ok	—
oxcaml-spawn.guard	ok	—
oxcaml-stdune-patches.enabled	ok	—
oxcaml-stdune.guard	ok	—
oxcaml-top-closure-patches.enabled	ok	—
oxcaml-top-closure.guard	ok	—
oxcaml-topkg-patches.enabled	ok	—
oxcaml-topkg.guard	ok	—
oxcaml-utop.guard	ok	—
oxcaml-uutf-patches.enabled	ok	—
oxcaml-uutf.guard	ok	—
oxcaml-wasm_of_ocaml-compiler.guard	ok	—
oxcaml-xdg-patches.enabled	ok	—
oxcaml-xdg.guard	ok	—
oxcaml-yojson-patches.enabled	ok	—
oxcaml-yojson.guard	ok	—
oxcaml-zarith-patches.enabled	ok	—
oxcaml-zarith.guard	ok	—
oxcaml.latest	ok	—
paf.0.6.0	cascade	—
pandoc-abbreviations.0.2.1	ok	—
pandoc-comment.0.2.1	ok	—
pandoc-crossref.0.2.1	ok	—
pandoc-include.0.2.1	ok	—
pandoc-inspect.0.2.1	ok	—
pandoc-pdf2png.0.2.1	ok	—
pandoc-replace.0.2.1	ok	—
pandoc.0.2.1	ok	—
par_incr.0.1	ok	—
parany.12.2.2	ok	—
parany.14.0.1	ok	—
pardi.3.2.2	cascade	—
parmap.1.2.5	ok	—
parseff.0.3.0	ok	—
parsexp.v0.17.0	ok	—
parsley.0.0.1	ok	—
passe.0.2.0	cascade	—
patch.3.1.2	ok	—
path_glob.0.3	ok	—
pbkdf.1.2.0	ok	—
pbrt.4.1	ok	—
pbrt_services.4.1	ok	—
pbrt_yojson.4.1	ok	—
pcrc.0.25.2	ok	—
pcre.8.0.4	cascade	—
pcre2.8.0.3	ok	—
pds.5.24	ok	—
pecu.0.7	ok	—
petrol.1.2.0	cascade	—
pf-qubes.0.1.2	cascade	—
pgsolver.4.4	ok	—
phantom-algebra.1.0.1	ok	—
phonetic.0.1.0	ok	—
piaf.0.2.0	cascade	—
picasso.0.4.0	cascade	—
picos.0.6.0	cascade	—
pidgin.1.2.0	ok	—
pidgin_pp.1.2.0	ok	—
pidgio-eio.0.0.1	ok	—
pidgio-unix.0.0.1	ok	—
pidgio.0.0.1	ok	—
plist-xml-lwt.0.3.0	ok	—
plist-xml.0.3.0	ok	—
plist-xml.0.5.1	ok	—
plplot.5.12.1	ok	—
polka.2.71.15	failed	—
polly.0.5.0	ok	—
polyglot.1.0.0	ok	—
polynomial.0.4.0	ok	—
pomap.4.1.2	ok	—
popper.0.1.1	ok	—
portaudio.0.2.3	ok	—
portaudio_c_bindings.19.6.0	failed	—
portia.1.5	cascade	—
posix-base.4.0.2	ok	—
posix-bindings.4.0.2	ok	—
posix-errno.4.0.2	ok	—
posix-getopt.4.0.2	ok	—
posix-math2.4.0.2	ok	—
posix-resource.4.0.2	ok	—
posix-signal.4.0.2	ok	—
posix-socket-unix.4.0.2	ok	—
posix-socket.4.0.2	ok	—
posix-stat.4.0.2	ok	—
posix-time2.4.0.2	ok	—
posix-types.4.0.2	ok	—
posix-uname.4.0.2	ok	—
posix-unistd.4.0.2	ok	—
postgresql.5.2.0	ok	—
pp-binary-ints.1.0.0	ok	—
pp.2.0.0	ok	—
pp_loc.2.1.0	ok	—
pplumbing-log.0.0.16	cascade	—
pplumbing-pp-tty.0.0.16	cascade	—
pprint.20230830	ok	—
ppx_blob.0.9.0	cascade	—
ppx_derivers.1.2.1	ok	—
ppx_sexp_conv.v0.17.1	cascade	—
ppx_yojson_conv_lib.v0.17.0	ok	—
ppx_yojson_conv_lib.v0.18~preview.130.91+190	ok	—
ppxlib.0.38.0	cascade	—
ppxlib_jane.v0.17.4	cascade	—
pratter.5.0.2	ok	—
prbnmcn-basic-structures.0.0.1	failed	—
prbnmcn-cgrph.0.0.2	ok	—
prbnmcn-clustering.0.0.2	ok	—
prbnmcn-dagger-gsl.0.0.6	ok	—
prbnmcn-dagger-stats.0.0.6	cascade	—
prbnmcn-dagger-test.0.0.6	cascade	—
prbnmcn-dagger.0.0.6	ok	—
prbnmcn-gnuplot.0.0.5	ok	—
prbnmcn-linalg.0.0.1	cascade	—
prbnmcn-mcts.0.0.2	ok	—
prbnmcn-proptest.0.0.1	cascade	—
prbnmcn-stats.0.0.8	cascade	—
prbnmcn-ucb1.0.0.2	ok	—
preface.1.0.0	ok	—
preface.1.1.0	ok	—
prelude.0.5	ok	—
pretty_expressive.0.5	failed	—
prettym.0.0.5	ok	—
primavera.1.1.0	ok	—
primes.1.3.5	ok	—
pringo.1.4	ok	—
print-table.0.1.3	ok	—
printbox-ext-plot.0.12	cascade	—
printbox-html.0.12	ok	—
printbox-md.0.12	cascade	—
printbox-text.0.12	failed	—
printbox.0.12	ok	—
proc-smaps.0.2.0	ok	—
process.0.2.1	ok	—
processor.0.2	ok	—
producer.0.2.0	ok	—
progress.0.5.0	cascade	—
prom.0.3	cascade	—
prometheus-lwt.2.0	ok	—
prometheus-reporter.2.0	ok	—
prometheus.2.0	ok	—
prooftree.0.14	cascade	—
proverif.2.05	cascade	—
proverifdoc.2.05	ok	—
provider.0.0.11	cascade	—
psmt2-frontend.0.4.0	ok	—
psq.0.2.1	ok	—
ptime.1.2.0	cascade	—
ptmap.2.0.5	ok	—
ptset.1.0.1	ok	—
public-suffix.0.0.2	ok	—
pulseaudio.0.1.5	ok	—
pure-html.3.11.2	cascade	—
pure-splitmix.0.3	ok	—
purl.1.0.0	ok	—
pvec.0.1.1	ok	—
pvem.0.0.1	ok	—
py.1.3	ok	—
qbf.0.3	ok	—
qcaml.1.0.0	ok	—
qcheck-alcotest.0.91	ok	—
qcheck-core.0.91	ok	—
qcheck-lin.0.10	ok	—
qcheck-multicoretests-util.0.10	ok	—
qcheck-ounit.0.91	ok	—
qcheck-stm.0.10	ok	—
qcheck.0.91	ok	—
qcstm.0.1.1	ok	—
qmp.0.20.0	ok	—
qrc.0.2.0	ok	—
qrencode.0.2-1	ok	—
qtest.2.11.2	ok	—
queenshead.0.1	ok	—
quick_print.0.12	ok	—
quickjs.0.6.0	failed	—
quill.1.0.0~alpha3	failed	—
r2pipe.0.0.1	ok	—
radamsa.0.2	ok	—
radare2.0.0.7	cascade	—
randii.1.0.0	ok	—
random.0.0.1	ok	—
randomconv.0.1.3	ok	—
randomconv.0.2.0	ok	—
rangeSet.0.2.1	ok	—
ravel.1.0.1	ok	—
raven.1.0.0~alpha3	cascade	—
raygui.2.2.2	ok	—
raylib-callbacks.2.2.2	ok	—
raylib.1.6.0	ok	—
raylib.2.2.2	ok	—
rdbg.1.199.0	ok	—
re.1.14.0+ox	failed	—
react.1.2.2	ok	—
reactiveData.0.3.1	ok	—
readability_metrics.0.1.0	ok	—
readline.0.2	ok	—
reanalyze.2.26.0	failed	—
received.0.12.1	cascade	—
records.1.0.0	ok	—
redis-lwt.0.8	ok	—
redis-sync.0.8	failed	—
redis.0.8	ok	—
reedsolomon.0.3	ok	—
regrade.0.1.0	ok	—
relocatable.packages	ok	—
reparse-lwt-unix.3.1.0	ok	—
reparse-lwt.3.1.0	ok	—
reparse.3.1.0	ok	—
repr.0.4.0	failed	—
repr.0.8.0	failed	—
requisite.0.1.0	ok	—
res.5.0.2	ok	—
rescriptdep.0.1.2	ok	—
resource-pooling.1.3	ok	—
resp-client.0.11.0	ok	—
resp-server.0.11.0	ok	—
resp.0.11.0	ok	—
resto-directory.0.6.1	cascade	—
resto-json.0.6.1	cascade	—
resto.0.6.1	cascade	—
result.1.5	ok	—
revops.2.5	cascade	—
rfc1951.1.6.0	ok	—
rfc6287.1.0.4	cascade	—
rich-string.1.0.0	ok	—
ringo.1.1.0	ok	—
rio.0.0.8	ok	—
rizzo.0.3.0	ok	—
robotstxt.0.2.1	ok	—
rock.0.20.0	cascade	—
rocq-core.9.1.1	cascade	—
rocq-core.9.2.0	cascade	—
rocq-devtools.9.2.0	cascade	—
rocq-native.2	ok	—
rocq-prover.meta.1	cascade	—
rocq-runtime.9.1.1	failed	—
rocq-runtime.9.2.0	failed	—
rocq-stdlib.9.0.0	cascade	—
rocq-stdlib.9.1.0	cascade	—
rocqide.9.2.0	cascade	—
roman.0.2	ok	—
root1d.0.5.1	ok	—
rope.0.6.3	ok	—
rosa.0.2.0	ok	—
rosetta.0.4.0	ok	—
routes.2.0.0	ok	—
rowex.0.0.1	ok	—
rpclib-html.10.2.0	cascade	—
rpclib-lwt.10.2.0	cascade	—
rpclib.10.2.0	failed	—
rpmfile-cli.0.4.0	ok	—
rpmfile-eio.0.5.0	ok	—
rpmfile-unix.0.5.0	cascade	—
rpmfile.0.5.0	ok	—
rpmfile.1.1.0	ok	—
rresult.0.7.0	cascade	—
rss.3.0	cascade	—
rtree.0.3.0	ok	—
rune.1.0.0~alpha3	ok	—
rungen.0.0.1	cascade	—
runtime_events_tools.0.5.4	ok	—
runtime_events_tools_bare.0.5.4	ok	—
rusage.1.0.0	ok	—
rust-staticlib-virtual.0.2.2	ok	—
safa.1.4	failed	—
safepass.3.1	ok	—
saga.1.0.0~alpha2	ok	—
sail_c_backend.0.20.3	cascade	—
sail_coq_backend.0.20.3	cascade	—
sail_lean_backend.0.20.3	cascade	—
sail_lem_backend.0.20.3	cascade	—
sail_maker.0.20.3	ok	—
sail_manifest.0.20	ok	—
sail_ocaml_backend.0.20.3	cascade	—
sail_output.0.20.3	cascade	—
sail_smt_backend.0.20.3	cascade	—
sail_sv_backend.0.20.3	cascade	—
salsa20-core.1.1.0	ok	—
salsa20-core.2.0.0	ok	—
salsa20.1.2.0	ok	—
samplerate.0.1.6	ok	—
satex.0.1.2	ok	—
sattools.0.1.0	ok	—
saturn.0.4.0	ok	—
saturn_lockfree.0.4.0	ok	—
sawja.1.5.12	cascade	—
scad_ml.1.1.0	ok	—
schroedinger.0.1.1	cascade	—
scrypt-kdf.1.2.0	ok	—
scrypt.0.2.1	ok	—
sdl-liquidsoap.3	cascade	—
search.0.1.1	ok	—
searchTree.0.1	ok	—
secp256k1-internal.0.4.0	ok	—
secret.0.1.3	ok	—
sedlex.3.7+ox	cascade	—
segmap.20260927	ok	—
sek.20260619	ok	—
semaphore-compat.1.0.2	ok	—
semver.0.2.1	ok	—
semver2.1.2.0	cascade	—
sendmsg.0.0.2	ok	—
seq.base	ok	—
seqes.0.4	ok	—
serde.0.0.2	ok	—
serial.0.1.0	ok	—
serialport.0.3	ok	—
session-cookie-lwt.0.1.8	cascade	—
session-cookie.0.1.8	cascade	—
session-postgresql-lwt.0.5.0	ok	—
session-postgresql.0.5.0	ok	—
session-redis-lwt.0.5.0	ok	—
session.0.5.0	ok	—
setcore.1.0.2	ok	—
sexp_type.v0.18~preview.130.91+190	cascade	—
sexplib.v0.17.0	ok	—
sexplib0.v0.17.0	ok	—
sexplib0.v0.18~preview.130.91+190	cascade	—
sfml.0.09.2	ok	—
sha.1.15.4	ok	—
shades.1.0	ok	—
shared-memory-ring-lwt.3.2.1	ok	—
shared-memory-ring.3.2.1	ok	—
shared-secret.0.4	ok	—
shellwords.1.0.0	ok	—
sherlodoc.3.2.1+master.1790607351.6dc5826	cascade	—
shine.0.2.3	ok	—
sifun.3.0.0	ok	—
signal.0.4.2	ok	—
simlog.0.0.4	ok	—
simple-diff.0.3	ok	—
sitemap.1.0	ok	—
slhdsa.0.1.1	ok	—
slice.0.1.1	ok	—
slug.1.0.1	ok	—
slugline.1.0.0	ok	—
sm.0.1.1	ok	—
smaji_glyph_path.0.1.0	ok	—
smart-print.0.3.0	failed	—
smol-helpers.0.0.1	ok	—
smol.0.0.1	ok	—
smtlib-utils.0.2	ok	—
smtlib-utils.0.5	ok	—
smtp.0.3	ok	—
snappy.0.1.2	ok	—
snkv.0.1.1	ok	—
snoke.0.3.2	cascade	—
solidity-common.0.2.0	ok	—
solidity-parser.0.2.0	ok	—
solo5-bindings-hvt.0.6.9	failed	—
solo5-cross-aarch64.0.13.0	ok	—
solo5-elftool.0.4.0	ok	—
solo5.0.13.0	ok	—
sortedseq_intersect.0.2.0	ok	—
soundtouch.0.1.9	ok	—
sowilo.1.0.0~alpha3	ok	—
spawn.v0.15.1+ox	ok	—
spdx_licenses.1.6.0	ok	—
speex.1.0.0	cascade	—
spelll.0.4	ok	—
spices.0.0.2	ok	—
spirv.1.1.2	cascade	—
spoke.0.0.4	cascade	—
sqids.0.1.0	ok	—
sqlite3.5.3.1	ok	—
sqlite3_utils.0.5	ok	—
squirrel.0.1	cascade	—
srt.0.3.4	ok	—
ssl.0.7.0	ok	—
starpath.0.1.5	ok	—
stb_image.0.5	ok	—
stb_image_write.0.2	ok	—
stb_truetype.0.7	ok	—
stdint.0.7.2	ok	—
stdlib-random.1.2.0	ok	—
stdlib-shims.0.3.0	ok	—
stdune.3.20.2+ox1	ok	—
stdune.3.22.2+ox	ok	—
stdune.3.24.2	ok	—
stem.0.0.2	cascade	—
stk_iconv.0.5.0	ok	—
stone.0.6.1	cascade	—
store-dict.0.1	ok	—
store-pushqueue.0.1	ok	—
store.0.2	ok	—
stramon-lib.0.3.0	cascade	—
streaming.0.8.0	ok	—
stringCodepointSplitter.0.0.2	ok	—
stringext.1.6.0	ok	—
stringx.0.3.0	ok	—
strymonas-pure.2.1.1	ok	—
sturgeon.0.4.2	failed	—
subprocess.0.2.1	ok	—
subtype-refinement.0.2	ok	—
swapfs.0.1.0	ok	—
swhid.0.2	cascade	—
swhid_compute.0.1	ok	—
swhid_core.0.1	ok	—
swhid_types.0.1	ok	—
symkat.1.4	cascade	—
synchronizer.0.3	ok	—
syndic.1.8.0	cascade	—
sys-socket-unix.1.0.0	cascade	—
sys-socket.1.0.0	ok	—
syslog-message.1.2.0	ok	—
syslog-rfc5424.0.2	ok	—
syslog.2.0.2	ok	—
systemverilog.0.0.2	ok	—
syto.0.1.0	ok	—
tacit.1.0.0	ok	—
taglib.0.3.10	failed	—
talaria-bibtex.0.5	ok	—
talon.1.0.0~alpha3	ok	—
tar-eio.3.5.0	ok	—
tar-mirage.3.5.0	ok	—
tar-unix.3.5.0	ok	—
tar.3.5.0	ok	—
tbls.0.4.0	ok	—
tcalc.1.1.1	ok	—
tcpip.8.1.0	ok	—
tcpip.9.0.1	cascade	—
tcs-lib.0.6	ok	—
tcx.0.25.0	ok	—
tdmrep.1.0	cascade	—
telemetry.0.0.1	ok	—
telltime.0.0.3	cascade	—
term-indexing.0.0.1	cascade	—
term-tools.0.0.2	cascade	—
termaid.1.0.0	ok	—
termbox.0.1.0	failed	—
terminal.0.5.0	cascade	—
terminal_size.0.2.0	ok	—
terml.0.0.1	ok	—
testu01.1.2.3-0.2	ok	—
textmate-language.0.6.0	ok	—
textwrap.0.2.1	ok	—
tezos-base58.1.0.0	cascade	—
tezos-context-hash.1.0.0	cascade	—
tezos-rust-libs.1.1	ok	—
tezt.4.3.0	cascade	—
tgls.0.9.1	ok	—
theo.0.1.0	ok	—
theora.1.0.0	cascade	—
thread-local-storage.0.1	failed	—
thread-local-storage.0.2	failed	—
thread-table.1.0.0	ok	—
tidy_email.0.0.1	ok	—
timed.1.1	ok	—
timedesc-json.3.1.2	cascade	—
timedesc-tzdb.3.1.2	ok	—
timedesc-tzlocal.3.1.2	ok	—
timedesc.3.1.2	cascade	—
tiny_httpd.0.22	ok	—
tiny_httpd_camlzip.0.22	ok	—
tiny_httpd_eio.0.22	failed	—
tinyfiledialogs.1.0	ok	—
tip-parser.0.6	ok	—
tjr_simple_earley.2017-11-14e	ok	—
tls-eio.0.17.5	cascade	—
tls-liquidsoap.1	cascade	—
tls-lwt.0.17.5	cascade	—
tls-mirage.0.17.5	cascade	—
tls.0.17.5	cascade	—
tm-grammars.2.0.0	ok	—
toc.0.1.0	ok	—
toffee.0.1.0	ok	—
tofn.0.12	ok	—
toml-cconv.5.0.0	ok	—
toml.5.0.0	ok	—
toml.7.1.0	ok	—
toml_cconv.7.0.0	ok	—
top-closure.3.22.2+ox	ok	—
top-closure.3.24.2	ok	—
tophide.1.1.0	ok	—
topiary.0.5.1	failed	—
topiary.0.6.0	failed	—
topkg.1.1.1+ox	failed	—
topojson.0.1.0	ok	—
topup.0.1.3	failed	—
tplib.1.3-1	failed	—
trace-fuchsia.0.12	ok	—
trace-runtime-events.0.12	ok	—
trace-tef.0.12	ok	—
trace.0.10.1	ok	—
trace.0.12	ok	—
tracy-client.0.7.1	ok	—
traits.0.1.0	ok	—
trampoline.0.1.0	ok	—
transept.0.1.0	ok	—
transom.0.2.0	ok	—
trax.0.4.0	ok	—
tree-sitter.0.1.0	ok	—
tree_layout.0.2	cascade	—
trexio.2.2.0	cascade	—
trie.1.0.0	ok	—
trs.1.0.0	ok	—
tsdl-image.0.6	ok	—
tsdl-mixer.0.6	ok	—
tsdl-ttf.0.7	failed	—
tsdl.1.3.0	ok	—
tsort.2.2.0	ok	—
ttweetnacl.0.1.0	ok	—
tty.0.0.2	ok	—
tuareg.3.0.1	ok	—
tube.4.4.0	ok	—
tuntap.2.0.2	ok	—
twirp_core.0.2	ok	—
twirp_ezcurl.0.2	ok	—
twirp_tiny_httpd.0.2	ok	—
tyabt.0.1.0	ok	—
type_eq.0.0.1	ok	—
type_id.0.0.1	ok	—
typeid.2.0.0	cascade	—
typeset.0.4	ok	—
tyre.1.0	ok	—
tyxml.5.0.0	cascade	—
ubase.0.20	ok	—
ubpf.0.2	ok	—
uchar.0.0.2	ok	—
ucharset.0.2.0	ok	—
uecc.0.4	ok	—
ufind.0.2.0	ok	—
uint.2.0.1	ok	—
unidecode.0.5.0	ok	—
unikraft-musl.0.20.0	ok	—
unikraft.0.20.0	ok	—
unionFind.20260226	ok	—
unisim_archisec.0.0.14	ok	—
unison-gui.2.53.8	cascade	—
unison.2.53.8	failed	—
universo.2.7	ok	—
unix-dirent.0.3.5	ok	—
unix-errno.0.6.2	failed	—
unix-type-representations.0.1.3	ok	—
unix-unistd.0.4.0	ok	—
unstrctrd.0.5	cascade	—
uri-re.4.4.0	cascade	—
uri.4.4.0	cascade	—
uring.2.15.0	cascade	—
uring.2.7.0	ok	—
urn.20231124	ok	—
user-setup.0.8	ok	—
uspf-lwt.0.2.1	cascade	—
uspf-mirage.0.2.1	cascade	—
uspf-unix.0.0.4	cascade	—
uspf.0.0.4	cascade	—
uspf.0.2.1	cascade	—
utcp.0.0.9	cascade	—
uucd.15.0.0	ok	—
uucd.18.0.0	ok	—
uucp.14.0.0	cascade	—
uucp.18.0.0	cascade	—
uuidm.0.9.10	ok	—
uunf.14.0.0	failed	—
uunf.18.0.0	ok	—
uuseg.18.0.0	ok	—
uutf.1.0.3+ox	ok	—
uutf.1.0.4+ox	cascade	—
uuuu.0.4.0	ok	—
validator.0.2.3	ok	—
varray.0.2	ok	—
vcardgen.1.2	cascade	—
vchan-xen.6.0.2	ok	—
vchan.6.0.2	ok	—
vec.0.4.0	ok	—
vector.1.0.0	ok	—
vector3.1.0.0	ok	—
vg.0.9.5	ok	—
vinary-tree-interop.4.0.0~rc5	ok	—
virtfs.1.1.0	ok	—
voaacenc.0.1.1	ok	—
vocal.0.1	ok	—
vorbis.1.0.0	cascade	—
vpt.5.0.0	ok	—
wall.0.4.1	failed	—
wasm.2.0.2	ok	—
wasmer.1.2.1	ok	—
wayland.2.3	ok	—
waylaunch.0.3.0	ok	—
wcwidth.1.1.0	ok	—
webbrowser.0.6.2	ok	—
websocketml.0.1.1	ok	—
webtest.2.0.0	ok	—
why3-coq.1.8.2	cascade	—
why3-ide.1.8.2	cascade	—
why3.1.8.2	failed	—
why3find.1.3.0	cascade	—
wikitext.3.0.1	failed	—
win-error.1.0	ok	—
win-eventlog.0.4	ok	—
windtrap.0.1.0	ok	—
wire.1.3.0	failed	—
wol-eio.1.0	ok	—
wol-mirage.1.0	cascade	—
wol.1.0	ok	—
wtf8.1.0.2	ok	—
wtr.3.0.0	cascade	—
wu-manber-fuzzy-search.0.1.0	ok	—
x509.0.15.0	cascade	—
x509.0.16.5	cascade	—
xapi-stdext-date.4.24.0	ok	—
xapi-stdext-encodings.4.24.0	ok	—
xapi-stdext-std.4.24.0	ok	—
xapi-stdext-zerocheck.4.24.0	ok	—
xcursor.0.1.0	cascade	—
xdg-basedir.0.0.5	ok	—
xdg.3.20.2	ok	—
xdg.3.22.2+ox	ok	—
xdg.3.24.2	ok	—
xdge.1.0.0	ok	—
xdge.1.1.0	ok	—
xedbindings.0.14	ok	—
xen-evtchn-unix.2.1.0	failed	—
xen-evtchn.2.1.0	ok	—
xen-gnt.4.0.2	ok	—
xenstore-tool.1.5.0	ok	—
xenstore.2.4.0	ok	—
xenstore_transport.1.5.0	ok	—
xgboost.0.2.1	ok	—
xkbcommon.0.1	ok	—
xlsx2csv.0.1.2	ok	—
xmelly.1.0.0	ok	—
xml-light.2.5	ok	—
xmldiff.0.7.0	ok	—
xmlm.1.4.0	ok	—
xmlplaylist.0.1.5	ok	—
xoshiro.0.1	cascade	—
yaml.3.2.0	ok	—
yocaml.1.0.0	ok	—
yocaml_cmark.1.0.0	ok	—
yojson.2.2.2+ox	ok	—
yojson.3.0.0	ok	—
yultracer.0.2.0	ok	—
yuscii.0.3.0	ok	—
yuujinchou.5.2.0	ok	—
z3.4.11.2	ok	—
z3.5.1.0	ok	—
z3_tptp.4.11.2	ok	—
zar.0.9.3	ok	—
zarith.1.12+ox3	ok	—
zarith_stubs_js.v0.17.0	ok	—
zarr-eio.0.1.0	ok	—
zarr-lwt.0.1.0	ok	—
zarr-sync.0.1.0	ok	—
zarr.0.1.0	ok	—
zdd.0.5	ok	—
zed.3.2.3	ok	—
zelus-gtk.2.2	cascade	—
zelus.2.2	ok	—
zenon.0.8.5	ok	—
zenon_modulo.0.5.0	failed	—
zipc.0.2.0	ok	—
zlib.0.8	ok	—
zlist.0.5.0	ok	—
zmq-lwt.5.3.0	ok	—
zmq.5.1.3	ok	—
zmq.5.3.0	ok	—
zstd.0.4	ok	—