| 5.3 | number of revdeps |
---|
ISO8601.0.2.6 | ☑ | 44 |
MlFront_Cli.2.1.4~prerel2 | ☒ | 0 |
OCanren-ppx.0.3.0 | ☒ | 2 |
OSCADml.0.2.3 | ☒ | 1 |
SourceCode_ASCII.0.1.0 | ☒ | 0 |
absolute.0.3 | ☒ | 0 |
alcotest.1.8.0 | ☒ | 833 |
alcotest-async.1.8.0 | ☒ | 5 |
alcotest-js.1.8.0 | ☒ | 0 |
alcotest-lwt.1.8.0 | ☒ | 126 |
alcotest-mirage.1.8.0 | ☒ | 0 |
alg_structs.0.1.3 | ☒ | 1 |
alg_structs_qcheck.0.1.3 | ☒ | 0 |
algaeff.2.0.0 | ☑ | 3 |
alonzo.0.4.0 | ☑ | 0 |
alt-ergo-plugin-ab-why3.2.6.0 | ☒ | 0 |
altgr-ergo.2.4.3 | ☒ | 0 |
ambient-context.0.1.0 | ☑ | 12 |
ambient-context-eio.0.1.0 | ☑ | 0 |
ambient-context-lwt.0.1.0 | ☑ | 0 |
anders.1.1.1 | ☑ | 0 |
ansi.0.7.0 | ☑ | 5 |
ansifmt.0.3.0 | ☑ | 0 |
antic.0.4.0 | ☒ | 4 |
apronext.1.0.4 | ☒ | 3 |
arb.0.4.0 | ☒ | 4 |
archetype.1.5.3 | ☑ | 0 |
argsh.0.1.0 | ☑ | 0 |
arrakis.1.0.0 | ☑ | 0 |
asai.0.3.1 | ☒ | 1 |
ask.0.2.0 | ☒ | 1 |
ask-integrator.0.2.0 | ☒ | 0 |
atd.2.16.0 | ☑ | 55 |
atdcpp.2.16.0 | ☑ | 0 |
atdd.2.16.0 | ☑ | 0 |
atdgen.2.16.0 | ☑ | 18 |
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 |
avro.0.1 | ☑ | 0 |
avro-compiler.0.1 | ☑ | 1 |
baby.20241204 | ☒ | 0 |
backoff.0.1.1 | ☑ | 28 |
baguette_sharp.2.2.1-1 | ☑ | 0 |
bare_encoding.0.3.1 | ☑ | 0 |
base32.1.0.0 | ☑ | 0 |
batteries.3.9.0 | ☑ | 55 |
beluga.1.1.2 | ☑ | 0 |
bencode.2.0 | ☑ | 6 |
bentov.1 | ☑ | 2 |
bigstring.0.3 | ☑ | 252 |
bigstring-unix.0.3 | ☑ | 1 |
bigstringaf.0.10.0 | ☒ | 3975 |
binsec.0.10.0 | ☒ | 0 |
bio_io.0.7.0 | ☒ | 0 |
biotk.0.3 | ☒ | 2 |
bitcoin.3.0 | ☒ | 3 |
bitcoin-cohttp-async.3.0 | ☒ | 0 |
bitcoin-cohttp-lwt.3.0 | ☒ | 0 |
bitcoin-ocurl.3.0 | ☒ | 0 |
bitlib.1.0 | ☑ | 0 |
bitstring.4.1.0 | ☑ | 11 |
bitwuzla.1.0.5 | ☒ | 1 |
bitwuzla-c.1.0.5 | ☒ | 2 |
bitwuzla-cxx.0.6.1 | ☒ | 3 |
bjack.0.1.6 | ☑ | 4 |
bls12-381.20.1 | ☒ | 220 |
blurhash.0.1.0 | ☑ | 0 |
bogue.20250224 | ☑ | 2 |
bogue-tutorials.0.2.0 | ☑ | 0 |
boltzgen.0.9.3 | ☒ | 0 |
brr-lwd.0.3 | ☒ | 0 |
buffer-pool.0.2 | ☑ | 0 |
bwd.2.3.0 | ☑ | 4 |
bytebuffer.0.0.2 | ☒ | 0 |
bz2.0.8.0 | ☑ | 12 |
ca-certs.1.0.0 | ☒ | 358 |
ca-certs-nss.3.108-1 | ☑ | 61 |
cactus.1.0.0 | ☒ | 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 |
calendars.1.0.0 | ☑ | 0 |
camelot.0.4.3 | ☒ | 0 |
camlp-streams.5.0.1 | ☑ | 3975 |
camlrack.0.10.1 | ☑ | 1 |
camomile.2.0.0 | ☒ | 246 |
camyll.0.4.3 | ☑ | 0 |
canary.0.0.1 | ☑ | 0 |
carbon.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 |
cborl.0.1.0 | ☑ | 0 |
ccbg.0.1 | ☒ | 0 |
cconv.0.5 | ☒ | 4 |
certify.0.3.3 | ☑ | 0 |
cf.0.5.0 | ☑ | 33 |
cf-lwt.0.5.0 | ☑ | 31 |
cfg.2.3.1 | ☑ | 1 |
charrua-client.2.0.0 | ☑ | 0 |
charrua-unix.2.0.0 | ☑ | 0 |
choice.0.4 | ☑ | 0 |
chrome-trace.3.17.2 | ☒ | 1 |
cid.0.1.0 | ☑ | 0 |
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.4.0 | ☒ | 1 |
clz.0.1.0 | ☑ | 1 |
cmdlang.0.0.9 | ☒ | 4 |
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 | ☒ | 0 |
cmon.0.2 | ☑ | 0 |
cohttp.6.0.0 | ☒ | 378 |
cohttp-async.6.0.0 | ☒ | 21 |
cohttp-bench.6.0.0 | ☒ | 0 |
cohttp-curl.6.0.0 | ☒ | 2 |
cohttp-curl-async.6.0.0 | ☒ | 0 |
cohttp-curl-lwt.6.0.0 | ☒ | 0 |
cohttp-eio.6.0.0 | ☒ | 4 |
cohttp-lwt.6.0.0 | ☒ | 304 |
cohttp-lwt-jsoo.6.0.0 | ☒ | 18 |
cohttp-lwt-unix.6.0.0 | ☒ | 277 |
cohttp-mirage.6.0.0 | ☒ | 4 |
cohttp-server-lwt-unix.6.0.0 | ☒ | 1 |
cohttp-top.6.0.0 | ☒ | 0 |
color.0.3.0 | ☑ | 0 |
colors.0.0.1 | ☑ | 11 |
comby-semantic.1.7.0 | ☒ | 1 |
conan-database.0.0.5 | ☒ | 6 |
conformist.0.8.1 | ☑ | 8 |
containers.3.15 | ☒ | 98 |
containers-data.3.15 | ☒ | 9 |
cookie.0.1.8 | ☒ | 3 |
coq.8.20.1 | ☒ | 12 |
coq-core.8.20.1 | ☒ | 18 |
coq-serapi.8.20.0+0.20.0 | ☒ | 0 |
coq-stdlib.8.20.1 | ☒ | 14 |
coqide.8.20.1 | ☒ | 0 |
coqide-server.8.20.1 | ☒ | 14 |
cosovo.3 | ☑ | 0 |
cpm.12.2.0 | ☑ | 16 |
cps_toolbox.0.3 | ☑ | 1 |
crc.2.2.0 | ☑ | 0 |
crontab.0.1 | ☑ | 0 |
crowbar.0.2.1 | ☒ | 47 |
csexp.1.5.2 | ☒ | 3975 |
ctypes.0.23.0 | ☒ | 571 |
ctypes-foreign.0.23.0 | ☒ | 567 |
cucumber.1.0.4 | ☑ | 0 |
cumulus.0.0.1 | ☑ | 0 |
curly.0.3.0 | ☑ | 4 |
current.0.7.1 | ☑ | 11 |
current-web-pipelines.0.1 | ☑ | 0 |
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_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 |
cvc5.1.2.0 | ☑ | 2 |
datalog.0.7 | ☑ | 0 |
dates_calc.0.0.7 | ☑ | 1 |
dbase4.0.1.5 | ☑ | 0 |
dblp.0.1.1 | ☑ | 0 |
dblp-api.0.1.1 | ☑ | 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 |
dedukti.2.7 | ☒ | 3 |
diff.1.0.2 | ☑ | 0 |
diffast.0.1.1 | ☒ | 0 |
diffast-langs-cpp.0.1.1 | ☒ | 1 |
diffast-langs-cpp-parsing.0.1.1 | ☒ | 3 |
diffast-langs-cpp-parsing-cli.0.1.1 | ☒ | 0 |
diffast-langs-cpp-spec.0.1.1 | ☒ | 2 |
diffast-langs-fortran.0.1.1 | ☒ | 1 |
diffast-langs-fortran-parsing.0.1.1 | ☒ | 3 |
diffast-langs-fortran-parsing-cli.0.1.1 | ☒ | 0 |
diffast-langs-fortran-spec.0.1.1 | ☒ | 2 |
diffast-langs-java.0.1.1 | ☒ | 1 |
diffast-langs-java-parsing.0.1.1 | ☒ | 3 |
diffast-langs-java-parsing-cli.0.1.1 | ☒ | 0 |
diffast-langs-java-spec.0.1.1 | ☒ | 2 |
diffast-langs-python.0.1.1 | ☒ | 1 |
diffast-langs-python-parsing.0.1.1 | ☒ | 3 |
diffast-langs-python-parsing-cli.0.1.1 | ☒ | 0 |
diffast-langs-python-spec.0.1.1 | ☒ | 2 |
diffast-langs-verilog.0.1.1 | ☒ | 1 |
diffast-langs-verilog-parsing.0.1.1 | ☒ | 3 |
diffast-langs-verilog-parsing-cli.0.1.1 | ☒ | 0 |
diffast-langs-verilog-spec.0.1.1 | ☒ | 2 |
directories.0.6 | ☑ | 0 |
diskuvbox.0.2.0 | ☒ | 10 |
dkml-c-probe.3.0.0 | ☑ | 0 |
dkml-component-staging-ocamlrun.4.12.1~v1.0.2 | ☑ | 2 |
dkml-dune-dsl.0.1.4 | ☑ | 1 |
dkml-dune-dsl-show.0.1.4 | ☑ | 0 |
dkml-install.0.5.3 | ☒ | 9 |
dkml-install-installer.0.5.3 | ☒ | 0 |
dkml-install-runner.0.5.3 | ☒ | 2 |
dkml-option-vcpkg.0.1.0 | ☒ | 0 |
dkml-package-console.0.5.3 | ☒ | 0 |
dkml-runtime-common.2.0.3 | ☒ | 0 |
dkml-workflows.1.2.0 | ☑ | 9 |
dmap.0.5 | ☑ | 2 |
dns.10.0.0 | ☒ | 74 |
dns-certify.10.0.0 | ☒ | 1 |
dns-cli.10.0.0 | ☒ | 0 |
dns-client.10.0.0 | ☒ | 62 |
dns-client-lwt.10.0.0 | ☒ | 33 |
dns-client-miou-unix.10.0.0 | ☒ | 2 |
dns-client-mirage.10.0.0 | ☒ | 40 |
dns-mirage.10.0.0 | ☒ | 5 |
dns-resolver.10.0.0 | ☒ | 1 |
dns-server.10.0.0 | ☒ | 3 |
dns-stub.10.0.0 | ☒ | 0 |
dns-tsig.10.0.0 | ☒ | 10 |
dnssec.10.0.0 | ☒ | 3 |
dockerfile.8.2.5 | ☒ | 8 |
dockerfile-cmd.8.2.5 | ☒ | 2 |
dockerfile-opam.8.2.5 | ☒ | 3 |
doculib.1.3.5 | ☑ | 0 |
doi2bib.0.6.2 | ☑ | 0 |
domain-local-await.1.0.1 | ☑ | 94 |
domain-local-timeout.1.0.1 | ☑ | 2 |
domainslib.0.5.1 | ☑ | 24 |
dose3.7.0.0 | ☒ | 8 |
dose3-extra.7.0.0 | ☒ | 0 |
dream-accept.0.1.0 | ☑ | 0 |
dream-cli.0.2.0 | ☑ | 0 |
dream-encoding.0.3.0 | ☑ | 0 |
dream-html.3.10.0 | ☑ | 1 |
dream-livereload.0.2.0 | ☑ | 0 |
dropbox.0.2 | ☑ | 1 |
dropbox_lwt_unix.0.2 | ☑ | 0 |
dssi.0.1.5 | ☑ | 4 |
dual.0.1.0 | ☑ | 0 |
dune-action-plugin.3.17.2 | ☒ | 0 |
dune-build-info.3.17.2 | ☒ | 179 |
dune-cargo-build.0.2.2 | ☑ | 1 |
dune-compiledb.0.6.0 | ☑ | 1 |
dune-configurator.3.17.2 | ☒ | 3975 |
dune-deps.1.4.0 | ☑ | 0 |
dune-glob.3.17.2 | ☒ | 2 |
dune-private-libs.3.17.2 | ☒ | 354 |
dune-rpc.3.17.2 | ☒ | 3 |
dune-rpc-lwt.3.17.2 | ☒ | 0 |
dune-site.3.17.2 | ☒ | 354 |
dyn.3.17.2 | ☒ | 369 |
earlybird.1.3.3 | ☑ | 0 |
easy-format.1.3.4 | ☑ | 3975 |
ego.0.0.6 | ☑ | 0 |
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 | ☑ | 414 |
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 |
embedded_ocaml_templates.0.8 | ☑ | 0 |
emoji.2.0.0 | ☑ | 0 |
equinoxe.0.2.0 | ☑ | 2 |
equinoxe-cohttp.0.2.0 | ☑ | 0 |
equinoxe-hlc.0.2.0 | ☑ | 0 |
erlang.0.0.14 | ☒ | 0 |
erssical.1.1.0 | ☑ | 0 |
esgg.20190322 | ☑ | 0 |
ethernet.3.2.0 | ☑ | 92 |
euler.0.1 | ☒ | 0 |
expect.0.1.0 | ☑ | 0 |
extlib.1.8.0 | ☑ | 45 |
extunix.0.4.3 | ☒ | 26 |
ez_api.2.1.0 | ☒ | 2 |
ezjs_fetch.0.3 | ☒ | 3 |
ezjs_idb.0.1.1 | ☑ | 0 |
ezjs_min.0.3.0 | ☑ | 11 |
ezjsonm-encoding.2.1.0 | ☒ | 0 |
farith.0.1 | ☒ | 5 |
fiber.3.7.0 | ☒ | 2 |
fiber-lwt.3.7.0 | ☒ | 0 |
file-rewriter.0.0.3 | ☒ | 1 |
fileutils.0.6.6 | ☑ | 292 |
flatunionfind.20241210 | ☒ | 0 |
flint.0.4.0 | ☒ | 6 |
fpath-base.0.2.2 | ☒ | 0 |
fpath-sexp0.0.2.2 | ☒ | 1 |
frama-c.30.0 | ☒ | 3 |
frama-clang.0.0.17 | ☒ | 0 |
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 |
fuseau-lwt.0.1 | ☒ | 0 |
gen.1.1 | ☑ | 3975 |
gen_js_api.1.1.4 | ☑ | 58 |
genspir.1.0.1 | ☑ | 1 |
geojson.0.2.0 | ☑ | 2 |
geojsone.0.2.0 | ☑ | 1 |
get_line.7.0.0 | ☑ | 1 |
github.4.4.1 | ☑ | 11 |
github-data.4.4.1 | ☑ | 12 |
github-jsoo.4.4.1 | ☑ | 0 |
github-unix.4.4.1 | ☑ | 8 |
gitlab.0.1.8 | ☑ | 6 |
gitlab-jsoo.0.1.8 | ☑ | 0 |
gitlab-unix.0.1.8 | ☑ | 4 |
globlon.1.0 | ☒ | 0 |
gluten.0.5.2 | ☒ | 52 |
gluten-async.0.5.2 | ☒ | 5 |
gluten-eio.0.5.2 | ☒ | 8 |
gluten-lwt.0.5.2 | ☒ | 38 |
gluten-lwt-unix.0.5.2 | ☒ | 30 |
gluten-mirage.0.5.2 | ☒ | 3 |
goblint.2.5.0 | ☒ | 0 |
gotd.0.1 | ☑ | 0 |
gpiod.0.7 | ☒ | 0 |
gpr.1.5.2 | ☒ | 0 |
graphics.5.1.2 | ☑ | 3975 |
graphv.0.1.1 | ☒ | 0 |
graphv_core.0.1.1 | ☒ | 3 |
graphv_core_lib.0.1.1 | ☒ | 10 |
graphv_font.0.1.1 | ☒ | 5 |
graphv_font_js.0.1.1 | ☒ | 2 |
graphv_font_stb_truetype.0.1.1 | ☒ | 2 |
graphv_gles2.0.1.1 | ☒ | 3 |
graphv_gles2_native.0.1.1 | ☒ | 1 |
graphv_gles2_native_impl.0.1.1 | ☒ | 2 |
graphv_webgl.0.1.1 | ☒ | 1 |
graphv_webgl_impl.0.1.1 | ☒ | 3 |
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 |
guile.1.0 | ☒ | 0 |
h1_parser.0.0.2 | ☒ | 0 |
h2.0.13.0 | ☒ | 64 |
h2-async.0.13.0 | ☒ | 2 |
h2-eio.0.13.0 | ☒ | 1 |
h2-lwt.0.13.0 | ☒ | 25 |
h2-lwt-unix.0.13.0 | ☒ | 23 |
h2-mirage.0.13.0 | ☒ | 0 |
hachis.20240918 | ☒ | 1 |
hardcaml-lua.0.0.1 | ☒ | 0 |
hashcons.1.4.0 | ☑ | 119 |
hc.0.4 | ☑ | 3 |
hector.20241208 | ☒ | 1 |
higlo.0.10.0 | ☑ | 25 |
hilite.0.4.0 | ☑ | 0 |
hpack.0.13.0 | ☒ | 73 |
html_of_jsx.0.0.4 | ☒ | 1 |
hts_shrink.2.1.2 | ☒ | 0 |
http.6.0.0 | ☒ | 381 |
http-cookie.4.3.0 | ☑ | 0 |
http-mirage-client.0.0.10 | ☑ | 1 |
http-multipart-formdata.3.1.0 | ☒ | 0 |
httph.0.1 | ☑ | 0 |
httpun-ws.0.2.0 | ☒ | 28 |
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 |
influxdb.0.3.0 | ☒ | 2 |
influxdb-async.0.3.0 | ☒ | 0 |
influxdb-lwt.0.3.0 | ☒ | 0 |
inotify.2.6 | ☑ | 38 |
inotify-eio.2.6 | ☑ | 0 |
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-bench.3.10.0 | ☒ | 0 |
irmin-mirage.3.10.0 | ☒ | 2 |
irmin-mirage-git.3.10.0 | ☒ | 0 |
irmin-mirage-graphql.3.10.0 | ☒ | 0 |
irmin-tezos.3.10.0 | ☒ | 5 |
irmin-watcher.0.5.0 | ☑ | 30 |
jekyll-format.0.3.4 | ☑ | 0 |
jext.0.1.0 | ☒ | 0 |
js_of_ocaml.6.0.1 | ☒ | 3975 |
js_of_ocaml-compiler.6.0.1 | ☒ | 3975 |
js_of_ocaml-lwt.6.0.1 | ☒ | 140 |
js_of_ocaml-ocamlbuild.5.0 | ☑ | 9 |
js_of_ocaml-ppx.6.0.1 | ☒ | 234 |
js_of_ocaml-ppx_deriving_json.6.0.1 | ☒ | 3 |
js_of_ocaml-toplevel.6.0.1 | ☒ | 15 |
js_of_ocaml-tyxml.6.0.1 | ☒ | 6 |
jsonoo.0.3.0 | ☑ | 0 |
jsonrpc.1.22.0 | ☑ | 7 |
jsonschema2atd.0.0.3 | ☑ | 0 |
junit.2.1.0 | ☑ | 8 |
junit_alcotest.2.1.0 | ☑ | 9 |
junit_ounit.2.1.0 | ☑ | 0 |
jupyter-kernel.0.8 | ☑ | 0 |
kcas.0.7.0 | ☑ | 3 |
kcas_data.0.7.0 | ☑ | 0 |
kicadsch.0.9.0 | ☑ | 1 |
knights_tour.0.0.5 | ☑ | 0 |
kqueue.0.4.0 | ☑ | 6 |
lab.0.1.8 | ☑ | 0 |
lablgtk3-extras.3.0.1 | ☑ | 0 |
lacaml.11.1.1 | ☑ | 12 |
ladspa.0.2.2 | ☑ | 5 |
lambda-term.3.3.2 | ☑ | 225 |
lambdapi.2.6.0 | ☒ | 0 |
landmarks.1.5 | ☒ | 1 |
landmarks-ppx.1.5 | ☒ | 0 |
lastfm.0.3.4 | ☒ | 4 |
leaflet.0.2 | ☒ | 0 |
letters.0.4.0 | ☒ | 3 |
libabsolute.0.1 | ☒ | 1 |
libbpf_maps.0.1.0 | ☒ | 1 |
libirmin.3.10.0 | ☒ | 0 |
linenoise.1.5.1 | ☑ | 24 |
linol.0.8 | ☑ | 2 |
linol-eio.0.8 | ☑ | 0 |
linol-lwt.0.8 | ☑ | 0 |
liquidsoap.2.3.1 | ☒ | 2 |
liquidsoap-js.2.3.1 | ☒ | 0 |
liquidsoap-lang.2.3.1 | ☒ | 6 |
liquidsoap-libs.2.3.0 | ☒ | 4 |
liquidsoap-libs-extra.2.3.0 | ☒ | 3 |
liquidsoap-mode.2.3.1 | ☒ | 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 |
loc.0.2.2 | ☒ | 2 |
logical.0.3.0 | ☑ | 0 |
lru_cache.0.4.0 | ☑ | 4 |
lsp.1.22.0 | ☑ | 4 |
lua-ml.0.9.4 | ☑ | 2 |
lua_parser.1.0.2 | ☑ | 0 |
lwd.0.3 | ☒ | 6 |
lwt.5.9.0 | ☒ | 3975 |
lwt_domain.0.3.0 | ☑ | 0 |
lwt_eio.0.5.1 | ☑ | 7 |
lwt_log.1.1.2 | ☑ | 464 |
lwt_ppx.5.8.0 | ☒ | 203 |
lwt_react.1.2.0 | ☒ | 254 |
lwt_retry.5.9.0 | ☒ | 0 |
make-random.0.1 | ☒ | 1 |
markup.1.0.3 | ☒ | 109 |
md2mld.0.7.0 | ☑ | 7 |
mdx.2.5.0 | ☑ | 126 |
mehari.0.4 | ☒ | 3 |
mehari-eio.0.4 | ☒ | 0 |
mehari-lwt-unix.0.4 | ☒ | 0 |
mehari-mirage.0.4 | ☒ | 1 |
melange.5.0.1-53 | ☒ | 22 |
melange-atdgen-codec-runtime.3.0.0 | ☒ | 0 |
melange-fetch.0.1.0 | ☑ | 2 |
melange-jest.0.1.1 | ☑ | 8 |
melange-json.1.3.0 | ☑ | 1 |
melange-json-native.1.3.0 | ☑ | 0 |
melange-moment.0.4.0 | ☑ | 1 |
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 |
memgraph.1.0 | ☑ | 1 |
memgraph_kitty.1.0 | ☑ | 0 |
memtrace.0.2.3 | ☑ | 27 |
menhir-secondary.20231231 | ☒ | 3981 |
merlin.5.4.1-503 | ☒ | 13 |
merlin-extend.0.6.2 | ☑ | 38 |
metadata.0.3.0 | ☒ | 4 |
metadb.1.0.2 | ☑ | 1 |
minicaml.0.3.1 | ☑ | 0 |
mirage-block-partition.0.2.0 | ☑ | 0 |
mirage-crypto-ec.2.0.0 | ☒ | 476 |
mirage-kv-unix.3.0.1 | ☑ | 0 |
mirage-qubes.2.0.0 | ☑ | 1 |
mirage-qubes-ipv4.2.0.0 | ☑ | 0 |
mirage-solo5.0.10.0 | ☒ | 531 |
mlbdd.0.7.3 | ☑ | 4 |
mnd.1.1.0 | ☑ | 0 |
mock.1.0.0 | ☒ | 1 |
mock-ounit.1.0.0 | ☒ | 1 |
monaco_jsoo.1.0.1 | ☑ | 0 |
monolith.20241126 | ☒ | 8 |
monomorphic.2.1.0 | ☑ | 1 |
moonpool-io.0.7 | ☒ | 0 |
moonpool-lwt.0.7 | ☒ | 0 |
morbig.0.11.0 | ☒ | 0 |
morsmall.0.2.0 | ☑ | 0 |
mparser.1.3 | ☒ | 14 |
mparser-re.1.3 | ☒ | 1 |
msgpck.1.7 | ☒ | 5 |
mugen.0.1.0 | ☑ | 0 |
mula.0.1.2 | ☑ | 0 |
multicore-bench.0.1.7 | ☑ | 4 |
multicore-magic.2.3.1 | ☑ | 28 |
multicore-magic-dscheck.2.3.1 | ☑ | 3 |
multihash-digestif.0.1.0 | ☑ | 1 |
mustache.3.3.0 | ☑ | 5 |
mustache-cli.3.3.0 | ☑ | 0 |
mutaml.0.3 | ☒ | 0 |
mysql8.1.0 | ☒ | 1 |
mysql_protocol.3.0.3 | ☒ | 0 |
nanoid.1.0.0 | ☑ | 0 |
ninja_utils.0.9.0 | ☑ | 1 |
niru.1.0.0 | ☑ | 0 |
node_of_ocaml.1.0.0 | ☑ | 0 |
nottui.0.3 | ☒ | 3 |
nottui-lwt.0.3 | ☒ | 0 |
nottui-pretty.0.3 | ☒ | 0 |
obatcher.1.1 | ☑ | 0 |
obuilder.0.6.0 | ☑ | 2 |
obuilder-spec.0.6.0 | ☑ | 4 |
ocaml-index.5.4.1-503 | ☒ | 0 |
ocaml-lsp-server.1.22.0 | ☑ | 12 |
ocaml-print-intf.1.2.0 | ☑ | 0 |
ocaml-protoc.3.1.1 | ☒ | 4 |
ocaml-syntax-shims.1.0.0 | ☑ | 3975 |
ocaml-version.3.7.3 | ☑ | 37 |
ocamlc-loc.3.17.2 | ☒ | 1 |
ocamldiff.1.2 | ☑ | 1 |
ocamlformat-rpc-lib.0.27.0 | ☒ | 4 |
ocamlfuse.2.7.1-cvs10 | ☒ | 1 |
ocamlify.0.1.0 | ☑ | 263 |
ocf.0.9.0 | ☑ | 38 |
ocf_ppx.0.9.0 | ☑ | 34 |
ockt.0.0.1 | ☒ | 0 |
ocluster.0.3.0 | ☑ | 0 |
ocluster-api.0.3.0 | ☑ | 3 |
ocluster-worker.0.3.0 | ☑ | 1 |
ocsigen-ppx-rpc.1.0 | ☑ | 1 |
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-sqlite.2.0.0 | ☒ | 5 |
ocsipersist-sqlite-config.2.0.0 | ☒ | 0 |
octavius.1.2.2 | ☑ | 1037 |
octez-alcotezt.20.1 | ☒ | 95 |
octez-distributed-internal.20.1 | ☒ | 94 |
octez-distributed-lwt-internal.20.1 | ☒ | 93 |
octez-smart-rollup-wasm-debugger-plugin.20.1 | ☒ | 3 |
odds.1.2 | ☑ | 0 |
odep.0.2.1 | ☑ | 0 |
odoc-parser.3.0.0~beta1 | ☒ | 14 |
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 |
oma.20240619 | ☒ | 0 |
omd.2.0.0~alpha4 | ☑ | 29 |
omigrate.0.3.2 | ☑ | 0 |
oneffs.0.1.0 | ☑ | 0 |
oniguruma.0.1.2 | ☑ | 3 |
opam-0install.0.5 | ☑ | 0 |
opam-0install-cudf.0.5.0 | ☑ | 7 |
opam-compiler.0.2.0 | ☑ | 0 |
opam-custom-install.0.3 | ☑ | 0 |
opam-dune-lint.0.6 | ☑ | 0 |
opam-monorepo.0.4.1 | ☒ | 2 |
openapi.1.0.1 | ☒ | 2 |
openapi-opium.1.0.1 | ☒ | 0 |
opentelemetry.0.11 | ☑ | 9 |
opentelemetry-client-cohttp-lwt.0.11 | ☑ | 0 |
opentelemetry-client-ocurl.0.11 | ☑ | 0 |
opentelemetry-cohttp-lwt.0.11 | ☑ | 0 |
opentelemetry-lwt.0.11 | ☑ | 1 |
opium.0.20.0 | ☒ | 20 |
opium-graphql.0.20.0 | ☒ | 0 |
opium-testing.0.20.0 | ☒ | 0 |
opomodoro.0.0.2 | ☑ | 0 |
opsian.0.1 | ☒ | 0 |
optiml-transport.0.0.1 | ☑ | 0 |
oranger.2.0.4 | ☒ | 0 |
ordering.3.17.2 | ☒ | 370 |
orgeat.0.0.1 | ☑ | 0 |
ortac-core.0.5.0 | ☒ | 2 |
ortac-dune.0.5.0 | ☒ | 0 |
ortac-qcheck-stm.0.5.0 | ☒ | 1 |
ortac-runtime.0.5.0 | ☒ | 3 |
ortac-runtime-qcheck-stm.0.5.0 | ☒ | 1 |
oseq.0.5.1 | ☑ | 15 |
oskel.0.3.0 | ☑ | 0 |
osnap.0.3.0 | ☑ | 0 |
ounit2.2.2.7 | ☑ | 3975 |
ounit2-lwt.2.2.7 | ☑ | 2 |
owi.0.1 | ☒ | 0 |
owork.0.1.1 | ☒ | 0 |
packstream.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 |
pardi.3.2.2 | ☑ | 0 |
parmap.1.2.5 | ☒ | 28 |
pbrt.3.1.1 | ☒ | 19 |
pbrt_services.3.1.1 | ☒ | 5 |
pbrt_yojson.3.1.1 | ☒ | 6 |
pcre2.8.0.3 | ☑ | 13 |
pf-qubes.0.1.1 | ☒ | 0 |
pgocaml_ppx.4.4.0 | ☑ | 1 |
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 |
piaf.0.2.0 | ☒ | 0 |
picasso.0.4.0 | ☒ | 2 |
picos.0.6.0 | ☒ | 7 |
picos_aux.0.6.0 | ☒ | 7 |
picos_io.0.6.0 | ☒ | 4 |
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 | ☒ | 6 |
plateau.0.1 | ☑ | 0 |
plist-xml.0.5.0 | ☑ | 2 |
plist-xml-lwt.0.3.0 | ☒ | 0 |
poll.0.3.1 | ☑ | 5 |
polly.0.4.1 | ☑ | 0 |
polynomial.0.4.0 | ☒ | 135 |
pomap.4.1.2 | ☑ | 0 |
portaudio_c_bindings.19.6.0 | ☒ | 0 |
portmidi.0.1 | ☑ | 0 |
posix-base.2.2.0 | ☑ | 15 |
posix-bindings.2.2.0 | ☑ | 0 |
posix-getopt.2.2.0 | ☑ | 1 |
posix-math2.2.2.0 | ☑ | 1 |
posix-signal.2.2.0 | ☑ | 0 |
posix-socket.2.2.0 | ☑ | 7 |
posix-socket-unix.2.2.0 | ☑ | 1 |
posix-time2.2.2.0 | ☑ | 4 |
posix-types.2.2.0 | ☑ | 7 |
posix-uname.2.2.0 | ☑ | 2 |
postgresql.5.1.3 | ☑ | 19 |
pp.2.0.0 | ☑ | 391 |
pp-binary-ints.1.0.0 | ☒ | 1 |
ppx_bitstring.4.1.0 | ☑ | 10 |
ppx_camlrack.0.10.1 | ☑ | 0 |
ppx_const.2.0.1 | ☑ | 0 |
ppx_decimal.1.0.2 | ☑ | 0 |
ppx_default.0.1.1 | ☑ | 0 |
ppx_deriving_cad.0.2.0 | ☑ | 0 |
ppx_deriving_encoding.0.4.0 | ☑ | 3 |
ppx_deriving_ezjsonm.0.4.0 | ☑ | 0 |
ppx_deriving_hash.0.1.2 | ☑ | 2 |
ppx_deriving_json_schema.1.0.1 | ☒ | 0 |
ppx_deriving_jsoo.0.3 | ☑ | 3 |
ppx_deriving_madcast.0.2 | ☒ | 0 |
ppx_deriving_qcheck.0.6 | ☑ | 1 |
ppx_deriving_scad.1.0.0 | ☑ | 0 |
ppx_deriving_yaml.0.4.0 | ☑ | 6 |
ppx_distr_guards.0.3 | ☑ | 1 |
ppx_factory.0.2.0 | ☑ | 0 |
ppx_fun.0.0.9 | ☑ | 0 |
ppx_getenv.2.1 | ☑ | 1 |
ppx_inline_alcotest.1.0.0 | ☑ | 2 |
ppx_interact.0.1.1 | ☒ | 0 |
ppx_make.0.3.4 | ☒ | 4 |
ppx_map.0.2.1 | ☑ | 0 |
ppx_mica.0.1.0 | ☒ | 0 |
ppx_monad.0.2.0 | ☑ | 0 |
ppx_monoid.0.3.3 | ☑ | 0 |
ppx_pyformat.0.1.2 | ☑ | 0 |
ppx_rapper.3.1.0 | ☒ | 2 |
ppx_rapper_lwt.3.1.0 | ☒ | 0 |
ppx_repr.0.7.0 | ☑ | 257 |
ppx_string_interpolation.1.0.1 | ☑ | 3 |
ppx_subliner.0.2.1 | ☒ | 0 |
ppx_test.1.8.0 | ☒ | 8 |
ppx_viewpattern.0.1.0 | ☑ | 0 |
ppx_yojson.1.3.0 | ☑ | 3 |
ppxlib.0.35.0 | ☒ | 3975 |
ppxlib-tools.0.35.0 | ☒ | 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-proptest.0.0.1 | ☑ | 1 |
prbnmcn-stats.0.0.8 | ☑ | 2 |
prbnmcn-ucb1.0.0.2 | ☑ | 0 |
prelude.0.5 | ☑ | 3 |
printbox.0.12 | ☑ | 12 |
printbox-ext-plot.0.12 | ☑ | 0 |
printbox-html.0.12 | ☑ | 2 |
printbox-md.0.12 | ☑ | 4 |
printbox-text.0.12 | ☑ | 10 |
progress.0.4.0 | ☑ | 238 |
prometheus-liquidsoap.2 | ☒ | 4 |
promise.1.1.2 | ☑ | 3 |
promise_jsoo.0.4.3 | ☑ | 1 |
promise_jsoo_lwt.0.4.3 | ☑ | 0 |
provider.0.0.11 | ☒ | 0 |
prr.0.1.1 | ☑ | 0 |
pure-html.3.10.0 | ☑ | 2 |
pure-splitmix.0.3 | ☒ | 103 |
pvec.0.1.1 | ☒ | 0 |
pyml_bindgen.0.4.1 | ☒ | 0 |
pyre-ast.0.1.11 | ☑ | 1 |
qcheck.0.24 | ☑ | 62 |
qcheck-alcotest.0.24 | ☑ | 248 |
qcheck-core.0.24 | ☑ | 249 |
qcheck-lin.0.7 | ☒ | 0 |
qcheck-multicoretests-util.0.7 | ☒ | 9 |
qcheck-ounit.0.24 | ☑ | 15 |
qcheck-stm.0.7 | ☒ | 9 |
queenshead.0.1 | ☑ | 0 |
quickjs.0.1.2 | ☑ | 3 |
raylib.1.4.0 | ☒ | 1 |
rea.1.0.0 | ☑ | 0 |
reactjs-jsx-ppx.1.0.0 | ☒ | 9 |
readline.0.2 | ☑ | 1 |
reason.3.15.0 | ☑ | 44 |
reason-react.0.15.0 | ☑ | 11 |
reason-react-ppx.0.15.0 | ☑ | 12 |
records.1.0.0 | ☑ | 0 |
red-black-tree.1.0.5 | ☑ | 0 |
redis.0.7.1 | ☑ | 14 |
redis-lwt.0.7.1 | ☑ | 12 |
redis-sync.0.7.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 |
rfsm.2.0 | ☑ | 0 |
rock.0.20.0 | ☒ | 21 |
roman.0.2 | ☒ | 0 |
routes.2.0.0 | ☒ | 5 |
rtop.3.15.0 | ☑ | 0 |
runtime_events_tools.0.5.1 | ☒ | 1 |
rust-staticlib-gen.0.2.2 | ☑ | 0 |
rust-staticlib-virtual.0.2.2 | ☑ | 1 |
sail.0.18 | ☒ | 0 |
sail_c_backend.0.18 | ☒ | 0 |
sail_coq_backend.0.18 | ☒ | 0 |
sail_doc_backend.0.18 | ☒ | 0 |
sail_latex_backend.0.18 | ☒ | 0 |
sail_lem_backend.0.18 | ☒ | 0 |
sail_manifest.0.18 | ☒ | 1 |
sail_ocaml_backend.0.18 | ☒ | 0 |
sail_output.0.18 | ☒ | 0 |
sail_smt_backend.0.18 | ☒ | 0 |
sail_sv_backend.0.18 | ☒ | 0 |
salsa20-core.2.0.0 | ☑ | 0 |
samplerate.0.1.6 | ☑ | 4 |
satex.0.1.1 | ☑ | 0 |
saturn.1.0.0 | ☑ | 0 |
saturn_lockfree.0.5.0 | ☑ | 10 |
scad_ml.1.1.0 | ☑ | 1 |
scfg.0.5 | ☒ | 2 |
sdl-liquidsoap.3 | ☒ | 4 |
semaphore-compat.1.0.2 | ☑ | 234 |
serde_debug.0.0.1 | ☒ | 0 |
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-cookie.0.1.8 | ☒ | 2 |
session-cookie-async.0.1.8 | ☒ | 0 |
session-cookie-lwt.0.1.8 | ☒ | 0 |
sexp_decode.0.7 | ☒ | 0 |
sexps-rewriter.0.0.3 | ☒ | 0 |
sha.1.15.4 | ☑ | 55 |
sherlodoc.3.0.0~beta1 | ☒ | 13 |
shuttle_http.0.12.0 | ☒ | 1 |
shuttle_websocket.0.12.0 | ☒ | 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 |
simple63.1 | ☑ | 0 |
sitemap.1.0 | ☑ | 0 |
slacko.0.15.0 | ☑ | 0 |
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 |
snoke.0.3 | ☑ | 0 |
spawn.v0.17.0 | ☒ | 338 |
spectrum.0.3.0 | ☒ | 0 |
spices.0.0.2 | ☑ | 11 |
spotify-web-api.0.2.1 | ☒ | 0 |
sqlite3.5.3.0 | ☑ | 53 |
sqlite3_utils.0.5 | ☑ | 0 |
ssl.0.7.0 | ☑ | 382 |
stdint.0.7.2 | ☑ | 281 |
stdlib-diff.0.1.3 | ☑ | 0 |
stdlib-random.1.2.0 | ☑ | 199 |
stdlib-shims.0.3.0 | ☑ | 3975 |
stdune.3.17.2 | ☒ | 367 |
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 |
styled-ppx.0.56.0 | ☒ | 0 |
sun.0.1 | ☑ | 0 |
swhid.0.2 | ☑ | 0 |
swipl.0.5 | ☒ | 0 |
syslog.2.0.2 | ☑ | 5 |
systemverilog.0.0.2 | ☑ | 0 |
taglib.0.3.10 | ☒ | 4 |
tar.3.2.0 | ☒ | 116 |
tar-eio.3.2.0 | ☒ | 0 |
tar-mirage.3.2.0 | ☒ | 0 |
tar-unix.3.2.0 | ☒ | 2 |
tcalc.1.1.1 | ☑ | 0 |
tcpip.9.0.0 | ☒ | 90 |
term-indexing.0.0.1 | ☑ | 0 |
term-tools.0.0.2 | ☑ | 0 |
terminal.0.4.0 | ☑ | 239 |
terml.0.0.1 | ☑ | 0 |
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 |
tezos-base58.1.0.0 | ☑ | 10 |
tezos-bls12-381-polynomial.1.0.1 | ☑ | 135 |
tezos-clic.12.3 | ☒ | 14 |
tezos-context-hash.1.0.0 | ☑ | 2 |
tezos-context-hash-irmin.1.0.0 | ☑ | 0 |
tezos-error-monad.12.3 | ☒ | 23 |
tezos-event-logging.12.3 | ☒ | 17 |
tezos-event-logging-test-helpers.12.3 | ☒ | 1 |
tezos-hacl-glue.12.3 | ☒ | 17 |
tezos-lwt-result-stdlib.12.3 | ☒ | 23 |
tezos-micheline.12.3 | ☒ | 14 |
tezos-openapi.20.1 | ☒ | 8 |
tezos-plompiler.1.0.1 | ☑ | 133 |
tezos-plonk.1.0.1 | ☑ | 132 |
tezos-protocol-environment-packer.12.3 | ☒ | 2 |
tezos-protocol-environment-sigs.12.3 | ☒ | 0 |
tezos-rpc.12.3 | ☒ | 16 |
tezos-stdlib.12.3 | ☒ | 24 |
tezos-test-helpers.12.3 | ☒ | 10 |
tezt.4.2.0 | ☒ | 148 |
thread-table.1.0.0 | ☑ | 95 |
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.17.0 | ☑ | 7 |
tiny_httpd_camlzip.0.17.0 | ☑ | 1 |
tip-parser.0.6 | ☑ | 1 |
tldr.0.3.0 | ☑ | 0 |
tls-liquidsoap.1 | ☒ | 4 |
toml.7.1.0 | ☑ | 19 |
topojson.0.1.0 | ☒ | 1 |
topojsone.0.1.0 | ☒ | 0 |
tracy-client.0.5.2 | ☒ | 0 |
trexio.2.2.0 | ☒ | 0 |
tsdl-image.0.6 | ☑ | 16 |
tsdl-mixer.0.6 | ☑ | 0 |
tsdl-ttf.0.6 | ☑ | 16 |
tty.0.0.2 | ☑ | 11 |
tyabt.0.1.0 | ☑ | 0 |
tyxml.4.6.0 | ☑ | 106 |
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 |
uint.2.0.1 | ☑ | 22 |
ulid.0.1 | ☒ | 0 |
um-abt.0.1.7 | ☑ | 0 |
unidecode.0.4.0 | ☑ | 0 |
universal-portal.0.3.0 | ☒ | 0 |
universo.2.7 | ☒ | 0 |
uring.0.9 | ☑ | 19 |
utop.2.15.0-1 | ☑ | 210 |
varray.0.2 | ☑ | 0 |
vcardgen.1.2 | ☑ | 0 |
vec.0.4.0 | ☑ | 1 |
vocal.0.1 | ☑ | 0 |
voqc.0.1 | ☒ | 0 |
vpt.5.0.0 | ☒ | 1 |
vue-jsoo.0.3 | ☒ | 0 |
wall.0.4.1 | ☑ | 0 |
wasm_of_ocaml-compiler.6.0.1 | ☒ | 0 |
wayland.2.1 | ☑ | 0 |
waylaunch.0.3.0 | ☑ | 0 |
wcwidth.1.0.1 | ☑ | 0 |
websocket.2.17 | ☒ | 29 |
websocket-async.2.17 | ☒ | 1 |
websocket-lwt-unix.2.17 | ☒ | 26 |
webtest.2.0.0 | ☑ | 6 |
webtest-js.2.0.0 | ☑ | 5 |
why3find.1.1.1 | ☒ | 0 |
wikitext.3.0.1 | ☑ | 0 |
win-eventlog.0.4 | ☒ | 1 |
wtr.3.0.0 | ☒ | 1 |
wtr-ppx.3.0.0 | ☒ | 0 |
wu-manber-fuzzy-search.0.1.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.17.2 | ☒ | 218 |
xdg-basedir.0.0.5 | ☑ | 3 |
xkbcommon.0.1 | ☑ | 0 |
xmelly.1.0.0 | ☒ | 0 |
xmldiff.0.7.0 | ☑ | 8 |
xmldiff_js.0.7.0 | ☑ | 3 |
xoshiro.0.1 | ☒ | 0 |
xtmpl.1.0.0 | ☒ | 36 |
xtmpl_js.1.0.0 | ☒ | 3 |
xtmpl_ppx.1.0.0 | ☒ | 25 |
yaml-sexp.3.2.0 | ☑ | 2 |
yocaml.2.1.0 | ☒ | 11 |
yocaml_cmarkit.2.1.0 | ☒ | 0 |
yocaml_eio.2.1.0 | ☒ | 0 |
yocaml_git.2.1.0 | ☒ | 0 |
yocaml_jingoo.2.1.0 | ☒ | 0 |
yocaml_mustache.2.1.0 | ☒ | 0 |
yocaml_omd.2.1.0 | ☒ | 0 |
yocaml_otoml.2.1.0 | ☒ | 0 |
yocaml_runtime.2.1.0 | ☒ | 3 |
yocaml_syndication.2.1.0 | ☒ | 0 |
yocaml_unix.2.1.0 | ☒ | 0 |
yocaml_yaml.2.1.0 | ☒ | 0 |
yojson.2.2.2 | ☒ | 3975 |
yojson-five.2.2.2 | ☒ | 0 |
yuujinchou.5.2.0 | ☑ | 1 |
zarr.0.1.0 | ☒ | 3 |
zarr-eio.0.1.0 | ☒ | 0 |
zarr-lwt.0.1.0 | ☒ | 0 |
zarr-sync.0.1.0 | ☒ | 0 |
zed.3.2.3 | ☑ | 229 |
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 |
zxcvbn.2.4+1 | ☑ | 0 |