Profiles › odoc-master-mini › Snapshots › d9aac1dc1d57

odoc-master-mini / d9aac1dc1d57

Created 2026-10-12T09:19:38Z

Diff against previous snapshot (a2953701223f)

DAG state

All 4109 nodes finished — ok=4079, failed=9, cascade=21

Repos at this snapshot

RepoSnapshotMessageLatest
/home/app/.day11/repo/opam-repository74bf8da7ffeaMerge pull request #30909 from dkalinichenko-js/opam-publish-janestreet_cpuid.v0.17.177bf79b2f35a
/home/app/.day11/overlays/odoc-master/repo16cffffa75e6Track 3.2.1 @ c213704cd613efd4243a27f048efa418bd63987c (version 3.2.1+master.1791558161.c213704)9559c2c50e2a
/home/app/.day11/overlays/odoc-master/upstream (upstream)——6747ca453d03

Failures

9 failed (build=6, doc-all=3)

PackageKindHashLog
conf-bap-llvm.1.8build4b3600e05edclog
conf-gtksourceview.2build2771fda1b70alog
conf-libpcre.2builda4465a66ddbelog
jsonkit-melange.1.1.0doc-all397eb86864f7log
jsonkit.1.1.0doc-allac63e2d5a21dlog
ktdeque.0.2.0build0dd8d53b3121log
lascar.0.7.0doc-all2ac1758b9636log
metapp.0.4.4buildbdc007531b02log
netkat.0.1builddf2f4e5ec70flog
Cascaded nodes

Cascaded (21)

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

PackageKindBlocked byKind
bap-core.2.5.0doc-allconf-bap-llvm.1.8build
bap-core.2.5.0buildconf-bap-llvm.1.8build
bap-llvm.2.5.0doc-allconf-bap-llvm.1.8build
bap-llvm.2.5.0buildconf-bap-llvm.1.8build
bap-primus-x86.2.5.0doc-allconf-bap-llvm.1.8build
bap-primus-x86.2.5.0buildconf-bap-llvm.1.8build
bap-relocatable.2.5.0doc-allconf-bap-llvm.1.8build
bap-relocatable.2.5.0buildconf-bap-llvm.1.8build
bap-x86.2.5.0doc-allconf-bap-llvm.1.8build
bap-x86.2.5.0buildconf-bap-llvm.1.8build
bap.2.5.0doc-allconf-bap-llvm.1.8build
bap.2.5.0buildconf-bap-llvm.1.8build
conf-bap-llvm.1.8doc-allconf-bap-llvm.1.8build
lablgtk-extras.1.6doc-allconf-gtksourceview.2build
lablgtk-extras.1.6buildconf-gtksourceview.2build
lablgtk.2.18.14doc-allconf-gtksourceview.2build
lablgtk.2.18.14buildconf-gtksourceview.2build
cdp.0.1.0doc-alljsonkit.1.1.0doc-all
metapp.0.4.4doc-allmetapp.0.4.4build
netkat.0.1doc-allnetkat.0.1build
ktdeque.0.2.0doc-allktdeque.0.2.0build
Solve failures (10)

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

Status totals

Blessed builds0
Non-blessed builds1991 (success=1977, dependency_failure=8, build_failure=6)
Blessed docs1177 (doc_success=1161, doc_dependency_failure=13, doc_failure=3)
Non-blessed docs941 (doc_success=941)

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

Packages (1219)

