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: 3181
Packages failing with current filters: 113
Packages whose dependencies failed with current filters: 905

Run made on the 2025-05-13 23:00:59


5.2.0+flambda2number of revdeps
0install.2.18☒1
0install-gtk.2.18☒0
0install-solver.2.18☑12
ANSITerminal.0.8.5☑24
CamelCase.0.3.0☑0
DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1☑1
FrontC.4.1.0☑12
GT.0.5.3☒4
GuaCaml.0.05☑2
ISO3166.0.1.0☑0
ISO8601.0.2.6☑44
MlFront_Cache.2.3.0☑0
MlFront_Cli.2.3.0☒0
MlFront_Core.2.3.0☑1
MlFront_Errors.2.3.0☑1
MlFront_Manip.2.3.0☑0
MlFront_ZipFile.2.3.0☑0
OCADml.0.6.0☑2
OCanren.0.3.0☒2
OCanren-ppx.0.3.0☒2
OSCADml.0.2.3☑1
SZXX.4.2.0☒0
Snowflake.0.02.03☑1
SourceCode_ASCII.0.1.0☑0
aacplus.0.2.2☒0
abella.2.0.8☑0
absolute.0.3☒0
abstract_algebra.v0.18~preview.130.31+242☑16
accessor.v0.18~preview.130.31+242☑4
accessor_async.v0.18~preview.130.31+242☑0
accessor_base.v0.18~preview.130.31+242☑2
accessor_core.v0.18~preview.130.31+242☑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.2.57b☒0
afl-persistent.1.4☑28
ago.0.3☑0
agrid.0.1☑1
ahrocksdb.0.2.2☒0
alba.0.4.4☒0
albatross.2.1.0☑0
alcotest.1.9.0+jst☑834
alcotest-async.0.8.5☒2
alcotest-lwt.0.8.5☑43
alg_structs.0.1.3☒1
alg_structs_qcheck.0.1.3☒0
algaeff.2.0.0☑3
allegro5.0.2☑0
alonzo.0.4.0☑0
alsa.0.3.0☑6
alt-ergo.2.6.1☒8
alt-ergo-lib.2.6.1☒11
alt-ergo-parsers.2.6.1☒8
alt-ergo-plugin-ab-why3.2.6.1☒0
altgr-ergo.2.4.3☒0
am_running_how_js.v0.18~preview.130.31+242☑10
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
anders.1.1.1☑0
angstrom.0.16.1☑4060
angstrom-async.0.16.1☑3
angstrom-lwt-unix.0.16.1☑3
angstrom-unix.0.16.1☑6
ansi.0.7.0☑5
ansi-parse.0.4.0☒0
ansicolor.0.5☑0
ansifmt.0.3.0☑0
antic.0.4.0☑4
anycache.0.6.0☑1
ao.0.2.4☑6
api-watch.0.1.1☒0
apron.v0.9.15☒15
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
areas-and-adversaries.1.0☑0
arg-complete.0.2.1☑2
argon2.1.0.2☑2
argsh.0.1.0☑0
arp.4.0.0☑89
arrakis.1.0.0☑0
arrayjit.0.5.2☒1
art.0.2.0☑3
asai.0.3.1☑1
asak.0.5☒2
ascend.0.1.2-1☑0
ascii85.0.3☑0
asetmap.0.8.1☑171
ask.0.2.0☒1
ask-integrator.0.2.0☒0
asn1-combinators.0.3.2☑481
assimp.0.3☑0
astring.0.8.5☑4060
async.v0.18~preview.130.31+242☑240
async-uri.0.4.0☒0
async_durable.v0.18~preview.130.31+242☑6
async_extra.v0.18~preview.130.31+242☑4
async_find.v0.18~preview.130.31+242☑2
async_inotify.v0.18~preview.130.31+242☑1
async_interactive.v0.18~preview.130.31+242☑0
async_iterator.v0.18~preview.130.31+242☑0
async_js.v0.18~preview.130.31+242☒14
async_kernel.v0.18~preview.130.31+242☑272
async_log.v0.18~preview.130.31+242☑238
async_rpc_kernel.v0.18~preview.130.31+242☑254
async_rpc_websocket.v0.18~preview.130.31+242☒3
async_sendfile.v0.18~preview.130.31+242☑1
async_shell.v0.18~preview.130.31+242☑1
async_smtp.v0.18~preview.130.31+242☒0
async_ssl.v0.18~preview.130.31+242☒52
async_udp.v0.18~preview.130.31+242☑1
async_unix.v0.18~preview.130.31+242☑245
async_websocket.v0.18~preview.130.31+242☑8
atable.0.1☒0
atacama.0.0.5☒2
atd.2.16.0☑55
atdcpp.2.16.0☑0
atdd.2.16.0☑0
atdgen.2.16.0☑19
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
atomic.base☑14
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.3.1☑23
awa-mirage.0.3.1☑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.0☒0
b0.0.0.5☑1
babel.v0.18~preview.130.31+242☑9
baby.20241204☑0
backoff.0.1.1☑55
bag.1.0.0☑0
baguette_sharp.2.2.1-1☑0
bam-ppx.0.3☒1
bap-emacs-dot.0.1☑9
bap-emacs-goodies.0.1☑8
bap-emacs-mode.0.1☑9
bap-signatures.2.5.0☑10
bare_encoding.0.3.1☑0
bark.0.1.4☑0
base.v0.18~preview.130.31+242☑4060
base-bigarray.base☑4061
base-bytes.base☑4060
base-domains.base☑38
base-native-int63.0.1☑4060
base-nnp.base☑0
base-threads.base☑4068
base-unix.base☑4068
base32.1.0.0☑0
base58.0.1.2☑0
base64.3.5.1☑869
base_bigstring.v0.18~preview.130.31+242☑518
base_quickcheck.v0.18~preview.130.31+242☑554
base_trie.v0.18~preview.130.31+242☑1
basement.v0.18~preview.130.31+242☑4060
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.9.0☑55
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.2☒0
benchmark.1.7☑274
bencode.2.0☑6
bentov.1☑2
bestline.0.2.1☑0
bheap.2.0.0☑4060
bibtex2html.1.99-1☑0
bidirectional_map.v0.18~preview.130.31+242☑0
bigarray-compat.1.1.0☑4060
bigarray-overlap.0.2.1☑72
bigdecimal.v0.18~preview.130.31+242☑0
bignum.v0.18~preview.130.31+242☑39
bigstring.0.3☑252
bigstring-unix.0.3☑1
bigstringaf.0.10.0☑4060
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.1☑0
bin_prot.v0.18~preview.130.31+242☑556
bin_tree.0.1☑0
binaryen.0.19.0☒0
binaryen-bin.119☑1
bindlib.6.0.0☑2
biniou.1.2.2☑4060
binning.0.0.0☑3
binsec.0.10.0☑0
bio_io.0.7.0☑0
biotk.0.3☒2
bisect_ppx.2.8.3☒222
bitcoin.3.0☑3
bitcoin-cohttp-lwt.3.0☑0
bitcoin-ocurl.3.0☑0
bitgenerators.v0.1.0☑0
bitlib.1.0☑0
bitmasks.1.4.0☒0
bitpack_serializer.0.1.0☒0
bitset.v0.18~preview.130.31+242☒0
bitstring.4.1.0☑11
bitv.2.0☑5
bitwuzla.1.0.5☑1
bitwuzla-bin.1.0.0☒0
bitwuzla-c.1.0.5☑2
bitwuzla-cxx.0.6.1☑3
bjack.0.1.6☑4
blake3.0.2☑1
bloomf.0.2.0☑0
bls12-381.19.1☒212
bls12-381-gen.0.5.0☑19
bls12-381-hash.1.0.0☑0
bls12-381-js.0.4.1☒0
bls12-381-js-gen.0.4.1☒1
bls12-381-signature.1.0.0☒161
bls12-381-unix.2.0.1☑16
blurhash.0.1.0☑0
bn128.0.1.3☑0
bnfgen.4.0.0☑1
bogue.20250224☑2
bogue-tutorials.0.2.0☑0
boltzgen.0.9.5☒0
bonsai.v0.18~preview.130.31+242☒7
bonsai_bench.v0.18~preview.130.31+242☒0
bonsai_concrete.v0.18~preview.130.31+242☒14
bonsai_examples.v0.18~preview.130.31+242☒0
bonsai_test.v0.18~preview.130.31+242☒3
bonsai_web.v0.18~preview.130.31+242☒4
bonsai_web_components.v0.18~preview.130.31+242☒1
bonsai_web_test.v0.18~preview.130.31+242☒2
bos.0.2.1☑1005
boulangerie.1.0.1☑0
box.1.2.0☒0
bpf.0.2☒0
brisk-reconciler.1.0.0~alpha1☒0
broken.0.4.2☑5
bsdowl.3.0.0-20150830☑6
bst.7.1.0☑9
bstr.0.0.1☑2
buffer-pool.0.2☑0
build_path_prefix_map.0.3☑0
builder.0.3.2☑1
bwd.2.3.0☑4
bwrap.0.1☑0
bytebuffer.0.0.2☑0
bytesrw.0.1.0☑29
bytestring.0.0.8☑6
bz2.0.8.0☑13
ca-certs.0.2.3☑359
ca-certs-nss.3.101☑62
cachet.0.0.2☑32
cachet-lwt.0.0.2☑26
cachet-solo5.0.0.2☑0
cactus.1.0.0☒0
cairn.1.0☑0
cairo2.0.6.5☑45
cairo2-gtk.0.6.5☒1
cairo2-pango.0.6.5☒0
caisar.2.1☒0
caisar-ir.0.2☒2
caisar-nnet.0.2☒1
caisar-onnx.0.2☒1
caisar-ovo.0.2☒1
caisar-xgboost.0.2☒1
calcium.0.4.0☑3
calculon.0.8☒1
calculon-web.0.8☒0
caldav.0.2.4☒0
calendar.3.0.0☑83
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
caml-mode.4.9☑3
camlbz2.transition☑12
camldiets.0.3☑0
camlgpc.1.2☑0
camlidl.1.12☑28
camlimages.5.0.5☒8
camlix.0.1☒0
camlon.3.1.0☑5
camlp-streams.5.0.1☑4060
camlp4.5.2☒707
camlp5.8.03.04☒614
camlp5-buildscripts.0.06☑614
camlpdf.2.8.1☑2
camlprime.0.5☑0
camlrack.0.10.1☑1
camlzip.1.13☑252
camomile.2.0.0☑247
camyll.0.4.4☒0
canary.0.0.1☒0
caper.0.9☑0
capitalization.v0.18~preview.130.31+242☑552
capnp.3.6.0☑12
capnp-rpc.2.1☒9
capnp-rpc-lwt.2.0☒6
capnp-rpc-mirage.1.2.3☑0
capnp-rpc-net.1.2.3☑5
capnp-rpc-unix.1.2.3☒3
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.1.1☒0
caqti-tls.2.1.1☒1
caqti-type-calendar.2.0.1☒2
carbon.0.1.0☒0
carray.0.0.2☑0
carton.1.0.0☑27
carton-git.0.7.2☑27
carton-git-lwt.1.0.0☑0
carton-lwt.1.0.0☑25
carton-miou-unix.1.0.0☑0
castore.0.0.2☑1
catala.0.8.0☒0
catala-format.0.2.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☑2
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☑33
cf-lwt.0.5.0☑31
cfg.2.3.1☑1
cfgen.1.0☑0
cfml.20220112☑0
cgroups.0.1☑0
chacha.1.1.0☑0
chalk.1.0☑0
chamelon.0.1.2☒1
chamelon-unix.0.1.2☒0
charInfo_width.2.0.0☑0
charrua.2.0.0☑3
charrua-client.2.0.0☑0
charrua-server.2.0.0☑2
charrua-unix.2.0.0☒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.0.6.0☒0
checkseum.0.5.2☑303
choice.0.4☑0
chrome-trace.3.18.2☑1
cid.0.1.0☑0
cinaps.v0.15.1☑5
clap.0.3.0☑110
clarity-lang.0.1.0☑0
class_group_vdf.0.0.5☑196
clim.0.3.0☑1
climate.0.5.0☑0
cll.0.2.0☑0
cloudi.2.0.6☒0
clz.0.1.0☑1
cmarker.0.3.0☑0
cmarkit.0.3.0☑8
cmdlang.0.0.9☑6
cmdlang-stdlib-runner.0.0.9☑0
cmdlang-to-base.0.0.9☒0
cmdlang-to-climate.0.0.9☑0
cmdlang-to-cmdliner.0.0.9☑2
cmdliner.1.3.0☑4060
cmdliner-stdlib.1.0.1☑0
cmitomli.1.0.0☑0
cmon.0.2☑0
coap.0.1.0☑0
coap-core.0.1.0☑2
coap-server-lwt.0.1.0☑1
cobs.0.1.1☑0
codept.0.12.1☒0
codept-lib.0.12.1☒1
codicons.v0.18~preview.130.31+242☒1
cohttp.6.1.0☑383
cohttp-async.2.5.8+jst☑22
cohttp-curl.6.1.0☑2
cohttp-curl-async.6.1.0☑0
cohttp-curl-lwt.6.1.0☑0
cohttp-eio.6.1.0☒4
cohttp-lwt.6.1.0☑305
cohttp-lwt-unix.6.1.0☑279
cohttp-mirage.6.0.0☑4
cohttp-server-lwt-unix.6.1.0☑1
cohttp-top.6.1.0☑0
cohttp_async_websocket.v0.18~preview.130.31+242☒5
cohttp_static_handler.v0.18~preview.130.31+242☑1
coin.0.1.4☑27
colibrics.0.4☒0
colibrilib.0.4☒3
colombe.0.11.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_nodejs.v0.18~preview.130.31+242☒10
command_rpc.v0.18~preview.130.31+242☑0
commons.1.5.5☒5
compsort.0.9.2☑0
conan.0.0.6☑9
conan-cli.0.0.6☑0
conan-database.0.0.6☑6
conan-lwt.0.0.6☑0
conan-unix.0.0.6☑1
conduit.8.0.0☑382
conduit-async.8.0.0☑30
conduit-lwt.8.0.0☑349
conduit-lwt-unix.8.0.0☑308
conduit-mirage.6.2.3☑12
conex.0.11.1☑1
conex-mirage-crypto.0.11.1☑0
conf-aclocal.2☑15
conf-adwaita-icon-theme.2☑2
conf-age.1☑1
conf-allegro5.1☑1
conf-alsa.1☑11
conf-ao.1☑7
conf-asciidoc.1☑1
conf-assimp.1☑0
conf-autoconf.0.2☑4070
conf-automake.1☑180
conf-bash.1☑4067
conf-binutils.0.3☒92
conf-bison.2☑3
conf-blas.1☑9
conf-bluetooth.1☑2
conf-bmake.1.0☑7
conf-boost.1☑4
conf-bpftool.0.1.0☑3
conf-brotli.0.0.1☑2
conf-c++.1.0☑41
conf-cairo.1☑47
conf-capnproto.2☑12
conf-clang.1☑101
conf-clang-format.1☑0
conf-cmake.1☑269
conf-cosmopolitan.1☑2
conf-cpio.1☑6
conf-csdp.1☑1
conf-cuda.1☒3
conf-cuda-config.1☑4
conf-dbm.1.0.0☑17
conf-diffutils.2☑5
conf-dpkg.1☑2
conf-dssi.1☑5
conf-efl.1.8☑1
conf-emacs.1☑4
conf-env-travis.1☑14
conf-expat.1☑2
conf-faad.1☑5
conf-ffmpeg.1☑13
conf-fftw3.1☑1
conf-findutils.1☑4062
conf-flex.2☑1
conf-flint.3.0☑7
conf-freeglut.1☑615
conf-freetype.1☑55
conf-frei0r.1☑5
conf-ftgl.1☑0
conf-fts.1☑2
conf-g++.1.0☑245
conf-gcc.1.0☑25
conf-gd.1☑5
conf-gfortran.0☑6
conf-ghostscript.1☑8
conf-git.1.1☑19
conf-glade.2☑615
conf-gles2.1☑4
conf-glew.1☑2
conf-glfw3.2☑3
conf-glib-2.1☑5
conf-glpk.1☑2
conf-gmp.5☑1065
conf-gmp-paths.1☑22
conf-gmp-powm-sec.4☑565
conf-gnome-icon-theme3.0☑0
conf-gnomecanvas.2☑615
conf-gnuplot.0.1☑27
conf-gnutls.1☑66
conf-gobject-introspection.1.0☑1
conf-goocanvas2.0☑1
conf-gpiod.1☑1
conf-graphviz.0.1☑16
conf-gsl.2☑11
conf-gssapi.1☑66
conf-gstreamer.1☑7
conf-gtk2.1☑615
conf-gtk3.18☑29
conf-gtksourceview3.0+2☑23
conf-guile.1☑1
conf-haveged.1.0.0☑0
conf-hidapi.0☑137
conf-ida.0.3☒3
conf-jack.1☑5
conf-jq.1☑5
conf-ladspa.1☑6
conf-lame.1☑5
conf-lapack.1☑10
conf-leveldb.2☑1
conf-libMagickCore.1☑0
conf-libX11.1☑4062
conf-libXft.1☑0
conf-libblake3.1.5.1☒30
conf-libbpf.0.1.0☑3
conf-libbz2.1☑14
conf-libclang.15☒4
conf-libcorosync.3☑1
conf-libcurl.2☑48
conf-libdw.1☑1
conf-libev.4-12☑4060
conf-libevent.1☑6
conf-libffi.2.0.0☑568
conf-libflac.1☑5
conf-libfontconfig.1☑1
conf-libfuse.1☑2
conf-libgccjit.1☒3
conf-libgif.1☑8
conf-libgl.1☑616
conf-libglu.1☑616
conf-libgsasl.1☑0
conf-libjpeg.1☑9
conf-liblinear-tools.1.0.0☑1
conf-liblo.1☑5
conf-liblz4.1☑14
conf-liblzma.1☑1
conf-libmagic.1☑1
conf-libmaxminddb.1☑2
conf-libmd.1.0.0☑30
conf-libmosquitto.1☑1
conf-libmpg123.1☑1
conf-libnl3.1☑3
conf-libogg.1☑12
conf-libopus.1☑5
conf-libpcre2-8.2☑616
conf-libpng.1☑8
conf-libportmidi.1☑1
conf-librsvg2.0☑1
conf-libsamplerate.2☑0
conf-libseccomp.1☑4068
conf-libsodium.1☑3
conf-libspeex.1☑5
conf-libssl.4☑430
conf-libsvm.3☑0
conf-libsvm-tools.1.0.0☑1
conf-libtheora.1☑7
conf-libtool.1☑3
conf-libudev.1☑1
conf-liburing.0.1.0☑1
conf-libuv.1☑0
conf-libvorbis.1☑5
conf-libwayland.1☑2
conf-libxcb.1☑1
conf-libxcb-image.1☑1
conf-libxcb-keysyms.1☑1
conf-libxcb-shm.1☑1
conf-libxcb-xkb.1☑1
conf-libxcursor.1☑2
conf-libxi.1☑2
conf-libxinerama.1☑2
conf-libxrandr.1☑2
conf-lilv.1☑5
conf-linux-libc-dev.0☑42
conf-lld.1☑1
conf-llvm.17☑7
conf-llvm-shared.18☑5
conf-llvm-static.18☑5
conf-lua.1☒0
conf-m4.1☑4061
conf-mad.2☑7
conf-mariadb.2☑11
conf-mbedtls.2☑1
conf-mecab.0.996☑1
conf-mesa.1☑2
conf-mpfr.3☑37
conf-mpfr-paths.1☑21
conf-mpi.1☑5
conf-mysql.1☑9
conf-nanomsg.0☑0
conf-ncurses.1☑9
conf-neko.1☑1
conf-netsnmp.1.0.0☑1
conf-ninja.1☑3
conf-nlopt.1☑5
conf-nmap.1.0.0☑1
conf-npm.1☑22
conf-numa.0.1.0☑1
conf-ode.1☑0
conf-oniguruma.1☑4
conf-openbabel.0.1☑1
conf-openblas.0.2.2☑17
conf-opencc1_1.1☑1
conf-openimageio.1☑1
conf-openjdk.1☑1
conf-openssl.2☑3
conf-pam.1☑1
conf-pandoc.0.1☑1
conf-pango.1☑1
conf-perl.2☑4064
conf-perl-ipc-system-simple.3☑615
conf-perl-string-shellquote.3☑615
conf-pixz.1☑0
conf-pkg-config.4☑4212
conf-plplot.1☑11
conf-portaudio.1☑6
conf-postgresql.2☑20
conf-ppl.1☑17
conf-protoc.4.4.0☑5
conf-protoc-dev.1.0.0☑1
conf-pulseaudio.1☑7
conf-python-3.9.0.0☑66
conf-python-3-7.1.0.0☑1
conf-python-3-dev.1☑8
conf-python3-pyparsing.1☑3
conf-python3-tomli.1☑3
conf-python3-yaml.1☑2
conf-qt.5.2.1☑2
conf-r.1.0.0☑8
conf-r-mathlib.1☑2
conf-radare2.0.1☒3
conf-rdkit.1☑10
conf-readline.1☑2
conf-rocksdb.1☑2
conf-rubberband.1☑0
conf-ruby.1.0.0☑2
conf-rust.0.1☑233
conf-rust-2018.1☑2
conf-rust-2021.1☑223
conf-rust-2024.1☑0
conf-rust-llvm.1☑0
conf-rust-wasm.1☑0
conf-samplerate.1☑7
conf-scdoc.1☑1
conf-sdl-gfx.1☑10
conf-sdl-image.1☑10
conf-sdl-mixer.1☑10
conf-sdl-net.1☑0
conf-sdl-ttf.1☑10
conf-sdl2.1☑26
conf-sdl2-image.1☑18
conf-sdl2-mixer.1☑1
conf-sdl2-net.1☑0
conf-sdl2-ttf.1☑18
conf-sdpa.1☒1
conf-secp256k1.2☑2
conf-sfml2.1☑2
conf-shine.1☑5
conf-snappy.1☑1
conf-sndfile.1☑0
conf-soundtouch.1☑5
conf-sqlite3.1☑58
conf-srt.2☑5
conf-srt-gnutls.1☑6
conf-srt-openssl.1☑6
conf-sundials.2☑4
conf-swi-prolog.1☑2
conf-taglib.1☑5
conf-tcl.1☑4
conf-texlive.1☑3
conf-tidy.1☑1
conf-time.1☑4
conf-timeout.1☑2
conf-tk.1☑4
conf-tree-sitter.1☒0
conf-trexio.0.1☒1
conf-tzdata.1☑1
conf-unwind.0☑4069
conf-vim.1☑0
conf-wayland-protocols.1☑2
conf-wget.1☑2
conf-which.1☑4076
conf-xen.1☑3
conf-xkbcommon.1☑3
conf-xxhash.1☑31
conf-zlib.1☑499
conf-zmq.0.1☑21
conf-zstd.1.3.8☑35
confero.0.1.1☑0
config.0.0.3☒7
configuration.0.4.1☑0
conformist.0.8.1☑8
conjury.2.2☒1
containers.3.15☒98
containers-data.3.15☒9
containers-thread.3.12☒0
content_security_policy.v0.18~preview.130.31+242☑0
cookie.0.1.8☑3
cookies.1.0.0☒0
coq.9.0.0☑8
coq-core.9.0.0☑12
coq-lsp.0.2.0+8.20☒0
coq-serapi.8.20.0+0.20.0☒0
coq-shell.1☑0
coq-stdlib.9.0.0☑10
coq-waterproof.2.2.0+8.20☑0
coqide.8.20.1☑0
coqide-server.9.0.0☑10
cordova.1.0☒1
cordova-plugin-activity-indicator.1.0☒0
cordova-plugin-background-mode.1.0☒0
cordova-plugin-barcode-scanner.1.0☒0
cordova-plugin-battery-status.1.0☒0
cordova-plugin-camera.1.0☒0
cordova-plugin-clipboard.1.0☒0
cordova-plugin-device.1.0☒0
cordova-plugin-device-orientation.1.0☒0
cordova-plugin-dialogs.1.0☒0
cordova-plugin-email-composer.1.0☒0
cordova-plugin-fcm.1.0☒0
cordova-plugin-file.1.0☒0
cordova-plugin-file-opener.1.0☒0
cordova-plugin-file-transfer.1.0☒0
cordova-plugin-geolocation.1.0☒0
cordova-plugin-image-picker.1.0☒0
cordova-plugin-inappbrowser.1.0☒0
cordova-plugin-insomnia.1.0☒0
cordova-plugin-keyboard.1.0☒0
cordova-plugin-loading-spinner.1.0☒0
cordova-plugin-local-notifications.1.0☒0
cordova-plugin-media.1.0☒0
cordova-plugin-media-capture.1.0☒0
cordova-plugin-network-information.1.0☒0
cordova-plugin-progress.1.0☒0
cordova-plugin-push-notifications.1.1.2☒0
cordova-plugin-qrscanner.1.0☒0
cordova-plugin-screen-orientation.1.0☒0
cordova-plugin-sim-card.1.0☒0
cordova-plugin-sms.1.0☒0
cordova-plugin-social-sharing.1.0☒0
cordova-plugin-statusbar.1.0☒0
cordova-plugin-toast.1.0☑0
cordova-plugin-touch-id.1.0☒0
cordova-plugin-vibration.1.0☒0
cordova-plugin-videoplayer.1.0☒0
core.v0.18~preview.130.31+242☑521
core_bench.v0.18~preview.130.31+242☒18
core_extended.v0.18~preview.130.31+242☑255
core_kernel.v0.18~preview.130.31+242☑444
core_profiler.v0.18~preview.130.31+242☑0
core_unix.v0.18~preview.130.31+242☑307
corosync.0.1.0☑0
cosovo.3☑0
cow.2.5.0☑5
cpdf.2.8.1☑0
cpm.12.2.0☑16
cppo.1.8.0☑4060
cppo_ocamlbuild.1.8.0☑23
cps_toolbox.0.3☑1
cpu.2.0.0☑20
cpuid.0.1.2☑544
crc.2.2.0☒0
crlibm.0.5.1☑2
crontab.0.1☑0
crowbar.0.2.1☑48
crunch.4.0.0☑88
cry.1.0.3☑4
crypt.1.3☒0
cryptokit.1.20☑126
cryptoverif.2.11☑0
csdp.6.2.0☑0
csexp.1.5.2☑4060
cstruct.6.2.0☑4060
cstruct-async.6.2.0☑7
cstruct-lwt.6.2.0☑604
cstruct-sexp.6.2.0☑475
cstruct-unix.6.2.0☑35
csv.2.4☑53
csv-lwt.2.4☑0
csvfields.v0.18~preview.130.31+242☑8
csvtool.2.4☑0
ctoxml.4.1.0☑0
ctypes.0.23.0☑573
ctypes-build.0.0.2☑2
ctypes-foreign.0.23.0☑569
ctypes_stubs_js.0.1☒235
cubicle.1.2.0☑0
cucumber.1.0.4☒0
cudajit.0.7.0☒2
cudf.0.10☑20
cue_sheet_maker.0.2.0-1☑0
cumulus.0.0.1☑0
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.2.0☑2
daft.0.0.4☑0
dap.1.0.6☒1
data-encoding.1.0.1☑197
datalog.0.7☑0
dates_calc.0.0.7☑1
daypack-lib.0.0.6☒1
dbase4.0.1.5☒0
dbf.0.2.0☒0
dblp.0.1.1☑0
dblp-api.0.1.1☑1
dbm.1.4☑16
debian-formats.0.1.2☑1
decimal.1.0.2☑1
decoders.1.0.0☑10
decoders-bencode.1.0.0☑0
decoders-cbor.1.0.0☑0
decoders-ezjsonm.1.0.0☑0
decoders-ezxmlm.1.0.0☑0
decoders-jsonaf.1.0.0☑0
decoders-jsonm.1.0.0☑0
decoders-msgpck.1.0.0☑0
decoders-sexplib.1.0.0☑0
decoders-yojson.1.0.0☑1
decompress.1.5.3☑173
dedent.v0.18~preview.130.31+242☑25
dedukti.2.7☑3
delimcc_of_fxhandler.0.1☒0
delimited_parsing.v0.18~preview.130.31+242☑11
depyt.0.3.0☑0
diet.0.4☑4
diff.1.0.2☒0
diffable.v0.16.0☒8
diffast-api.0.2☒3
diffast-cli.0.2☒1
diffast-core.0.2☒14
diffast-etc.0.1.1☑8
diffast-langs-common.0.2☒16
diffast-langs-cpp.0.2☒1
diffast-langs-cpp-parsing.0.2☒3
diffast-langs-cpp-parsing-cli.0.2☒0
diffast-langs-cpp-spec.0.2☒2
diffast-langs-fortran.0.2☒1
diffast-langs-fortran-parsing.0.2☒3
diffast-langs-fortran-parsing-cli.0.2☒0
diffast-langs-fortran-spec.0.2☒2
diffast-langs-java.0.2☒1
diffast-langs-java-parsing.0.2☒3
diffast-langs-java-parsing-cli.0.2☒0
diffast-langs-java-spec.0.2☒2
diffast-langs-python.0.2☒1
diffast-langs-python-parsing.0.2☒3
diffast-langs-python-parsing-cli.0.2☒0
diffast-langs-python-spec.0.2☒2
diffast-langs-verilog.0.2☒1
diffast-langs-verilog-parsing.0.2☒3
diffast-langs-verilog-parsing-cli.0.2☒0
diffast-langs-verilog-spec.0.2☒2
diffast-misc.0.1.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
dkim.0.6.0☑2
dkim-bin.0.6.0☑0
dkim-mirage.0.6.0☑0
dkml-c-probe.3.0.0☑0
dkml-compiler-env.1.0.2~prerel7☑0
dkml-component-staging-ocamlrun.4.12.1~v1.0.2☒2
dkml-component-xx-console.0.1.1☑1
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-runtime-common-native.2.0.3☑0
dkml-workflows.1.2.0☒9
dlm.0.3.3☒0
dmap.0.5☑3
dns.10.0.0☑75
dns-certify.8.0.0☑1
dns-cli.8.0.0☑0
dns-client.10.0.0☑63
dns-client-lwt.8.0.0☑35
dns-client-mirage.8.0.0☑40
dns-mirage.10.0.0☑5
dns-resolver.8.0.0☑1
dns-server.10.0.0☑3
dns-stub.8.0.0☑0
dns-tsig.10.0.0☑10
dnssec.8.0.0☑3
docfd.3.0.0☒0
docker_hub.0.2.0☑0
dockerfile.8.2.6☑8
dockerfile-cmd.8.2.6☑2
dockerfile-opam.8.2.6☑3
docout.0.0.1☑0
docteur.0.0.7☒2
docteur-solo5.0.0.7☒0
docteur-unix.0.0.7☒0
doculib.1.3.5☑0
doi2bib.0.6.2☒0
dokeysto.4.0.1☒11
dokeysto_lz4.4.0.0☒0
dolmen.0.10☑17
dolmen_bin.0.10☒0
dolmen_loop.0.10☑15
dolmen_model.0.10☒3
dolmen_type.0.10☑16
dolog.6.0.0☑20
domain-local-await.1.0.1☑94
domain-local-timeout.1.0.1☑2
domain-name.0.4.1☑4060
domain_shims.0.1.0☑43
domainslib.0.5.2☑24
dose3.7.0.0☒9
dose3-extra.7.0.0☒0
dot-merlin-reader.5.2.1-502+jst☑13
dotenv.0.0.1☒0
down.0.3.0☒0
dream.1.0.0~alpha8☒22
dream-accept.0.1.0☒0
dream-cli.0.2.0☒0
dream-encoding.0.3.0☒0
dream-html.3.10.1☒1
dream-htmx.0.1.0☒0
dream-httpaf.1.0.0~alpha4☒23
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.0☒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
dtools.0.4.6☑4
dual.0.1.0☑0
duff.0.5☑32
dune.3.18.2☑4060
dune-action-plugin.3.18.2☑0
dune-build-info.3.18.2☑182
dune-cargo-build.0.2.2☑1
dune-compiledb.0.6.0☑1
dune-configurator.3.18.2☑4060
dune-deps.1.5.0☑0
dune-glob.3.18.2☑4
dune-private-libs.3.18.2☑363
dune-release.2.1.0☒1
dune-rpc.3.18.2☑3
dune-rpc-lwt.3.18.2☑0
dune-secondary.3.16.0☑4067
dune-site.3.18.2☑361
duppy.0.9.5☑4
duration.0.2.1☑4060
dyn.3.18.2☑379
dynamic_gc.0.2.0☑0
dypgen.0.2.1☑3
earley.3.0.0☑1
earlybird.1.3.3☒0
easy-format.1.3.4☑4060
easy_logging.0.8.2☑7
easy_logging_yojson.0.8.2☒6
ecaml.v0.18~preview.130.31+242☑2
edn.0.2.0☑0
efl.1.24.0☒0
ego.0.0.6☒0
eigen.0.3.3☑16
eio.1.2☒62
eio-ssl.0.3.0☒3
eio-trace.0.4☒0
eio_linux.1.2☒16
eio_main.1.2☒30
eio_posix.1.2☒15
either.1.0.0☑416
elina.1.3.2☒0
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.2.0.7☒0
email_message.v0.18~preview.130.31+242☑1
embedded_ocaml_templates.0.8☒0
emile.1.1☑58
emoji.2.0.0☑0
encore.0.8.1☑28
enumerators.0.2.0☑0
env_config.v0.18~preview.130.31+242☑0
epictetus.3.1.1☑0
eprover.3.1☑0
eqaf.0.10☑684
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
esgg.20190322☒0
esperanto-cosmopolitan.0.0.6☑3
ethernet.3.2.0☑93
euler.0.3☒0
exenum.0.86☑0
exn-source.0.1☑0
expect.0.1.0☑0
expect_test_helpers_async.v0.18~preview.130.31+242☑20
expect_test_helpers_core.v0.18~preview.130.31+242☑312
expectable.v0.18~preview.130.31+242☑6
extism.1.4.0☑0
extism-manifest.1.4.0☑1
extlib.1.8.0☑46
extprot.1.7.0☒0
extunix.0.4.4☒26
ez-conf-lib.2☑23
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☒0
ezjs_cleave.0.1.1☒0
ezjs_cytoscape.0.1☑0
ezjs_d3pie.0.1☒0
ezjs_extension.0.2☒1
ezjs_fetch.0.3☑3
ezjs_idb.0.1.1☒0
ezjs_jquery.0.1☒0
ezjs_min.0.3.0☒11
ezjs_odometer.0.1☒0
ezjs_push.0.2☒0
ezjs_qrcode.0.1☒0
ezjs_recaptcha.0.1.1☑0
ezjsonm.1.3.0☑333
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
faraday.0.8.2☑154
faraday-async.0.8.2☑8
faraday-lwt.0.8.2☑76
faraday-lwt-unix.0.8.2☑71
farfadet.0.3☑0
farith.0.1☒5
farmhash.0.4☑0
fasmifra.2.1.0☑0
fast_bitvector.0.0.3.1☒0
fat-filesystem.0.15.1☒0
fd-send-recv.2.0.2☑3
feat.20220407☑0
feat-core.20220407☑2
feat-num.20220407☑0
feather.0.3.0☒2
feather_async.0.3.0☒0
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.4☑4
ffmpeg-av.1.2.4☑7
ffmpeg-avcodec.1.2.4☑9
ffmpeg-avdevice.1.2.4☑5
ffmpeg-avfilter.1.2.4☑5
ffmpeg-avutil.1.2.4☑12
ffmpeg-swresample.1.2.4☑5
ffmpeg-swscale.1.2.4☑5
fftw3.0.8.5☑0
fiber.3.7.0☑2
fiber-lwt.3.7.0☑0
fieldslib.v0.18~preview.130.31+242☑872
file-rewriter.0.0.3☑2
file_path.v0.18~preview.130.31+242☑14
filesystem.v0.18~preview.130.31+242☑10
fileutils.0.6.6☑292
fit.1.2.0☑0
fix.20250428☑78
flac.1.0.0☑4
flatunionfind.20241210☑0
flex-array.1.2.0☑2
flexdll.0.44☑0
flint.0.4.0☑6
float_array.v0.18~preview.130.31+242☑0
float_option.0.0.2☑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
fmt.0.10.0☑4060
font_awesome_icons.v0.18~preview.130.31+242☑0
fontforge-of-ocaml.1.1.0☒0
forester.4.3.1☒0
fpath.0.7.3☑1040
fpath-base.0.2.2☑2
fpath-sexp0.0.2.2☑3
frama-c.30.0☒3
frama-c-lannotate.0.2.3☒0
frama-c-luncov.0.2.1☒0
frama-c-metacsl.0.8☒0
frama-clang.0.0.17☒0
fred.0.1.0☒0
freetds.0.5.1☒1
frei0r.0.1.2☑4
fsevents.0.3.0☑31
fsevents-lwt.0.3.0☑30
fun-postgresql.0.2.3☑0
fun-sql.0.2.3☑2
fun-sqlite.0.2.3☑0
funfields.0.04☑0
fungi.0.1.4☑0
fuseau.0.1☒1
fuseau-lwt.0.1☒0
fuzzy_compare.2.0.1☒0
fuzzy_match.v0.18~preview.130.31+242☑3
fzf.v0.18~preview.130.31+242☑0
gadelac.0.6☒0
gapi-ocaml.0.4.5☑1
gappa.1.4.1☑0
gavl.0.1.6☑2
gbddml.2.71.15☑2
gccjit.0.3.2☒2
gd.1.1☑4
gdbprofiler.0.4☒0
gedcom.1.0.0☑0
gel.v0.17.0☑491
gemini.0.3.0☒0
gen.1.1☑4060
gen_js_api.1.1.2+jst☒68
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
gg.1.0.0☑16
git.3.18.0☒23
git-kv.0.1.3☒1
git-mirage.3.16.1☒18
git-paf.3.16.1☒19
git-split.1.0.0☒0
git-unix.3.16.1☒18
github.4.4.1☒11
github-data.4.4.1☒12
github-hooks.0.5.0☒1
github-hooks-unix.0.5.0☒0
github-unix.4.4.1☒8
gitlab.0.1.8☒6
gitlab-unix.0.1.8☒4
gitlab_pipeline_notifier.0.1☒0
glfw-ocaml.3.3.1-2☑1
glical.0.0.7☑0
globlon.1.0☑0
glpk.0.1.8☑0
gluon.0.0.9☒5
gluten.0.5.2☑54
gluten-async.0.5.2☑5
gluten-eio.0.5.2☒8
gluten-lwt.0.5.2☑40
gluten-lwt-unix.0.5.2☑32
gluten-mirage.0.5.2☑3
gmap.0.3.0☑492
gmp.6.2.1-5☑0
gmp-ecm.7.0.3☑0
gmp-xen.6.0.0-1☒532
gnuplot.0.7☑3
goblint.2.5.0☒0
goblint-cil.2.0.6☒3
google-drive-ocamlfuse.0.7.32☑0
gospel.0.3.0☒3
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
gpx.1.1.1☑0
gr.0.0.2☑0
grace.0.2.0☒0
gradescope_submit.2.0.2☑0
grain_dypgen.0.2.1☑2
graphics.5.1.2☑4060
graphicspdf.2.2.1☑0
graphql.0.14.0☑36
graphql-cohttp.0.14.0☑7
graphql-lwt.0.14.0☑33
graphql_parser.0.14.0☑37
graphql_ppx.1.2.2☒1
graphv_core.0.1.1☑3
graphv_core_lib.0.1.1☑10
graphv_font.0.1.1☑5
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
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-examples.0.2.0☒0
grpc-lwt.0.2.0☒1
gsl.1.25.1☑11
gstreamer.0.3.1☑6
guardian.0.1.0☒0
guile.1.0☒0
gxl-light.1.0☑0
h1.1.0.0☑30
h1-lwt-unix.1.0.0☑0
h1_parser.0.0.2☑0
h2.0.13.0☑66
h2-async.0.13.0☑2
h2-eio.0.13.0☒1
h2-lwt.0.13.0☑27
h2-lwt-unix.0.13.0☑25
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
happy-eyeballs.2.0.0☑63
happy-eyeballs-lwt.2.0.0☑35
happy-eyeballs-miou-unix.2.0.0☑4
happy-eyeballs-mirage.2.0.0☑40
hardcaml.v0.18~preview.130.31+242☑17
hardcaml-lua.0.0.1☒0
hardcaml_axi.v0.18~preview.130.31+242☑0
hardcaml_c.v0.18~preview.130.31+242☑0
hardcaml_circuits.v0.18~preview.130.31+242☑3
hardcaml_event_driven_sim.v0.18~preview.130.31+242☑2
hardcaml_fixed_point.v0.18~preview.130.31+242☑4
hardcaml_handshake.v0.18~preview.130.31+242☑1
hardcaml_of_verilog.v0.18~preview.130.31+242☑0
hardcaml_step_testbench.v0.18~preview.130.31+242☑1
hardcaml_test_harness.v0.18~preview.130.31+242☑0
hardcaml_verify.v0.18~preview.130.31+242☑1
hardcaml_verilator.v0.18~preview.130.31+242☑0
hardcaml_waveterm.v0.18~preview.130.31+242☑5
hardcaml_xilinx.v0.18~preview.130.31+242☑0
hardcaml_xilinx_components.v0.18~preview.130.31+242☑0
hardcaml_xilinx_reports.v0.18~preview.130.31+242☑0
hashcons.1.4.0☑120
hashset.1.0.1☑1
hc.0.4☑3
hdr_histogram.0.0.4☑2
headache.1.08☑10
header-check.0.1.0☑0
hector.20241208☑1
herdtools7.7.57☒0
heroicons-reason-react.1.0☒0
hevea.2.36☑2
hex.1.5.0☑681
hex_encode.v0.18~preview.130.31+242☑0
hexstring.0.2.1☑0
hg_lib.v0.18~preview.130.31+242☑0
hidapi.1.2.1☑136
hidapi-lwt.1.2.1☑135
higher.0.3.1☑0
higher_kinded.v0.18~preview.130.31+242☑5
highlexer.0.1☑0
higlo.0.10.0☑25
hilite.0.4.0☑0
hiredis.0.7☑1
hl_yaml.1.0.0☒0
hll.4.3☒0
hmap.0.8.1☑213
hockmd.0.1.0☒0
hol2dk.2.0.0☑0
hol_light.3.0.0☒0
hol_light_module.1.0☑1
hooke.0.0.1☑0
host-arch-x86_64.1☑0
host-system-other.1☑0
hpack.0.13.0☑75
hsluv.0.1.0☑0
html_of_jsx.0.0.4☒1
htmlfromtexbooks.3.3.2☑0
htmlit.0.1.0☑0
hts_shrink.3.0.1☒0
http.6.1.0☑386
http-cookie.4.3.0☑0
http-date.0.1☑0
http-lwt-client.0.2.6☑5
http-mirage-client.0.0.6☑1
http-multipart-formdata.3.1.0☑0
http_async.0.2.0☒0
httpaf.0.7.1☑118
httpaf-lwt-unix.0.7.1☑31
httpaf_caged.1.0.0☑0
httph.0.1☑0
httpun.0.2.0☑38
httpun-async.0.2.0☑0
httpun-eio.0.2.0☒3
httpun-lwt.0.2.0☑26
httpun-lwt-unix.0.2.0☑24
httpun-mirage.0.2.0☑0
httpun-types.0.2.0☑87
httpun-ws.0.2.0☑30
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
hvsock.3.0.1☑1
hxd.0.3.3☑57
hyper.1.0.0~alpha2☒0
i3ipc.0.4☒1
icalendar.0.1.11☒2
idd.0.1☒0
imagelib.20221222☑6
imguiml.v1.90.6☒0
incr_dom.v0.18~preview.130.31+242☒12
incr_dom_interactive.v0.18~preview.130.31+242☑1
incr_dom_partial_render.v0.18~preview.130.31+242☒0
incr_dom_sexp_form.v0.18~preview.130.31+242☒0
incr_map.v0.18~preview.130.31+242☑15
incr_select.v0.18~preview.130.31+242☑15
incremental.v0.18~preview.130.31+242☑18
indentation_buffer.v0.18~preview.130.31+242☑0
index.1.6.2☒233
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
init-compiler.4.14.1☑4067
init-dune.3.9.3☑4066
init-menhir.20231231☑4065
inotify.2.6☑38
inotify-eio.2.6☒0
inquire.0.3.1☒0
inquirer_oc.1.0.15☑0
inspect.0.2.1☒0
int_repr.v0.18~preview.130.31+242☑519
integers.0.7.0☑586
integers_stubs_js.1.0☒241
integration1d.0.5.1☑0
interface-prime.0.1☑2
interface-prime-lwt.0.1☑0
interval.1.6☑0
interval-map.0.2.0☑0
interval_base.1.6☑3
interval_crlibm.1.6☑1
interval_intel.1.6☑1
inuit.0.3☑2
io-page.3.0.0☑4060
iomux.0.3☑25
iostream.0.3☑9
iostream-camlzip.0.3☑2
ip2location.8.1.1☑0
ip2locationio.1.1.0☑0
ip2proxy.3.1.0☑0
ip2whois.1.0.0☑0
ipaddr.5.6.0☑4060
ipaddr-cstruct.5.6.0☑92
ipaddr-sexp.5.6.0☑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.0.0☑59
irmin.3.10.0☒21
irmin-bench.3.3.2☒0
irmin-chunk.3.10.0☒0
irmin-cli.3.10.0☒2
irmin-containers.3.10.0☒0
irmin-fs.3.10.0☒4
irmin-git.3.10.0☒5
irmin-graphql.3.10.0☒4
irmin-http.3.8.0☒2
irmin-layers.2.10.2☒7
irmin-mirage.3.10.0☒2
irmin-mirage-git.3.10.0☒0
irmin-mirage-graphql.3.10.0☒0
irmin-pack.3.10.0☒8
irmin-pack-tools.3.10.0☒0
irmin-server.3.10.0☒3
irmin-test.3.3.2☒8
irmin-tezos.3.10.0☒5
irmin-tezos-utils.3.6.1☒0
irmin-watcher.0.5.0☑30
iso639.0.0.5☑1
iter.1.9☑28
itv-tree.2.2☑1
jane-street-headers.v0.18~preview.130.31+242☑1081
jane_rope.v0.18~preview.130.31+242☑43
janestreet_cpuid.v0.18~preview.130.31+242☑0
janestreet_lru_cache.v0.18~preview.130.31+242☑18
janestreet_shims.v0.18~preview.130.31+242☑0
jasmin.2025.02.1☒0
javalib.3.2.2☒1
jekyll-format.0.3.4☑0
jemalloc.0.2☑9
jext.0.1.0☒0
jhupllib.0.3☒1
jingoo.1.5.0☒18
jose.0.9.0☑0
js_of_ocaml.6.0.1+jst☒4060
js_of_ocaml-compiler.6.0.1+jst☑4060
js_of_ocaml-ocamlbuild.5.0☑9
js_of_ocaml-ppx.6.0.1+jst☒145
js_of_ocaml_patches.v0.18~preview.130.31+242☒20
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.18~preview.130.31+242☑7
jsondiff.0.0.1☑0
jsonm.1.0.2☑639
jsonoo.0.3.0☒0
jsonrpc.1.19.0+jst☑11
jsonschema2atd.0.0.3☒0
jsont.0.1.1☑0
jsoo_broadcastchannel.2.0.0☒0
jst-config.v0.18~preview.130.31+242☑1081
junit.2.3.0☑8
junit_alcotest.2.3.0☑9
junit_ounit.2.3.0☑0
jupyter-kernel.0.8☑0
jwt.0.1☑0
jwto.0.4.0☒16
kcas.0.7.0☑3
kcas_data.0.7.0☑0
kdf.1.0.0☑480
kdl.0.2.0☑0
ke.0.6☑122
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.5☑0
kqueue.0.4.0☑6
krb.v0.16.0☒1
kuznechik.0.2.0☒0
lab.0.1.8☒0
lablgtk.2.18.14☒614
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
labltk.8.06.15☑3
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.2.6.0☒0
lambdasoup.1.1.1☑51
lame.0.3.7☑4
landmarks.1.5☑1
landmarks-ppx.1.5☒0
lastfm.0.3.4☑4
lazy-trie.1.2.0☑0
lbfgs.0.9.5☑3
lbvs_consent.2.2.0☒0
leaves.0.0.2☑0
ledgerwallet.0.4.1☑134
ledgerwallet-tezos.0.4.1☑133
ledit.2.06☒5
legacy_diffable.v0.18~preview.130.31+242☑16
lem.2025-03-13☒13
lens.1.2.5☒0
letsencrypt.0.5.1☑4
letsencrypt-app.0.5.1☑0
letsencrypt-dns.0.5.1☑1
letsencrypt-mirage.0.5.1☑0
letters.0.3.3☑3
lib_parsing.1.12.0☒1
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
libdash.0.3☑0
libevent.0.9.0☑5
libirmin.3.10.0☒0
liblinear.2.47☑0
libnlopt.2.7.1☑0
libsail.0.19☒11
libsvm_tools.3.35☑0
libtensorflow.0.1☑1
libtorch.2.2.1+linux-x86_64☑1
libwasmer.3.0.0~beta☑1
libwasmtime.0.22.0+linux-x86_64☑1
lilac.0.1.1☑0
lilv.0.1.0☑4
line_oriented.1.3.0☑11
linenoise.1.5.1☑24
linksem.0.8☒12
linol.0.10☑2
linol-eio.0.10☒0
linol-lwt.0.10☑0
linwrap.9.2.0☒0
lipsum.0.2☑1
liquid_interpreter.0.1.2☑1
liquid_ml.0.1.2☑0
liquid_parser.0.1.2☑3
liquid_std.0.1.2☑2
liquid_syntax.0.1.2☑4
liquidsoap.2.3.2☒2
liquidsoap-core.2.3.0☒3
liquidsoap-daemon.1.0.0☒0
liquidsoap-js.2.3.2☒0
liquidsoap-lang.2.3.2☑6
liquidsoap-libs.2.3.0☑4
liquidsoap-libs-extra.2.3.0☑3
liquidsoap-mode.2.3.2☒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
llvm.18-static☑4
lmdb.1.0☑0
lo.0.2.0☒4
loc.0.2.2☑4
lockfree.0.3.1☑23
logger-p5.0.4.5☒5
logical.0.3.0☒0
logs.0.8.0☑4060
logs-async.1.3☑2
logs-async-reporter.1.3☑2
logs-ppx.0.2.0☒1
logs-syslog.0.5.0☑1
loop.0.0.1☑0
lp.0.4.0☑3
lp-glpk.0.4.0☑0
lp-glpk-js.0.4.0☒0
lp-gurobi.0.4.0☑0
lpd.1.2.2☑0
lpi.0.0.2☑0
lreplay.0.1.1☑0
lru.0.3.1☑374
lru-cache.0.3.0☑1
lru_cache.0.4.0☑4
lsp.1.19.0+jst☑8
lsp_rpc.v0.18~preview.130.31+242☑0
lt-code.0.1.1☒0
lua-ml.0.9.4☒2
lua_parser.1.0.2☒0
lua_pattern.1.7☒0
lucid.0.1.5☑0
lun.0.0.1☑1
lustre-v6.6.107.1☑2
lutils.1.54.1☑4
lutin.2.71.15☒1
luv.0.5.14☑2
luv_unix.0.5.1☑0
lwd.0.3☑6
lwt.5.9.1☑4060
lwt-canceler.0.3☑243
lwt-dllist.1.1.0☑4060
lwt-exit.1.0☑162
lwt-parallel.1.0.0☑0
lwt-watcher.0.2☑148
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.1+jst☒206
lwt_react.1.2.0☑254
lwt_retry.5.9.0☑0
lwt_ssl.1.2.0☑366
lz4.1.3.0☑13
lzo.0.0.3☑0
m_tree.0.1☑0
macaddr.5.6.0☑4060
macaddr-cstruct.5.6.0☑95
macaddr-sexp.5.6.0☑7
macaroons.0.1.0☑0
mad.0.5.3☑6
magic.0.7.4☑4
magic-mime.1.3.1☑394
make-random.0.1☑1
malfunction.0.7☒0
man_in_the_middle_debugger.v0.18~preview.130.31+242☑1
mariadb.1.3.0☑3
markdown.0.2.1☑1
markup.1.0.3☑121
markup-lwt.0.5.0☑2
mastodon-archive-viewer.0.4.0☒0
matplotlib.0.2☒0
maybe_pushback.v0.18~preview.130.31+242☑1
mbr-format.2.0.0☑3
mc2.0.1☒0
mccs.1.1+19☑10
md2mld.0.7.0☑7
mdx.2.5.0☒133
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
melange.5.1.0-52☒22
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
memcpy.0.2.2☑0
memgraph.1.0☑1
memgraph_kitty.1.0☒0
memo.0.2☑0
memtrace.0.2.3☑33
memtrace_viewer.v0.18~preview.130.31+242☒0
menhir.20240715☑4060
menhir-secondary.20231231☒4066
menhirCST.20240715☑4060
menhirLib.20240715☑4060
menhirSdk.20240715☑4060
merge-fmt.0.3☒0
mergeable-vector.0.1.0☑0
merlin.5.2.1-502+jst☑13
merlin-extend.0.6.2☑39
merlin-lib.5.2.1-502+jst☑15
merlin-of-pds.1.4☒2
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
metrics.0.4.1☑4060
metrics-influx.0.4.1☑4
metrics-lwt.0.4.1☑4060
metrics-mirage.0.3.0☒0
metrics-rusage.0.4.1☑3
metrics-unix.0.4.1☑3
mew.0.1.0☑230
mew_vi.0.5.0☑229
middleware.0.0.1☑0
mikmatch.1.0.9☒0
mimic.0.0.9☑34
mimic-happy-eyeballs.0.0.9☑24
mindstorm.0.8.1☑1
mindstorm-lwt.0.8.1☑0
minicaml.0.3.1☒0
minicli.5.0.2☑19
minilight.1.6☑0
minima-theme.1.0.0☑0
minios-xen.0.9☑4061
minisat.0.6☑2
minivpt.2.0.0☒1
minttea.0.0.2☑1
miou.0.3.1☑9
mirage.4.9.0☑4
mirage-block.3.0.2☑34
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.5☑2
mirage-block-solo5.0.8.1☑1
mirage-block-unix.2.14.2☑11
mirage-block-xen.2.1.3☑0
mirage-bootvar.1.0.1☑0
mirage-channel.4.1.0☑28
mirage-clock.4.2.0☑573
mirage-clock-freestanding.4.1.0☑0
mirage-clock-solo5.4.2.0☑0
mirage-clock-unix.4.2.0☑552
mirage-clock-xen.1.1☑0
mirage-crypto.2.0.0☑519
mirage-crypto-ec.2.0.0☑481
mirage-crypto-pk.0.11.3☑488
mirage-crypto-rng.2.0.0☑515
mirage-crypto-rng-async.1.2.0☑7
mirage-crypto-rng-eio.1.2.0☒4
mirage-crypto-rng-lwt.1.2.0☑368
mirage-crypto-rng-miou-unix.2.0.0☑3
mirage-crypto-rng-mirage.2.0.0☑15
mirage-flow.5.0.0☑480
mirage-flow-combinators.5.0.0☑17
mirage-flow-unix.5.0.0☑2
mirage-kv.6.1.1☑456
mirage-kv-mem.4.0.0☑2
mirage-kv-unix.3.0.1☑0
mirage-logs.3.0.0☑5
mirage-mtime.5.0.0☑95
mirage-nat.3.0.2☑0
mirage-net.4.0.0☑102
mirage-net-solo5.0.8.0☑0
mirage-net-unix.3.0.0☑0
mirage-net-xen.2.1.5☑0
mirage-ptime.5.0.0☑83
mirage-qubes.2.0.0☑1
mirage-qubes-ipv4.2.0.0☑0
mirage-runtime.4.9.0☑4060
mirage-sleep.4.0.0☑4060
mirage-solo5.0.10.0☑536
mirage-time.3.0.0☑105
mirage-time-unix.3.0.0☑12
mirage-unix.5.0.1☑535
mirage-vnetif.0.6.2☑6
mirage-vnetif-stack.0.6.2☑0
mirage-xen.9.0.0☑4060
misuja.0.0.0☒1
mjson.0.2.1☒0
mkaudio.1.1.4☑0
mkocaml.1.2☑0
mlbdd.0.7.3☑4
mlfenv.1.0.0☑0
mlgmpidl.1.3.0☑20
mlmpfr.4.2.1☒13
mlt_parser.v0.18~preview.130.31+242☑1
mlx.0.9☒1
mm.0.8.6☑5
mmap.1.2.0☑4060
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
molenc.17.0.1☒7
monolith.20250314☑8
monomorphic.2.1.0☑1
moonpool.0.8☒5
moonpool-io.0.8☒0
moonpool-lwt.0.8☒0
morbig.0.11.0☒0
more-ocaml.1.0☑0
morsmall.0.2.0☒0
moss.0.1.1☑0
mparser.1.3☑14
mparser-re.1.3☑1
mperf.0.5.0☑1
mpg123.0.3☒0
mpi.1.06☑4
mpp.0.3.6☑0
mpris.0.2.0☒1
mpris-clients.0.2.0☒0
mqtt.0.2.2☒0
mrmime.0.7.0☑20
msat.0.9.1☑6
msat-bin.0.9.1☒0
msgpck.1.7☑5
mtime.2.1.0☑742
mugen.0.1.0☑0
mula.0.1.2☑0
multibase.0.1.0☑1
multicodec.0.1.0☑3
multicont.1.0.3☒1
multicore-bench.0.1.7☒4
multicore-magic.2.3.1☑55
multicore-magic-dscheck.2.3.1☒3
multihash.0.1.0☑2
multihash-digestif.0.1.0☑1
multipart-form-data.0.3.0☒28
multipart_form.0.6.0☑31
multipart_form-cohttp-lwt.0.6.0☑0
multipart_form-eio.0.6.0☒0
multipart_form-lwt.0.6.0☑29
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
mysql.1.2.4☑7
mysql8.1.0☒1
mysql_protocol.3.0.3☒0
n_ary.v0.18~preview.130.31+242☑1
naboris.0.1.3☒0
nacc.1.0☒0
namespaces.0.5.1☑0
nanoev.0.1☑3
nanoev-picos.0.1☒2
nanoev-posix.0.1☒0
nanoev_tiny_httpd.0.1☒0
nanoid.1.0.0☑0
nanosvg.0.2☑2
nanosvg_text.0.1☑1
nbd.6.0.1☒4
nbd-tool.6.0.1☒0
nbd-unix.6.0.1☒1
netchannel.2.1.3☒1
netlink.0.3.4☑0
netsnmp.v0.18~preview.130.31+242☑0
neural_nets_lib.0.5.2☒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
nlopt-ocaml.transition☑2
nlp.0.0.1☑0
nmea.0.1.5☑0
nocoiner.1.0.0☒0
nocrypto.0.5.4-2☒527
node_of_ocaml.1.0.0☒0
nomad.0.0.1☒0
non_empty_list.0.1☒0
not-ocamlfind.0.14☑614
note.0.0.3☑11
nottui.0.3☑3
nottui-lwt.0.3☑0
nottui-pretty.0.3☑0
notty.0.2.3☑23
notty_async.v0.18~preview.130.31+242☑6
np.np1.19-0.3.1☒2
npy.0.0.9☑18
num.1.5-1☑4060
numeric_string.v0.18~preview.130.31+242☑1
nuscr.2.1.1☒0
obatcher.1.1☒0
obelisk.0.8.1☑0
obuild.0.1.11☒571
obuilder.0.6.0☒2
obuilder-spec.0.6.0☒4
obus.1.2.5☒4
ocal.0.2.2☑0
ocaml-buddy.0.6.1☒0
ocaml-canvas.1.0.0☑0
ocaml-compiler-libs.v0.17.0+jst☑4060
ocaml-embed-file.v0.18~preview.130.31+242☑9
ocaml-expat.1.3.0☑1
ocaml-index.1.1+jst☒0
ocaml-lsp-server.1.19.0+jst☑12
ocaml-lua.1.8☑0
ocaml-makefile.6.39.2☑1
ocaml-manual.5.2.0☑0
ocaml-markdown.transition☑0
ocaml-monadic.0.5☒4
ocaml-print-intf.1.2.0☑0
ocaml-probes.v0.18~preview.130.31+242☑0
ocaml-protoc.3.1.1☑4
ocaml-protoc-plugin.6.1.0☑3
ocaml-protoc-yojson.0.2.0☑0
ocaml-r.0.6.0☒1
ocaml-secondary-compiler.4.14.2☑4068
ocaml-src.5.2.0☑4060
ocaml-syntax-shims.1.0.0☑4060
ocaml-systemd.1.3☑0
ocaml-top.1.2.0☒0
ocaml-vdom.transition☑0
ocaml-version.4.0.0☑42
ocaml-xdg-basedir.transition☑2
ocaml_intrinsics.v0.18~preview.130.31+242☑6
ocaml_intrinsics_kernel.v0.18~preview.130.31+242☑4060
ocaml_openapi_generator.v0.18~preview.130.31+242☒0
ocamlbrowser.5.2.0☒0
ocamlbuild.0.15.0+jst☑4060
ocamlbuild-atdgen.0.1.0☑0
ocamlbuild-protoc.0.1☑0
ocamlc-loc.3.18.2☑1
ocamlcodoc.1.0.1☒1
ocamldiff.1.2☑1
ocamldot.1.1☒3
ocamlfind.1.9.8☑4060
ocamlfind-secondary.1.9.6☑4060
ocamlformat.0.26.2+jst☑61
ocamlformat-lib.0.26.2+jst☑22
ocamlformat-mlx.0.26.2.0☒0
ocamlformat-mlx-lib.0.26.2.0☒1
ocamlformat-rpc.removed☑0
ocamlformat-rpc-lib.0.27.0☑4
ocamlfuse.2.7.1-cvs13☑1
ocamlgraph.2.2.0☑620
ocamlgraph_gtk.2.2.0☒5
ocamlify.0.1.0☑263
ocamline.1.2☑1
ocamlmerlin-mlx.0.9☒0
ocamlmig.5.2-20250228☒0
ocamlog.0.2☑0
ocamlregextkit.1.0.2☑0
ocamlscript.3.0.0☒0
ocamlsdl2.0.04☑2
ocamlsdl2-image.0.01☑0
ocamlsdl2-ttf.0.02☑0
ocamlwc.0.3☑0
ocamlyices.0.7.1☒0
ocannl_npy.0.4.1☑2
ocb.0.2☑0
ocb-stubblr.0.1.1-1☑562
ocf.0.9.0☑38
ocf_ppx.0.9.0☒34
ockt.0.0.1☑0
oclock.0.4.0☒0
ocluster.0.3.0☒0
ocluster-api.0.3.0☒3
ocluster-worker.0.3.0☒1
ocolor.1.3.1☑4
ocp-browser.1.3.7☒0
ocp-indent.1.8.1☑38
ocp-indent-nlfork.1.5.5☑2
ocp-index.1.3.7☒5
ocp-ocamlres.0.4☑140
ocp-reloc.0.1☑0
ocp_reveal.0.1☒0
ocplib-endian.1.2☑4060
ocplib-json-typed.0.6☑8
ocplib-simplex.0.5.1☑12
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☑1049
octez-alcotezt.20.1☑95
octez-distributed-internal.20.1☑94
octez-distributed-lwt-internal.20.1☑93
octez-internal-libs.20.1☒93
octez-smart-rollup-wasm-debugger-plugin.20.1☑3
ocurl.0.9.2☑48
odate.0.7☑8
odbc.3.0☒0
odds.1.2☑0
odep.0.2.1☒0
odepack.0.7.1☑1
odig.0.0.9☒6
odnnr.2.0.0☒0
odoc.3.0.0☒1464
odoc-depgraph.1.0☒0
odoc-md.3.0.0☒1
odoc-parser.3.0.0☑36
oepub.0.1.0☑0
of_json.v0.18~preview.130.31+242☑0
oframl.0.0.1☒0
ofx.0.1.5☑0
ogg.1.0.0☑11
ohex.0.2.0☑510
ojo.0.2.1☑0
ojs.1.1.4☒59
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
oklab.v0.18~preview.130.31+242☑0
ollvm.0.99☑0
ollvm-tapir.0.99.1☒0
oma.20240619☑0
omake.0.10.7☒12
omd.2.0.0~alpha4☑29
ometrics.0.2.0☒0
omigrate.0.3.2☑0
oml.0.0.7☑1
omlr.1.0.3☑0
omod.0.0.4☒0
omtl.0.2☑0
oneffs.0.1.0☑0
oniguruma.0.1.2☑3
opam-0install.0.5☑0
opam-0install-cudf.0.5.0☑8
opam-check-npm-deps.4.0.0☒7
opam-client.2.4.0~alpha2☒4
opam-compiler.0.2.0☒0
opam-core.2.4.0~alpha2☑33
opam-custom-install.0.3☒0
opam-depext.1.2.3☑1
opam-devel.2.4.0~alpha2☒0
opam-dune-lint.0.6☑0
opam-ed.0.4☑0
opam-file-format.2.2.0~alpha1☑48
opam-format.2.4.0~alpha2☑33
opam-graph.0.1.1☒0
opam-grep.0.4.0☑0
opam-installer.2.4.0~alpha2☑8
opam-monorepo.0.4.2☑2
opam-publish.2.5.1☒3
opam-repository.2.4.0~alpha2☑16
opam-solver.2.4.0~alpha2☒6
opam-state.2.4.0~alpha2☑15
opamconfig.0.3.0☑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
opencc.0.4.3-0.1.1☑0
opencc1_1.0.1.0☑0
openstellina.0.0.3☒0
opentelemetry.0.11.2☒9
opentelemetry-client-cohttp-lwt.0.11.2☒0
opentelemetry-client-ocurl.0.11.2☒0
opentelemetry-cohttp-lwt.0.11.2☒0
opentelemetry-lwt.0.11.2☒1
operf-micro.1.1.3☑0
opine.0.1.3☒0
opium.0.20.0☒20
opium-graphql.0.20.0☒0
opium-testing.0.20.0☒0
opium_kernel.0.18.0☑5
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☑649
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.18.2☑380
ordinal.1.1☑0
ordinal_abbreviation.v0.18~preview.130.31+242☑3
orec.1.0.1☑1
orewa.0.2.1☒0
orf.1.0.1☒0
orgeat.0.0.1☑0
orocksdb.0.4.0☑0
orrandomForest.3.0.0☒0
orsetto.1.1.3☒0
orsvm_e1071.4.0.0☑0
ortac-core.0.6.0☒2
ortac-dune.0.6.0☒0
ortac-qcheck-stm.0.6.0☒1
ortac-runtime.0.6.0☑3
ortac-runtime-qcheck-stm.0.6.0☒1
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☒0
otf.0.1☑0
otfm.0.4.0☑6
otoml.1.0.5☑6
otr.0.3.10☑0
ott.0.34☑12
ounit.2.2.7☑4060
ounit-lwt.2.2.7☑0
ounit2.2.2.7☑4060
ounit2-lwt.2.2.7☑2
owee.0.8☑8
owi.0.2☒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
oxcaml_effect.v0.18~preview.130.31+242☑0
ozulip.0.1☒0
p4pp.0.1.12☒0
p5scm.0.4.0☒0
pa_ppx.0.18☒13
pa_ppx_hashcons.0.11☒3
pa_ppx_migrate.0.13☒8
pa_ppx_migrate_ocaml_parsetree.0.01☒0
pa_ppx_q_ast.0.11☒1
pa_ppx_quotation2extension.0.02☒1
pa_ppx_regexp.0.05☒3
pa_ppx_static.0.02☒4
pa_ppx_string.0.01☒0
pa_ppx_unique.0.11☒3
packstream.0.1☒0
pacomb.1.3☒0
paf.0.6.0☑23
paf-cohttp.0.6.0☑0
pam.v0.18~preview.130.31+242☑0
pancake.2.0.1☒0
pandoc.0.2.1☑8
pandoc-abbreviations.0.2.1☑0
pandoc-comment.0.2.1☑0
pandoc-crossref.0.2.1☑0
pandoc-include.0.2.1☑1
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☑29
parsexp.v0.18~preview.130.31+242☑4060
parsexp_io.v0.18~preview.130.31+242☑0
parsexp_prefix.v0.18~preview.130.31+242☑4
parsexp_symbolic_automaton.v0.18~preview.130.31+242☑5
parsite.0.1.2☒0
parsley.0.0.1☑0
patch.3.0.0~alpha2☑34
patdiff.v0.18~preview.130.31+242☑9
path_glob.0.3☑1
patience_diff.v0.18~preview.130.31+242☑12
patricia-tree.0.11.0☑2
pb.1.0.0☑1
pbkdf.2.0.0☑484
pbrt.3.1.1☑19
pbrt_services.3.1.1☑5
pbrt_yojson.3.1.1☑6
pcap-format.0.6.0☒3
pcre2.8.0.3☑615
pds.5.42☒4
pds-reachability.0.2.3☒0
pecu.0.7☑91
petrol.1.2.0☒0
pf-qubes.0.1.1☒0
pg_query.0.9.8☒3
pgocaml.4.4.0☒16
pgocaml_ppx.4.4.0☒1
pgx.2.2☑9
pgx_async.2.2☒0
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☑15
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
pipe_with_writer_error.v0.18~preview.130.31+242☑255
pkcs11.1.0.1☒3
pkcs11-cli.1.0.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
plplot.5.12.0☒10
polka.2.71.15☒2
poll.0.3.1☑5
polling_state_rpc.v0.18~preview.130.31+242☑7
polly.0.4.1☑0
polyglot.1.0.0☑0
polynomial.0.4.0☑135
pomap.4.1.2☑0
popper.0.1.1☑2
portaudio.0.2.3☑4
portaudio_c_bindings.19.6.0☒0
portia.1.5☑0
portmidi.0.1☑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.18~preview.130.31+242☑2
postgres_async.v0.18~preview.130.31+242☒0
postgresql.5.1.3☑19
pp.2.0.0☑401
pp-binary-ints.1.0.0☑1
pp_loc.2.1.0☑22
pplumbing.0.0.11☑1
pprint.20230830☑167
ppx-owl-opt.0.0.1☒2
ppx_accessor.v0.18~preview.130.31+242☑3
ppx_assert.v0.18~preview.130.31+242☑1087
ppx_base.v0.18~preview.130.31+242☑4060
ppx_bench.v0.18~preview.130.31+242☑554
ppx_bin_prot.v0.18~preview.130.31+242☑554
ppx_bitstring.4.1.0☒10
ppx_blob.0.9.0☒58
ppx_camlrack.0.10.1☒0
ppx_catch.0.1.0☒0
ppx_cold.v0.18~preview.130.31+242☑4060
ppx_compare.v0.18~preview.130.31+242☑4060
ppx_compose.0.2.1☒0
ppx_const.2.0.1☒0
ppx_conv_func.v0.18~preview.130.31+242☑6
ppx_counters.0.1☒0
ppx_css.v0.18~preview.130.31+242☑9
ppx_cstruct.6.2.0☒4060
ppx_csv_conv.v0.18~preview.130.31+242☑4
ppx_custom_printf.v0.18~preview.130.31+242☑566
ppx_decimal.1.0.2☒0
ppx_default.0.1.1☒0
ppx_defer.0.5.0☒0
ppx_demo.v0.18~preview.130.31+242☑0
ppx_derive_at_runtime.v0.18~preview.130.31+242☑0
ppx_derivers.1.2.1☑4060
ppx_deriving.6.1.0☒4060
ppx_deriving_cad.0.2.0☒0
ppx_deriving_decoders.1.0☒0
ppx_deriving_encoding.0.4.1☒3
ppx_deriving_ezjsonm.0.4.0☒0
ppx_deriving_hardcaml.v0.16.0☒10
ppx_deriving_hash.0.1.3☒2
ppx_deriving_json_schema.1.0.1☒0
ppx_deriving_jsonschema.0.0.4☒0
ppx_deriving_jsoo.0.3☒3
ppx_deriving_madcast.0.2☒0
ppx_deriving_popper.0.1.1☒1
ppx_deriving_protobuf.3.0.0☒12
ppx_deriving_protocol.0.8.1☒0
ppx_deriving_qcheck.0.7☒1
ppx_deriving_rpc.9.0.0☒10
ppx_deriving_scad.1.0.0☒0
ppx_deriving_variant_string.1.0.1☒0
ppx_deriving_yaml.0.4.0☒6
ppx_deriving_yojson.3.10.0☒134
ppx_diff.v0.18~preview.130.31+242☑516
ppx_disable_unused_warnings.v0.18~preview.130.31+242☑551
ppx_distr_guards.0.3☒1
ppx_dream_eml.1.0☒0
ppx_embed_file.v0.18~preview.130.31+242☑0
ppx_enumerate.v0.18~preview.130.31+242☑4060
ppx_expect.v0.18~preview.130.31+242☑1132
ppx_expect_nobase.v0.17.2☒1
ppx_factory.0.2.0☒0
ppx_fields_conv.v0.18~preview.130.31+242☑873
ppx_fixed_literal.v0.18~preview.130.31+242☑589
ppx_fun.0.0.9☒0
ppx_gen_rec.2.0.0☒1
ppx_getenv.2.1☒1
ppx_globalize.v0.18~preview.130.31+242☑4060
ppx_hardcaml.v0.18~preview.130.31+242☑10
ppx_hash.v0.18~preview.130.31+242☑4060
ppx_here.v0.18~preview.130.31+242☑1108
ppx_html.v0.18~preview.130.31+242☒3
ppx_ignore_instrumentation.v0.18~preview.130.31+242☑551
ppx_import.1.11.0☒110
ppx_inline_alcotest.1.0.0☒2
ppx_inline_test.v0.18~preview.130.31+242☑1125
ppx_inline_test_nobase.v0.17.0☒7
ppx_interact.0.1.1☒0
ppx_irmin.3.10.0☒22
ppx_jane.v0.18~preview.130.31+242☑553
ppx_js_style.v0.18~preview.130.31+242☑21
ppx_jsobject_conv.0.10.0☒0
ppx_jsonaf_conv.v0.18~preview.130.31+242☑2
ppx_let.v0.18~preview.130.31+242☑569
ppx_log.v0.18~preview.130.31+242☑551
ppx_lun.0.0.1☒0
ppx_make.0.3.4☒4
ppx_map.0.2.1☒0
ppx_matches.0.1☒0
ppx_mica.0.1.0☒0
ppx_minidebug.2.2.0☒2
ppx_module_timer.v0.18~preview.130.31+242☑551
ppx_monad.0.2.0☒0
ppx_monoid.0.3.3☒0
ppx_mysql.1.1.3☒0
ppx_optcomp.v0.18~preview.130.31+242☑1098
ppx_optint.0.2.0☒0
ppx_optional.v0.18~preview.130.31+242☑552
ppx_parser.0.2.0☒0
ppx_partial.1.0☒1
ppx_pattern_bind.v0.18~preview.130.31+242☑16
ppx_pipebang.v0.18~preview.130.31+242☑552
ppx_protocol_conv.5.2.2☒10
ppx_protocol_conv_json.5.2.2☒3
ppx_protocol_conv_jsonm.5.2.2☒0
ppx_protocol_conv_msgpack.5.2.2☒0
ppx_protocol_conv_xml_light.5.2.2☒3
ppx_protocol_conv_xmlm.5.2.2☒3
ppx_protocol_conv_yaml.5.2.2☒0
ppx_pyformat.0.1.2☒0
ppx_python.v0.17.0☒1
ppx_quick_test.v0.18~preview.130.31+242☑5
ppx_rapper.3.1.0☒2
ppx_rapper_async.3.1.0☒0
ppx_rapper_lwt.3.1.0☒0
ppx_regexp.0.5.1☒0
ppx_repr.0.7.0☒257
ppx_rope.v0.18~preview.130.31+242☑18
ppx_seq.0.3.2☒0
ppx_sexp_conv.v0.18~preview.130.31+242☑4060
ppx_sexp_message.v0.18~preview.130.31+242☑557
ppx_sexp_value.v0.18~preview.130.31+242☑559
ppx_shorthand.v0.18~preview.130.31+242☑4060
ppx_show.0.2.1☒8
ppx_simple_xml_conv.v0.18~preview.130.31+242☑0
ppx_stable.v0.18~preview.130.31+242☑551
ppx_stable_witness.v0.18~preview.130.31+242☑557
ppx_string.v0.18~preview.130.31+242☑562
ppx_string_conv.v0.18~preview.130.31+242☑551
ppx_string_interpolation.1.0.1☑3
ppx_subliner.0.2.1☒0
ppx_system.1.0☒0
ppx_template.v0.18~preview.130.31+242☑4060
ppx_test.1.8.0☒8
ppx_trace.0.9.1☒0
ppx_ts.0.1.6☒0
ppx_tydi.v0.18~preview.130.31+242☑551
ppx_type_directed_value.v0.15.0☒0
ppx_typed_fields.v0.18~preview.130.31+242☑550
ppx_typerep_conv.v0.18~preview.130.31+242☑552
ppx_units.1.0.0☒0
ppx_update.0.81☒0
ppx_var_name.v0.18~preview.130.31+242☑551
ppx_variants_conv.v0.18~preview.130.31+242☑563
ppx_viewpattern.0.1.1☒0
ppx_xml_conv.v0.18~preview.130.31+242☑0
ppx_yojson.1.3.0☒3
ppx_yojson_conv.v0.18~preview.130.31+242☑16
ppx_yojson_conv_lib.v0.18~preview.130.31+242☑22
ppxlib.0.36.0☒4060
ppxlib-tools.0.36.0☒0
ppxlib_ast.0.33.0+jst☑4060
ppxlib_jane.v0.18~preview.130.31+242☑4060
ppxx.2.5.0☒9
pratter.5.0.1☑0
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☑55
primes.1.3.5☑0
pringo.1.4☑8
printbox.0.12☑12
printbox-ext-plot.0.12☑1
printbox-html.0.12☑4
printbox-md.0.12☑4
printbox-text.0.12☑10
proc-smaps.0.2.0☑0
process.0.2.1☑10
process_limits.1.5.5☒3
processor.0.2☑1
producer.0.2.0☑0
profiling.1.5.5☒2
profunctor.v0.18~preview.130.31+242☑3
progress.0.4.0☑238
prom.0.3☒0
prometheus.1.2☑165
prometheus-app.1.2☑25
prometheus-liquidsoap.2☑4
promise.1.1.2☒3
promise_jsoo.0.4.3☒1
promise_jsoo_lwt.0.4.3☒0
prooftree.0.14☒0
protocell.1.0.0☒0
protocol-9p.2.0.1☑4
protocol-9p-unix.2.0.1☑1
protocol_version_header.v0.18~preview.130.31+242☑255
proverif.2.05☒0
proverifdoc.2.05☑0
provider.0.0.11☑0
prr.0.1.1☒0
psmt2-frontend.0.4.0☑11
psq.0.2.1☑470
psyche.0.0.1☑0
ptime.1.2.0☑774
ptmap.2.0.5☑25
ptset.1.0.1☑1
publish.0.3.4+transition☒3
pulseaudio.0.1.5☑6
pure-html.3.10.1☑2
pure-splitmix.0.3☑103
pvec.0.1.1☑0
pvem.0.0.1☑1
py.1.3☑0
pyml.20231101☒112
pyml_bindgen.0.4.1☒0
pyre-ast.0.1.11☒1
pythonlib.v0.15.1☒0
qbf.0.3☑1
qcheck.0.25☑62
qcheck-alcotest.0.25☑249
qcheck-core.0.25☑251
qcheck-lin.0.8☑0
qcheck-multicoretests-util.0.8☑9
qcheck-ounit.0.25☑15
qcheck-stm.0.8☑9
qcstm.0.1.1☑0
qinap.1.0☑0
qiskit.1.0.2☒0
qmp.0.20.0☑0
qrc.0.2.0☑1
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
r2pipe.0.0.1☑0
radamsa.0.2☑0
radare2.0.0.7☒0
randii.1.0.0☑0
random.0.0.1☑0
randomconv.0.2.0☑103
randoml.0.1.5☒0
range.0.8.3☑0
rangeSet.0.2.1☑0
rankers.2.0.9☒0
rawlink.2.1☒4
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.12.0☑1681
re2.v0.18~preview.130.31+242☑27
re_parser.v0.18~preview.130.31+242☑0
rea.1.0.0☑0
react.1.2.2☑266
reactiveData.0.3.1☑8
reactjs-jsx-ppx.1.0.0☒9
readline.0.2☑1
reanalyze.2.25.1☒0
reason.3.16.0☒45
reason-react.0.15.0☒11
reason-react-ppx.0.15.0☒12
received.0.11.0☑0
record_builder.v0.18~preview.130.31+242☑257
records.1.0.0☑0
red-black-tree.1.0.5☒0
redirect.0.2.1☒2
redis.0.7.1☑14
redis-async.v0.18~preview.130.31+242☑0
redis-lwt.0.7.1☑12
redis-sync.0.7.1☑0
reedsolomon.0.3☑0
regex_parser_intf.v0.18~preview.130.31+242☑25
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☑260
repr-bench.0.7.0☒0
repr-fuzz.0.7.0☒0
res.5.0.2☑14
resource-pooling.1.2☑1
resource_cache.v0.18~preview.130.31+242☑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☑4060
revops.2.5☒0
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
riot.0.0.9☒4
river.0.4☑0
rock.0.20.0☑21
rocq-core.9.0.0☑13
rocq-prover.9.0.0☑9
rocq-runtime.9.0.0☑18
rocq-stdlib.9.0.0☑12
rocqide.9.0.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☑28
routes.2.0.0☑5
rpc.9.0.0☒0
rpc_parallel.v0.18~preview.130.31+242☑1
rpclib.9.0.0☑13
rpclib-async.9.0.0☑1
rpclib-html.9.0.0☑0
rpclib-js.9.0.0☑0
rpclib-lwt.9.0.0☑2
rpmfile.0.5.0☑3
rpmfile-cli.0.4.0☒0
rpmfile-eio.0.5.0☒1
rpmfile-unix.0.5.0☑0
rresult.0.7.0☑1123
rss.3.0☑1
rtop.3.16.0☒0
rtree.0.1.1☑0
rungen.0.0.1☑0
runtime_events_tools.0.5.1☒1
rusage.1.0.0☑233
rust-staticlib-gen.0.2.2☒0
rust-staticlib-virtual.0.2.2☑1
safa.1.4☑1
safemoney.0.3.0☒0
safepass.3.1☑21
sail.0.19☒0
sail_c_backend.0.19☒0
sail_coq_backend.0.19☒0
sail_doc_backend.0.19☒0
sail_latex_backend.0.19☒0
sail_lean_backend.0.19☒0
sail_lem_backend.0.19☒0
sail_manifest.0.19☑1
sail_ocaml_backend.0.19☒0
sail_output.0.19☒0
sail_smt_backend.0.19☒0
sail_sv_backend.0.19☒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
sattools.0.1.0☑0
saturn.1.0.0☑24
saturn_lockfree.0.5.0☑10
savvy.0.2.0☒0
sawja.1.5.12☒0
scad_ml.1.1.0☑1
scfg.0.5☑2
scgi.1.0☒0
scipy.sp1.5-0.3.1☒1
scrypt.0.2.1☑0
scrypt-kdf.1.2.0☑2
sdl-liquidsoap.3☑4
search.0.1.1☑0
searchTree.0.1☑0
secp256k1-internal.0.4.0☑237
sedlex.3.3+jst☑4060
sek.20201012☑0
sel.0.6.0☒1
semantic_version.v0.18~preview.130.31+242☑1
semaphore-compat.1.0.2☑234
semv.1.0.0☒0
semver.0.2.1☑0
semver2.1.2.0☑0
sendmail.0.8.1☑6
sendmail-lwt.0.8.1☑4
sendmsg.0.0.2☑0
seq.base☑4060
seqes.0.4☑231
sequence.0.1☑0
sequencer_table.v0.18~preview.130.31+242☑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☑8
sexp.v0.18~preview.130.31+242☑0
sexp_decode.0.7☑2
sexp_diff.v0.18~preview.130.31+242☑1
sexp_grammar.v0.18~preview.130.31+242☑3
sexp_macro.v0.18~preview.130.31+242☒2
sexp_pretty.v0.18~preview.130.31+242☑314
sexp_select.v0.18~preview.130.31+242☑1
sexp_string_quickcheck.v0.18~preview.130.31+242☑0
sexplib.v0.18~preview.130.31+242☑4060
sexplib0.v0.18~preview.130.31+242☑4060
sexps-rewriter.0.0.3☑1
sfml.0.09.2☑0
sgf.1.0.1☑0
sha.1.15.4☑56
shades.1.0☑0
shapefile.0.2.1☒0
shared-block-ring.3.0.1☒0
shared-memory-ring.3.2.1☑4060
shared-memory-ring-lwt.3.2.1☑4060
shared-secret.0.4☑0
shell.v0.18~preview.130.31+242☑9
shexp.v0.18~preview.130.31+242☑2
shine.0.2.3☑4
shuttle.0.9.4☒2
shuttle_http.0.12.0☒1
shuttle_ssl.0.9.4☒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
simple-diff.0.3☑0
simple63.1☑0
simple_xml.v0.18~preview.130.31+242☑2
sitemap.1.0☑0
sklearn.sk0.23-0.3.1☒1
slacko.0.15.0☒0
slice.0.0.1☑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.7.0☒1
smtp.0.3☑0
snappy.0.1.2☑0
snoke.0.3☑0
solidity-common.0.2.0☒4
solidity-parser.0.2.0☒3
solo5.0.9.1☑4062
solo5-cross-aarch64.0.9.1☑2
solo5-elftool.0.4.0☑1
sortedseq_intersect.0.2.0☑0
soundtouch.0.1.9☑4
soupault.4.11.0☒0
spatial-shell.6☑0
spawn.v0.17.0☑383
spdx_licenses.1.3.0☑17
spectrum.0.3.0☑0
speed.0.2.0☒0
speex.1.0.0☑4
spelll.0.4☑22
spices.0.0.2☑11
spin.0.5.1☒0
spirv.1.1.2☑0
splay_tree.v0.18~preview.130.31+242☑3
splittable_random.v0.18~preview.130.31+242☑553
spoke.0.0.3☑0
spotify-web-api.0.2.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☑385
starpath.0.1.2☑0
starred_ml.0.0.5☒0
stb_image.0.5☑2
stb_image_write.0.2☑1
stb_truetype.0.7☑6
stdcompat.20.1☒164
stdint.0.7.2☑281
stdint-literals.1.0☒0
stdio.v0.18~preview.130.31+242☑4060
stdlib-diff.0.1.3☒0
stdlib-random.1.2.0☑199
stdlib-shims.0.3.0☑4060
stdune.3.18.2☑377
stitch.0.0.0☒0
stk_iconv.0.4.0☑1
stk_ppx.0.4.0☒5
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
store.0.1☑0
stored_reversed.v0.18~preview.130.31+242☑17
stramon-lib.0.3.0☒0
streamable.v0.18~preview.130.31+242☑21
streaming.0.8.0☑0
stringCodepointSplitter.0.0.2☑0
string_dict.v0.18~preview.130.31+242☑0
stringext.1.6.0☑4060
strymonas-pure.2.1.1☑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☑36
swipl.0.5☒0
symkat.1.4☑0
syncweb.0.5.1☒0
syndic.1.6.1☑2
synopsis.1.1☒0
sys-socket.1.0.0☑5
sys-socket-unix.1.0.0☒0
syslog.2.0.2☑5
syslog-message.1.2.0☑3
syslog-rfc5424.0.1☑0
systemverilog.0.0.2☑0
tablecloth-base.0.0.10☒1
tablecloth-native.transition☒0
tabr.0.1.2☑0
taglib.0.3.10☒4
talaria-bibtex.0.5☑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☑91
tcx.0.25.0☑0
tdigest.2.2.0☒0
telemetry.0.0.1☑6
telltime.0.0.3☒0
tensorboard.0.0.1☒0
term-indexing.0.0.1☒0
term-tools.0.0.2☒0
terminal.0.4.0☑239
terminal_size.0.2.0☑10
terml.0.0.1☑0
testable_timeout.v0.18~preview.130.31+242☒6
testo.0.1.0☑0
testo-diff.0.1.0☑3
testo-lwt.0.1.0☑0
testo-util.0.1.0☑2
testu01.1.2.3-0.2☑3
textmate-language.0.4.0☑2
textrazor.0.1.1☒0
textutils.v0.18~preview.130.31+242☑244
textutils_kernel.v0.18~preview.130.31+242☑19
textwrap.0.2.1☑1
tezos-base58.1.0.0☑10
tezos-bls12-381-polynomial.1.0.1☒135
tezos-clic.16.1☒56
tezos-context-hash.1.0.0☑2
tezos-context-hash-irmin.1.0.0☒0
tezos-error-monad.16.1☒168
tezos-event-logging.16.1☒161
tezos-event-logging-test-helpers.16.1☒6
tezos-hacl-glue.12.3☑17
tezos-lazy-containers.16.1☒138
tezos-lwt-result-stdlib.16.1☒171
tezos-micheline.16.1☒158
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.16.1☒161
tezos-rust-libs.1.7☑0
tezos-sapling-parameters.1.1.0☑97
tezos-stdlib.16.1☒169
tezos-stdlib-unix.16.1☒160
tezos-test-helpers.16.1☒31
tezos-wasmer.16.1☒5
tezos-webassembly-interpreter.16.1☒136
tezos-webassembly-interpreter-extra.16.1☒3
tezt.4.2.0☑153
tezt-performance-regression.17.3☒2
theora.1.0.0☑6
thread-local-storage.0.2☒30
thread-table.1.0.0☑95
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.18~preview.130.31+242☑10
time_ago.v0.18~preview.130.31+242☑0
time_now.v0.18~preview.130.31+242☑1080
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.18~preview.130.31+242☑263
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
tip-parser.0.6☑1
tjr_simple_earley.2017-11-14e☑0
tldr.0.3.0☒0
tls.0.17.5☑461
tls-async.0.17.5☑6
tls-eio.0.17.5☒5
tls-liquidsoap.1☑4
tls-lwt.0.17.5☑369
tls-mirage.0.17.5☑73
toc.0.1.0☑0
tofn.0.12☑0
togglelog.0.1.1☒0
toml.7.1.0☑19
toml-cconv.5.0.0☑0
toml_cconv.7.0.0☑0
tophide.1.0.4☑1
topiary.0.6.0☑1
topkg.1.0.8+jst☑4060
toplayer.v0.18~preview.130.31+242☒5
toplevel_backend.v0.18~preview.130.31+242☑1
toplevel_expect_test.v0.18~preview.130.31+242☑0
topojson.0.1.0☑1
topojsone.0.1.0☒0
topological_sort.v0.18~preview.130.31+242☑0
torch.v0.18~preview.130.31+242☒0
tplib.1.3☒0
tqdm.0.1☑0
trace.0.9.1☑27
trace-fuchsia.0.9.1☒0
trace-tef.0.9.1☑8
tracing.v0.18~preview.130.31+242☑2
tracy-client.0.5.2☑0
trail.0.0.1☒1
traits.0.1.0☑0
trampoline.0.1.0☑0
transept.0.1.0☑0
travesty.0.8.0☒0
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.1.1.0☑23
tsdl-image.0.6☑16
tsdl-mixer.0.6☑0
tsdl-ttf.0.6☑16
tsort.2.2.0☑21
ttweetnacl.0.1.0☑0
tty.0.0.2☑11
tuareg.3.0.1☑2
tube.4.4.0☑0
tuntap.2.0.1☑2
twirp_cohttp_lwt_unix.0.2☑0
twirp_core.0.2☑3
twirp_ezcurl.0.2☑0
twirp_tiny_httpd.0.2☑0
twostep.1.0.1☑2
tyabt.0.1.0☑0
type_eq.0.0.1☑1
type_id.0.0.1☑0
typeid.2.0.0☑0
typerep.v0.18~preview.130.31+242☑553
typeset.0.4☑0
tyre.0.5☑2
tyxml.4.6.0☑119
tyxml-jsx.4.6.0☒2
tyxml-lwd.0.3☒0
tyxml-ppx.4.6.0☒2
tyxml-syntax.4.6.0☒4
ubase.0.20☑1
ubpf.0.2☑0
uchar.0.0.2☑4060
uecc.0.4☑1
uint.2.0.1☑22
ulid.0.1☒0
um-abt.0.1.7☒0
unidecode.0.4.0☑0
unionFind.20220122☑8
unisim_archisec.0.0.10☑1
unison.2.53.7☑1
unison-gui.2.53.7☑0
univ_map.v0.18~preview.130.31+242☑551
universal-portal.0.3.0☒0
universo.2.7☑0
unix-dirent.0.3.5☑0
unix-errno.0.6.2☒17
unix-unistd.0.4.0☑0
unstrctrd.0.4☑58
uopt.v0.18~preview.130.31+242☑516
uri.4.4.0☑4060
uri-bench.4.4.0☒0
uri-re.4.4.0☑0
uri-sexp.4.4.0☑4060
uri_parsing.v0.18~preview.130.31+242☒2
uring.0.9☑19
uring-trace.0.1.0☒0
uritemplate.0.2.0☒0
urn.20231124☑0
user-agent-parser.0.2.0☒0
user-setup.0.8☑0
username_kernel.v0.18~preview.130.31+242☑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.15.0+jst☑210
uucd.16.0.0☑3
uucp.16.0.0☑518
uuidm.0.9.10☑458
uunf.16.0.0☑544
uuseg.16.0.0☑279
uutf.1.0.3+jst☑1246
uuuu.0.3.0☑27
validate.1.1.0☒0
validator.0.2.3☑0
variantslib.v0.18~preview.130.31+242☑564
varray.0.2☑0
vcaml.v0.18~preview.130.31+242☑0
vcardgen.1.2☑0
vchan.6.0.2☑18
vchan-xen.6.0.2☑2
vdom.0.3☒2
vec.0.4.0☑1
vector.1.0.0☑241
vector3.1.0.0☑10
vendredi.0.1.0☑0
versioned_polling_state_rpc.v0.18~preview.130.31+242☑6
vg.0.9.5☑6
vhd-format.0.13.0☒1
vhd-format-lwt.0.13.0☒0
virtual_dom.v0.18~preview.130.31+242☒19
visitors.20250212☒10
vlt.0.2.5☒28
voaacenc.0.1.1☑0
vocal.0.1☑0
voqc.0.1☑0
vorbis.1.0.0☑4
vpt.5.0.0☑1
vscoq-language-server.2.2.5☒0
vue-jsoo.0.3☒0
vue-ppx.0.1.0☒0
wall.0.4.1☒0
wamp.1.1☑0
wasm.2.0.1☑0
wasm_of_ocaml-compiler.6.0.1+jst☒0
wasmer.1.2.1☑0
wasmtime.0.0.3☒0
wayland.2.1☒0
waylaunch.0.3.0☑0
wcwidth.1.0.1☑0
webauthn.0.1.0☒0
webbrowser.0.6.2☑4
webidl.1.4☒3
webmachine.0.7.0☑18
websocket.2.17☑29
websocket-lwt-unix.2.16☑26
websocketml.0.1.1☑0
webtest.2.0.0☑6
webtest-js.2.0.0☒5
why3.1.8.0☒7
why3-coq.1.8.0☒2
why3-ide.1.8.0☒0
why3find.1.1.1☒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.0.16.5☑478
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.18.2☑218
xdg-basedir.0.0.5☑3
xedbindings.0.9☑0
xen-evtchn.2.1.0☑4060
xen-evtchn-unix.2.1.0☒1
xen-gnt.4.0.2☑7
xenstore.2.3.0☑4060
xenstore_transport.1.3.0☑21
xkbcommon.0.1☑0
xlsx2csv.0.1.2☑0
xmelly.1.0.0☑0
xml-light.2.5☑35
xmldiff.0.7.0☑8
xmldiff_js.0.7.0☒3
xmlm.1.4.0☑153
xmlplaylist.0.1.5☑5
xoshiro.0.1☑0
xpath.v0.18~preview.130.31+242☑0
xtmpl.1.0.0☑36
xtmpl_js.1.0.0☒3
xtmpl_ppx.1.0.0☑25
yaml.3.2.0☑127
yaml-sexp.3.2.0☑2
yocaml.2.2.0☑11
yocaml_cmark.1.0.0☑0
yocaml_cmarkit.2.2.0☑0
yocaml_eio.2.2.0☒0
yocaml_git.2.1.0☒0
yocaml_jingoo.2.2.0☒0
yocaml_markdown.1.0.0☑0
yocaml_mustache.2.2.0☑0
yocaml_omd.2.2.0☑0
yocaml_otoml.2.2.0☑0
yocaml_runtime.2.2.0☑3
yocaml_syndication.2.2.0☑0
yocaml_unix.1.0.0☑0
yocaml_yaml.2.2.0☑0
yojson.2.2.2☑4060
yojson-bench.2.0.2☒0
yojson-five.2.2.2☑0
yosqlite.0.2☒0
yurt.0.6☑0
yuscii.0.3.0☑27
yuujinchou.5.2.0☑1
z3.4.13.0-3☑30
zar.0.9.3☑0
zarith.1.12+jst☑1035
zarith_stubs_js.v0.18~preview.130.31+242☑303
zarr.0.1.0☑3
zarr-eio.0.1.0☒0
zarr-lwt.0.1.0☑0
zarr-sync.0.1.0☑0
zdd.0.5☑0
zed.3.2.3☑229
zeit.0.1.0☒1
zelus.2.2☒1
zelus-gtk.2.2☒0
zenon.0.8.5☑0
zenon_modulo.0.5.0☑0
zipc.0.2.0☑0
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.18~preview.130.31+242☑3
zstd.0.4☑0
zxcvbn.2.4+1☒0