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: 2650
Packages failing with current filters: 222
Packages whose dependencies failed with current filters: 5

Run made on the 2025-10-20 14:04:06


5.3-dune5.3-opamnumber of revdeps
0install.2.18☑☑1
0install-gtk.2.18☑☑0
0install-solver.2.18☑☑14
ANSITerminal.0.8.5☑☑24
CamelCase.0.3.0☑☑0
FrontC.4.1.0☑☑12
GT.0.5.4☒☑3
ISO3166.0.1.0☑☑0
ISO8601.0.2.6☑☑46
MlFront_Cache.2.3.1☒☑0
MlFront_Cli.2.3.1☒☑1
MlFront_Config.2.3.1☒☑0
MlFront_Core.2.3.1☒☑2
MlFront_Errors.2.3.1☒☑1
MlFront_Logs.2.3.1☒☑0
MlFront_Manip.2.3.1☒☑0
MlFront_Signify.2.3.1☒☑0
MlFront_ZipFile.2.3.1☒☑0
OCADml.0.6.0☑☑2
OCanren.0.3.0☒☑1
OCanren-ppx.0.3.0☒☑2
OSCADml.0.2.3☑☑1
SZXX.4.2.0☑☑0
SourceCode_ASCII.0.1.0☒☑0
abella.2.0.8☑☑0
absolute.0.3☒☑0
abstract_algebra.v0.17.0☑☑7
accessor.v0.17.0☑☑4
accessor_async.v0.17.0☑☑0
accessor_base.v0.17.0☑☑2
accessor_core.v0.17.0☑☑1
acgtk.2.1.0☑☑0
aches.1.1.0☑☑243
aches-lwt.1.1.0☑☑231
acp4.1.1.0☒☑0
acpc.2.0.0☑☑0
adelfa.0.1☒☑0
adobe_font_metrics.1.0.0☑☑0
afl-persistent.1.4☑☑28
agrid.0.1☑☑1
ahrocksdb.0.2.2☒☒0
alba.0.4.4☑☑0
albatross.2.6.0☑☑0
alcotest.1.9.1☑☑837
alcotest-async.1.9.1☑☑5
alcotest-js.1.9.1☑☑0
alcotest-lwt.1.9.1☑☑125
alcotest-mirage.1.9.1☑☑0
alg_structs.0.1.3☑☑1
alg_structs_qcheck.0.1.3☒☑0
algaeff.2.0.0☑☑4
allegro5.0.2☑☑0
alonzo.0.4.0☑☑0
alsa.0.3.0☑☑6
alt-ergo.2.6.2☒☑8
alt-ergo-lib.2.6.2☒☑10
alt-ergo-parsers.2.6.2☒☑8
alt-ergo-plugin-ab-why3.2.6.2☒☑0
altgr-ergo.2.4.3☒☑0
ambient-context.0.1.0☑☑12
ambient-context-eio.0.1.0☑☑0
ambient-context-lwt.0.1.0☑☑0
amqp-client.2.3.0☑☑2
amqp-client-async.2.3.0☑☑0
amqp-client-lwt.2.3.0☑☑0
ancient.0.10.0☑☑2
anders.1.1.1☑☑0
angstrom.0.16.1☑☑992
angstrom-async.0.16.1☑☑3
angstrom-lwt-unix.0.16.1☑☑3
angstrom-unix.0.16.1☑☑6
ansi.0.7.0☑☑5
ansi-parse.0.4.0☑☑0
ansifmt.1.0.0~pre2☑☑0
anthropic.0.1.0☑☑0
antic.0.4.0☒☒4
ao.0.2.4☑☑6
apronext.1.0.4☒☑3
arb.0.4.0☒☒4
archetype.1.5.3☑☑0
archi.0.2.0☑☑2
archi-async.0.2.0☑☑0
archi-lwt.0.2.0☑☑0
arg-complete.0.2.1☑☑3
argon2.1.0.2☒☑2
argsh.0.1.0☑☑0
arp.4.0.0☑☑77
arrakis.1.1.1☑☑0
arrayjit.0.6.1☒☑1
art.0.2.0☑☑3
asai.0.3.1☒☑2
ascend.0.1.2-1☑☑0
ask.0.2.0☒☑1
ask-integrator.0.2.0☒☑0
asn1-combinators.0.3.2☑☑493
async.v0.17.0☑☑222
async-uri.0.4.0☑☑0
async_durable.v0.17.0☑☑2
async_extra.v0.17.0☑☑3
async_find.v0.17.0☑☑2
async_inotify.v0.17.0☑☑1
async_interactive.v0.17.0☑☑0
async_kernel.v0.17.0☑☑246
async_log.v0.17.0☑☑221
async_rpc_kernel.v0.17.0☑☑234
async_rpc_websocket.v0.17.0☑☒2
async_sendfile.v0.17.0☑☑1
async_shell.v0.17.0☑☑1
async_smtp.v0.17.0☑☑0
async_ssl.v0.17.0-1☑☑48
async_udp.v0.17.0☑☑1
async_unix.v0.17.0☑☑228
async_websocket.v0.17.0☑☑7
atable.0.1☑☑0
atd.2.16.0☑☑55
atdcpp.2.16.0☑☑0
atdd.2.16.0☑☑0
atdgen.2.16.0☑☑33
atdgen-codec-runtime.2.16.0☑☑1
atdgen-runtime.2.16.0☑☑46
atdj.2.16.0☑☑0
atdpy.2.16.0☑☑0
atds.2.16.0☑☑0
atdts.2.16.0☑☑1
autofonce.0.8☒☑0
autofonce_config.0.8☒☑2
autofonce_core.0.8☒☑2
autofonce_lib.0.8☒☑1
autofonce_m4.0.8☒☑3
autofonce_misc.0.8☒☑5
autofonce_patch.0.8☒☑2
autofonce_share.0.8☒☑3
avro.0.1☑☑0
avro-compiler.0.1☑☑1
awa.0.5.2☑☑23
awa-mirage.0.5.2☑☑22
aws.1.2☑☑15
aws-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-sdb.1.2☑☑0
aws-sqs.1.2☑☑0
aws-ssm.1.2☑☑0
aws-sts.1.2☑☑0
azblob.0.1.0☑☑1
azure-cosmos-db.0.3.1☑☑0
babel.v0.17.0☑☑4
baby.20241204☑☑0
backoff.0.1.1☑☑61
bag.1.0.0☑☑0
baguette_sharp.2.2.1-1☑☑0
bam.0.4☑☑1
bam-ppx.0.4☑☑1
bare_encoding.0.3.1☑☑0
bark.0.1.4☑☑0
base.v0.17.3☑☑1924
base32.1.0.0☑☑0
base64.3.5.2☑☑875
base_bigstring.v0.17.0☑☑483
base_quickcheck.v0.17.1☑☑516
base_trie.v0.17.0☑☑0
bastet.2.0.0☒☑2
bastet_async.0.1.0☒☑0
bastet_lwt.0.1.0☒☑0
batch_jaro_winkler.0.1.1☒☑0
batteries.3.10.0☑☑55
bdd.0.5☑☑1
bddrand.2.71.15☒☒0
bech32.0.1☑☑0
bechamel.0.5.0☑☑11
bechamel-js.0.5.0☑☑1
bechamel-notty.0.5.0☑☑4
bechamel-perf.0.5.0☑☑1
beluga.1.1.3☑☑0
benchmark.1.7☑☑269
bencode.2.0☑☑6
bentov.1☑☑2
bestline.0.2.1☑☑0
bheap.2.0.0☑☑1277
bibfmt.0.7.7☑☑1
bidirectional_map.v0.17.0☑☑0
bigarray-compat.1.1.0☑☑2192
bigarray-overlap.0.2.1☑☑69
bigdecimal.v0.17.0☑☑0
bignum.v0.17.0☑☑12
bigstring.0.3☑☑252
bigstring-unix.0.3☑☑1
bigstringaf.0.10.0☑☑1055
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
bin.0.0.2☑☑0
bin_prot.v0.17.0-1☑☑518
bin_tree.0.1☑☑0
binaryen.0.26.0☒☒0
bindlib.6.0.0☒☑2
biniou.1.2.2☑☑2004
binning.0.0.0☑☑3
binsec.0.10.1☑☑0
bio_io.0.7.0☑☑0
biotk.0.3☑☑2
bisect_ppx.2.8.3☒☑223
bitcoin.3.0☒☑3
bitcoin-cohttp-async.3.0☒☑0
bitcoin-cohttp-lwt.3.0☒☑0
bitcoin-ocurl.3.0☒☑0
bitgenerators.v0.1.0☑☑0
bitlib.1.0☑☑0
bitmasks.1.5.0☑☑0
bitpack_serializer.0.1.0☒☑0
bitstring.5.0.1☑☑11
bitv.2.1☑☑16
bitwuzla.1.0.5☒☑1
bitwuzla-bin.0.0.0☒☑0
bitwuzla-c.1.0.5☑☑2
bitwuzla-cxx.0.8.2☒☑3
bjack.0.1.6☑☑4
blake3.0.2☑☑1
bloomf.0.2.0☑☑0
bls12-381.20.1☒☑220
bls12-381-gen.0.5.0☑☑19
bls12-381-hash.1.0.0☒☑0
bls12-381-js.0.5.0☒☑0
bls12-381-js-gen.0.5.0☒☑1
bls12-381-signature.1.0.0☒☑161
bls12-381-unix.2.0.1☒☑16
blurhash.0.1.0☑☑0
bnfgen.4.0.0☑☑1
bogue.20250815☑☑2
bogue-tutorials.0.2.0☑☑0
boltzgen.0.9.5☑☑0
boulangerie.1.0.1☑☑0
box.1.2.0☑☑0
brr-lwd.0.4☑☑0
bst.7.1.0☑☑9
bstr.0.0.2☑☑41
buffer-pool.0.2☑☑0
build_path_prefix_map.0.3☑☑0
builder.0.4.0☑☑1
bwd.2.3.0☑☑5
bwrap.0.1☑☑0
bytebuffer.0.0.2☒☑0
bytestring.0.0.8☑☑6
bz2.0.8.0☑☑12
ca-certs.1.0.1☒☑373
ca-certs-nss.3.117☑☑60
cachet.0.0.2☑☑33
cachet-lwt.0.0.2☑☑27
cachet-solo5.0.0.2☑☑0
cactus.1.0.0☑☑0
cairn.2.0☑☑0
cairo2.0.6.5☑☑48
cairo2-gtk.0.6.5☑☑1
cairo2-pango.0.6.5☑☑0
caisar.4.0☒☒0
caisar-ir.0.2☑☑2
caisar-nnet.0.2☑☑1
caisar-onnx.0.2☑☑1
caisar-ovo.0.2☑☑1
caisar-xgboost.0.2☑☑1
calcium.0.4.0☒☒3
calculon.0.8☑☑1
calculon-web.0.8☑☑0
caldav.0.2.4☑☑0
calendar.3.0.0☑☑91
calendars.1.0.0☑☑0
calipso.4.1.0☑☑0
calli.0.2☒☑0
callipyge.0.2☑☑1
camelot.0.4.3☒☑0
camels.0.0.4☑☑0
camldiets.0.3☑☑0
camlimages.5.0.5☑☑8
camlix.0.1☑☑0
camlon.3.1.0☑☑5
camlp-streams.5.0.1☑☑2220
camlrack.0.10.1☑☑1
camomile.2.0.0☑☑247
camyll.0.4.4☑☑0
canary.0.0.1☒☑0
capitalization.v0.17.0☑☑514
capnp.3.6.0☑☑11
capnp-rpc.2.1☑☑9
capnp-rpc-lwt.2.0☒☑6
capnp-rpc-net.2.1☑☑2
capnp-rpc-unix.2.1☑☑1
caqti.2.2.4☒☑39
caqti-async.2.2.4☒☑1
caqti-driver-mariadb.2.2.4☒☑2
caqti-driver-pgx.2.2.4☒☑0
caqti-driver-postgresql.2.2.4☒☑2
caqti-driver-sqlite3.2.2.4☒☑8
caqti-dynload.2.0.1☑☑3
caqti-eio.2.2.4☒☑0
caqti-lwt.2.2.4☒☑27
caqti-miou.2.2.4☒☑0
caqti-mirage.2.2.4☒☑0
caqti-tls.2.1.2☒☑1
caqti-type-calendar.2.0.1☑☑2
carbon.0.2.0☑☑0
carray.0.0.2☑☑0
carton.1.1.0☑☑28
carton-git.0.7.2☒☑26
carton-git-lwt.1.1.0☑☑3
carton-lwt.1.1.0☑☑26
carton-miou-unix.1.1.0☑☑0
castore.0.0.2☑☑1
catala.0.8.0☒☑0
catala-format.0.3.0☒☑0
catapult.0.2☑☑7
catapult-client.0.2☑☑0
catapult-daemon.0.2☑☑0
catapult-file.0.2☑☑3
catapult-sqlite.0.2☑☑1
cb-check.0.1☒☒0
cbor.0.5☑☑4
cborl.0.1.0☑☑0
ccbg.0.1☑☑0
cconv.0.5☑☑4
cdb.1.0.1☑☑0
cdrom.0.9.4☑☑0
ceph.20240106☒☑0
certify.0.3.3☑☑0
cf.0.5.0☑☑20
cf-lwt.0.5.0☑☑18
cf_workers.0.1.5☑☑0
cfg.2.3.1☑☑1
cfml.20220112☒☑0
chacha.1.1.0☑☑0
chamelon.0.2.1☑☑1
chamelon-unix.0.2.1☑☑0
charInfo_width.2.0.0☑☑0
charrua.2.1.1☑☑3
charrua-client.2.1.1☑☑0
charrua-server.2.1.1☑☑2
charrua-unix.2.1.1☑☑0
charset.0.2.0☑☑0
chartjs.0.2.2☑☑4
chartjs-annotation.0.2.2☑☑0
chartjs-colorschemes.0.2.2☑☑0
chartjs-datalabels.0.2.2☑☑0
chartjs-streaming.0.2.2☑☑0
chase.1.5☑☑0
checked_oint.1.0.0☑☑0
checkseum.0.5.2☑☑305
chess_com_api.1.0.1☑☑0
choice.0.4☑☑0
chrome-trace.3.20.2☑☑1
cid.0.1.0☑☑2
cinaps.v0.15.1☑☑5
clap.0.3.0☑☑109
clarity-lang.0.1.0☑☑0
class_group_vdf.0.0.5☑☑196
claudius.1.2.1☑☑0
clim.0.3.0☑☑1
climate.0.8.5☒☑1
cll.0.2.0☑☑0
clz.0.1.0☑☑1
cmarker.0.3.0☑☑0
cmdlang.0.0.10☒☑19
cmdlang-cmdliner-err-runner.0.0.16☒☑13
cmdlang-stdlib-runner.0.0.10☒☑0
cmdlang-to-base.0.0.10☒☑0
cmdlang-to-climate.0.0.10☒☑0
cmdlang-to-cmdliner.0.0.10☒☑14
cmdliner-stdlib.1.0.1☑☑0
cmon.0.2☑☑0
coap.0.1.0☑☑0
coap-core.0.1.0☑☑2
coap-server-lwt.0.1.0☑☑1
cobs.0.1.1☑☑0
codept.0.12.1☑☑0
codept-lib.0.12.1☑☑1
cohttp.6.1.1☑☑392
cohttp-async.6.1.1☑☑21
cohttp-bench.6.1.1☑☑0
cohttp-curl.6.1.1☑☑2
cohttp-curl-async.6.1.1☑☑0
cohttp-curl-lwt.6.1.1☑☑0
cohttp-eio.6.1.1☑☑9
cohttp-lwt.6.1.1☑☑315
cohttp-lwt-jsoo.6.1.1☑☑18
cohttp-lwt-unix.6.1.1☑☑292
cohttp-mirage.6.1.1☑☑0
cohttp-server-lwt-unix.6.1.1☑☑1
cohttp-top.6.1.1☑☑0
cohttp_async_websocket.v0.17.0☑☒4
cohttp_static_handler.v0.17.0☑☑1
coin.0.1.4☑☑27
colombe.0.12.0☑☑14
color.0.3.0☑☑0
color-brewery.0.2☑☑0
colors.0.0.1☑☑11
combic.1.0.0☑☑0
combinaml.0.1☑☑0
combinat.3.0☑☑0
comby-semantic.1.7.0☑☑1
command_rpc.v0.17.0☑☑0
compsort.0.9.2☑☑0
conan.0.0.6☒☑10
conan-cli.0.0.6☒☑0
conan-database.0.0.6☒☑7
conan-lwt.0.0.6☒☑0
conan-unix.0.0.6☒☑2
conduit.8.0.0☑☑385
conduit-async.8.0.0☑☑26
conduit-lwt.8.0.0☑☑358
conduit-lwt-unix.8.0.0☑☑319
conduit-mirage.8.0.0☑☑8
conex.0.11.1☑☑1
conex-mirage-crypto.0.11.1☑☑0
confero.0.1.1☒☑0
config.0.0.3☑☑7
config-file.1.2.2☒☑2
conformist.0.8.1☑☑8
containers.3.16☑☑102
containers-data.3.16☑☑9
containers-thread.3.12☒☑0
content_security_policy.v0.17.0☑☑0
cookie.0.1.8☑☑3
cookies.1.0.0☑☑0
coq.8.20.1☒☑14
coq-core.9.1.0☒☑14
coq-lsp.0.2.4+9.1☒☑0
coq-serapi.8.20.0+0.20.0☑☑0
coq-stdlib.8.20.1☒☑17
coq-waterproof.3.0.0+9.0☒☑0
coqide.8.20.1☒☑0
coqide-server.9.1.0☒☑11
core.v0.17.1☑☑486
core_bench.v0.17.0☑☑17
core_extended.v0.17.0☑☑12
core_kernel.v0.17.0☑☑414
core_profiler.v0.17.0☑☑0
core_unix.v0.17.1☑☑259
corosync.0.1.0☑☑0
cosovo.3☑☑0
cow.2.5.0☑☑5
cpm.12.2.0☑☑16
cppo.1.8.0☑☑2480
cppo_ocamlbuild.1.8.0☑☑23
cps_toolbox.0.3☑☑1
cpu.2.0.0☒☑20
cpuid.0.1.2☑☑442
crc.2.2.0☑☑0
crlibm.0.5.1☑☑2
crontab.0.1☑☑0
crowbar.0.2.1☑☑48
crs.0.0.20250914☒☑0
crunch.4.0.0☑☑92
cry.1.0.3☑☑4
cryptokit.1.20☑☑126
csexp.1.5.2☑☑4021
cstruct.6.2.0☑☑1750
cstruct-async.6.2.0☒☑7
cstruct-lwt.6.2.0☑☑532
cstruct-sexp.6.2.0☑☑481
cstruct-unix.6.2.0☑☑32
csv.2.4☑☑57
csv-lwt.2.4☑☑0
csvfields.v0.17.0☑☑8
csvtool.2.4☑☑0
ctoxml.4.1.0☑☑0
ctypes.0.23.0☑☑575
ctypes-foreign.0.23.0☑☑571
ctypes_stubs_js.0.1☑☑235
cucumber.1.0.4☒☒0
cudajit.0.7.2☒☒2
cudd.0.1.3☒☑0
cudf.0.10☑☑22
cue_sheet_maker.0.2.0-1☑☑0
cumulus.0.0.1☑☑0
curl.0.10.0☒☑54
curl_lwt.0.10.0☒☑52
curly.0.3.0☑☑4
current.0.7.1☑☑11
current-albatross-deployer.1.0.0☑☑0
current-web-pipelines.0.1☑☑0
current_ansi.0.4☒☑3
current_docker.0.7.1☑☑2
current_examples.0.7.1☑☑0
current_git.0.7.1☑☑7
current_github.0.7.1☑☑2
current_gitlab.0.7.1☑☑1
current_incr.0.6.1☑☑13
current_ocluster.0.3.0☑☑1
current_rpc.0.7.1☑☑1
current_slack.0.7.1☑☑0
current_ssh.0.7.1☑☑1
current_web.0.7.1☑☑6
curses.1.0.11☑☑2
curve-sampling.0.2.1☑☑0
cvc5.1.3.0☑☑2
daft.0.0.4☑☑0
dap.1.0.6☑☑1
data-encoding.1.0.1☑☑197
datalog.0.7☑☑2
dates_calc.0.0.10☒☑1
daypack-lib.0.0.6☑☑1
dbase4.0.2.0☑☑0
dbf.0.2.0☑☑0
dblp.0.1.1☑☑0
dblp-api.0.1.1☑☑1
debian-formats.0.1.2☑☑1
decimal.1.0.2☑☑1
decoders.1.0.0☑☑10
decoders-bencode.1.0.0☑☑0
decoders-cbor.1.0.0☑☑0
decoders-ezjsonm.1.0.0☑☑0
decoders-ezxmlm.1.0.0☑☑0
decoders-jsonaf.1.0.0☑☑0
decoders-jsonm.1.0.0☑☑0
decoders-msgpck.1.0.0☑☑0
decoders-sexplib.1.0.0☑☑0
decoders-yojson.1.0.0☑☑1
decompress.1.5.3☑☑176
dedent.v0.17.0☑☑2
dedukti.2.7☑☑3
delimcc_of_fxhandler.0.1☑☑0
delimited_parsing.v0.17.0☑☑10
depyt.0.3.0☑☑0
diet.0.4☑☑4
diff.1.0.2☑☑0
diffast.0.3.5.1☒☑0
diffast-api.0.3.5.1☒☑3
diffast-cli.0.3.5.1☒☑1
diffast-core.0.3.5.1☒☑14
diffast-etc.0.3.5.1☒☑8
diffast-git.0.3.5.1☒☑2
diffast-git-cli.0.3.5.1☒☑1
diffast-langs-common.0.3.5.1☒☑16
diffast-langs-cpp.0.3.5.1☒☑1
diffast-langs-cpp-parsing.0.3.5.1☒☑3
diffast-langs-cpp-parsing-cli.0.2☒☑0
diffast-langs-cpp-spec.0.3.5.1☒☑2
diffast-langs-fortran.0.3.5.1☒☑1
diffast-langs-fortran-parsing.0.3.5.1☒☑3
diffast-langs-fortran-parsing-cli.0.2☒☑0
diffast-langs-fortran-spec.0.3.5.1☒☑2
diffast-langs-java.0.3.5.1☒☑1
diffast-langs-java-parsing.0.3.5.1☒☑3
diffast-langs-java-parsing-cli.0.2☒☑0
diffast-langs-java-spec.0.3.5.1☒☑2
diffast-langs-python.0.3.5.1☒☑1
diffast-langs-python-parsing.0.3.5.1☒☑3
diffast-langs-python-parsing-cli.0.2☒☑0
diffast-langs-python-spec.0.3.5.1☒☑2
diffast-langs-verilog.0.3.5.1☒☑1
diffast-langs-verilog-parsing.0.3.5.1☒☑3
diffast-langs-verilog-parsing-cli.0.2☒☑0
diffast-langs-verilog-spec.0.3.5.1☒☑2
diffast-misc.0.3.5.1☒☑27
digestif.1.3.0☑☑670
directories.0.6☑☑0
dirsp-exchange.0.1.0☒☑0
dirsp-exchange-kbb2017.0.1.0☑☑1
dirsp-proscript.0.1.0☑☑3
dirsp-proscript-mirage.0.1.0☑☑1
diskuvbox.0.2.0☒☑10
dispatch.0.5.0☑☑21
dispatch-js.0.5.0☑☑0
dkim.0.8.0☑☑3
dkim-bin.0.8.0☑☑0
dkim-lwt-unix.0.8.0☑☑1
dkim-mirage.0.8.0☑☑0
dkml-c-probe.3.0.0☑☑0
dkml-component-staging-ocamlrun.4.12.1~v1.0.2☑☒2
dkml-dune-dsl.0.1.4☑☑1
dkml-dune-dsl-show.0.1.4☑☑0
dkml-install.0.5.3☑☑9
dkml-install-installer.0.5.3☑☑0
dkml-install-runner.0.5.3☑☑2
dkml-option-vcpkg.0.1.0☑☑0
dkml-package-console.0.5.3☒☑0
dkml-runtime-common.2.0.3☑☑0
dkml-workflows.1.2.0☑☑9
dlm.0.3.3☒☑0
dmap.0.5☑☑3
dns.10.2.1☑☑73
dns-certify.10.2.1☑☑1
dns-cli.10.2.1☒☑0
dns-client.10.2.1☑☑64
dns-client-lwt.10.2.1☒☑35
dns-client-miou-unix.10.2.1☑☑4
dns-client-mirage.10.2.1☑☑39
dns-mirage.10.2.1☑☑5
dns-resolver.10.2.1☑☑2
dns-server.10.2.1☑☑3
dns-stub.10.2.1☑☑0
dns-tsig.10.2.1☑☑6
dnssec.10.2.1☑☑3
docfd.3.0.0☑☑0
docker_hub.0.2.0☑☑0
dockerfile.8.3.2☑☑8
dockerfile-cmd.8.3.2☑☑2
dockerfile-opam.8.3.2☑☑3
docteur.0.0.7☑☑2
docteur-solo5.0.0.7☑☑0
docteur-unix.0.0.7☑☑0
doculib.1.3.5☑☑0
doi2bib.0.7.7☑☑0
dokeysto.4.0.2☑☑11
dokeysto_lz4.4.0.2☑☑0
dolmen.0.10☑☑16
dolmen_bin.0.10☑☑0
dolmen_loop.0.10☑☑14
dolmen_lsp.0.10☑☑0
dolmen_model.0.10☑☑2
dolmen_type.0.10☑☑15
dolog.6.0.0☑☑20
domain-local-await.1.0.1☒☑92
domain-local-timeout.1.0.1☒☑2
domain-name.0.5.0☑☑1345
domain_shims.0.1.0☒☑29
domainslib.0.5.2☑☑14
dose3.7.0.0☑☑8
dose3-extra.7.0.0☒☑0
dot-merlin-reader.5.6-503☒☑13
dotenv.0.0.1☒☑0
dream.1.0.0~alpha8☑☑22
dream-accept.0.1.0☑☑0
dream-cli.0.2.0☑☑0
dream-encoding.0.3.0☑☑0
dream-html.3.11.1☑☑1
dream-htmx.0.1.0☑☑0
dream-httpaf.1.0.0~alpha4☑☑22
dream-inertia.0.0.1☑☑0
dream-livereload.0.2.0☑☑0
dream-pure.1.0.0~alpha2☑☑25
dream-serve.1.0.1☑☑0
dream_middleware_ext.0.1.1☑☑0
drom_toml.0.8.0☒☑2
dropbox.0.2☑☑1
dropbox_lwt_unix.0.2☑☑0
dscheck.0.5.0☑☑8
dssi.0.1.5☑☑4
dtoa.0.3.3☑☑1
dual.0.1.0☑☑0
duff.0.5☑☑32
dune-action-plugin.3.20.2☒☑0
dune-build-info.3.20.2☑☑199
dune-cargo-build.0.2.2☑☑1
dune-compiledb.0.6.0☑☑420
dune-configurator.3.20.2☒☑4024
dune-deps.1.5.0☑☑1
dune-glob.3.20.2☑☑3
dune-private-libs.3.20.2☑☑367
dune-release.2.1.0☑☑1
dune-rpc.3.20.2☑☑3
dune-rpc-lwt.3.20.2☒☑0
dune-site.3.20.2☑☑365
dune_deps_extra.0.1☑☑0
dunolint.0.0.20251006☒☑0
dunolint-lib.0.0.20251006☒☑2
dunolint-lib-base.0.0.20251006☒☑1
duration.0.2.1☑☑1345
dyn.3.20.2☑☑397
dynamic_gc.0.2.0☑☑0
dypgen.0.2.1☑☑3
earley.3.0.0☑☑1
earlybird.1.3.4☑☑0
easy-format.1.3.4☑☑2014
easy_logging.0.8.2☑☑7
easy_logging_yojson.0.8.2☑☑6
ecaml.v0.17.0☑☑2
echo.0.0.5☑☑0
edn.0.2.0☑☑0
ego.0.0.6☑☑0
eigen.0.3.3☒☒16
eio.1.3☑☑70
eio-ssl.0.3.0☑☑3
eio-trace.0.4☑☑0
eio_linux.1.3☑☑20
eio_main.1.3☑☑37
eio_posix.1.3☑☑19
either.1.0.0☑☑415
elm_core.0.1.7☒☑4
elm_playground.0.1.7☒☑2
elm_playground_web.0.1.7☒☑0
elm_system.0.1.7☒☑3
elpi.3.4.1☑☑0
email_message.v0.17.0☑☑1
embedded_ocaml_templates.0.8☑☑0
emile.1.1☑☑56
emoji.3.0.1☑☑0
encore.0.8.1☑☑28
env_config.v0.17.0☑☑0
epictetus.3.1.1☑☑0
eqaf.0.10☑☑686
eqaf-cstruct.0.10☑☑0
equinoxe.0.2.0☑☑2
equinoxe-cohttp.0.2.0☑☑0
equinoxe-hlc.0.2.0☑☑0
erlang.0.0.14☒☑0
errpy.0.0.10☒☒0
erssical.1.1.0☒☑0
esa.0.1.1☑☑0
esgg.20190322☑☑0
esperanto-cosmopolitan.0.0.6☒☑3
ethernet.3.2.0☑☑79
euler.0.3☑☑0
exenum.0.86☑☑0
expect.0.1.0☑☑0
expect_test_helpers_async.v0.17.0☑☑3
expect_test_helpers_core.v0.17.0☑☑264
extism.1.4.0☑☑0
extism-manifest.1.4.0☑☑1
extlib.1.8.0☑☑45
extunix.0.4.4☑☑24
ez_api.2.1.0☑☑2
ez_cmdliner.0.4.3☒☑9
ez_dune_describe.0.1☑☑1
ez_file.0.3.0☒☑17
ez_hash.0.5.3☑☑0
ez_opam_file.0.1.0☒☑4
ez_pgocaml.1.0.0☑☑0
ez_subst.0.2.1☒☑10
ezcurl.0.2.4☑☑7
ezcurl-lwt.0.2.4☑☑2
ezdl.2.71.15☒☒2
ezgzip.0.2.3☑☑6
ezjs_ace.0.1.1☑☑1
ezjs_blockies.0.1.1☑☑0
ezjs_cleave.0.1.1☑☑0
ezjs_cytoscape.0.1☑☑0
ezjs_extension.0.2☑☑1
ezjs_fetch.0.3☑☑3
ezjs_idb.0.1.1☑☑0
ezjs_jquery.0.1☑☑0
ezjs_min.0.3.0☑☑11
ezjs_odometer.0.1☑☑0
ezjs_push.0.2☑☑0
ezjs_qrcode.0.1☑☑0
ezjs_recaptcha.0.1.1☑☑0
ezjsonm.1.3.0☑☑739
ezjsonm-encoding.2.1.0☒☑0
ezjsonm-lwt.1.3.0☑☑0
ezresto.0.6.1☒☑1
ezresto-directory.0.6.1☒☑0
ezsqlite.0.4.2☑☑0
ezxmlm.1.1.0☑☑25
faad.0.5.1☑☑4
fadbadml.0.1.2☒☑0
fadecider.0.7☑☑0
faraday.0.8.2☑☑155
faraday-async.0.8.2☑☑8
faraday-lwt.0.8.2☑☑76
faraday-lwt-unix.0.8.2☑☑71
farith.0.1☑☑5
farmhash.0.4☒☑0
fasmifra.2.1.0☒☑0
fast_bitvector.0.1.2.2☑☑0
fat-filesystem.0.15.1☑☑0
fd-send-recv.2.0.3☑☑3
feat.20220407☑☑0
feat-core.20220407☑☑2
feat-num.20220407☑☑0
feather.0.3.0☒☑2
fehu.1.0.0~alpha1☒☑1
ff.0.6.2☑☑136
ff-bench.0.6.2☑☑0
ff-pbt.0.6.2☑☑4
ff-sig.0.6.2☑☑179
ffmpeg.1.2.6☑☑4
ffmpeg-av.1.2.6☑☑7
ffmpeg-avcodec.1.2.6☑☑9
ffmpeg-avdevice.1.2.6☑☑5
ffmpeg-avfilter.1.2.6☑☑5
ffmpeg-avutil.1.2.6☑☑12
ffmpeg-swresample.1.2.6☑☑5
ffmpeg-swscale.1.2.6☑☑5
fftw3.0.8.5☑☑0
fiber.3.7.0☑☑2
fiber-lwt.3.7.0☑☑0
fieldslib.v0.17.0☑☑832
file-rewriter.0.0.3☒☑3
file_path.v0.17.0☑☑0
fileutils.0.6.6☑☑291
fit.1.3.2☑☑0
fix.20250919☑☑79
flac.1.0.0☑☑4
flatunionfind.20241210☑☑0
flex-array.1.2.0☑☑2
flint.0.4.0☒☒6
float_option.0.0.3☑☑0
flow_parser.0.268.0☒☑0
fmlib.0.5.11☑☑0
fmlib_browser.0.5.11☑☑1
fmlib_js.0.5.11☑☑2
fmlib_parse.0.5.11☑☑1
fmlib_pretty.0.5.11☑☑2
fmlib_std.0.5.11☑☑5
fontforge-of-ocaml.1.1.0☒☑0
forester.5.0☑☑1
fpath-base.0.3.1☒☑5
fpath-sexp0.0.3.1☒☑14
frama-c.31.0☒☑5
frama-c-lannotate.0.2.4☒☑0
frama-c-luncov.0.2.4☒☑0
frama-c-metacsl.0.9☒☑0
frama-clang.0.0.18☒☒0
fred.0.1.0☑☑0
frei0r.0.1.2☑☑4
fsevents.0.3.0☑☑18
fsevents-lwt.0.3.0☑☑17
fstar.2025.10.06☒☑0
fun-postgresql.0.2.3☑☑0
fun-sql.0.2.3☑☑2
fun-sqlite.0.2.3☑☑0
fungi.0.1.4☒☑0
fuseau.0.1☑☑1
fuseau-lwt.0.1☑☑0
fuzzy_match.v0.17.0☑☑2
fzf.v0.17.0☑☑0
gapi-ocaml.0.4.6☑☑1
gbddml.2.71.15☑☑2
gccjit.0.3.2☒☒2
gd.1.1☑☑4
gdbprofiler.0.4☑☑0
gel.v0.17.0☑☑482
gemini.0.3.0☒☒0
gen.1.1☑☑1951
gen_js_api.1.1.5☑☑60
gendarme.0.3.0☒☑5
gendarme-json.0.3.0☑☑1
gendarme-toml.0.3.0☑☑1
gendarme-yaml.0.3.0☑☑1
genspio.0.0.3☑☑0
genspir.1.0.1☑☑1
geojson.0.2.0☑☑2
geojsone.0.2.0☑☑1
geoml.0.1.1☑☑0
get_line.7.0.0☑☑1
getopt.20230213☑☑2
gettext.0.5.0☑☑2
gettext-camomile.0.5.0☑☑0
gettext-stub.0.5.0☑☑0
giflib.1.1.0☑☑1
git.3.18.0☑☑23
git-kv.0.2.0☑☑2
git-mirage.3.18.0☒☑20
git-net.0.2.0☑☑1
git-paf.3.18.0☑☑21
git-split.1.0.0☑☑0
git-unix.3.18.0☑☑21
github.4.5.0☑☑11
github-data.4.5.0☑☑12
github-hooks.0.5.0☒☑1
github-hooks-unix.0.5.0☒☑0
github-jsoo.4.5.0☑☑0
github-unix.4.5.0☑☑8
gitlab.0.1.8☑☑6
gitlab-jsoo.0.1.8☑☑0
gitlab-unix.0.1.8☑☑4
gitlab_pipeline_notifier.0.1☑☑0
gl-legacy.0.1.0☑☑1
glfw-ocaml.3.3.1-2☑☑1
globlon.1.0☑☑0
gluon.0.0.9☒☒5
gluten.0.5.2☑☑53
gluten-async.0.5.2☑☑5
gluten-eio.0.5.2☑☑8
gluten-lwt.0.5.2☑☑39
gluten-lwt-unix.0.5.2☑☑31
gluten-mirage.0.5.2☑☑3
gmap.0.3.0☑☑503
gmp.6.3.0☑☑0
gnuplot.0.7☑☑3
goblint.2.6.0☒☒0
goblint-cil.2.0.7☑☑3
google-drive-ocamlfuse.0.7.32☒☑0
gospel.0.3.0☑☑4
gotd.0.1☑☑0
gperftools.0.5☒☑5
gpiod.0.7☑☑0
gpr.1.5.2☑☑0
gpt.1.0.0☑☑1
gptar.1.0.0☑☑0
gr.0.0.2☑☑0
grace.0.2.0☑☑0
gradescope_submit.2.0.2☑☑0
graft.0.1.0☑☑0
grain_dypgen.0.2.1☑☑2
graphics.5.2.0☑☑4021
graphql.0.14.0☑☑36
graphql-cohttp.0.14.0☑☑7
graphql-lwt.0.14.0☑☑33
graphql_jsoo_client.0.1.1☑☑0
graphql_parser.0.14.0☑☑37
graphql_ppx.1.2.2☒☑1
graphv.0.1.1☑☑0
graphv_core.0.1.1☑☑3
graphv_core_lib.0.1.1☑☑10
graphv_font.0.1.1☑☑5
graphv_font_js.0.1.1☑☑2
graphv_font_stb_truetype.0.1.1☑☑2
graphv_gles2.0.1.1☑☑3
graphv_gles2_native.0.1.1☑☑1
graphv_gles2_native_impl.0.1.1☑☑2
graphv_webgl.0.1.1☑☑1
graphv_webgl_impl.0.1.1☑☑3
grenier.0.15☑☑5
grid.0.2.0☑☑0
grpc.0.2.0☑☑5
grpc-async.0.2.0☑☑1
grpc-bench.0.2.0☑☑0
grpc-eio.0.2.0☑☑1
grpc-lwt.0.2.0☑☑1
gsl.1.25.1☑☑11
gstreamer.0.3.1☑☑5
guile.1.0☒☒0
h1.1.1.0☑☑32
h1-lwt-unix.1.1.0☑☑0
h1_parser.0.0.2☒☑0
h2.0.13.0☑☑67
h2-async.0.13.0☑☑2
h2-eio.0.13.0☑☑1
h2-lwt.0.13.0☑☑26
h2-lwt-unix.0.13.0☑☑24
h2-mirage.0.13.0☑☑0
hachis.20240918☑☑1
hacl-star.0.7.2☒☑239
hacl-star-raw.0.7.2☑☑242
hacl_func.0.1.0☑☑0
handlebars-ml.0.1.2☑☑0
happy-eyeballs.2.0.1☑☑63
happy-eyeballs-lwt.2.0.1☑☑35
happy-eyeballs-miou-unix.2.0.1☑☑6
happy-eyeballs-mirage.2.0.1☑☑39
hardcaml.v0.17.1☑☑16
hardcaml-lua.0.0.1☒☑0
hardcaml_axi.v0.17.0☑☑0
hardcaml_c.v0.17.0☑☑0
hardcaml_circuits.v0.17.0☑☑2
hardcaml_event_driven_sim.v0.17.0☑☑1
hardcaml_fixed_point.v0.17.0☑☑0
hardcaml_handshake.v0.17.0☑☑1
hardcaml_of_verilog.v0.17.0☑☑0
hardcaml_step_testbench.v0.17.0☑☑0
hardcaml_verify.v0.17.0☑☑1
hardcaml_verilator.v0.17.0☑☑0
hardcaml_waveterm.v0.17.0☑☑4
hardcaml_xilinx.v0.17.0☑☑0
hardcaml_xilinx_components.v0.17.0☑☑0
hardcaml_xilinx_reports.v0.17.0☑☑0
hashcons.1.4.0☑☑109
hashset.1.0.1☑☑1
hc.0.5☑☑2
hdr_histogram.0.0.4☑☑2
headache.1.08☑☑10
header-check.0.1.0☒☑0
hector.20241208☑☑2
herdtools7.7.58☒☑0
heroicons-reason-react.1.0☑☑0
hex.1.5.0☑☑1017
hex_encode.v0.17.0☑☑0
hexstring.0.2.1☑☑0
hg_lib.v0.17.0☑☑0
hidapi.1.2.1☑☑136
hidapi-lwt.1.2.1☑☑135
higher_kinded.v0.17.0☑☑6
highlexer.0.1☑☑0
higlo.0.10.0☑☑27
hilite.0.5.0☑☑2
hl_yaml.1.0.0☒☒0
hockmd.0.1.0☑☑0
hol2dk.2.0.0☑☑0
hooke.0.0.1☑☑0
hpack.0.13.0☑☑75
hsluv.0.1.0☑☑1
html_of_jsx.0.0.6☒☑1
htmlfromtexbooks.3.3.2☑☑0
hts_shrink.3.0.1☒☑0
http.6.1.1☑☑395
http-cookie.4.3.0☑☑0
http-date.0.1☑☑0
http-lwt-client.0.3.2☑☑5
http-mirage-client.0.0.10☑☑1
http-multipart-formdata.3.1.0☑☑0
httpaf.0.7.1☑☑116
httpaf-lwt-unix.0.7.1☑☑31
httpaf_caged.1.0.0☒☑0
httpcats.0.1.0☒☑3
httph.0.1☑☑0
httpun.0.2.0☑☑37
httpun-async.0.2.0☑☑0
httpun-eio.0.2.0☑☑3
httpun-lwt.0.2.0☑☑25
httpun-lwt-unix.0.2.0☑☑23
httpun-mirage.0.2.0☑☑0
httpun-types.0.2.0☑☑88
httpun-ws.0.2.0☑☑29
httpun-ws-async.0.2.0☑☑0
httpun-ws-eio.0.2.0☑☑0
httpun-ws-lwt.0.2.0☑☑2
httpun-ws-lwt-unix.0.2.0☑☑0
httpun-ws-mirage.0.2.0☑☑0
huffman.0.1.2☑☑0
hugin.1.0.0~alpha1☒☑2
hurl.0.0.1~beta1☒☑1
hvsock.3.1.0☑☑1
hxd.0.3.5☑☑58
i3ipc.0.4☑☑1
icalendar.0.1.13☑☑2
imagelib.20221222☑☑7
imguiml.v1.90.6☒☑0
incr_map.v0.17.0☑☑6
incr_select.v0.17.0☑☑6
incremental.v0.17.0☑☑9
incremental_cycles.0.1☒☑0
indentation_buffer.v0.17.0☑☑0
index.1.6.2☑☑232
index-bench.1.6.2☑☑0
inferno.20220603☑☑0
influxdb.0.3.0☑☑2
influxdb-async.0.3.0☑☑0
influxdb-lwt.0.3.0☑☑0
inifiles.2.0☑☑0
inotify.2.6☑☑25
inotify-eio.2.6☑☑0
inquire.0.3.1☒☒0
inquirer_oc.1.0.15☑☑0
intPQueue.20250925☑☑0
int_repr.v0.17.0☑☑484
integers.0.7.0☑☑588
integers_stubs_js.1.0☑☑241
integration1d.0.5.1☑☑0
interface-prime.0.1☑☑2
interface-prime-lwt.0.1☑☑0
interval-map.0.2.0☑☑0
interval_base.1.6☑☑3
interval_crlibm.1.6☑☑1
interval_intel.1.6☒☒1
io-page.3.0.0☑☑1262
iomux.0.4☑☑28
iostream.0.3☑☑9
iostream-camlzip.0.3☑☑2
ip2location.8.2.0☑☑0
ip2locationio.1.1.0☒☑0
ip2proxy.3.1.0☑☑0
ip2whois.1.0.0☑☑0
ipaddr.5.6.1☑☑1344
ipaddr-cstruct.5.6.1☑☑78
ipaddr-sexp.5.6.1☑☑499
irc-client.0.7.1☑☑12
irc-client-lwt.0.7.1☑☑4
irc-client-lwt-ssl.0.7.1☑☑4
irc-client-tls.0.7.1☑☑1
irc-client-unix.0.7.1☑☑4
iri.1.1.0☑☑69
irmin.3.11.0☑☑19
irmin-bench.3.11.0☑☑0
irmin-chunk.3.11.0☑☑0
irmin-cli.3.11.0☑☑2
irmin-client.3.11.0☑☑0
irmin-containers.3.11.0☑☑0
irmin-fs.3.11.0☑☑4
irmin-git.3.11.0☑☑5
irmin-graphql.3.11.0☑☑4
irmin-layers.2.9.0☒☑3
irmin-mirage.3.11.0☑☑2
irmin-mirage-git.3.11.0☑☑0
irmin-mirage-graphql.3.11.0☑☑0
irmin-pack.3.11.0☑☑8
irmin-pack-tools.3.11.0☑☑0
irmin-server.3.11.0☑☑3
irmin-test.3.11.0☑☑10
irmin-tezos.3.11.0☑☑5
irmin-watcher.0.5.0☑☑18
iso639.0.0.5☑☑1
iter.1.9☑☑28
itv-tree.2.2☑☑1
jane-street-headers.v0.17.0☑☑858
jane_rope.v0.17.0☑☑24
janestreet_cpuid.v0.17.0☒☒0
janestreet_lru_cache.v0.17.0☑☑9
jasmin.2025.06.1☒☑0
jekyll-format.0.3.4☑☑0
jemalloc.0.2☒☑9
jext.0.1.0☑☑0
jhupllib.0.3☑☑1
jingoo.1.5.1☑☑18
jose.0.10.0☑☑1
js_of_ocaml.6.2.0☑☑1886
js_of_ocaml-compiler.6.2.0☑☑1894
js_of_ocaml-lwt.6.2.0☑☑141
js_of_ocaml-ocamlbuild.5.0☑☑3
js_of_ocaml-ppx.6.2.0☑☑235
js_of_ocaml-ppx_deriving_json.6.2.0☑☑3
js_of_ocaml-toplevel.6.2.0☑☑20
js_of_ocaml-tyxml.6.2.0☑☑7
js_of_ocaml_patches.v0.16.0☑☑8
json-data-encoding.1.0.1☒☑232
json-data-encoding-browser.1.0.1☒☑0
json-data-encoding-bson.1.0.1☒☑222
json_decoder.0.1.1☑☑0
jsonaf.v0.17.0☑☑6
jsonoo.0.3.0☑☑0
jsonrpc.1.24.0☑☑11
jsonschema.0.1.0☑☑0
jsonschema2atd.0.0.3☑☑0
jsoo_broadcastchannel.2.0.0☑☑0
jsoo_storage.1.0.1☑☑0
jst-config.v0.17.0☑☑859
junit.2.3.0☑☑8
junit_alcotest.2.3.0☑☑9
junit_ounit.2.3.0☑☑0
jupyter-kernel.0.8☑☑0
jwto.0.4.0☑☑16
kaun.1.0.0~alpha1☒☑3
kcas.0.7.0☑☑3
kcas_data.0.7.0☑☑0
kdf.1.0.0☑☑492
kdl.0.2.0☑☑0
ke.0.6☑☑124
key-parsers.1.3.0☑☑0
kicadsch.0.9.0☑☑1
kind2.2.3.0☑☑0
kinetic-client.0.0.11☑☑0
kittyimg.0.1☑☑1
kkmarkdown.1.1.0☑☑0
kmt.0.1☒☑0
knights_tour.0.0.6☑☑0
kqueue.0.4.0☑☑6
kuznechik.0.2.0☑☑0
lab.0.1.8☑☑0
lablgtk3.3.1.5☑☑27
lablgtk3-extras.3.0.1☑☑0
lablgtk3-goocanvas2.3.1.5☑☑0
lablgtk3-gtkspell3.3.1.5☒☑0
lablgtk3-rsvg2.3.1.5☑☑0
lablgtk3-sourceview3.3.1.5☑☑13
lacaml.11.1.1☑☑12
ladspa.0.2.2☑☑5
lambda.0.1.7☑☑0
lambda-term.3.3.2☑☑225
lambda_streams.0.1.2☒☑2
lambda_streams_async.0.1.2☒☑0
lambda_streams_lwt.0.1.2☒☑0
lambdapi.3.0.0☑☑0
lambdasoup.1.1.1☑☑42
lame.0.3.7☑☑4
landmarks.1.5☑☑1
landmarks-ppx.1.5☑☑0
lastfm.0.3.4☑☑3
lazy-trie.1.2.0☑☑0
lbfgs.0.9.5☑☑3
lbvs_consent.2.2.0☒☑0
ldap.2.5.2☑☑1
leaflet.0.2☑☑0
leaves.0.0.1☒☑0
ledes.0.1.0☑☑0
ledgerwallet.0.4.1☑☑134
ledgerwallet-tezos.0.4.1☒☑133
legacy_diffable.v0.17.0☑☑7
lens.1.2.5☑☑0
letsencrypt.1.1.0☑☑3
letsencrypt-app.1.1.0☑☑0
letsencrypt-dns.1.1.0☑☑1
letsencrypt-mirage.1.1.0☑☑0
letters.0.4.0☑☑3
libabsolute.0.1☒☑1
libbinaryen.121.0.0☑☑0
libbpf.0.1.0☒☑2
libbpf_maps.0.1.0☒☑1
libc.0.0.1☑☑6
libirmin.3.11.0☑☑0
libsail.0.20☒☑11
lichess_api.1.0.1☑☑0
lilac.0.1.1☒☑0
lilv.0.1.0☑☑4
line_oriented.1.3.0☑☑11
linenoise.1.5.1☑☑25
linol.0.10☑☑2
linol-eio.0.10☑☑0
linol-lwt.0.10☑☑0
linwrap.9.2.0☒☑0
liquid_interpreter.0.1.2☒☑1
liquid_ml.0.1.2☒☑0
liquid_parser.0.1.2☒☑3
liquid_std.0.1.2☒☑2
liquid_syntax.0.1.2☒☑4
liquidsoap.2.4.0☒☑2
liquidsoap-js.2.4.0☒☑0
liquidsoap-lang.2.4.0☒☑6
liquidsoap-libs.2.3.0☒☑1
liquidsoap-libs-extra.2.3.0☒☑0
liquidsoap-mode.2.4.0☒☑0
little_logger.0.3.0☑☑0
llama-cpp-ocaml.0.0.1☒☒0
llama_core.0.1.0☒☑2
llama_midi.0.1.0☒☑3
llhttp.0.0.1☑☑0
llvm.17.0.6☑☑4
lmdb.1.0☒☑0
lo.0.2.0☒☒4
loc.0.2.2☒☑20
lockfree.0.3.1☑☑13
logical.0.3.0☑☑0
logs-async.1.4☑☑2
logs-async-reporter.1.4☑☑2
logs-ppx.0.2.0☑☑1
logs-syslog.0.5.0☑☑1
loop.0.0.1☑☑0
lp.0.5.0☑☑4
lp-glpk.0.5.0☑☑0
lp-glpk-js.0.5.0☑☑0
lp-gurobi.0.5.0☑☑0
lp-highs.0.5.0☑☑0
lpd.1.2.2☑☑0
lreplay.0.1.1☒☑0
lru.0.3.1☑☑361
lru_cache.0.4.0☑☑4
lsp.1.24.0☑☑7
lt-code.0.1.1☑☑0
lua-ml.0.9.4☑☑2
lua_parser.1.0.2☑☑0
lucid.0.1.5☑☑0
lun.0.0.1☑☑1
lustre-v6.6.107.1☑☑2
lutils.1.54.1☒☑4
lutin.2.71.15☒☒1
luv.0.5.14☒☑2
luv_unix.0.5.1☒☑0
lwd.0.4☑☑7
lwt.6.0.0~alpha00☑☑1954
lwt-canceler.0.3☒☑243
lwt-dllist.1.1.0☑☑1305
lwt-exit.1.0☑☑162
lwt-parallel.1.0.0☑☑0
lwt-watcher.0.2☑☑148
lwt_direct.6.0.0~alpha00☑☑0
lwt_domain.0.3.0☑☑0
lwt_eio.0.5.1☑☑7
lwt_glib.1.1.1☑☑3
lwt_log.1.1.2☑☑464
lwt_ppx.5.9.2☒☑221
lwt_react.1.2.0☑☑254
lwt_retry.5.9.0☑☑0
lwt_ssl.1.2.0☑☑377
lz4.1.3.0☑☑14
lzo.0.0.3☒☑0
m_tree.0.1☑☑0
macaddr.5.6.1☑☑1348
macaddr-cstruct.5.6.1☑☑80
macaddr-sexp.5.6.1☑☑5
mad.0.5.3☑☑6
magic-mime.1.3.1☑☑399
make-random.0.1☑☑1
malfunction.0.7☑☑0
man_in_the_middle_debugger.v0.17.0☑☑0
mariadb.1.3.0☒☑3
markdown.0.2.1☑☑1
markup.1.0.3☑☑111
markup-lwt.0.5.0☒☑2
mastodon-archive-viewer.0.4.0☑☑0
matplotlib.0.2☑☑0
mbr-format.2.0.0☑☑3
mc2.0.1☑☑0
mccs.1.1+19☑☑9
md2mld.0.7.0☑☑7
mdx.2.5.1☑☑130
mec.0.1.0☒☑134
mehari.0.4☑☑3
mehari-eio.0.4☑☑0
mehari-lwt-unix.0.4☑☑0
mehari-mirage.0.4☑☑1
mel-bastet.1.0.0☑☑1
melange.5.1.0-53☒☑25
melange-atdgen-codec-runtime.3.0.1☑☑0
melange-fest.0.1.0☑☑0
melange-fetch.0.1.0☑☑2
melange-jest.0.1.1☑☑8
melange-json.2.0.0☑☑2
melange-json-native.2.0.0☑☑1
melange-moment.0.4.0☑☑1
melange-numeral.0.0.1☑☑0
melange-radix-icons.0.0.1☑☑0
melange-recharts.4.0.3☑☑0
melange-testing-library.0.1.0☑☑2
melange-webapi.0.21.0☑☑3
mem_usage.0.1.2☑☑4
memfd.0.1.0☑☑0
memgraph.1.0☑☑1
memgraph_kitty.1.0☑☑0
memo.0.2☑☑0
memprof-limits.0.3.0☑☑28
memtrace.0.2.3☒☑35
menhir.20250912☒☑2088
menhirCST.20250912☒☑2085
menhirLib.20250912☒☑2087
menhirSdk.20250912☒☑2088
merge-fmt.0.4☑☑0
merlin.5.6-503☒☑13
merlin-extend.0.6.2☑☑39
merlin-lib.5.6-503☒☑17
mesh.0.9.5☑☑3
mesh-easymesh.0.9.5☑☑0
mesh-graphics.0.9.5☑☑0
metadata.0.3.1☑☑4
metadb.1.0.2☑☑1
metapp.0.4.4☑☑11
metaquot.0.6.0☑☑10
metrics.0.5.0☑☑1303
metrics-influx.0.5.0☑☑4
metrics-lwt.0.5.0☑☑1276
metrics-rusage.0.5.0☑☑3
metrics-unix.0.5.0☑☑3
mew.0.1.0☑☑230
mew_vi.0.5.0☑☑229
middleware.0.0.1☑☑0
mimic.0.0.9☑☑33
mimic-happy-eyeballs.0.0.9☑☑24
mindstorm.0.8.1☑☑1
mindstorm-lwt.0.8.1☑☑0
minicaml.0.3.1☒☑0
minicli.5.0.2☑☑19
minisat.0.6☑☑3
miou.0.5.0☒☑12
mirage.4.10.2☒☑4
mirage-block.3.0.2☑☑25
mirage-block-ccm.2.0.0☑☑0
mirage-block-combinators.3.0.2☑☑7
mirage-block-partition.0.2.0☑☑0
mirage-block-ramdisk.0.6☑☑2
mirage-block-solo5.0.8.1☑☑1
mirage-block-unikraft.1.0.0☑☑0
mirage-block-unix.2.14.2☑☑11
mirage-block-xen.2.1.3☑☑0
mirage-bootvar.1.0.1☑☑0
mirage-channel.5.0.0☑☑11
mirage-clock.4.2.0☑☑472
mirage-clock-unix.4.2.0☑☑40
mirage-crypto.2.0.2☑☑518
mirage-crypto-ec.2.0.2☑☑493
mirage-crypto-pk.2.0.2☑☑494
mirage-crypto-rng.2.0.2☑☑521
mirage-crypto-rng-async.0.11.3☒☑7
mirage-crypto-rng-eio.1.2.0☒☑5
mirage-crypto-rng-lwt.1.2.0☒☑379
mirage-crypto-rng-miou-unix.2.0.2☑☑5
mirage-crypto-rng-mirage.2.0.2☑☑11
mirage-flow.5.0.0☑☑477
mirage-flow-combinators.5.0.0☑☑13
mirage-flow-unix.5.0.0☑☑1
mirage-kv.6.1.1☑☑447
mirage-kv-mem.4.0.1☑☑2
mirage-kv-unix.3.0.1☑☑0
mirage-logs.3.0.0☑☑5
mirage-mtime.5.2.0☑☑83
mirage-nat.3.0.2☑☑0
mirage-net.4.0.0☑☑88
mirage-net-solo5.0.8.0☑☑0
mirage-net-unikraft.1.0.0☑☑0
mirage-net-unix.3.0.0☑☑0
mirage-net-xen.2.1.7☑☑0
mirage-ptime.5.1.0☑☑81
mirage-qubes.2.0.0☑☑1
mirage-qubes-ipv4.2.0.0☑☑0
mirage-runtime.4.10.2☑☑1317
mirage-sleep.4.1.0☑☑1297
mirage-solo5.0.10.0☑☑446
mirage-time.3.0.0☑☑89
mirage-time-unix.3.0.0☑☑8
mirage-unikraft.1.0.0☑☑2
mirage-unix.5.0.1☑☑23
mirage-vnetif.0.6.2☑☑3
mirage-xen.9.0.0☑☑1241
mjson.0.2.1☑☑0
mkaudio.1.1.4☑☑0
mkocaml.1.2☑☑0
mlbdd.0.7.3☑☑4
mlfenv.1.0.0☑☑0
mlgpx.1.0.0☑☑0
mlmpfr.4.2.1☒☒13
mlsolver.1.5☑☑0
mlt_parser.v0.17.0☑☑1
mlx.0.10☒☑2
mm.0.8.6☑☑5
mmap.1.2.0☑☑1953
mmdb.0.3.0☒☒0
mmo.1.0.1☑☑0
mnd.1.1.0☑☑0
mock.1.0.0☒☑1
mock-ounit.1.0.0☒☑1
module-graph.0.2.0☒☑0
molenc.17.0.1☒☑7
monaco_jsoo.1.0.1☑☑0
monolith.20250922☑☑10
monomorphic.2.1.0☑☑1
moonpool.0.9☑☑5
moonpool-io.0.9☑☑0
moonpool-lwt.0.9☑☑0
mopsa.1.2☒☑0
morbig.0.11.0☑☑0
morsmall.0.2.0☑☑0
mosaique.0.0.1☑☑0
moss.0.1.1☑☑0
mparser.1.3☑☑13
mparser-re.1.3☑☑1
mperf.0.5.0☑☑1
mpg123.0.3☒☒0
mpp.0.3.6☑☑0
mpris.0.2.0☑☑1
mpris-clients.0.2.0☑☑0
mqtt.0.2.2☑☑0
mrmime.0.7.0☑☑20
msat.0.9.1☑☑6
msat-bin.0.9.1☑☑0
msgpck.1.7☑☑5
mugen.0.1.0☑☑0
mula.0.1.2☑☑0
multibase.0.1.0☑☑3
multicodec.0.1.0☑☑5
multicont.1.0.3☑☑1
multicore-bench.0.1.7☑☑4
multicore-magic.2.3.1☒☑61
multicore-magic-dscheck.2.3.1☒☑3
multihash.0.1.0☑☑4
multihash-digestif.0.1.0☑☑3
multipart-form-data.0.3.0☑☑28
multipart_form.0.7.0☑☑34
multipart_form-cohttp-lwt.0.7.0☑☑0
multipart_form-eio.0.7.0☑☑0
multipart_form-lwt.0.7.0☑☑29
multipart_form-miou.0.7.0☑☑1
murmur3.0.3☑☑1
mustache.3.3.0☑☑5
mustache-cli.3.3.0☑☑0
mutaml.0.3☑☑0
mutf8.0.2☑☑0
mwt.0.1.0☑☑0
mybuild.7☑☑3
mysql8.1.0☒☒1
mysql_protocol.3.0.3☑☑0
n_ary.v0.17.0☑☑1
naboris.0.1.3☑☑0
nacc.1.0☒☑0
nanoev.0.1☑☑3
nanoev-picos.0.1☑☑2
nanoev-posix.0.1☑☑0
nanoev_tiny_httpd.0.1☑☑0
nanoid.1.0.0☑☑0
nanosvg.0.2☑☑2
nanosvg_text.0.1☑☑1
nbd.6.0.1☑☑4
nbd-tool.6.0.1☑☑0
nbd-unix.6.0.1☑☑1
netlink.0.3.4☑☑0
netsnmp.v0.17.0☑☑0
neural_nets_lib.0.6.1☒☑0
nice_parser.1.0.0☒☑1
ninja_utils.0.9.0☑☑1
niru.1.0.0☑☑0
nloge.0.0.2☑☑0
nlopt.0.7.0☑☑4
nmea.0.1.5☑☑0
nocoiner.1.0.0☒☑0
node_of_ocaml.1.0.0☑☑0
non_empty_list.0.1☑☑0
nottui.0.4☑☑4
nottui-lwt.0.4☑☑0
nottui-pretty.0.4☑☑0
nottui-unix.0.4☑☑0
notty.0.2.3☑☑22
notty-community.0.2.4☑☑0
notty_async.v0.17.0☑☑5
np.np1.19-0.3.1☒☑2
npy.0.0.9☑☑18
numeric_string.v0.17.0☑☑1
nuscr.2.1.1☒☑0
nx.1.0.0~alpha1☒☑10
nx-datasets.1.0.0~alpha1☒☑4
nx-text.1.0.0~alpha0☒☑2
obatcher.1.1☑☑0
obelisk.0.8.1☑☑1
obuilder.0.6.0☑☑2
obuilder-spec.0.6.0☑☑4
obus.1.2.5☑☑4
ocal.0.2.2☑☑0
ocaml-canvas.1.0.0☑☑0
ocaml-compiler-libs.v0.17.0☑☑2557
ocaml-embed-file.v0.17.0☑☑3
ocaml-index.5.6-503☒☑2
ocaml-lsp-server.1.23.1☒☑12
ocaml-lua.1.8☒☑0
ocaml-monadic.0.5☑☑4
ocaml-print-intf.1.2.0☑☑0
ocaml-probes.v0.17.0☑☑0
ocaml-protoc.3.1.1☑☑4
ocaml-protoc-plugin.6.2.0☒☑3
ocaml-r.0.6.0☑☑1
ocaml-sat-solvers.0.8☑☑2
ocaml-syntax-shims.1.0.0☑☑1973
ocaml-systemd.1.3☒☑0
ocaml-top.1.2.0☑☑0
ocaml-vdom.0.2☑☑0
ocaml-version.4.0.3☑☑42
ocaml_intrinsics.v0.17.0☑☑5
ocaml_intrinsics_kernel.v0.17.1☑☑1926
ocaml_openapi_generator.v0.17.0☑☑0
ocamlc-loc.3.20.2☑☑4
ocamlcodoc.1.0.1☑☑1
ocamldiff.1.2☑☑1
ocamlformat.0.27.0☑☑61
ocamlformat-lib.0.27.0☑☑22
ocamlformat-mlx.0.27.0.1☒☑0
ocamlformat-mlx-lib.0.27.0.1☒☑1
ocamlformat-rpc-lib.0.27.0☑☑4
ocamlfuse.2.7.1-cvs13☒☑1
ocamlgraph.2.2.0☑☑615
ocamlgraph_gtk.2.2.0☑☑5
ocamlify.0.1.0☑☑258
ocamline.1.2☑☑1
ocamlmerlin-mlx.0.10☒☑0
ocamlmig.5.3-20250429☒☒0
ocamlmod.0.1.1☑☑256
ocamlog.0.2☑☑0
ocamlregextkit.1.0.2☑☑0
ocannl_npy.0.4.1☒☑2
ocb.0.2☑☑0
ocf.0.9.0☑☑47
ocf_ppx.0.9.0☑☑44
ockt.0.0.1☑☑0
ocluster.0.3.0☑☑0
ocluster-api.0.3.0☑☑3
ocluster-worker.0.3.0☑☑1
ocolor.1.3.1☑☑4
ocp-browser.1.4.0☑☑0
ocp-indent.1.9.0☑☑39
ocp-indent-nlfork.1.5.5☒☑2
ocp-index.1.4.0☑☑5
ocp_reveal.0.1☑☑0
ocplib-endian.1.2☑☑1979
ocplib-simplex.0.5.1☑☑11
ocplib_stuff.0.4.0☒☑19
ocsigen-i18n.4.0.0☑☑1
ocsigen-ppx-rpc.1.0☑☑1
ocsigenserver.6.0.0☒☑13
ocsipersist.2.0.0☒☑9
ocsipersist-dbm.2.0.0☒☑5
ocsipersist-dbm-config.2.0.0☒☑0
ocsipersist-lib.2.0.0☑☑10
ocsipersist-pgsql.2.0.0☒☑5
ocsipersist-pgsql-config.2.0.0☒☑0
ocsipersist-sqlite.2.0.0☒☑5
ocsipersist-sqlite-config.2.0.0☒☑0
octavius.1.2.2☑☑864
octez-alcotezt.20.1☒☑95
octez-distributed-internal.20.1☒☑94
octez-distributed-lwt-internal.20.1☒☑93
octez-smart-rollup-wasm-debugger-plugin.20.1☒☑3
ocue.0.1.0☑☑0
odate.0.7☑☑8
odds.1.2☑☑0
odep.0.2.1☑☑0
odepack.0.7.1☑☑1
odnnr.2.0.0☑☒0
odoc.3.1.0☑☑1584
odoc-driver.3.1.0☒☑0
odoc-md.3.1.0☑☑1
odoc-parser.3.1.0☑☑15
oenv.0.1.0☑☑0
oepub.0.1.0☑☑0
of_json.v0.17.0☑☑0
oframl.0.0.1☑☑0
ogg.1.0.0☑☑11
ohex.0.2.0☑☑520
oidc.0.2.0☒☑0
ojo.0.2.1☑☑0
ojs.1.1.5☑☑61
ojs_base.0.8.0☒☑8
ojs_base_all.0.8.0☒☑3
ojs_base_ppx.0.8.0☒☑2
ojs_ed.0.8.0☒☑4
ojs_filetree.0.8.0☒☑4
ojs_list.0.8.0☒☑4
oma.20240619☑☑0
omd.2.0.0~alpha4☑☑32
ometrics.0.2.0☒☑0
omigrate.0.3.2☑☑0
omlr.1.0.3☑☑0
omtl.0.2☑☑0
oneffs.0.1.0☑☑0
oniguruma.0.1.2☑☑5
ooh.0.0.3☑☑0
opam-0install.0.5.1☑☑0
opam-0install-cudf.0.5.0☑☑7
opam-build.0.2.6☑☒0
opam-check-npm-deps.4.0.1☑☑7
opam-ci-check-lint.0.2☒☑0
opam-client.2.4.1☒☑3
opam-compiler.0.2.1☑☑0
opam-core.2.4.1☒☑32
opam-custom-install.0.3☑☑0
opam-devel.2.4.1☒☑0
opam-dune-lint.0.6☑☑0
opam-ed.0.4☑☑0
opam-file-format.2.2.0☑☑48
opam-format.2.4.1☒☑35
opam-graph.0.1.1☑☑0
opam-grep.0.4.0☑☑0
opam-installer.2.4.1☒☑8
opam-monorepo.0.4.3☒☑2
opam-publish.2.7.0☑☑3
opam-repository.2.4.1☒☑18
opam-solver.2.4.1☒☑5
opam-state.2.4.1☒☑17
opam-test.0.2.6☑☒0
opasswd.1.3.1☑☑0
openQASM.0.4.0☑☑1
openai.0.0.1☒☑0
openapi.1.0.1☑☑2
openapi-opium.1.0.1☑☑0
openbsd.1.0☑☑0
opencage.1.0.5☑☑0
opencc1_1.0.1.0☑☑0
openstellina.0.0.3☑☑0
opentelemetry.0.12☑☑11
opentelemetry-client-cohttp-eio.0.12☑☑1
opentelemetry-client-cohttp-lwt.0.12☑☑1
opentelemetry-client-ocurl.0.12☑☑0
opentelemetry-cohttp-lwt.0.12☑☑1
opentelemetry-logs.0.12☒☑0
opentelemetry-lwt.0.12☑☑2
opine.0.1.3☑☑0
opium.0.20.0☑☑20
opium-graphql.0.20.0☑☑0
opium-testing.0.20.0☑☑0
opium_kernel.0.18.0☑☑5
oplot.0.80☑☑0
oplsr.8.0.1☑☒0
opomodoro.0.0.2☑☑0
optal.0.3☑☑0
opti.1.0.3☑☑0
optimization1d.0.6.1☑☑0
optiml-transport.0.0.1☑☑0
optint.0.3.0☑☑654
opus.1.0.0☑☑4
oraft.0.3.0☑☑0
oranger.4.3.5☒☑0
orb.1.0.0☑☑0
order-i3-xfce.0.1☑☑0
ordering.3.20.2☑☑398
ordinal.1.1☑☑0
ordinal_abbreviation.v0.17.0☑☑2
orec.1.0.1☑☑2
orewa.0.2.1☑☑0
orf.1.0.1☒☑0
orgeat.0.0.1☑☑0
orrandomForest.3.0.0☑☒0
orsvm_e1071.4.0.0☑☑0
ortac-core.0.7.2☒☑3
ortac-dune.0.7.2☒☑0
ortac-qcheck-stm.0.7.2☒☑1
ortac-runtime.0.7.2☒☑4
ortac-runtime-qcheck-stm.0.7.2☒☑1
ortac-wrapper.0.7.2☒☑1
orthologic-coq.0.9.1☒☑0
orxgboost.1.2.0☒☒0
osc.0.2.0☑☑6
osc-unix.0.2.0☑☑4
osdp.1.1.1☒☑0
oseq.0.5.1☑☑15
oskel.0.3.0☑☑0
osnap.0.3.0☒☑0
ostap.0.6.1☒☑0
otaglibc.0.1.0☒☒0
otf.0.1☑☑0
otoml.1.0.5☑☑8
otr.1.0.0☑☑0
ounit2.2.2.7☑☑1411
ounit2-lwt.2.2.7☑☑1
owee.0.8☑☑8
owi.0.1☑☑0
owl.1.2☒☒13
owl-base.1.2☑☑15
owl-ode.0.5.0☒☒2
owl-ode-base.0.5.0☑☑3
owl-ode-odepack.0.5.0☒☒0
owl-opt.0.0.1☒☒1
owl-opt-lbfgs.0.0.1☒☒0
owl-plplot.1.1☒☒5
owl-top.1.2☒☒1
owork.0.1.1☑☑0
ozulip.0.1☑☑0
p4pp.0.1.12☑☑0
p5scm.0.5.0☒☑0
packstream.0.1☑☑0
pacomb.1.3☑☑0
paf.0.8.0☑☑26
paf-cohttp.0.8.0☑☑0
pageantty.0.0.2☒☑2
pam.v0.17.0☑☑0
pancake.2.0.1☑☑0
pandoc.0.2.1☑☑7
pandoc-abbreviations.0.2.1☑☑0
pandoc-comment.0.2.1☑☑0
pandoc-crossref.0.2.1☑☑0
pandoc-include.0.2.1☑☑0
pandoc-inspect.0.2.1☑☑0
pandoc-pdf2png.0.2.1☑☑0
pandoc-replace.0.2.1☑☑0
par_incr.0.1☑☑0
parany.14.0.1☑☑15
pardi.3.2.2☑☑0
pari.0.1☒☒0
pari-bindings.0.1☒☒1
parmap.1.2.5☑☑28
parsexp.v0.17.0☑☑1876
parsexp_io.v0.17.0☑☑0
parsite.0.1.2☑☑0
parsley.0.0.1☒☑0
patch.3.0.0☑☑33
patdiff.v0.17.0☑☑5
path_glob.0.3☑☑1
patience_diff.v0.17.0☑☑8
patricia-tree.0.11.0☑☑1
pb.1.0.0☑☑1
pbkdf.1.2.0☑☑494
pbrt.3.1.1☑☑21
pbrt_services.3.1.1☑☑5
pbrt_yojson.3.1.1☑☑6
pcap-format.0.6.0☑☑3
pcrc.0.25.2☑☑0
pcre2.8.0.3☑☑605
pds-reachability.0.2.3☑☑0
pecu.0.7☑☑92
petrol.1.2.0☑☑0
pf-qubes.0.1.1☑☑0
pg_query.0.9.8☒☒3
pgn_parser.1.0.1☑☑0
pgocaml.4.4.0☑☑16
pgocaml_ppx.4.4.0☑☑1
pgsolver.4.4☑☑1
pgx.2.2☑☑9
pgx_lwt.2.2☑☑3
pgx_lwt_mirage.2.2☑☑0
pgx_lwt_unix.2.2☑☑1
pgx_unix.2.2☑☑0
pgx_value_core.2.2☑☑1
pgx_value_ptime.2.2☑☑0
phantom-algebra.1.0.1☑☑0
phonetic.0.1.0☑☑0
phylogenetics.0.3.0☑☑0
piaf.0.2.0☑☑0
picasso.0.4.0☒☑2
picos.0.6.0☑☑15
picos_aux.0.6.0☑☑38
picos_io.0.6.0☑☑5
picos_io_cohttp.0.6.0☑☑1
picos_lwt.0.6.0☑☑1
picos_meta.0.6.0☒☑0
picos_mux.0.6.0☑☑2
picos_std.0.6.0☑☑14
piece_rope.0.9.1☑☑0
pla.2.1☑☑0
plateau.0.1☑☑0
plato.1.1.3☑☑0
plist-xml.0.5.1☑☑2
plist-xml-lwt.0.3.0☒☑0
plotkicadsch.0.9.0☑☑0
plotly.1.0.0☑☑0
plplot.5.12.1☑☑10
polka.2.71.15☒☒2
poll.0.3.1☑☑5
polling_state_rpc.v0.17.0☑☑3
polly.0.4.1☑☑0
polynomial.0.4.0☑☑135
pomap.4.1.2☑☑0
popper.0.1.1☑☑2
portaudio.0.2.3☑☑4
portaudio_c_bindings.19.6.0☒☒0
portmidi.0.4☑☑0
posix-base.2.2.0☑☑15
posix-bindings.3☑☑0
posix-getopt.2.2.0☑☑1
posix-math2.2.2.0☑☑1
posix-signal.2.2.0☑☑0
posix-socket.3.0.0☒☑7
posix-socket-unix.3.0.0☒☑1
posix-time2.2.2.0☑☑4
posix-types.2.2.0☑☑7
posix-uname.2.2.0☑☑2
posixat.v0.17.0☑☑2
postgres_async.v0.17.0☑☑0
postgresql.5.3.2☑☑19
pp.2.0.0☑☑419
pp-binary-ints.1.0.0☑☑1
pp_loc.2.1.0☑☑23
pplumbing.0.0.16☒☑12
pplumbing-err.0.0.16☒☑15
pplumbing-log.0.0.16☒☑14
pplumbing-log-cli.0.0.16☒☑13
pplumbing-pp-tty.0.0.16☒☑17
pprint.20230830☑☑169
ppx-owl-opt.0.0.1☒☑2
ppx_accessor.v0.17.0☑☑3
ppx_assert.v0.17.0☑☑864
ppx_base.v0.17.0☑☑877
ppx_bench.v0.17.1☑☑516
ppx_bin_prot.v0.17.1☑☑516
ppx_bitstring.5.0.1☑☑8
ppx_blob.0.9.0☑☑61
ppx_camlrack.0.10.1☑☑0
ppx_catch.0.1.0☑☑0
ppx_cold.v0.17.0☑☑880
ppx_compare.v0.17.0☑☑919
ppx_compose.0.2.1☑☑0
ppx_const.2.0.1☑☑0
ppx_conv_func.v0.17.0☑☑6
ppx_counters.0.1☑☑0
ppx_cstruct.6.2.0☒☑511
ppx_csv_conv.v0.17.0☑☑4
ppx_custom_printf.v0.17.0☑☑528
ppx_decimal.1.0.2☑☑0
ppx_default.0.1.1☑☑0
ppx_defer.0.5.0☑☑0
ppx_demo.v0.17.0☑☑0
ppx_derive_at_runtime.v0.17.1☑☑0
ppx_derivers.1.2.1☑☑2577
ppx_deriving.6.1.1☑☑875
ppx_deriving_cad.0.2.0☑☑0
ppx_deriving_decoders.1.0☑☑0
ppx_deriving_encoding.0.4.2☑☑3
ppx_deriving_ezjsonm.0.4.1☑☑0
ppx_deriving_hash.0.1.3☑☑2
ppx_deriving_json_schema.1.0.1☑☑0
ppx_deriving_jsonschema.0.0.4☑☑0
ppx_deriving_jsoo.0.3☑☑3
ppx_deriving_madcast.0.2☑☑0
ppx_deriving_popper.0.1.1☑☑1
ppx_deriving_protobuf.3.0.0☑☑11
ppx_deriving_qcheck.0.7☑☑1
ppx_deriving_rpc.9.0.0☑☑10
ppx_deriving_scad.1.0.0☑☑0
ppx_deriving_variant_string.1.0.1☑☑0
ppx_deriving_yaml.0.4.1☑☑7
ppx_deriving_yojson.3.10.0☑☑136
ppx_diff.v0.17.1☑☑481
ppx_disable_unused_warnings.v0.17.0☑☑513
ppx_distr_guards.0.3☑☑1
ppx_dream_eml.1.0☑☑0
ppx_embed_file.v0.17.0☑☑0
ppx_enumerate.v0.17.0☑☑891
ppx_expect.v0.17.3☑☑913
ppx_expect_nobase.v0.17.2.2☑☑1
ppx_factory.0.2.0☑☑0
ppx_fields_conv.v0.17.0☑☑833
ppx_fixed_literal.v0.17.0☑☑551
ppx_format.1.0☑☑0
ppx_fun.0.0.9☑☑0
ppx_gen_rec.2.0.0☑☑1
ppx_getenv.2.1☑☑1
ppx_globalize.v0.17.2☑☑877
ppx_hardcaml.v0.17.1☑☑10
ppx_hash.v0.17.0☑☑896
ppx_here.v0.17.0☑☑898
ppx_ignore_instrumentation.v0.17.0☑☑513
ppx_import.1.12.0☒☑110
ppx_inline_alcotest.1.0.0☑☑2
ppx_inline_test.v0.17.1☑☑903
ppx_inline_test_nobase.v0.17.0.2☑☑6
ppx_interact.0.2.0☑☑0
ppx_irmin.3.11.0☑☑20
ppx_jane.v0.17.0☑☑516
ppx_js_style.v0.17.1☑☑18
ppx_jsobject_conv.0.21.1☑☑0
ppx_jsonaf_conv.v0.17.1☑☑2
ppx_let.v0.17.1☑☑533
ppx_log.v0.17.0☑☑513
ppx_lun.0.0.1☑☑0
ppx_make.0.3.4☑☑4
ppx_map.0.2.1☑☑0
ppx_marshal.0.3.0☑☑0
ppx_marshal_ext.0.3.0☑☑3
ppx_matches.0.1☑☑0
ppx_mica.0.1.0☑☑0
ppx_minidebug.2.4.0☑☑2
ppx_module_timer.v0.17.0☑☑513
ppx_monad.0.2.0☑☑0
ppx_monoid.0.3.3☑☑0
ppx_mysql.1.1.3☒☑0
ppx_optcomp.v0.17.1☑☑882
ppx_optint.0.2.0☑☑0
ppx_optional.v0.17.0☑☑515
ppx_parser.0.2.0☑☑0
ppx_partial.1.0☑☑1
ppx_pattern_bind.v0.17.1☑☑7
ppx_pipebang.v0.17.0☑☑515
ppx_protocol_conv.5.2.3☑☑10
ppx_protocol_conv_json.5.2.3☑☑3
ppx_protocol_conv_jsonm.5.2.3☑☑0
ppx_protocol_conv_msgpack.5.2.3☑☑0
ppx_protocol_conv_xml_light.5.2.3☑☑3
ppx_protocol_conv_xmlm.5.2.3☑☑3
ppx_protocol_conv_yaml.5.2.3☑☑0
ppx_pyformat.0.1.2☑☑0
ppx_python.v0.17.0☑☑1
ppx_quick_test.v0.17.1☑☑2
ppx_rapper.3.1.0☒☒2
ppx_rapper_lwt.3.1.0☒☒0
ppx_regexp.0.5.1☑☑0
ppx_repr.0.7.0☑☑256
ppx_seq.0.3.2☑☑0
ppx_sexp_conv.v0.17.1☑☑1417
ppx_sexp_message.v0.17.0☑☑518
ppx_sexp_value.v0.17.0☑☑529
ppx_show.0.2.1☑☑8
ppx_stable.v0.17.1☑☑513
ppx_stable_witness.v0.17.0☑☑519
ppx_string.v0.17.0☑☑524
ppx_string_conv.v0.17.0☑☑513
ppx_string_interpolation.1.1.0☑☑3
ppx_subliner.0.2.1☒☑0
ppx_system.1.0☑☑0
ppx_test.1.8.0☒☒8
ppx_trace.0.10☑☑0
ppx_ts.0.1.6☒☑0
ppx_tydi.v0.17.1☑☑513
ppx_typed_fields.v0.17.1☒☑5
ppx_typerep_conv.v0.17.1☑☑515
ppx_units.1.0.0☑☑0
ppx_unreachable.1.1☑☑0
ppx_update.0.81☑☑0
ppx_variants_conv.v0.17.1☑☑525
ppx_viewpattern.0.1.1☑☑0
ppx_xml_conv.v0.17.0☑☑0
ppx_yojson.1.3.0☑☑3
ppx_yojson_conv.v0.17.1☑☑19
ppx_yojson_conv_lib.v0.17.0☑☑25
ppxlib.0.37.0☒☑2503
ppxlib-tools.0.37.0☒☑0
ppxlib_jane.v0.17.4☑☑1412
ppxx.2.5.0☒☒9
pratter.5.0.1☑☑1
prbnmcn-basic-structures.0.0.1☒☑94
prbnmcn-cgrph.0.0.2☒☑4
prbnmcn-clustering.0.0.2☒☑1
prbnmcn-dagger.0.0.6☑☑3
prbnmcn-dagger-gsl.0.0.6☑☑1
prbnmcn-dagger-stats.0.0.6☑☑1
prbnmcn-dagger-test.0.0.6☑☑0
prbnmcn-gnuplot.0.0.5☒☑1
prbnmcn-linalg.0.0.1☒☑92
prbnmcn-mcts.0.0.2☒☑0
prbnmcn-proptest.0.0.1☒☑1
prbnmcn-stats.0.0.8☑☑2
prbnmcn-ucb1.0.0.2☒☑1
prc.0.1.0☑☑0
preface.1.1.0☑☑0
prelude.0.5☑☑3
pretty_expressive.0.5☑☑0
prettym.0.0.3☑☑58
primavera.1.0.0☑☑0
print-table.0.1.0☒☑1
printbox.0.12☑☑13
printbox-ext-plot.0.12☑☑1
printbox-html.0.12☑☑4
printbox-md.0.12☑☑4
printbox-text.0.12☑☑11
proc-smaps.0.2.0☑☑0
processor.0.2☑☑1
producer.0.2.0☑☑0
profunctor.v0.17.0☑☑2
progress.0.5.0☑☑237
prolect.1.1.3☒☑0
prom.0.3☑☑0
prometheus.1.2☑☑166
prometheus-app.1.2☑☑25
prometheus-liquidsoap.2☑☑4
promise.1.1.2☑☑3
promise_jsoo.0.4.3☑☑1
promise_jsoo_lwt.0.4.3☑☑0
protocell.1.0.0☑☑0
protocol-9p.2.1.0☑☑4
protocol-9p-tool.2.1.0☑☑0
protocol-9p-unix.2.1.0☑☑1
protocol_version_header.v0.17.0☑☑235
proton.1.0.17☑☑0
provider.0.0.11☒☑0
prr.0.1.1☑☑0
psmt2-frontend.0.4.0☒☑11
psq.0.2.1☑☑467
ptmap.2.0.5☑☑25
ptset.1.0.1☑☑1
pulseaudio.0.1.5☑☑6
pure-html.3.11.1☑☑3
pure-splitmix.0.3☑☑103
pvec.0.1.1☒☑0
py.1.3☑☑0
pyml.20250807☑☑112
pyml_bindgen.0.4.1☑☑0
pyre-ast.0.1.11☑☑1
qbf.0.3☑☑1
qcheck.0.26☑☑65
qcheck-alcotest.0.26☑☑251
qcheck-core.0.26☑☑256
qcheck-lin.0.10☑☑0
qcheck-multicoretests-util.0.10☑☑9
qcheck-ounit.0.26☑☑17
qcheck-stm.0.10☑☑9
qcow-stream.0.12.1☑☑1
qcow-types.0.12.1☑☑3
qinap.1.0☑☑0
qiskit.1.0.2☑☑0
qmp.0.20.0☑☑0
qrencode.0.2☒☒0
qtest.2.11.2☑☑20
queenshead.0.1☑☑0
quests.0.1.3☑☑1
quick_print.0.12☑☑0
quickjs.0.1.2☒☑3
quill.1.0.0~alpha1☒☑1
radamsa.0.2☑☑0
radare2.0.0.7☑☑0
randii.1.0.0☒☒0
random.0.0.1☑☑0
randomconv.0.2.0☑☑92
randoml.0.1.5☒☒0
range.0.8.3☑☑0
rangeSet.0.2.1☑☑0
rankers.2.0.9☒☑0
raven.1.0.0~alpha1☒☑0
rawlink.2.1☑☑3
rawlink-eio.2.1☑☑0
rawlink-lwt.2.1☑☑1
raygui.1.4.0☒☑0
raylib.1.4.0☒☑1
rdbg.1.199.0☑☑3
re.1.14.0☑☑1669
re2.v0.17.0☑☑27
re_parser.v0.17.0☑☑0
rea.1.0.0☒☑0
reactiveData.0.3.1☑☑8
reactjs-jsx-ppx.1.0.0☑☑9
readline.0.2☒☑1
reason.3.17.0☑☑45
reason-react.0.16.0☒☑11
reason-react-ppx.0.16.0☒☑12
received.0.11.0☑☑0
record_builder.v0.17.0☑☑14
records.1.0.0☑☑0
red-black-tree.1.0.5☑☑0
redirect.0.2.1☑☑2
redis.0.8☑☑14
redis-async.v0.17.0☑☑0
redis-lwt.0.8☑☑12
redis-sync.0.8☑☑0
reedsolomon.0.3☑☑0
regex_parser_intf.v0.17.0☑☑25
relude.3.0.0☑☑0
remu_ts.0.1☑☑0
reparse.3.1.0☑☑3
reparse-lwt.3.1.0☑☑0
reparse-lwt-unix.3.1.0☑☑0
reparse-unix.2.1.0☒☑0
repr.0.7.0☑☑259
repr-bench.0.7.0☑☑0
repr-fuzz.0.7.0☑☑0
res.5.0.2☑☑13
resource-pooling.1.2☑☑1
resource_cache.v0.17.0☑☑1
resp.0.11.0☑☑4
resp-client.0.11.0☑☑3
resp-mirage.0.11.0☑☑0
resp-server.0.11.0☑☑2
resp-unix.0.11.0☑☑0
resto.1.2☑☑242
resto-acl.1.2☑☑137
resto-cohttp.1.2☒☑153
resto-cohttp-client.1.2☒☑148
resto-cohttp-self-serving-client.1.2☒☑125
resto-cohttp-server.1.2☒☑135
resto-directory.1.2☑☑239
resto-json.1.2☑☑1
result.1.5☑☑4024
rfc1951.1.5.3☑☑0
rfc6287.1.0.4☑☑0
rfsm.2.0☑☑0
rhythm.0.0.1☑☑0
ringo.1.1.0☑☑244
rio.0.0.8☑☑11
river.0.4☑☑0
rock.0.20.0☑☑21
rocq-core.9.1.0☒☑17
rocq-devtools.9.1.0☒☑0
rocq-runtime.9.1.0☒☑23
rocqide.9.1.0☒☑0
roman.0.2☑☑0
root1d.0.5.1☑☑0
rope.0.6.3☑☑2
rosa.0.2.0☑☑0
rosetta.0.3.0☑☑29
routes.2.0.0☑☑7
rpc.9.0.0☒☑0
rpc_parallel.v0.17.0☑☑0
rpclib.9.0.0☑☑13
rpclib-async.9.0.0☑☑0
rpclib-html.9.0.0☑☑0
rpclib-js.9.0.0☑☑0
rpclib-lwt.9.0.0☑☑1
rpmfile.0.8.0☑☑0
rpmfile-cli.0.4.0☒☑0
rpmfile-eio.0.5.0☒☑1
rpmfile-unix.0.5.0☒☑0
rss.3.0☑☑1
rtop.3.17.0☑☑0
rtree.0.1.1☑☑0
rune.1.0.0~alpha1☒☑5
rungen.0.0.1☑☑0
runtime_events_tools.0.5.3☒☒1
runtime_events_tools_bare.0.5.3☒☒0
rusage.1.0.0☑☑231
rust-staticlib-gen.0.2.2☑☑0
rust-staticlib-virtual.0.2.2☑☑1
safemoney.0.3.0☑☑0
safepass.3.1☑☑21
saga.1.0.0~alpha1☒☑4
sail.0.20☒☑0
sail_c_backend.0.20☒☑0
sail_coq_backend.0.20☒☑0
sail_doc_backend.0.20☒☑0
sail_latex_backend.0.20☒☑0
sail_lean_backend.0.20☒☑0
sail_lem_backend.0.20☒☑0
sail_manifest.0.20☑☑1
sail_ocaml_backend.0.20☒☑0
sail_output.0.20☒☑0
sail_smt_backend.0.20☒☑0
sail_sv_backend.0.20☒☑0
salsa20.1.2.0☑☑0
salsa20-core.2.0.0☑☑0
samplerate.0.1.6☑☑4
sanddb.0.3.0☑☑0
sarif.0.3.1☑☑0
satex.0.1.1☑☑0
saturn.1.0.0☑☑14
saturn_lockfree.0.5.0☑☑3
savvy.0.4.0☑☑0
scad_ml.1.1.0☑☑1
scfg.0.5☑☑1
scgi.1.0☑☑0
scipy.sp1.5-0.3.1☒☑1
scope.1.1☑☑0
scrypt-kdf.1.2.0☑☑2
sdl-liquidsoap.3☑☑4
search.0.1.1☑☑0
searchTree.0.1☑☑0
secp256k1-internal.0.4.0☑☑237
sedlex.3.7☑☑1930
sek.20201012☑☑0
sel.0.7.0☑☑2
semantic_version.v0.17.0☑☑0
semaphore-compat.1.0.2☑☑233
semver.0.2.1☑☑0
semver2.1.2.0☑☑0
sendmail.0.12.0☑☑8
sendmail-lwt.0.12.0☑☑4
sendmail-miou-unix.0.12.0☑☑0
sendmail-mirage.0.12.0☑☑0
seq.0.3.1☑☑2737
seqes.0.4☑☑231
sequencer_table.v0.17.0☑☑0
serde.0.0.2☑☑3
serde_debug.0.0.1☒☑0
serde_derive.0.0.2☑☑1
serde_json.0.0.2☑☑2
serde_sexpr.0.0.1☒☑0
serde_xml.0.0.1☒☑0
serial.0.1.0☑☑0
server-reason-react.0.3.1☒☑1
session.0.5.0☑☑16
session-cohttp.0.5.0☑☑8
session-cohttp-async.0.5.0☑☑0
session-cohttp-lwt.0.5.0☑☑5
session-cookie.0.1.8☑☑2
session-cookie-async.0.1.8☑☑0
session-cookie-lwt.0.1.8☑☑0
session-postgresql.0.5.0☑☑2
session-postgresql-async.0.5.0☑☑0
session-postgresql-lwt.0.5.0☑☑0
session-redis-lwt.0.5.0☑☑0
session-webmachine.0.5.0☑☑0
setcore.1.0.2☒☑0
sexp.v0.17.0☑☑0
sexp_decode.0.7☑☑2
sexp_diff.v0.17.0☑☑1
sexp_grammar.v0.17.0☑☑2
sexp_macro.v0.17.0☑☑2
sexp_pretty.v0.17.0☑☑266
sexp_select.v0.17.0☑☑1
sexp_string_quickcheck.v0.17.0☑☑0
sexplib.v0.17.0☑☑1865
sexplib0.v0.17.0☑☑2751
sexps-rewriter.0.0.3☒☑1
sgf.1.0.1☑☑0
sha.1.15.4☑☑55
shades.1.0☑☑0
shapefile.0.2.1☑☑0
shared-block-ring.3.0.1☑☑0
shared-memory-ring.3.2.1☑☑1242
shared-memory-ring-lwt.3.2.1☑☑1242
shared-secret.0.4☑☑0
shell.v0.17.0☑☑9
sherlodoc.3.1.0☒☑13
shexp.v0.17.0☑☑2
shine.0.2.3☑☑4
shuttle_http.0.12.0☑☑1
shuttle_websocket.0.12.0☑☑0
sifun.3.0.0☑☑0
signal.0.4.2☑☑0
sihl.3.0.5☒☑6
sihl-cache.3.0.5☒☑0
sihl-contract.0.3.0~rc1☑☑10
sihl-core.0.3.0~rc1☑☑11
sihl-email.3.0.5☒☑0
sihl-facade.0.3.0~rc1☑☑9
sihl-persistence.0.3.0~rc1☑☑7
sihl-queue.3.0.5☒☑0
sihl-session.0.3.0~rc1☑☑1
sihl-storage.3.0.5☒☑0
sihl-token.3.0.5☒☑1
sihl-type.0.2.2☒☑8
sihl-user.3.0.5☒☑0
sihl-web.0.3.0~rc1☑☑1
simlog.0.0.4☑☑0
simple63.1☑☑0
sitemap.1.0☑☑0
sklearn.sk0.23-0.3.1☑☑1
slacko.0.15.0☑☑0
slice.0.0.2☑☑1
slipshow.0.6.0☑☑1
slug.1.0.1☑☑2
smart-print.0.3.0☑☑3
smaws-clients.0.1~preview1☒☑0
smaws-lib.0.1~preview1☒☑1
smol.0.0.1☑☑2
smol-helpers.0.0.1☑☑1
smtlib-utils.0.5☑☑0
smtml.0.12.0☑☑0
snappy.0.1.2☑☑0
snf_mcp.0.2.1☑☑0
snoke.0.3☑☑0
solidity-common.0.2.0☒☑4
solidity-parser.0.2.0☒☑3
solo5-elftool.0.4.0☑☑1
sortedseq_intersect.0.2.0☑☑0
soundtouch.0.1.9☑☑4
soupault.4.11.0☑☑0
sowilo.1.0.0~alpha1☒☑2
spatial-shell.6☒☑0
spawn.v0.17.0☑☑335
spdx_licenses.1.4.0☑☑17
spectrum.0.3.0☒☑0
speed.0.2.0☑☑0
speex.1.0.0☑☑4
spelll.0.4☑☑24
spices.0.0.2☑☑11
spin.0.5.1☒☑0
splay_tree.v0.17.0☑☑3
splittable_random.v0.17.0☑☑515
spoke.0.0.4☑☑0
spotify-web-api.0.2.1☒☑0
spotify_ml.0.0.2☑☑0
spurs.0.1.1☑☑0
sqids.0.1.0☑☑0
sqlgg.20231201☑☑0
sqlite3.5.3.1☑☑54
sqlite3_utils.0.5☑☑0
srt.0.3.4☑☑4
ssh-agent.0.4.1☑☑0
ssl.0.7.0☑☑396
starpath.0.1.2☑☑0
starred_ml.0.0.7☑☑0
stdcompat.21.1☑☑167
stdint.0.7.2☑☑280
stdint-literals.1.0☑☑0
stdio.v0.17.0☑☑1878
stdlib-diff.0.1.3☑☑0
stdlib-random.1.2.0☑☑199
stdlib-shims.0.3.0☑☑2761
stdune.3.20.2☑☑395
stitch.0.0.0☑☑0
stk_iconv.0.5.0☑☑1
stk_ppx.0.5.0☑☑7
stog.1.1.0☒☑16
stog_all.1.1.0☒☑0
stog_asy.1.1.0☒☑2
stog_dot.1.1.0☒☑2
stog_extern.1.1.0☒☑2
stog_markdown.1.1.0☒☑2
stog_multi_doc.1.1.0☒☑2
stog_nocaml.1.1.0☒☑2
stog_noexec.1.1.0☒☑2
stog_plugins.1.1.0☒☑1
stog_rel_href.1.1.0☒☑2
stog_server.1.1.0☒☑2
stog_server_multi.1.1.0☒☑1
stog_sitemap.1.1.0☒☑2
stog_writing.1.1.0☒☑2
stone.0.6☑☑0
store.0.1☑☑0
stored_reversed.v0.17.0☑☑8
stramon-lib.0.3.0☒☑0
streamable.v0.17.1☑☑11
streaming.0.8.0☑☑0
stringCodepointSplitter.0.0.2☑☑0
string_dict.v0.17.0☑☑0
stringext.1.6.0☑☑889
stringx.0.3.0☑☑0
sturgeon.0.4.2☑☑1
styled-ppx.0.56.0☒☑0
subprocess.0.2.1☑☑0
subtype-refinement.0.2☑☑0
sun.0.1☑☑0
svmwrap.5.1.1☒☑0
swapfs.0.1.0☑☑0
swhid.0.2☑☑0
swhid_core.0.1☑☑35
swipl.0.5☑☑0
synchronizer.0.1☑☑0
syndic.1.7.0☑☑2
synopsis.1.1☑☑0
sys-socket.1.0.0☑☑1
sys-socket-unix.1.0.0☑☑0
syslog.2.0.2☑☑4
syslog-message.1.2.0☑☑3
syslog-rfc5424.0.1☑☑0
systemverilog.0.0.2☑☑0
tablecloth-base.0.0.10☑☑1
tablecloth-native.0.0.7☑☑0
tabr.0.1.2☑☑0
tacit.1.0.0☑☑0
taglib.0.3.10☒☒3
talaria-bibtex.0.5☑☑1
talon.1.0.0~alpha1☒☑0
tar.3.3.0☑☑116
tar-eio.3.3.0☑☑0
tar-mirage.3.3.0☑☑0
tar-unix.3.3.0☑☑2
tcalc.1.1.1☑☑0
tcpip.9.0.1☑☑78
tcs-lib.0.6☑☑3
tdigest.2.2.1☑☑0
telemetry.0.0.1☑☑6
telltime.0.0.3☑☑0
tensorboard.0.0.1☑☑0
term-indexing.0.0.1☑☑0
term-tools.0.0.2☑☑0
terminal.0.5.0☑☑238
terminal_size.0.2.0☑☑7
terml.0.0.1☑☑0
testo.0.2.0☑☑0
testo-diff.0.2.0☑☑3
testo-lwt.0.2.0☑☑0
testo-util.0.2.0☑☑2
testu01.1.2.3-0.2☒☒3
textmate-language.0.4.0☑☑4
textrazor.0.1.1☑☑0
textutils.v0.17.0☑☑225
textutils_kernel.v0.17.0☑☑1
textwrap.0.2.1☑☑1
tezos-base58.1.0.0☑☑9
tezos-bls12-381-polynomial.1.0.1☒☑135
tezos-clic.12.3☒☑14
tezos-context-hash.1.0.0☑☑2
tezos-context-hash-irmin.1.0.0☑☑0
tezos-error-monad.12.3☒☑23
tezos-event-logging.12.3☒☑17
tezos-event-logging-test-helpers.12.3☒☑1
tezos-hacl-glue.12.3☒☑17
tezos-lwt-result-stdlib.12.3☒☑23
tezos-micheline.12.3☒☑14
tezos-openapi.20.1☒☑8
tezos-plompiler.1.0.1☒☑133
tezos-plonk.1.0.1☒☑132
tezos-protocol-environment-packer.12.3☒☑2
tezos-protocol-environment-sigs.12.3☒☑0
tezos-rpc.12.3☒☑16
tezos-stdlib.12.3☒☑24
tezos-stdlib-unix.12.3☒☑15
tezos-test-helpers.12.3☒☑10
tezt.4.2.0☒☑155
tezt-bam.0.4☑☑0
theora.1.0.0☑☑6
thread-local-storage.0.2☑☑34
thread-table.1.0.0☒☑93
tidy_email.0.0.1☑☑3
tidy_email_mailgun.0.0.1☑☑0
tidy_email_sendgrid.0.0.1☑☑0
tidy_email_smtp.0.0.1☑☑0
tilde_f.v0.17.0☑☑5
time_now.v0.17.0☑☑857
timed.1.1☒☑1
timedesc.3.1.0☒☑4
timedesc-json.3.1.0☒☑0
timedesc-sexp.3.1.0☒☑0
timedesc-tzdb.3.1.0☒☑5
timedesc-tzlocal.3.1.0☒☑6
timedesc-tzlocal-js.3.1.0☒☑0
timere.0.8.0☒☑2
timezone.v0.17.0☑☑258
timmy.1.1.5☒☑3
timmy-jsoo.1.1.5☒☑0
timmy-lwt.1.1.5☒☑0
timmy-unix.1.1.5☒☑0
tiny_httpd.0.19☑☑8
tiny_httpd_camlzip.0.19☑☑1
tinyfiledialogs.1.0☑☑0
tip-parser.0.6☑☑1
tldr.0.3.0☑☑0
tls.2.0.3☑☑452
tls-async.2.0.3☑☑6
tls-eio.2.0.3☑☑9
tls-liquidsoap.1☑☑4
tls-lwt.2.0.3☑☑375
tls-miou-unix.2.0.3☑☑6
tls-mirage.2.0.3☑☑52
toc.0.1.0☑☑0
tofn.0.12☑☑0
togglelog.0.1.1☑☑0
toml.7.1.0☑☑21
toml-cconv.5.0.0☒☑0
toml_cconv.7.0.0☒☑0
toplevel_backend.v0.17.0☑☑1
toplevel_expect_test.v0.17.0☑☑0
topojson.0.1.0☑☑1
topojsone.0.1.0☑☑0
topological_sort.v0.17.0☑☑0
torch.v0.17.0☒☒0
tqdm.0.1☑☑0
trace.0.10☑☑31
trace-fuchsia.0.10☑☑2
trace-tef.0.10☑☑8
tracing.v0.17.0☑☑2
tracy-client.0.6☑☑0
traits.0.1.0☑☑0
trampoline.0.1.0☒☑0
transept.0.1.0☑☑0
traverse.0.3.0☑☑7
trax.0.4.0☑☑0
tree_layout.0.2☑☑0
trexio.2.2.0☒☒0
trie.1.0.0☑☑233
trs.1.0.0☑☑0
tsdl-image.0.6☑☑19
tsdl-mixer.0.6☑☑0
tsdl-ttf.0.6☑☑18
tsort.2.2.0☑☑21
tty.0.0.2☑☑11
tube.4.4.0☑☑0
tuntap.2.0.1☑☑2
twirp_cohttp_lwt_unix.0.2☒☑0
twirp_core.0.2☒☑3
twirp_ezcurl.0.2☒☑0
twirp_tiny_httpd.0.2☒☑0
twostep.1.0.1☑☑2
tyabt.0.1.0☑☑0
type_eq.0.0.1☑☑1
type_id.0.0.1☑☑0
typed_list.0.0.1.1☑☑0
typeid.2.0.0☑☑0
typerep.v0.17.1☑☑516
typeset.0.4☒☑0
tyre.0.5☑☑3
tyxml.4.6.0☑☑112
tyxml-jsx.4.6.0☑☑2
tyxml-lwd.0.4☑☑0
tyxml-ppx.4.6.0☑☑2
tyxml-syntax.4.6.0☑☑4
ubase.0.20☑☑1
ubpf.0.2☑☑0
uecc.0.4☑☑1
uint.2.0.1☑☑17
ulid.0.1☒☑0
um-abt.0.1.7☑☑0
unidecode.0.4.0☑☑0
unionFind.20250818☑☑8
unisim_archisec.0.0.13☒☑1
unison.2.53.3☒☑0
universal-portal.0.3.0☒☑0
universo.2.7☒☑0
unix-errno.0.6.2☑☑17
unstrctrd.0.4☑☑61
uopt.v0.17.0☑☑411
uri.4.4.0☑☑877
uri-bench.4.4.0☑☑0
uri-re.4.4.0☑☑0
uri-sexp.4.4.0☑☑419
uring.2.7.0☑☑22
uring-trace.0.1.0☒☑0
uritemplate.0.2.0☑☑0
urn.20231124☑☑0
user-agent-parser.0.2.0☑☑0
username_kernel.v0.17.0☑☑0
uspf.0.1.0☑☑2
uspf-lwt.0.1.0☑☑0
uspf-mirage.0.1.0☑☑0
uspf-unix.0.0.4☒☑0
utop.2.16.0☑☑210
uuuu.0.3.0☑☑27
validate.1.1.0☑☑0
validator.0.2.3☑☑0
variantslib.v0.17.0☑☑526
varray.0.2☒☑0
vcardgen.1.2☑☑0
vchan.6.0.2☑☑14
vchan-xen.6.0.2☑☑2
vdom.0.3☑☑4
vec.0.4.0☑☑1
vector.1.0.0☑☑240
vector3.1.0.0☑☑10
vendredi.0.1.0☑☑0
versioned_polling_state_rpc.v0.17.0☑☑2
vhd-format.0.13.0☑☑1
vhd-format-lwt.0.13.0☑☑0
vif.0.0.1~beta1☑☑0
visitors.20251010☒☑10
vlt.0.2.5☑☑28
vocal.0.1☑☑0
volgo.0.0.21☒☑10
volgo-base.0.0.21☒☑2
volgo-git-backend.0.0.21☒☑7
volgo-git-eio.0.0.21☒☑1
volgo-git-unix.0.0.21☒☑4
volgo-hg-backend.0.0.21☒☑5
volgo-hg-eio.0.0.21☒☑0
volgo-hg-unix.0.0.21☒☑3
volgo-vcs.0.0.21☒☑0
voqc.0.1☑☑0
vorbis.1.0.0☑☑4
vpt.5.0.0☑☑1
vscoq-language-server.2.2.6☒☑0
vsrocq-language-server.2.3.1☑☑0
vue-jsoo.0.3☑☑0
vue-ppx.0.1.0☑☑0
wall.0.4.1☑☑0
wasm.2.0.2☒☑0
wasm_of_ocaml-compiler.6.2.0☑☑2
wasmer.1.2.1☒☑0
wasmtime.0.0.3☒☒0
wayland.2.2☑☑0
waylaunch.0.3.0☑☑0
wcwidth.1.0.1☑☑0
webauthn.0.2.0☑☑0
webmachine.0.7.0☑☑18
websocket.2.17☒☑29
websocket-async.2.17☒☑1
websocket-lwt-unix.2.17☒☑26
webtest.2.0.0☑☑6
webtest-js.2.0.0☑☑5
why3find.1.2.0☑☑0
wikitext.3.0.1☑☑0
win-error.1.0☑☑5
win-eventlog.0.4☑☑1
ws-server.0.1☑☑0
wtf8.1.0.2☑☑1
wtr.3.0.0☑☑1
wtr-ppx.3.0.0☑☑0
wu-manber-fuzzy-search.0.1.0☑☑0
x509.1.0.6☑☑492
xapi-backtrace.0.7☑☑5
xapi-inventory.1.2.3☒☒0
xapi-rrd.1.12.0☒☑0
xapi-stdext-date.4.24.0☑☑0
xapi-stdext-encodings.4.24.0☑☑0
xapi-stdext-pervasives.4.24.0☑☑4
xapi-stdext-std.4.24.0☑☑0
xapi-stdext-threads.4.24.0☑☑1
xapi-stdext-unix.4.24.0☒☒2
xapi-stdext-zerocheck.4.24.0☑☑0
xcursor.0.1.0☑☑0
xdg.3.20.2☑☑220
xdg-basedir.0.0.5☑☑3
xedbindings.0.11☒☑0
xen-evtchn.2.1.0☑☑2
xen-evtchn-unix.2.1.0☒☒1
xen-gnt.4.0.2☑☑2
xenstore.2.4.0☑☑1246
xenstore-tool.1.5.0☑☑0
xenstore_transport.1.5.0☑☑16
xkbcommon.0.1☑☑0
xlsx2csv.0.1.2☑☑0
xmelly.1.0.0☑☑0
xml-light.2.5☑☑35
xmldiff.0.7.0☑☑8
xmldiff_js.0.7.0☑☑3
xmlplaylist.0.1.5☑☑4
xoshiro.0.1☒☑0
xtmpl.1.1.0☑☑42
xtmpl_js.1.1.0☑☑3
xtmpl_ppx.1.1.0☑☑31
yaml.3.2.0☑☑129
yaml-sexp.3.2.0☑☑2
yocaml.2.6.0☑☑12
yocaml_cmark.1.0.0☒☑0
yocaml_cmarkit.2.6.0☑☑0
yocaml_eio.2.6.0☑☑0
yocaml_git.2.6.0☑☑0
yocaml_jingoo.2.6.0☑☑0
yocaml_markdown.2.6.0☒☒0
yocaml_mustache.2.6.0☑☑0
yocaml_omd.2.6.0☑☑0
yocaml_otoml.2.6.0☑☑0
yocaml_runtime.2.6.0☑☑3
yocaml_syndication.2.6.0☑☑0
yocaml_unix.2.6.0☑☑0
yocaml_yaml.2.6.0☑☑0
yojson.3.0.0☒☑2030
yojson-bench.2.0.2☒☑0
yojson-five.3.0.0☒☑1
yosqlite.0.2☑☑0
yurt.0.6☒☑0
yuscii.0.3.0☑☑27
yuujinchou.5.2.0☑☑2
zanuda.2.0.0☒☑0
zar.0.9.3☑☑0
zarith_stubs_js.v0.17.0☑☑276
zarr.0.1.0☑☑3
zarr-eio.0.1.0☑☑0
zarr-lwt.0.1.0☑☑0
zarr-sync.0.1.0☑☑0
zdd.0.5☑☑0
zed.3.2.3☑☑229
zeit.0.1.0☑☑1
zelus.2.2☒☑1
zelus-gtk.2.2☒☑0
zlib.0.8☑☑3
zlist.0.5.0☑☑0
zmq.5.3.0☑☑17
zmq-async.5.3.0☑☑0
zmq-eio.5.3.0☑☑0
zmq-lwt.5.3.0☑☑4
zstandard.v0.17.0☑☑3
zstd.0.4☑☑1
zxcvbn.2.4+1☑☑0