PackageBuildDoc
0install-solver.2.18okok
FrontC.4.1.0okok
ISO8601.0.2.6okok
ai-sdk-react.0.6.3okok
alcotest.1.9.1okok
alt-ergo-free.2.4.3okok
alt-ergo-lib.2.6.4okok
alt-ergo-parsers.2.6.4okok
alt-ergo.2.6.4okok
angstrom.0.16.0okok
angstrom.0.16.1okok
ansi.0.7.0okok
ansicolor.0.5okok
arg-complete.0.2.1okok
arp.4.1.0okok
asak.0.5okok
asetmap.0.8.1okok
asn1-combinators.0.2.6okok
asn1-combinators.0.3.3okok
astring.0.8.5okok
async.v0.13.0okok
async.v0.17.0okok
async_kernel.v0.13.0okok
async_kernel.v0.17.0okok
async_log.v0.17.0okok
async_rpc_kernel.v0.13.0okok
async_rpc_kernel.v0.17.0okok
async_unix.v0.13.1okok
async_unix.v0.17.0okok
atd.2.16.0okok
atd.4.2.0okok
atdgen-runtime.2.16.0okok
atdgen-runtime.4.2.0okok
atdgen.2.15.0okok
atdgen.4.2.0okok
avro.0.1okok
awa-mirage.0.6.1okok
awa.0.6.1okok
awa.0.7.0okok
awskit-eio.0.2.0okok
awskit-lwt.0.2.0okok
awskit-s3-eio.0.2.0okok
awskit-s3-lwt.0.2.0okok
awskit-s3-sim.0.2.0okok
awskit-s3.0.2.0okok
awskit-unix.0.2.0okok
awskit.0.2.0okok
awso-common.0.9.1okok
awso.0.9.1okok
b0.0.0.6okok
baby.20260620okok
backoff.0.1.1okok
bap-abi.2.5.0okok
bap-analyze.2.5.0okok
bap-api.2.5.0okok
bap-arm.2.5.0okok
bap-beagle-strings.2.5.0okok
bap-beagle.2.5.0okok
bap-bil.2.5.0okok
bap-build.2.5.0okok
bap-bundle.2.5.0okok
bap-byteweight.2.5.0okok
bap-c.2.5.0okok
bap-cache.2.5.0okok
bap-callgraph-collator.2.5.0okok
bap-callsites.2.5.0okok
bap-constant-tracker.2.5.0okok
bap-core-theory.2.5.0okok
bap-core.2.5.0cascadecascade
bap-cxxfilt.2.5.0okok
bap-demangle.2.5.0okok
bap-dependencies.2.5.0okok
bap-disassemble.2.5.0okok
bap-dump-symbols.2.5.0okok
bap-elementary.2.5.0okok
bap-emacs-dot.0.1okok
bap-emacs-goodies.0.1okok
bap-emacs-mode.0.1okok
bap-flatten.2.5.0okok
bap-frontc.2.5.0okok
bap-frontend.2.5.0okok
bap-future.2.5.0okok
bap-glibc-runtime.2.5.0okok
bap-knowledge.2.5.0okok
bap-llvm.2.5.0cascadecascade
bap-main.2.5.0okok
bap-mc.2.5.0okok
bap-microx.2.5.0okok
bap-mips.2.5.0okok
bap-objdump.2.5.0okok
bap-optimization.2.5.0okok
bap-patterns.2.5.0okok
bap-plugins.2.5.0okok
bap-powerpc.2.5.0okok
bap-primus-dictionary.2.5.0okok
bap-primus-exploring-scheduler.2.5.0okok
bap-primus-greedy-scheduler.2.5.0okok
bap-primus-limit.2.5.0okok
bap-primus-lisp.2.5.0okok
bap-primus-loader.2.5.0okok
bap-primus-mark-visited.2.5.0okok
bap-primus-powerpc.2.5.0okok
bap-primus-print.2.5.0okok
bap-primus-promiscuous.2.5.0okok
bap-primus-propagate-taint.2.5.0okok
bap-primus-random.2.5.0okok
bap-primus-region.2.5.0okok
bap-primus-round-robin-scheduler.2.5.0okok
bap-primus-support.2.5.0okok
bap-primus-systems.2.5.0okok
bap-primus-taint.2.5.0okok
bap-primus-test.2.5.0okok
bap-primus-track-visited.2.5.0okok
bap-primus-wandering-scheduler.2.5.0okok
bap-primus-x86.2.5.0cascadecascade
bap-primus.2.5.0okok
bap-print.2.5.0okok
bap-raw.2.5.0okok
bap-recipe-command.2.5.0okok
bap-recipe.2.5.0okok
bap-relation.2.5.0okok
bap-relocatable.2.5.0cascadecascade
bap-report.2.5.0okok
bap-riscv.2.5.0okok
bap-run.2.5.0okok
bap-signatures.2.5.0okok
bap-specification.2.5.0okok
bap-ssa.2.5.0okok
bap-std.2.5.0okok
bap-strings.2.5.0okok
bap-stub-resolver.2.5.0okok
bap-symbol-reader.2.5.0okok
bap-systemz.2.5.0okok
bap-taint-propagator.2.5.0okok
bap-taint.2.5.0okok
bap-term-mapper.2.5.0okok
bap-thumb.2.5.0okok
bap-toplevel.2.5.0okok
bap-traces.2.5.0okok
bap-trivial-condition-form.2.5.0okok
bap-warn-unused.2.5.0okok
bap-x86.2.5.0cascadecascade
bap.2.5.0cascadecascade
bare.2.5.0okok
base-bigarray.baseok—
base-bytes.baseokok
base-domains.baseokok
base-effects.baseokok
base-nnp.baseokok
base-threads.baseok—
base-unix.baseok—
base.v0.13.2okok
base.v0.14.4okok
base.v0.16.5okok
base.v0.17.3okok
base32.1.0.0okok
base64.3.5.2okok
base_bigstring.v0.13.0okok
base_bigstring.v0.14.0okok
base_bigstring.v0.17.0okok
base_quickcheck.v0.13.0okok
base_quickcheck.v0.14.1okok
base_quickcheck.v0.17.1okok
batsat.0.7okok
batteries.3.11.0okok
bheap.2.0.0okok
bigarray-compat.1.1.0okok
bigstring.0.3okok
bigstringaf.0.10.0okok
bigstringaf.0.9.0okok
bin_prot.v0.13.0okok
bin_prot.v0.14.1okok
bin_prot.v0.17.0-1okok
biniou.1.2.2okok
binsec.0.11.3okok
bitvec-binprot.2.5.0okok
bitvec-order.2.5.0okok
bitvec-sexp.2.5.0okok
bitvec.2.5.0okok
bos.0.3.0okok
brr.0.0.9okok
bstr.0.1.1okok
bytesrw.0.4.1okok
ca-certs-nss.3.129-1okok
ca-certs.0.2.3okok
ca-certs.1.0.3okok
cabal.0.1.0okok
cairo2.0.6.5okok
calendar.3.0.0okok
camlidl.1.13-1okok
camlp-streams.5.0.1okok
camlp4.4.12+1okok
camlp4.5.5okok
camlp5-buildscripts.0.07okok
camlp5.8.00.04okok
camlp5.8.05.02okok
camlzip.1.11okok
camlzip.1.14okok
camomile.2.0.0okok
camomile.2.1.0okok
capitalization.v0.17.0okok
capnp-rpc-lwt.1.2.4okok
capnp-rpc-net.1.2.4okok
capnp-rpc-unix.1.2.4okok
capnp-rpc.1.2.4okok
capnp.3.6.0okok
caqti-dynload.2.3.0okok
caqti-lwt.2.3.2okok
caqti-lwt.3.0.0okok
caqti.2.3.2okok
caqti.3.0.0okok
carton-git.0.7.2okok
carton-lwt.0.7.2okok
carton.0.7.2okok
catapult-file.0.1.1okok
catapult-file.0.2okok
catapult.0.1.1okok
catapult.0.2okok
cdp.0.1.0okcascade
cf-lwt.0.5.0okok
cf.0.5.0okok
charrua-client.3.2.1okok
charrua-server.3.2.1okok
charrua-unix.3.2.1okok
charrua.3.2.1okok
chatoyant.0.13.0okok
checked_oint.1.0.1okok
checked_oint.2.1.0okok
checkseum.0.5.4okok
chrome-trace.3.24.2okok
clap.0.3.0okok
cmarkit.0.4.0okok
cmdliner.1.3.0okok
cmdliner.2.1.1okok
codex.1.0~rc4okok
cohttp-eio.6.3.0okok
cohttp-lwt-unix.4.0.0okok
cohttp-lwt-unix.6.0.0okok
cohttp-lwt-unix.6.3.0okok
cohttp-lwt.4.0.0okok
cohttp-lwt.6.0.0okok
cohttp-lwt.6.3.0okok
cohttp.4.0.0okok
cohttp.6.0.0okok
cohttp.6.3.0okok
color.0.3.0okok
compiler-cloning.enabledok—
conduit-lwt-unix.1.3.0okok
conduit-lwt-unix.6.2.3okok
conduit-lwt-unix.8.0.0okok
conduit-lwt.1.3.0okok
conduit-lwt.6.2.3okok
conduit-lwt.8.0.0okok
conduit.1.3.0okok
conduit.6.2.3okok
conduit.8.0.0okok
conf-autoconf.1ok—
conf-bap-llvm.1.8failedcascade
conf-bash.1ok—
conf-binaryen.1ok—
conf-binutils.0.3okok
conf-c++.1.0ok—
conf-cairo.1ok—
conf-capnproto.2ok—
conf-clang.2ok—
conf-cmake.1ok—
conf-env-travis.1ok—
conf-ffmpeg.1ok—
conf-findutils.1ok—
conf-g++.1.0ok—
conf-gcc.1.0ok—
conf-git.1.1ok—
conf-gmp-powm-sec.4ok—
conf-gmp.5ok—
conf-graphviz.0.1ok—
conf-gtk2.1ok—
conf-gtk3.18ok—
conf-gtk4.2ok—
conf-gtksourceview.2failed—
conf-libcurl.2ok—
conf-libev.4-13okok
conf-libffi.2.0.0ok—
conf-libfuse3.1ok—
conf-libpcre.2failed—
conf-libpcre2-8.2ok—
conf-libseccomp.1ok—
conf-libssl.4ok—
conf-libxcursor.1ok—
conf-libxi.1ok—
conf-libxinerama.1ok—
conf-libxrandr.1ok—
conf-linux-libc-dev.0ok—
conf-llvm-static.19ok—
conf-m4.1ok—
conf-mesa.1ok—
conf-perl-ipc-system-simple.3ok—
conf-perl-string-shellquote.3ok—
conf-perl.2ok—
conf-pkg-config.5ok—
conf-postgresql.2ok—
conf-rust-2018.1ok—
conf-sqlite3.1ok—
conf-which.1ok—
conf-zlib.1ok—
conf-zmq.0.1ok—
conf-zstd.1.3.8ok—
config-file.1.2.2okok
containers-data.3.18okok
containers.3.18okok
contract.0.2.0okok
core.v0.13.0okok
core.v0.17.2okok
core_kernel.v0.13.1okok
core_kernel.v0.14.2okok
core_kernel.v0.17.0okok
core_unix.v0.17.1okok
cppo.1.8.0okok
cpu.2.0.0okok
crunch.4.1.0okok
cryptokit.1.21.1okok
csexp.1.5.1okok
csexp.1.5.2okok
cstruct-async.6.2.0okok
cstruct-lwt.6.3.0okok
cstruct-unix.6.3.0okok
cstruct.5.2.0okok
cstruct.6.2.0okok
cstruct.6.3.0okok
csv.2.4okok
ctypes-foreign.0.24.0okok
ctypes.0.24.0okok
cudd.0.1.3okok
cudf.0.10okok
curl.0.10.0okok
curl_lwt.0.10.0okok
current.0.8.0okok
current_docker.0.8.0okok
current_git.0.8.0okok
current_github.0.8.0okok
current_gitlab.0.8.0okok
current_incr.0.6.1okok
current_rpc.0.8.0okok
current_slack.0.8.0okok
current_ssh.0.8.0okok
current_web.0.8.0okok
data-encoding.1.0.1okok
decompress.0.8.1okok
decompress.1.6.1okok
deepseek.0.1.0okok
diet.0.4okok
diffast-api.0.4okok
diffast-cli.0.4okok
diffast-core.0.4okok
diffast-etc.0.4okok
diffast-git-cli.0.4okok
diffast-git.0.4okok
diffast-langs-common.0.4okok
diffast-langs-cpp-parsing.0.4okok
diffast-langs-cpp-spec.0.4okok
diffast-langs-cpp.0.4okok
diffast-langs-fortran-parsing.0.4okok
diffast-langs-fortran-spec.0.4okok
diffast-langs-fortran.0.4okok
diffast-langs-java-parsing.0.4okok
diffast-langs-java-spec.0.4okok
diffast-langs-java.0.4okok
diffast-langs-python-parsing.0.4okok
diffast-langs-python-spec.0.4okok
diffast-langs-python.0.4okok
diffast-langs-verilog-parsing.0.4okok
diffast-langs-verilog-spec.0.4okok
diffast-langs-verilog.0.4okok
diffast-misc.0.4okok
diffast.0.4okok
digestif.1.3.1okok
diskuvbox.0.2.0okok
dns-client-mirage.10.2.6okok
dns-client.10.2.6okok
dns.10.2.6okok
docfd.13.1.3okok
dockerfile-cmd.8.4.5okok
dockerfile-opam.8.4.5okok
dockerfile.8.4.5okok
doctor.0.4.0okok
dolmen.0.10okok
dolmen_loop.0.10okok
dolmen_model.0.10okok
dolmen_type.0.10okok
domain-local-await.1.0.1okok
domain-name.0.5.0okok
domain_shims.0.1.0okok
domainslib.0.5.2okok
dose3.7.0.0okok
down.0.4.0okok
duff.0.5okok
dune-build-info.3.21.1okok
dune-build-info.3.23.1okok
dune-build-info.3.24.2okok
dune-compiledb.0.6.0okok
dune-configurator.2.9.3okok
dune-configurator.3.21.1okok
dune-configurator.3.22.2okok
dune-configurator.3.23.1okok
dune-configurator.3.24.2okok
dune-glob.3.24.2okok
dune-private-libs.3.21.1okok
dune-private-libs.3.23.1okok
dune-private-libs.3.24.2okok
dune-rpc-lwt.3.24.2okok
dune-rpc.3.24.2okok
dune-site.3.21.1okok
dune-site.3.23.1okok
dune-site.3.24.2okok
dune.2.9.3okok
dune.3.21.1okok
dune.3.22.2okok
dune.3.23.1okok
dune.3.24.2okok
duras.2.1.1okok
duration.0.3.1okok
dyn.3.21.1okok
dyn.3.23.1okok
dyn.3.24.2okok
dypgen.0.2.1okok
easy-format.1.3.3okok
easy-format.1.3.4okok
eio.1.6okok
eio_linux.1.6okok
eio_main.1.6okok
eio_posix.1.6okok
either.1.0.0okok
eliom.12.1.0okok
emile.1.1okok
encore.0.8.1okok
eqaf.0.10okok
eqaf.0.9okok
ethernet.3.2.0okok
exenum.0.88okok
expect_test_helpers_core.v0.17.0okok
extlib.1.8.0okok
extunix.0.4.4okok
ez_file.0.5.0okok
ezcurl-lwt.0.4okok
ezcurl.0.4okok
ezjsonm.1.3.0okok
ezxmlm.1.1.0okok
faraday.0.8.2okok
farith.0.1okok
ffmpeg-av.1.4.0okok
ffmpeg-avcodec.1.4.0okok
ffmpeg-avdevice.1.4.0okok
ffmpeg-avfilter.1.4.0okok
ffmpeg-avutil.1.4.0okok
ffmpeg-swresample.1.4.0okok
ffmpeg-swscale.1.4.0okok
ffmpeg.1.4.0okok
fieldslib.v0.13.0okok
fieldslib.v0.14.0okok
fieldslib.v0.17.0okok
fileutils.0.6.6okok
fix.20250919okok
flux.0.0.1~beta8okok
fmlib_browser.0.6.2okok
fmlib_js.0.6.2okok
fmlib_std.0.6.2okok
fmt.0.11.0okok
forcamla.0.4.0okok
fpath.0.7.3okok
frama-c.33.0okok
fs-io.3.21.1okok
fs-io.3.23.1okok
fs-io.3.24.2okok
fsevents-lwt.0.3.0okok
fsevents.0.3.0okok
fuse3.3.10.0.1okok
gel.v0.17.0okok
gen.1.1okok
gen_js_api.1.1.7okok
gendarme-csv.0.6.0okok
gendarme-json.0.6.0okok
gendarme-toml.0.6.0okok
gendarme-yaml.0.6.0okok
gendarme-yojson.0.6.0okok
gendarme.0.6.0okok
gg.1.0.0okok
git-mirage.3.18.0okok
git-paf.3.18.0okok
git-unix.3.18.0okok
git.3.18.0okok
github-data.4.5.1okok
github-unix.4.5.1okok
github.4.5.1okok
gitlab-unix.0.1.8okok
gitlab.0.1.8okok
gmap.0.3.0okok
goblint-cil.2.0.1okok
goblint-cil.2.1.1okok
goblint.2.1.0okok
goblint.2.8.0okok
gospel.0.3.1okok
grace.0.3.0okok
graphlib.2.5.0okok
h1.1.0.0okok
h2.0.13.0okok
happy-eyeballs-lwt.2.0.2okok
happy-eyeballs-mirage.2.0.2okok
happy-eyeballs.2.0.2okok
hc.0.5okok
hegel.0.25.0okok
hevea.2.38okok
hex.1.5.0okok
hkdf.1.0.4okok
hl_yaml.1.0.0okok
hmap.0.8.1okok
hpack.0.13.0okok
htmlit.0.2.0okok
http.6.0.0okok
http.6.3.0okok
httpun-types.0.2.0okok
hxd.0.5.0okok
idds.0.2okok
inotify.2.6okok
int_repr.v0.17.0okok
integers.0.8.0okok
interval-map.0.2.1okok
io-page.3.0.0okok
iomux.0.4okok
iostream.0.3okok
ipaddr-cstruct.5.6.2okok
ipaddr-sexp.5.6.2okok
ipaddr.2.9.0okok
ipaddr.5.6.2okok
irmin-fs.3.11.0okok
irmin-watcher.0.5.0okok
irmin.3.11.0okok
iter.1.9okok
jane-street-headers.v0.13.0okok
jane-street-headers.v0.14.0okok
jane-street-headers.v0.16.0okok
jane-street-headers.v0.17.0okok
jane_rope.v0.17.0okok
jbuilder.1.0+beta20.2okok
js_of_ocaml-compiler.4.0.0okok
js_of_ocaml-compiler.6.4.1okok
js_of_ocaml-lwt.4.0.0okok
js_of_ocaml-lwt.6.4.1okok
js_of_ocaml-ocamlbuild.5.0okok
js_of_ocaml-ppx.4.0.0okok
js_of_ocaml-ppx.6.4.1okok
js_of_ocaml-ppx_deriving_json.6.4.1okok
js_of_ocaml-toplevel.4.0.0okok
js_of_ocaml-toplevel.6.4.1okok
js_of_ocaml-tyxml.4.0.0okok
js_of_ocaml-tyxml.6.4.1okok
js_of_ocaml.4.0.0okok
js_of_ocaml.6.4.1okok
json-data-encoding-bson.1.0.1okok
json-data-encoding.0.11okok
json-data-encoding.1.0.1okok
jsonkit-melange.1.1.0okfailed
jsonkit.1.1.0okfailed
jsonm.1.0.2okok
jsonrpc.1.27.0okok
jsonrpc.1.28.0-506~previewokok
jsonschema.0.1.0okok
jsont.0.4.0okok
jst-config.v0.13.0okok
jst-config.v0.14.1okok
jst-config.v0.16.0okok
jst-config.v0.17.0okok
kdf.1.1.2okok
ke.0.6okok
keyseq.0.1.0okok
kind2.3.0.0okok
ktdeque.0.2.0failedcascade
lablgtk-extras.1.6cascadecascade
lablgtk.2.18.14cascadecascade
lablgtk3.3.1.5-1okok
lambda-term.3.4.1okok
lambda.0.1.7okok
landmarks-ppx.1.7okok
landmarks.1.7okok
lascar.0.7.0okfailed
learn-ocaml.1.0.0okok
ledit.2.08okok
lem.2026-05-01okok
libsail.0.20.3okok
linenoise.1.5.1okok
linksem.0.8okok
linol-lwt.0.12okok
linol.0.12okok
lintcstubs-arity.0.5.2okok
lintcstubs-gen.0.4.7okok
lintcstubs.0.4.7okok
liquid_interpreter.0.1.4okok
liquid_ml.0.1.4okok
liquid_parser.0.1.4okok
liquid_std.0.1.4okok
liquid_syntax.0.1.4okok
liquidsoap-js.2.4.6okok
liquidsoap-lang.2.4.6okok
liquidsoap.2.4.6okok
llvm.19-staticokok
logs-ppx.0.2.0okok
logs-syslog.0.5.0okok
logs.0.10.0okok
logs.0.7.0okok
lru.0.3.1okok
lsp.1.28.0-506~previewokok
lstar-rocq.3.0okok
lstar.3.0okok
luna.0.1.0okok
lwd.0.5okok
lwt-dllist.1.1.0okok
lwt.5.10.1okok
lwt.5.9.1okok
lwt.6.1.2okok
lwt_direct.6.0.0okok
lwt_log.1.1.2okok
lwt_ppx.6.1.0okok
lwt_react.1.2.0okok
lwt_ssl.1.1.3okok
lwt_ssl.1.2.0okok
macaddr-cstruct.5.6.2okok
macaddr.5.6.2okok
magic-mime.1.3.1okok
markup-lwt.0.5.0okok
markup.1.0.3okok
mazeppa.0.7.2okok
mccs.1.1+19okok
mcrunch.0.0.5okok
mdx.2.7.0okok
melange-edn.0.5.0okok
melange-json-native.2.0.0okok
melange.7.0.1-414okok
melange.7.0.1-55okok
mem_usage.0.2.0okok
memprof-limits.0.3.0okok
menhir-lsp.0.5.0okok
menhir.20211012okok
menhir.20250912okok
menhir.20260209okok
menhirCST.20250912okok
menhirCST.20260209okok
menhirGLR.20260209okok
menhirLib.20211012okok
menhirLib.20250912okok
menhirLib.20260209okok
menhirSdk.20211012okok
menhirSdk.20250912okok
menhirSdk.20260209okok
menhirformat.0.3.0okok
merlin-extend.0.6.2okok
merlin-lib.5.8.1-505okok
metadata.0.3.2okok
metapp.0.4.4failedcascade
metrics.0.5.0okok
mew.0.1.0okok
mew_vi.0.5.0okok
migra.2.2.0okok
mimic-happy-eyeballs.0.0.10okok
mimic.0.0.10okok
minisat.0.6okok
miou.0.10.1okok
mirage-crypto-ec.0.11.3okok
mirage-crypto-ec.1.2.0okok
mirage-crypto-ec.2.4.1okok
mirage-crypto-pk.0.11.3okok
mirage-crypto-pk.1.2.0okok
mirage-crypto-pk.2.4.1okok
mirage-crypto-rng-lwt.0.11.3okok
mirage-crypto-rng-lwt.1.2.0okok
mirage-crypto-rng.0.11.3okok
mirage-crypto-rng.1.2.0okok
mirage-crypto-rng.2.4.1okok
mirage-crypto.0.11.3okok
mirage-crypto.1.2.0okok
mirage-crypto.2.4.1okok
mirage-flow.5.0.0okok
mirage-kv.6.1.1okok
mirage-mtime.5.2.0okok
mirage-net.4.0.0okok
mirage-ptime.5.2.0okok
mirage-runtime.4.11.2okok
mirage-sleep.4.1.0okok
mirage.4.11.2okok
mkernel.0.0.5okok
mm.0.8.6okok
mmap.1.2.0okok
mnet-cli.0.0.8okok
mnet-dns.0.0.8okok
mnet-happy-eyeballs.0.0.8okok
mnet-ssh.0.0.8okok
mnet-tls.0.0.8okok
mnet.0.0.8okok
mnottui.0.0.2okok
mnotty.0.0.2okok
monads.2.5.0okok
mparser.1.2.3okok
msts.0.1.0okok
mtime.2.2.0okok
mula.0.1.2okok
multicore-magic.2.3.2okok
multipart_form-lwt.0.8.0okok
multipart_form.0.8.0okok
nel.1.0.1okok
netkat.0.1failedcascade
nice_parser.1.0.0okok
not-ocamlfind.0.15okok
nottui-miou.0.0.2okok
nottui-unix.0.5okok
nottui.0.5okok
notty-community.0.2.4okok
notty-miou.0.0.2okok
notty.0.2.3okok
num.1.6okok
oasis.0.4.11okok
ocaml-ai-sdk.0.6.3okok
ocaml-base-compiler.4.11.2okok
ocaml-base-compiler.4.12.1okok
ocaml-base-compiler.4.14.4okok
ocaml-base-compiler.5.0.0okok
ocaml-base-compiler.5.1.1okok
ocaml-base-compiler.5.3.0ok—
ocaml-base-compiler.5.5.0ok—
ocaml-base-compiler.5.5.1ok—
ocaml-compiler-libs.v0.12.4okok
ocaml-compiler-libs.v0.17.0okok
ocaml-compiler.5.3.0okok
ocaml-compiler.5.5.0okok
ocaml-compiler.5.5.1okok
ocaml-config.1ok—
ocaml-config.2ok—
ocaml-config.3ok—
ocaml-manual.5.5.0okok
ocaml-migrate-parsetree.1.8.0okok
ocaml-options-vanilla.1ok—
ocaml-protoc.4.1okok
ocaml-secondary-compiler.4.14.2ok—
ocaml-solo5.1.3.4okok
ocaml-src.5.5.1okok
ocaml-syntax-shims.1.0.0okok
ocaml-version.3.5.0okok
ocaml-version.4.1.4okok
ocaml.4.11.2ok—
ocaml.4.12.1ok—
ocaml.4.14.4ok—
ocaml.5.0.0ok—
ocaml.5.1.1ok—
ocaml.5.3.0ok—
ocaml.5.5.0ok—
ocaml.5.5.1ok—
ocaml_intrinsics.v0.17.0okok
ocaml_intrinsics_kernel.v0.17.2okok
ocamlbuild.0.16.1okok
ocamlc-loc.3.24.2okok
ocamldot.1.1okok
ocamlfind-secondary.1.9.6okok
ocamlfind.1.9.6okok
ocamlfind.1.9.8okok
ocamlfind.1.9.9~previewokok
ocamlformat-rpc-lib.0.29.0okok
ocamlformat.0.24.1okok
ocamlgraph.2.2.0okok
ocamlgrep-lib.0.1.3okok
ocamlgrep.0.1.3okok
ocamlify.0.0.1okok
ocamlmod.0.1.1okok
ocf.1.0.0okok
ocgtk.0.1~preview2okok
ocp-indent-nlfork.1.5.5okok
ocp-indent.1.9.0okok
ocp-ocamlres.0.4okok
ocplib-endian.1.2okok
ocplib-json-typed-browser.0.7.1okok
ocplib-json-typed.0.7.1okok
ocplib-simplex.0.4.1okok
ocplib-simplex.0.5.1okok
ocplib_stuff.0.4.0okok
ocsigen-i18n.4.0.0okok
ocsigen-ppx-rpc.1.1okok
ocsigen-start.8.0.0okok
ocsigen-toolkit.4.3.0okok
ocsigenserver.7.0.0okok
ocsigenserver.8.0.0okok
ocsipersist-lib.2.1.0okok
ocsipersist-lib.3.1.2okok
ocsipersist-pgsql-config.2.1.0okok
ocsipersist-pgsql.2.1.0okok
ocsipersist.2.1.0okok
ocsipersist.3.1.2okok
octavius.1.2.2okok
odig.0.1.0okok
odoc-depgraph.1.0okok
odoc-driver.3.2.1okok
odoc-driver.3.2.1+master.1791558161.c213704okok
odoc-md.3.2.1okok
odoc-md.3.2.1+master.1791558161.c213704okok
odoc-parser.1.0.1okok
odoc-parser.2.0.0okok
odoc-parser.3.2.1okok
odoc-parser.3.2.1+master.1791558161.c213704okok
odoc.2.1.1okok
odoc.3.2.1okok
odoc.3.2.1+master.1791558161.c213704okok
ogre.2.5.0okok
ohex.0.2.0okok
ojs.1.1.7okok
oktree.0.2.4okok
omake.0.10.7okok
omd.1.3.1okok
omd.1.3.2okok
omd.2.0.0~alpha4okok
omod.0.0.5okok
omtl.0.2okok
opam-0install-cudf.0.5.0okok
opam-client.2.6.1okok
opam-core.2.6.1okok
opam-file-format.2.2.0okok
opam-format.2.6.1okok
opam-minver.0.2.1okok
opam-monorepo.0.5.0okok
opam-publish.3.0.1okok
opam-repository.2.6.1okok
opam-solver.2.6.1okok
opam-state.2.6.1okok
opatch.3.1.2okok
open.0.2.1okok
optint.0.3.0okok
orb.1.1.0okok
ordering.3.21.1okok
ordering.3.23.1okok
ordering.3.24.2okok
ortac-core.0.8.0okok
ortac-runtime.0.8.0okok
ortac-wrapper.0.8.0okok
ortools.9.15.0-2okok
oseq.0.5.1okok
otp.0.3okok
ott.0.34okok
ounit.2.2.7okok
ounit2.2.2.7okok
pacomb.1.4.4okok
paf.0.8.0okok
parsexp.v0.13.0okok
parsexp.v0.14.2okok
parsexp.v0.16.0okok
parsexp.v0.17.0okok
patch.3.1.2okok
patricia-tree.0.15.0okok
pbkdf.1.2.0okok
pbrt.4.1okok
pcre2.8.0.4okok
pecu.0.7okok
pgn_to_tex.0.0.1-rc.2okok
pgocaml.4.4.0okok
pgocaml_ppx.4.4.0okok
pp.2.0.0okok
pp_loc.2.1.0okok
pprint.20230830okok
ppx_assert.v0.13.0okok
ppx_assert.v0.14.0okok
ppx_assert.v0.16.0okok
ppx_assert.v0.17.0okok
ppx_bap.v0.14.0okok
ppx_base.v0.13.0okok
ppx_base.v0.14.0okok
ppx_base.v0.16.0okok
ppx_base.v0.17.0okok
ppx_bench.v0.13.0okok
ppx_bench.v0.14.1okok
ppx_bench.v0.17.1okok
ppx_bin_prot.v0.13.0okok
ppx_bin_prot.v0.14.0okok
ppx_bin_prot.v0.17.1okok
ppx_blob.0.9.0okok
ppx_cold.v0.13.0okok
ppx_cold.v0.14.0okok
ppx_cold.v0.16.0okok
ppx_cold.v0.17.0okok
ppx_compare.v0.13.0okok
ppx_compare.v0.14.0okok
ppx_compare.v0.16.0okok
ppx_compare.v0.17.0okok
ppx_cstruct.5.2.0okok
ppx_cstruct.6.3.0okok
ppx_custom_printf.v0.13.0okok
ppx_custom_printf.v0.14.1okok
ppx_custom_printf.v0.17.0okok
ppx_derivers.1.2.1okok
ppx_deriving.5.0okok
ppx_deriving.6.2.0okok
ppx_deriving_hash.0.1.4okok
ppx_deriving_yaml.0.5.0okok
ppx_deriving_yojson.3.10.0okok
ppx_diff.v0.17.1okok
ppx_disable_unused_warnings.v0.17.0okok
ppx_enumerate.v0.13.0okok
ppx_enumerate.v0.14.0okok
ppx_enumerate.v0.16.0okok
ppx_enumerate.v0.17.0okok
ppx_expect.v0.13.1okok
ppx_expect.v0.14.0okok
ppx_expect.v0.14.2okok
ppx_expect.v0.16.2okok
ppx_expect.v0.17.3okok
ppx_expect_nobase.0.17.3.2okok
ppx_factory.0.2.0okok
ppx_fail.v0.13.0okok
ppx_fields_conv.v0.13.0okok
ppx_fields_conv.v0.14.2okok
ppx_fields_conv.v0.17.0okok
ppx_fixed_literal.v0.14.0okok
ppx_fixed_literal.v0.17.0okok
ppx_globalize.v0.16.0okok
ppx_globalize.v0.17.2okok
ppx_hash.v0.13.0okok
ppx_hash.v0.14.0okok
ppx_hash.v0.16.0okok
ppx_hash.v0.17.0okok
ppx_hegel_compat.0.25.0okok
ppx_hegel_test.0.25.0okok
ppx_here.v0.13.0okok
ppx_here.v0.14.0okok
ppx_here.v0.16.0okok
ppx_here.v0.17.0okok
ppx_ignore_instrumentation.v0.17.0okok
ppx_inline_test.v0.13.1okok
ppx_inline_test.v0.14.1okok
ppx_inline_test.v0.16.1okok
ppx_inline_test.v0.17.1okok
ppx_inline_test_nobase.v0.17.0.3okok
ppx_interact.0.2.0okok
ppx_irmin.3.11.0okok
ppx_jane.v0.13.0okok
ppx_jane.v0.14.0okok
ppx_jane.v0.17.0okok
ppx_js_style.v0.13.0okok
ppx_js_style.v0.14.1okok
ppx_js_style.v0.17.1okok
ppx_let.v0.13.0okok
ppx_let.v0.14.0okok
ppx_let.v0.17.1okok
ppx_log.v0.17.0okok
ppx_make.0.3.4okok
ppx_marshal.0.6.0okok
ppx_marshal_ext.0.6.0okok
ppx_matches.0.2.0okok
ppx_minidebug.3.0.0okok
ppx_mixins.0.2.0okok
ppx_module_timer.v0.13.0okok
ppx_module_timer.v0.14.0okok
ppx_module_timer.v0.17.0okok
ppx_optcomp.v0.13.0okok
ppx_optcomp.v0.14.0okok
ppx_optcomp.v0.14.3okok
ppx_optcomp.v0.16.0okok
ppx_optcomp.v0.17.1okok
ppx_optional.v0.13.0okok
ppx_optional.v0.14.0okok
ppx_optional.v0.17.0okok
ppx_pipebang.v0.13.0okok
ppx_pipebang.v0.14.0okok
ppx_pipebang.v0.17.0okok
ppx_protocol_conv.5.2.3okok
ppx_protocol_conv_xmlm.5.2.3okok
ppx_repr.0.8.0okok
ppx_sexp_conv.v0.13.0okok
ppx_sexp_conv.v0.14.1okok
ppx_sexp_conv.v0.14.3okok
ppx_sexp_conv.v0.16.0okok
ppx_sexp_conv.v0.17.1okok
ppx_sexp_message.v0.13.0okok
ppx_sexp_message.v0.14.1okok
ppx_sexp_message.v0.17.0okok
ppx_sexp_value.v0.13.0okok
ppx_sexp_value.v0.14.0okok
ppx_sexp_value.v0.17.0okok
ppx_stable.v0.13.0okok
ppx_stable.v0.14.1okok
ppx_stable.v0.17.1okok
ppx_stable_witness.v0.17.0okok
ppx_string.v0.14.1okok
ppx_string.v0.17.0okok
ppx_string_conv.v0.17.0okok
ppx_string_interpolation.1.1.0okok
ppx_subliner.0.2.2okok
ppx_tools.6.6okok
ppx_tools_versioned.5.4.0okok
ppx_tydi.v0.17.1okok
ppx_typerep_conv.v0.13.0okok
ppx_typerep_conv.v0.14.2okok
ppx_typerep_conv.v0.17.1okok
ppx_variants_conv.v0.13.0okok
ppx_variants_conv.v0.14.2okok
ppx_variants_conv.v0.17.1okok
ppx_yojson.1.3.0okok
ppx_yojson_conv.v0.17.1okok
ppx_yojson_conv_lib.v0.17.0okok
ppxlib.0.13.0okok
ppxlib.0.15.0okok
ppxlib.0.25.1okok
ppxlib.0.35.0okok
ppxlib.0.39.0okok
ppxlib_jane.v0.17.4okok
pratter.5.0.2okok
prelude.0.5okok
prettym.0.0.5okok
printbox-html.0.12okok
printbox-md.0.12okok
printbox-text.0.12okok
printbox.0.12okok
progress.0.5.0okok
prometheus-app.2.0okok
prometheus-lwt.2.0okok
prometheus-reporter.2.0okok
prometheus.2.0okok
promise_jsoo.0.4.3okok
protocol_version_header.v0.13.0okok
protocol_version_header.v0.17.0okok
psmt2-frontend.0.4.0okok
psq.0.2.1okok
ptime.1.2.0okok
publish.0.3.4+transitionokok
qcheck-core.0.25okok
qcheck-core.0.91okok
qrc.0.2.0okok
randomconv.0.2.0okok
rawlink-lwt.2.1okok
rawlink.2.1okok
raygui.2.2.2okok
raylib.2.2.2okok
re.1.11.0okok
re.1.12.0okok
re.1.13.2okok
re.1.14.0okok
re2.v0.17.0okok
react.1.2.2okok
reactiveData.0.3.0okok
reactiveData.0.3.1okok
reason.3.18.0okok
regex_parser_intf.v0.17.0okok
regular.2.5.0okok
repr.0.8.0okok
res.5.0.2okok
resource-pooling.1.3okok
result.1.5okok
rfsm.2.3okok
rocq-core.9.3.0okok
rocq-prover.meta.1okok
rocq-runtime.9.3.0okok
rocq-stdlib.9.2.0okok
routes.2.0.0okok
rresult.0.7.0okok
rtop.3.18.0okok
safepass.3.1okok
sail.0.20.3okok
sail_c_backend.0.20.3okok
sail_coq_backend.0.20.3okok
sail_doc_backend.0.20.3okok
sail_latex_backend.0.20.3okok
sail_lean_backend.0.20.3okok
sail_lem_backend.0.20.3okok
sail_maker.0.20.3okok
sail_ocaml_backend.0.20.3okok
sail_output.0.20.3okok
sail_smt_backend.0.20.3okok
sail_sv_backend.0.20.3okok
saturn.1.0.0okok
savvy.0.4.1okok
scfg.0.5okok
sedlex.3.8.1okok
sek.20260619okok
seq.baseokok
session-cohttp-lwt.0.5.0okok
session-cohttp.0.5.0okok
session.0.5.0okok
sexp_pretty.v0.17.0okok
sexplib.v0.13.0okok
sexplib.v0.14.0okok
sexplib.v0.16.0okok
sexplib.v0.17.0okok
sexplib0.v0.13.0okok
sexplib0.v0.14.0okok
sexplib0.v0.16.0okok
sexplib0.v0.17.0okok
sha.1.15.4okok
sherlodoc.3.2.1okok
sherlodoc.3.2.1+master.1791558161.c213704okok
slice.0.1.1okok
smtml.0.31.0okok
solo5.0.13.0ok—
soteria.0.2.3okok
spawn.v0.17.0okok
spdx_licenses.1.6.0okok
spectrum.1.0.0.alpha2okok
spectrum_capabilities.1.0.0.alpha2okok
spectrum_palette_ppx.1.0.0.alpha2okok
spectrum_palettes.1.0.0.alpha2okok
spectrum_tools.1.0.0.alpha2okok
spelll.0.4okok
splittable_random.v0.13.0okok
splittable_random.v0.14.0okok
splittable_random.v0.17.0okok
sqlite3.5.4.2okok
ssl.0.5.12okok
ssl.0.8.0okok
starpath.0.1.5okok
stdcompat.21.1okok
stdint.0.7.2okok
stdio.v0.13.0okok
stdio.v0.14.0okok
stdio.v0.16.0okok
stdio.v0.17.0okok
stdlib-shims.0.3.0okok
stdune.3.21.1okok
stdune.3.23.1okok
stdune.3.24.2okok
store-dict.0.1okok
store-pushqueue.0.1okok
store.0.2okok
stringext.1.6.0okok
swhid_core.0.1okok
syslog-message.1.2.0okok
systemverilog.0.0.2okok
syto.0.1.0okok
tar.3.5.0okok
tbls.0.4.0okok
tcpip.9.0.1okok
terminal.0.5.0okok
text-tags.2.5.0okok
textutils.v0.13.0okok
textutils.v0.17.0okok
thread-local-storage.0.2okok
thread-table.1.0.0okok
time_now.v0.13.0okok
time_now.v0.14.0okok
time_now.v0.16.0okok
time_now.v0.17.0okok
timedesc-json.3.1.2okok
timedesc-sexp.3.1.2okok
timedesc-tzdb.3.1.2okok
timedesc-tzlocal.3.1.2okok
timedesc.3.1.2okok
timezone.v0.17.0okok
timmy.1.1.5okok
tiny_httpd.0.22okok
tiny_httpd_eio.0.22okok
tls-async.2.1.3okok
tls-eio.2.1.3okok
tls-lwt.0.17.5okok
tls-lwt.2.1.3okok
tls-miou-unix.2.1.3okok
tls-mirage.2.1.3okok
tls.0.17.5okok
tls.2.1.3okok
tm-grammars.2.0.0okok
toml.7.1.0okok
top-closure.3.21.1okok
top-closure.3.23.1okok
top-closure.3.24.2okok
topkg.1.1.1okok
trace.0.12okok
transom.0.2.0okok
trie.1.0.0okok
tsort.2.2.0okok
tuntap.2.0.2okok
typerep.v0.13.0okok
typerep.v0.14.0okok
typerep.v0.17.1okok
tyxml.4.6.0okok
tyxml.5.0.0okok
uchar.0.0.2okok
ulex-camlp5.1.3okok
unionFind.20260226okok
unstrctrd.0.5okok
uopt.v0.17.0okok
uri-sexp.4.4.0okok
uri.4.4.0okok
uring.2.15.0okok
utcp.0.0.9okok
utop.2.17.0okok
uucp.18.0.0okok
uuidm.0.9.10okok
uunf.18.0.0okok
uuseg.18.0.0okok
uutf.1.0.4okok
uwt.0.3.3okok
variantslib.v0.13.0okok
variantslib.v0.14.0okok
variantslib.v0.17.0okok
vchan.6.0.2okok
vdom.0.3okok
vg.0.9.4okok
visitors.20260520okok
vlt.0.2.5okok
wasm_of_ocaml-compiler.6.4.1okok
why3.1.8.2okok
wol-eio.1.0okok
wol-mirage.1.0okok
wol.1.0okok
x509.0.16.5okok
x509.1.1.1okok
x509.1.2.0okok
xdg.3.24.2okok
xdge.1.0.0okok
xdge.1.1.0okok
xenstore.2.4.0okok
xenstore_transport.1.5.0okok
xml-light.2.5okok
xmlm.1.4.0okok
yaml.3.2.0okok
yojson.2.2.2okok
yojson.3.0.0okok
zanuda.2.1.0okok
zarith.1.14okok
zarith_stubs_js.v0.17.0okok
zed.3.2.3okok
zmq.6.0.0okok