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: 3635
Packages failing with current filters: 128
Packages whose dependencies failed with current filters: 2971

Run made on the 2023-12-20 19:33:18


4.14.15.1.0number of revdeps
0install.2.18☒☒1
0install-gtk.2.18☒☒0
0install-solver.2.18☒☒13
ANSITerminal.0.8.5☒☒42
BetterErrors.0.0.1☒☒12
DAGaml.0.02☒☒0
FPauth.1.0.0☒☒0
FPauth-core.1.0.0☒☒3
FPauth-responses.1.0.0☒☒1
FPauth-strategies.1.0.0☒☒1
FrontC.4.1.0☒☒14
GT.0.5.2☒☒-1
GuaCaml.0.05☑☑2
ISO3166.0.1.0☒☒0
ISO8601.0.2.6☒☒48
OCADml.0.6.0☒☒2
OCanren.0.3.0☒☒2
OCanren-ppx.0.3.0☒☒2
OSCADml.0.2.3☒☒1
SZXX.4.1.0☒☒-1
Snowflake.0.02.03☒☒1
TCSLib.0.3☒☒1
aacplus.0.2.2☒☒2
abella.2.0.8☒☒0
absolute.0.3☒☒0
abstract_algebra.v0.16.0☒☒7
accessor.v0.16.0☒☒4
accessor_async.v0.16.0☒☒0
accessor_base.v0.16.0☒☒2
accessor_core.v0.16.0☒☒1
acgtk.2.0.0☒☒-1
aches.1.0.0☒☒-1
aches-lwt.1.0.0☒☒-1
acp4.1.0.1☒☒0
acpc.2.0.0☒☒0
advi.2.0.0☒☒0
aez.0.3☑☒0
afl.2.57b☒☒0
afl-persistent.1.4☒☒31
ago.0.4☑☒0
agrid.0.1☒☒1
ahrocksdb.0.2.2☒☒0
aifad.2.3.0☒☒-1
aio.0.0.3☒☒0
alba.0.4.4☒☒0
albatross.2.0.0☒☒-1
alcotest.1.7.0☒☒-1
alcotest-async.1.7.0☒☒-1
alcotest-js.1.7.0☒☒-1
alcotest-lwt.1.7.0☒☒-1
alcotest-mirage.1.7.0☒☒-1
alg_structs.0.1.3☒☒1
alg_structs_qcheck.0.1.3☒☒0
algaeff.2.0.0☒☒3
aliases.0.0.5☑☒0
alonzo.0.4.0☒☒0
alt-ergo.2.5.2☒☒-1
alt-ergo-free.2.2.0☒☒8
alt-ergo-lib.2.5.2☒☒-1
alt-ergo-parsers.2.5.2☒☒-1
alt-ergo-plugin-ab-why3.2.5.2☒☒-1
altgr-ergo.2.4.3☒☒3
ambient-context.0.1.0☒☒12
ambient-context-eio.0.1.0☒☒0
ambient-context-lwt.0.1.0☒☒0
amqp-client.2.2.2☒☒-1
amqp-client-async.2.2.2☒☒-1
amqp-client-lwt.2.2.2☒☒-1
ancient.0.9.1☒☒1
anders.1.1.1☒☒0
angstrom.0.16.0☒☒-1
angstrom-async.0.16.0☒☒-1
angstrom-lwt-unix.0.16.0☒☒-1
angstrom-unix.0.16.0☒☒-1
ansi.0.7.0☒☒5
ansi-parse.0.4.0☒☒0
ansicolor.0.5☑☑0
antic.0.3.2☒☒-1
anycache.0.7.4☒☒2
anycache-lwt.0.7.4☒☒0
ao.0.2.4☒☒6
apron.v0.9.14☒☒-1
apronext.1.0.4☒☒3
arb.0.3.2☒☒-1
archetype.1.5.0☒☒-1
archi.0.2.0☒☒2
archi-async.0.2.0☒☒-1
archi-lwt.0.2.0☒☒0
archimedes.0.4.18☒☒-1
archsat.1.1☒☒0
arg-complete.0.1.0☒☒2
argon2.1.0.1☒☒-1
argsh.0.1.0☒☒0
arp.3.1.0☒☒-1
arp-mirage.2.2.1☒☒2
arrakis.1.0.0☒☒0
art.0.2.0☒☒3
asai.0.3.0☒☒-1
asak.0.4☒☒-1
ascii85.0.4☑☒0
asetmap.0.8.1☑☑183
ask.0.2.0☒☒1
ask-integrator.0.2.0☒☒0
asl.0.11☒☒4
asli.0.2.0☒☒0
asn1-combinators.0.2.6☒☒-1
assertions.0.1☑☒0
assimp.0.3☒☒0
ast_generic.1.8.0☑☑0
astring.0.8.5☑☑4406
async.v0.16.0☒☒-1
async-uri.0.4.0☒☒-1
async_durable.v0.16.0☒☒2
async_extra.v0.16.0☒☒4
async_find.v0.16.0☒☒-1
async_graphics.0.7.0☒☒-1
async_interactive.v0.16.0☒☒-1
async_js.v0.16.0☒☒6
async_kernel.v0.16.0☒☒4406
async_rpc_kernel.v0.16.0☒☒4406
async_rpc_websocket.v0.16.0☒☒-1
async_sendfile.v0.16.0☒☒-1
async_shell.v0.16.0☒☒-1
async_ssl.v0.16.1☒☒-1
async_udp.v0.16.0☒☒-1
async_unix.v0.16.0☒☒-1
async_websocket.v0.16.0☒☒-1
atable.0.1☒☒0
atacama.0.0.3☒☒-1
atd.2.15.0☒☒66
atd2cconv.0.0.0☒☒0
atdd.2.15.0☒☒0
atdgen.2.15.0☒☒58
atdgen-codec-runtime.2.15.0☒☒1
atdgen-runtime.2.15.0☒☒58
atdj.2.15.0☒☒0
atdpy.2.15.0☒☒0
atds.2.15.0☒☒0
atdts.2.15.0☒☒1
atomic.base☑☑4
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.0☒☒-1
awa-lwt.0.2.0☒☒0
awa-mirage.0.3.0☒☒-1
aws.1.2☒☒15
aws-async.1.2☒☒-1
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-s3.4.8.0☒☒-1
aws-s3-async.4.8.0☒☒-1
aws-s3-lwt.4.8.0☒☒-1
aws-sdb.1.2☒☒0
aws-sqs.1.2☒☒0
aws-ssm.1.2☒☒0
aws-sts.1.2☒☒0
awsm.0.1.0☒☒-1
awsm-async.0.1.0☒☒-1
awsm-codegen.0.1.0☒☒-1
awsm-lwt.0.1.0☒☒-1
azblob.0.1.0☒☒1
azblob-async.0.1.0☒☒-1
azure-cosmos-db.0.2.3☒☒-1
b0.0.0.5☑☑1
babel.v0.16.0☒☒2
backoff.0.1.0☒☒-1
bag.1.0.0☒☒0
baguette_sharp.2.2.1☒☒0
balancer.1.0☒☒0
bap.2.5.0☒☒9
bap-abi.2.5.0☒☒52
bap-analyze.2.5.0☒☒11
bap-api.2.5.0☒☒51
bap-arm.2.5.0☒☒14
bap-beagle.2.5.0☒☒11
bap-beagle-strings.2.5.0☒☒10
bap-bil.2.5.0☒☒11
bap-build.2.5.0☒☒99
bap-bundle.2.5.0☒☒100
bap-byteweight.2.5.0☒☒12
bap-byteweight-frontend.2.5.0☒☒2
bap-c.2.5.0☒☒50
bap-cache.2.5.0☒☒11
bap-callgraph-collator.2.5.0☒☒11
bap-callsites.2.5.0☒☒11
bap-constant-tracker.2.5.0☒☒10
bap-core.2.5.0☒☒10
bap-core-theory.2.5.0☒☒97
bap-cxxfilt.2.5.0☒☒11
bap-demangle.2.5.0☒☒16
bap-dependencies.2.5.0☒☒11
bap-disassemble.2.5.0☒☒11
bap-dump-symbols.2.5.0☒☒11
bap-dwarf.2.5.0☒☒11
bap-elementary.2.5.0☒☒11
bap-elf.2.5.0☒☒1
bap-emacs-dot.0.1☑☑12
bap-emacs-goodies.0.1☑☑11
bap-emacs-mode.0.1☑☑12
bap-extra.2.5.0☒☒0
bap-flatten.2.5.0☒☒11
bap-frontc.2.5.0☒☒11
bap-frontend.2.5.0☒☒11
bap-future.2.5.0☒☒100
bap-ghidra.2.5.0☒☒1
bap-glibc-runtime.2.5.0☒☒11
bap-ida-plugin.2.5.0☒☒2
bap-knowledge.2.5.0☒☒98
bap-llvm.2.5.0☒☒15
bap-main.2.5.0☒☒98
bap-mc.2.5.0☒☒11
bap-microx.2.5.0☒☒13
bap-mips.2.5.0☒☒11
bap-objdump.2.5.0☒☒11
bap-optimization.2.5.0☒☒11
bap-patterns.2.5.0☒☒11
bap-phoenix.2.5.0☒☒0
bap-piqi.2.5.0☒☒0
bap-plugins.2.5.0☒☒99
bap-powerpc.2.5.0☒☒12
bap-primus.2.5.0☒☒44
bap-primus-dictionary.2.5.0☒☒10
bap-primus-exploring-scheduler.2.5.0☒☒12
bap-primus-greedy-scheduler.2.5.0☒☒12
bap-primus-limit.2.5.0☒☒12
bap-primus-lisp.2.5.0☒☒11
bap-primus-loader.2.5.0☒☒12
bap-primus-mark-visited.2.5.0☒☒12
bap-primus-powerpc.2.5.0☒☒10
bap-primus-print.2.5.0☒☒12
bap-primus-promiscuous.2.5.0☒☒12
bap-primus-propagate-taint.2.5.0☒☒10
bap-primus-random.2.5.0☒☒10
bap-primus-region.2.5.0☒☒10
bap-primus-round-robin-scheduler.2.5.0☒☒12
bap-primus-support.2.5.0☒☒11
bap-primus-symbolic-executor.2.5.0☒☒1
bap-primus-systems.2.5.0☒☒10
bap-primus-taint.2.5.0☒☒10
bap-primus-test.2.5.0☒☒10
bap-primus-track-visited.2.5.0☒☒13
bap-primus-wandering-scheduler.2.5.0☒☒12
bap-primus-x86.2.5.0☒☒10
bap-print.2.5.0☒☒11
bap-radare2.2.5.0☒☒1
bap-raw.2.5.0☒☒11
bap-recipe.2.5.0☒☒99
bap-recipe-command.2.5.0☒☒11
bap-relation.2.5.0☒☒96
bap-relocatable.2.5.0☒☒11
bap-report.2.5.0☒☒11
bap-riscv.2.5.0☒☒11
bap-run.2.5.0☒☒10
bap-signatures.2.5.0☑☑13
bap-specification.2.5.0☒☒11
bap-ssa.2.5.0☒☒11
bap-std.2.5.0☒☒95
bap-strings.2.5.0☒☒46
bap-stub-resolver.2.5.0☒☒11
bap-symbol-reader.2.5.0☒☒11
bap-systemz.2.5.0☒☒11
bap-taint.2.5.0☒☒12
bap-taint-propagator.2.5.0☒☒10
bap-term-mapper.2.5.0☒☒10
bap-thumb.2.5.0☒☒11
bap-toplevel.2.5.0☒☒11
bap-trace.2.5.0☒☒1
bap-traces.2.5.0☒☒17
bap-trivial-condition-form.2.5.0☒☒10
bap-warn-unused.2.5.0☒☒10
bap-x86.2.5.0☒☒13
bare.2.5.0☒☒14
bare_encoding.0.3.1☒☒0
bark.0.1.4☒☒0
base.v0.16.3☒☒4406
base-bigarray.base☑☑4407
base-bytes.base☑☑4406
base-domains.base☒☑29
base-native-int63.0.1☑☑4406
base-nnp.base☒☑0
base-threads.base☑☑4413
base-unix.base☑☑4413
base32.1.0.0☒☒2
base58.0.1.2☑☑0
base64.3.5.1☒☒962
base_bigstring.v0.16.0☒☒4406
base_quickcheck.v0.16.0☒☒4406
base_trie.v0.16.0☒☒0
bastet.2.0.0☒☒2
bastet_async.0.1.0☒☒0
bastet_lwt.0.1.0☒☒0
batch_jaro_winkler.0.1.1☒☒0
batsat.0.7☒☒0
batteries.3.7.2☒☒-1
bdd.0.3☒☒3
bddrand.2.71.15☒☒0
bear.0.0.1☑☒1
bech32.0.1☒☒0
bechamel.0.5.0☒☒11
bechamel-js.0.5.0☒☒1
bechamel-notty.0.5.0☒☒4
beluga.1.1.1☒☒-1
benchmark.1.6☒☒4406
benchpress.0.1☒☒1
benchpress-server.0.1☒☒0
bencode.2.0☒☒7
bentov.1☒☒2
bestline.0.2.1☒☒0
bheap.2.0.0☒☒4406
bibtex2html.1.99-1☒☒0
bidirectional_map.v0.16.0☒☒0
bigarray-compat.1.1.0☒☒4406
bigarray-overlap.0.2.1☒☒87
bigdecimal.v0.16.0☒☒0
bignum.v0.16.0☒☒12
bigstring.0.3☒☒330
bigstring-unix.0.3☒☒1
bigstringaf.0.9.1☒☒-1
bimage.0.6.0☒☒2
bimage-display.0.4.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
bimap.20201231☒☒-1
bin_prot.v0.16.0☒☒4406
binaryen.0.24.0☒☒0
binaryen_dsl.0.7☒☒-1
binbin.0.01☑☒0
bindlib.6.0.0☒☒2
biniou.1.2.2☒☒4406
binning.0.0.0☒☒3
binsec.0.8.1☒☒-1
bio_io.0.7.0☒☒0
biocaml.0.11.2☒☒-1
biotk.0.2.0☒☒-1
bip32.0.2☒☒0
bisect.1.3.1☒☒7
bisect_ppx.2.8.3☒☒235
bisect_ppx-ocamlbuild.1.0.1☒☒1
bistro.0.6.0☒☒-1
bistro-bio.0.6.0☒☒-1
bitcoin.3.0☒☒3
bitcoin-cohttp-async.3.0☒☒-1
bitcoin-cohttp-lwt.3.0☒☒0
bitcoin-ocurl.3.0☒☒0
bitlib.1.0☒☒0
bitmasks.1.4.0☒☒0
bitpack_serializer.0.1.0☒☒0
bitstring.4.1.0☒☒26
bitv.1.6☒☒-1
bitvec.2.5.0☑☒101
bitvec-binprot.2.5.0☒☒98
bitvec-order.2.5.0☒☒98
bitvec-sexp.2.5.0☒☒99
bjack.0.1.6☒☒4
blake2.0.3☑☒13
blake3.0.3☒☒1
bloomf.0.2.0☒☒0
bls12-381.18.1☑☑-1
bls12-381-gen.0.5.0☒☒186
bls12-381-hash.1.0.0☒☒0
bls12-381-js.0.5.0☒☒0
bls12-381-js-gen.0.5.0☒☒1
bls12-381-legacy.0.4.4☒☒138
bls12-381-signature.1.0.0☒☒164
bls12-381-unix.2.0.1☒☒182
blurhash.0.1.0☒☒0
bn128.0.1.3☑☑0
bnfgen.3.0.0☒☒-1
bogue.20231209☒☒-1
bogue-tutorials.0.1.0☒☒-1
boltzgen.0.9.3☒☒0
bonsai.v0.16.0☒☒-1
bookaml.4.0☒☒0
bos.0.2.1☑☑4406
boulangerie.1.0.1☒☒0
box.1.2.0☒☒0
bpf.0.2☒☒0
bracetax.0.4☑☒0
broken.0.4.2☑☑7
brr.0.0.6☒☒-1
brr-lwd.0.3☒☒0
bsdowl.3.0.0-20150830☑☑8
bst.7.0.1☒☒-1
buffer-pool.0.2☒☒0
build_path_prefix_map.0.3☒☒0
builder.0.3.2☒☒-1
builder-web.0.1.0☒☒-1
bun.0.3.4☒☒0
bwd.2.3.0☒☒4
bytearray.1.0.3☒☒0
bytebuffer.0.0.2☒☒0
ca-certs.0.2.3☒☒-1
ca-certs-nss.3.95☒☒-1
cactus.1.0.0☒☒0
cairn.1.0☒☒0
cairo2.0.6.4☒☒-1
cairo2-gtk.0.6.4☒☒-1
cairo2-pango.0.6.4☒☒-1
caisar.1.0☒☒-1
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.3.2☒☒-1
calculon.0.8☒☒1
calculon-redis.0.6☒☒0
calculon-redis-lib.0.6☒☒1
calculon-web.0.8☒☒0
caldav.0.2.1☒☒-1
calendar.3.0.0☒☒123
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
camelsnakekebab.0.4☒☒0
caml-mode.4.9☑☑3
camlbz2.0.7.0☑☒-1
camlgpc.1.0☑☑0
camlidl.1.12☑☑34
camlimages.5.0.5☒☒9
camlix.0.1☒☒0
camllib.1.3.3☒☒1
camlmix.1.3.0☑☒1
camlon.3.1.0☒☒9
camlp-streams.5.0.1☒☒4406
camlp4.4.14+1☒☒4406
camlp5.8.02.01☒☒-1
camlp5-buildscripts.0.03☒☒-1
camlpdf.2.6☑☑-1
camlprime.0.5☑☑0
camlrack.0.10.1☒☒1
camltc.0.9.8☒☒9
camlzip.1.11☑☑-1
camomile.2.0.0☒☒281
camyll.0.4.3☒☒0
canary.0.0.1☒☒0
capnp.3.6.0☒☒11
capnp-rpc.1.2.3☒☒-1
capnp-rpc-lwt.1.2.3☒☒-1
capnp-rpc-mirage.1.2.3☒☒0
capnp-rpc-net.1.2.3☒☒-1
capnp-rpc-unix.1.2.3☒☒-1
captureio.0.1.2☑☒0
caqti.2.0.1☒☒-1
caqti-async.2.0.1☒☒-1
caqti-driver-mariadb.2.0.1☒☒-1
caqti-driver-pgx.2.0.1☒☒-1
caqti-driver-postgresql.2.0.1☒☒-1
caqti-driver-sqlite3.2.0.1☒☒-1
caqti-dynload.2.0.1☒☒3
caqti-eio.2.0.1☒☒-1
caqti-lwt.2.0.1☒☒-1
caqti-mirage.2.0.1☒☒-1
caqti-type-calendar.2.0.1☒☒2
carbon.0.1.0☒☒-1
carray.0.0.2☒☒0
carton.0.7.0☒☒-1
carton-git.0.7.0☒☒-1
carton-lwt.0.7.0☒☒-1
catala.0.8.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
cca.0.7☒☒0
ccbg.0.1☒☒0
cconv.0.5☒☒4
cdrom.0.9.4☒☒0
certify.0.3.3☒☒0
cf.0.5.0☒☒182
cf-lwt.0.5.0☒☒180
cfg.2.3.0☒☒-1
cfgen.1.0☒☒0
cfml.20220112☒☒0
cfstream.1.3.2☒☒6
cgi.0.10☑☒2
cgroups.0.1☑☑0
chacha.1.1.0☒☒0
chalk.1.0☑☑0
chamelon.0.1.2☑☑1
chamelon-unix.0.1.2☑☑0
chamo.4.0☒☒0
charInfo_width.2.0.0☒☒0
charrua.1.5.0☒☒-1
charrua-client.1.5.0☒☒-1
charrua-client-lwt.1.2.2☒☒1
charrua-client-mirage.1.2.2☒☒1
charrua-server.1.5.0☒☒-1
charrua-unix.1.5.0☒☒-1
charset.0.1.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
checkseum.0.5.2☒☒317
choice.0.4☒☒0
chrome-trace.3.12.1☒☒-1
cid.0.1.0☒☒0
cinaps.v0.15.1☒☒3
clangml.4.8.0☒☒2
clangml-transforms.0.26☒☒1
clap.0.3.0☒☒111
clarity-lang.0.1.0☒☒0
class_group_vdf.0.0.4☒☒-1
clim.0.3.0☒☒1
cll.0.2.0☒☒0
cloudi.2.0.7☑☑0
clp_operations.0.0.1☒☒0
clz.0.1.0☒☒1
cmark.0.2.0☒☒0
cmarker.0.3.0☒☒0
cmarkit.0.3.0☑☑5
cmdliner.1.2.0☑☑-1
cmdliner-stdlib.1.0.0☒☒-1
cmdtui.0.4.3☑☒1
cmdtui-lambda-term.0.4.3☒☒0
cmitomli.1.0.0☑☑0
cmon.0.2☒☒0
coccinelle.1.1.1☒☒-1
codept.0.12.0☒☒0
cohttp.6.0.0~alpha2☒☒-1
cohttp-async.6.0.0~alpha2☒☒-1
cohttp-curl.6.0.0~alpha2☒☒-1
cohttp-curl-async.6.0.0~alpha2☒☒-1
cohttp-curl-lwt.6.0.0~alpha2☒☒-1
cohttp-eio.6.0.0~alpha2☒☒-1
cohttp-lwt.6.0.0~alpha2☒☒-1
cohttp-lwt-jsoo.6.0.0~alpha2☒☒-1
cohttp-lwt-unix.6.0.0~alpha2☒☒-1
cohttp-mirage.6.0.0~alpha2☒☒-1
cohttp-server-lwt-unix.6.0.0~alpha2☒☒-1
cohttp-top.6.0.0~alpha2☒☒-1
cohttp_async_websocket.v0.16.0☒☒-1
cohttp_static_handler.v0.16.0☒☒-1
coin.0.1.4☒☒26
colibri2.0.4☒☒2
colibrics.0.4☑☑0
colibrilib.0.4☑☑3
colombe.0.8.0☒☒-1
color.0.2.0☒☒-1
color-brewery.0.2☒☒0
combinaml.0.1☒☒0
combinat.3.0☒☒0
combine.0.6☑☒0
comby.1.7.0☒☒-1
comby-kernel.1.7.0☒☒1
comby-semantic.1.7.0☒☒1
command_rpc.v0.16.0☒☒-1
commons.1.8.0☑☑5
conan.0.0.5☒☒9
conan-cli.0.0.5☒☒0
conan-database.0.0.5☒☒6
conan-lwt.0.0.5☒☒0
conan-unix.0.0.5☒☒1
conduit.6.2.1☒☒-1
conduit-async.6.2.1☒☒-1
conduit-lwt.6.2.1☒☒-1
conduit-lwt-unix.6.2.1☒☒-1
conduit-mirage.6.2.1☒☒-1
conex.0.11.1☒☒1
conex-mirage-crypto.0.11.1☒☒0
conex-nocrypto.0.11.0☒☒0
conf-aclocal.2☑☑26
conf-adwaita-icon-theme.2☑☑1
conf-antic.1☒☒5
conf-ao.1☑☑7
conf-arb.1☒☒6
conf-asciidoc.1☑☑1
conf-assimp.1☒☒0
conf-autoconf.0.1☑☑-1
conf-automake.1☑☑221
conf-bap-llvm.1.8☒☒17
conf-bash.1☑☑4410
conf-binutils.0.3☒☒99
conf-bison.2☑☑3
conf-blas.1☑☑21
conf-bluetooth.1☒☒-1
conf-bmake.1.0☑☑9
conf-boost.1☑☑4
conf-brotli.0.0.1☒☒2
conf-c++.1.0☑☑43
conf-cairo.1☑☑61
conf-calcium.1☒☒4
conf-capnproto.2☑☑12
conf-clang.1☑☑110
conf-clang-format.1☒☒0
conf-cmake.1☑☑320
conf-cosmopolitan.1☒☒1
conf-cpio.1☑☑8
conf-csdp.1☒☒1
conf-dbm.1.0.0☑☑23
conf-diffutils.2☑☑6
conf-dpkg.1☑☑2
conf-efl.1.8☑☑1
conf-emacs.1☑☑4
conf-env-travis.1☑☑17
conf-expat.1☑☑3
conf-faad.1☑☑5
conf-fdkaac.1☑☑5
conf-ffmpeg.1☑☑13
conf-fftw3.1☑☑1
conf-findutils.1☑☑4408
conf-flex.2☑☑1
conf-flint.1☒☒-1
conf-freetype.1☑☑68
conf-frei0r.1☑☑5
conf-fswatch.11-0.1.3☑☑3
conf-ftgl.1☒☒0
conf-fts.1☑☑2
conf-g++.1.0☑☑249
conf-gcc.1.0☑☑20
conf-gd.1☒☒5
conf-gfortran.0☑☑15
conf-ghostscript.1☒☒9
conf-git.1.1☑☑15
conf-glade.2☑☑4407
conf-gles2.1☒☑5
conf-glew.1☒☒2
conf-glfw3.2☒☒3
conf-glib-2.1☑☑6
conf-glpk.1☒☒2
conf-gmp.4☑☑4411
conf-gmp-powm-sec.3☑☑4407
conf-gnome-icon-theme3.0☑☑0
conf-gnomecanvas.2☒☑4407
conf-gnuplot.0.1☑☑26
conf-gnutls.1☑☑4407
conf-gobject-introspection.1.0☒☒1
conf-goocanvas2.0☒☑1
conf-graphviz.0.1☑☑15
conf-gsl.2☑☑19
conf-gssapi.1☒☒4407
conf-gstreamer.1☑☑7
conf-gtk2.1☑☑4407
conf-gtk3.18☑☑31
conf-gtksourceview.2☑☑4407
conf-gtksourceview3.0+2☑☑25
conf-guile.1☒☒1
conf-haveged.1.0.0☑☑0
conf-hidapi.0☑☑201
conf-ida.0.3☒☒3
conf-jack.1☒☒5
conf-jq.1☑☑5
conf-ladspa.1☑☑6
conf-lame.1☑☑5
conf-lapack.1☒☑22
conf-leveldb.2☒☒2
conf-libMagickCore.1☒☒0
conf-libX11.1☑☑4407
conf-libargon2.1☑☑2
conf-libbz2.1☑☑16
conf-libclang.15☑☑4
conf-libcurl.2☑☑63
conf-libdw.1☒☒0
conf-libev.4-12☑☑4406
conf-libevent.1☑☑6
conf-libffi.2.0.0☑☑995
conf-libflac.1☑☑5
conf-libfontconfig.1☑☑1
conf-libfuse.1☒☒2
conf-libgccjit.1☑☑3
conf-libgif.1☑☑10
conf-libgsasl.1☑☑1
conf-libjpeg.1☒☒11
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-libmosquitto.1☒☒1
conf-libmpg123.1☑☑1
conf-libogg.1☑☑13
conf-libopus.1☒☒5
conf-libpcre.1☑☑-1
conf-libpcre2-8.1☑☑-1
conf-libpng.1☑☑9
conf-libportmidi.1☑☑1
conf-librsvg2.0☑☑1
conf-libsamplerate.2☑☑0
conf-libsodium.1☑☑4
conf-libspeex.1☑☑5
conf-libssl.4☑☑4408
conf-libsvm.3☑☑0
conf-libsvm-tools.1.0.0☒☒1
conf-libtheora.1☑☑7
conf-libtool.1☑☑3
conf-libuv.1☑☑3
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-lldb.3.5☒☒1
conf-llvm.16☒☒-1
conf-lua.1☒☒0
conf-lz4.1.0.0☑☑1
conf-m4.1☑☑4407
conf-mad.1☒☒7
conf-mariadb.2☑☑15
conf-mbedtls.1☑☑1
conf-mecab.0.996☒☒1
conf-mesa.1☑☑2
conf-mpfr.3☑☑47
conf-mpi.1☑☑5
conf-mysql.1☑☑13
conf-nanomsg.0☒☒1
conf-nauty.1.0☒☒0
conf-ncurses.1☑☑4407
conf-neko.1☒☒1
conf-netsnmp.1.0.0☒☒1
conf-nlopt.1☒☑4
conf-nmap.1.0.0☑☑1
conf-npm.1☑☑23
conf-ode.1☒☒0
conf-oniguruma.1☑☑4
conf-openbabel.0.1☑☑1
conf-openblas.0.2.1☑☑-1
conf-opencc0.1☒☒1
conf-opencc1.1☒☒2
conf-opencc1_1.1☒☒1
conf-openimageio.1☑☑1
conf-openjdk.1☒☒1
conf-openssl.2☑☑3
conf-pandoc.0.1☒☒1
conf-pango.1☑☑2
conf-perl.2☑☑4410
conf-perl-ipc-system-simple.3☒☒4407
conf-perl-string-shellquote.3☒☒4407
conf-pixz.1☑☑0
conf-pkg-config.3☑☑4546
conf-plplot.1☒☒11
conf-portaudio.1☑☑6
conf-postgresql.1☒☒-1
conf-ppl.1☑☑23
conf-protoc.4.4.0☑☑5
conf-pulseaudio.1☑☑7
conf-python-2-7.1.2☑☑47
conf-python-2-7-dev.1.0☒☒1
conf-python-3.9.0.0☑☑69
conf-python-3-7.1.0.0☒☒1
conf-python-3-dev.1☒☒8
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-ruby.1.0.0☒☒3
conf-rust.0.1☑☒309
conf-rust-2018.1☑☑2
conf-rust-2021.1☑☑297
conf-samplerate.1☑☑7
conf-sdl-gfx.1☒☒13
conf-sdl-image.1☒☒13
conf-sdl-mixer.1☒☒13
conf-sdl-net.1☒☒0
conf-sdl-ttf.1☒☒13
conf-sdl2.1☑☑28
conf-sdl2-image.1☑☑17
conf-sdl2-mixer.1☑☑1
conf-sdl2-net.1☒☒0
conf-sdl2-ttf.1☑☑17
conf-sdpa.1☒☒1
conf-secp256k1.1.0.0☑☑-1
conf-sfml2.1☑☑2
conf-shine.1☒☒5
conf-snappy.1☒☒4
conf-soundtouch.1☑☑5
conf-sqlite3.1☑☑77
conf-srt.2☑☑5
conf-srt-gnutls.1☒☒0
conf-srt-openssl.1☒☒0
conf-sundials.2☒☒4
conf-swi-prolog.1☑☑2
conf-taglib.1☑☑5
conf-tcl.1☑☑7
conf-texlive.1☒☒3
conf-tidy.1☒☒1
conf-time.1☑☑4407
conf-timeout.1☑☑2
conf-tk.1☑☒7
conf-tree-sitter.1☒☒0
conf-trexio.0.1☒☒1
conf-tzdata.1☑☑1
conf-unwind.0☑☑4415
conf-vim.1☑☑0
conf-wayland-protocols.1☑☑2
conf-wget.1☑☑4
conf-which.1☑☑4422
conf-wxwidgets.3.0☒☒1
conf-xen.1☑☑4407
conf-xkbcommon.1☑☑2
conf-xxhash.1☑☑3
conf-zig.1☑☑2
conf-zlib.1☑☑4407
conf-zmq.0.1☑☑27
conf-zstd.1.3.8☑☑7
confero.0.1.1☒☒0
config-file.1.2.1☒☒9
configuration.0.4.1☑☑1
conformist.0.8.1☒☒8
conjury.2.2☑☑1
containers.3.13☒☒-1
containers-data.3.13☒☒-1
containers-thread.3.12☒☒0
content_security_policy.v0.16.0☒☒0
cookie.0.1.8☒☒3
cookies.1.0.0☒☒0
coq.8.18.0☒☒-1
coq-core.8.18.0☒☒-1
coq-lsp.0.1.8+8.18☒☒-1
coq-native.1☑☒29
coq-of-ocaml.2.5.3+4.14☒☒0
coq-serapi.8.18.0+0.18.1☒☒-1
coq-shell.1☑☑0
coq-stdlib.8.18.0☒☒-1
coq-waterproof.2.1.0+8.17☒☒-1
coqide.8.18.0☒☒-1
coqide-server.8.18.0☒☒-1
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.16.2☒☒4406
core-and-more.0.0.1☒☒-1
core_bench.v0.16.0☒☒-1
core_compat.v0.15.0☒☒-1
core_extended.v0.16.0☒☒-1
core_kernel.v0.16.0☒☒4406
core_profiler.v0.16.0☒☒-1
core_unix.v0.16.0☒☒-1
corecount.1.0.0☑☒0
cosovo.3☒☒0
cow.2.5.0☒☒28
cpdf.2.6☑☑-1
cpm.12.2.0☒☒15
cppffigen.0.002☒☒0
cppo.1.6.9☒☒-1
cppo_ocamlbuild.1.6.9☒☒-1
cps_toolbox.0.3☒☒1
cpu.2.0.0☒☒19
cpuid.0.1.2☒☒703
craml.1.0.0☑☒3
crc.2.1.0☒☒-1
crdt-ml.0.10.0☑☒0
crlibm.0.5.1☒☒2
crontab.0.1☒☒0
crowbar.0.2.1☒☒54
crunch.3.3.1☒☒124
cry.1.0.1☒☒-1
crypt.1.3☒☒0
cryptodbm.0.84.2☒☒0
cryptohash.0.1.2☑☒0
cryptokit.1.19☒☒-1
cryptoverif.2.08☒☒-1
csexp.1.5.2☒☒4406
css.0.1.0☒☒-1
css-parser.0.2.5☒☒0
cstruct.6.2.0☒☒4406
cstruct-async.6.2.0☒☒-1
cstruct-lwt.6.2.0☒☒783
cstruct-sexp.6.2.0☒☒653
cstruct-unix.6.2.0☒☒52
csv.2.4☒☒51
csv-lwt.2.4☒☒0
csvfields.v0.16.0☒☒8
csvtool.2.4☒☒0
ctoxml.4.1.0☒☒0
ctypes.0.21.1☒☒-1
ctypes-build.0.0.2☒☒2
ctypes-foreign.0.21.1☒☒-1
ctypes-zarith.0.2.0☒☒1
ctypes_stubs_js.0.1☒☒239
cubicle.1.2.0☒☑0
cucumber.1.0.4☒☒0
cudf.0.10☒☒29
cue_sheet_maker.0.2.0-1☒☒0
cuid.0.1☒☒0
cumulus.0.0.1☒☒0
curly.0.3.0☒☒5
current.0.6.4☒☒-1
current-albatross-deployer.1.0.0☒☒0
current-web-pipelines.0.1☒☒0
current_ansi.0.4☒☒3
current_docker.0.6.4☒☒-1
current_examples.0.6.4☒☒-1
current_git.0.6.4☒☒-1
current_github.0.6.4☒☒-1
current_gitlab.0.6.4☒☒-1
current_incr.0.6.1☒☒13
current_ocluster.0.2.1☒☒-1
current_rpc.0.6.4☒☒-1
current_slack.0.6.4☒☒-1
current_ssh.0.6.4☒☒-1
current_web.0.6.4☒☒-1
curses.1.0.11☒☒9
curve-sampling.0.2.1☒☒0
cviode.0.0.4☒☒0
daft.0.0.4☒☒0
dap.1.0.6☒☒1
data-encoding.1.0.0☒☒-1
datakit-server.1.0.0☒☒3
datakit-server-9p.1.0.0☒☒2
datalog.0.6☒☒-1
dates_calc.0.0.5☒☒-1
daypack-lib.0.0.6☒☒1
dbf.0.2.0☒☒0
dbm.1.3☑☑-1
deadlock.1.0☒☒0
debian-formats.0.1.2☒☒1
decimal.1.0.1☒☒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☒☒3
decompress.1.5.3☒☒187
dedent.v0.16.0☒☒2
dedukti.2.7☒☒3
delimcc.2023.06.17☒☒78
delimcc_of_fxhandler.0.1☒☒0
delimited_parsing.v0.16.0☒☒-1
depgraph.0.1.0☒☒0
depyt.0.3.0☒☒0
deriving.0.8.1☒☒4406
devkit.1.20210517☒☒-1
diet.0.4☒☒4
diff.1.0.2☒☒0
diffable.v0.16.0☒☒8
digestif.1.1.4☒☒-1
directories.0.5☒☒10
dirsift.0.0.5☒☒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
dirsp-ps2ocaml.0.1.0☒☒0
diskuvbox.0.2.0☒☒8
dispatch.0.5.0☒☒22
dispatch-js.0.5.0☒☒0
distributed.0.6.0☒☒2
distributed-lwt.0.2.0☒☒0
diy.5.01☑☒0
dkim.0.5.0☒☒-1
dkim-bin.0.5.0☒☒-1
dkim-mirage.0.5.0☒☒-1
dkml-c-probe.3.0.0☒☒0
dkml-compiler-env.1.0.2~prerel7☑☑0
dkml-dune-dsl.0.1.1☒☒-1
dkml-dune-dsl-show.0.1.1☒☒-1
dkml-install.0.1.0☒☒2
dkml-install-installer.0.1.0☒☒0
dkml-install-runner.0.1.0☒☒1
dkml-option-vcpkg.0.1.0☒☒0
dkml-runtime-common.2.0.3☒☒0
dkml-runtime-common-native.2.0.3☑☑0
dkml-workflows.1.2.0☒☒8
dmap.0.5☒☒2
dns.7.0.3☒☒-1
dns-certify.7.0.3☒☒-1
dns-cli.7.0.3☒☒-1
dns-client.7.0.3☒☒-1
dns-client-lwt.7.0.3☒☒-1
dns-client-mirage.7.0.3☒☒-1
dns-mirage.7.0.3☒☒-1
dns-resolver.7.0.3☒☒-1
dns-server.7.0.3☒☒-1
dns-stub.7.0.3☒☒-1
dns-tsig.7.0.3☒☒-1
dnssec.7.0.3☒☒-1
docfd.0.6.1☒☒0
docker-api.0.2.2☒☒0
docker_hub.0.1.1☒☒-1
dockerfile.8.2.1☒☒-1
dockerfile-cmd.8.2.1☒☒-1
dockerfile-opam.8.2.1☒☒-1
docout.0.0.1☒☒2
docteur.0.0.6☒☒-1
docteur-solo5.0.0.6☒☒-1
docteur-unix.0.0.6☒☒-1
doculib.1.3.5☒☒0
doi2bib.0.6.2☒☒0
dokeysto.4.0.1☒☒11
dokeysto_camltc.4.0.0☒☒7
dokeysto_lz4.4.0.0☒☒0
dolmen.0.9☒☒-1
dolmen_bin.0.9☒☒-1
dolmen_loop.0.9☒☒-1
dolmen_lsp.0.9☒☒-1
dolmen_model.0.9☒☒-1
dolmen_type.0.9☒☒-1
dolog.6.0.0☒☒19
domain-local-await.1.0.0☒☒-1
domain-local-timeout.1.0.0☒☒-1
domain-name.0.4.0☒☒4406
domain_shims.0.1.0☒☒43
domainslib.0.5.1☒☒24
dose3.7.0.0☒☒10
dose3-extra.7.0.0☒☒0
dot-merlin-reader.4.9☒☒-1
dotenv.0.0.3☒☒0
down.0.1.0☑☑-1
dream.1.0.0~alpha5☒☒-1
dream-accept.0.1.0☒☒0
dream-cli.0.2.0☒☒0
dream-encoding.0.2.0☒☒-1
dream-html.2.0.0☒☒-1
dream-htmx.0.1.0☒☒0
dream-httpaf.1.0.0~alpha2☒☒-1
dream-livereload.0.2.0☒☒0
dream-pure.1.0.0~alpha2☒☒22
dream-serve.1.0.1☒☒0
drom.0.8.0☒☒0
drom_lib.0.8.0☒☒1
drom_toml.0.8.0☒☒2
dropbox.0.2☒☒1
dropbox_lwt_unix.0.2☒☒0
dryunit.0.5.0☒☒0
dscheck.0.3.0☒☒-1
dssi.0.1.2☒☒-1
dtc-pb.1.0☒☒0
dtoa.0.3.3☒☒2
dtools.0.4.5☒☒4
dual.0.1.0☒☒0
duff.0.5☒☒47
dum.1.0.3☒☒0
dump_ocamlformat.0.2.2☒☒-1
dune.3.12.1☒☒-1
dune-action-plugin.3.12.1☒☒-1
dune-build-info.3.12.1☒☒-1
dune-compiledb.0.5.0☒☒-1
dune-configurator.3.12.1☒☒-1
dune-deps.1.3.0☒☒0
dune-expand.0.0.1☒☒-1
dune-glob.3.12.1☒☒-1
dune-private-libs.3.12.1☒☒-1
dune-release.2.0.0☒☒2
dune-rpc.3.12.1☒☒-1
dune-rpc-lwt.3.12.1☒☒-1
dune-site.3.12.1☒☒-1
duppy.0.9.3☒☒-1
duration.0.2.1☒☒4406
dyn.3.12.1☒☒-1
dyntype.0.9.0☒☒35
earley.3.0.0☒☒2
earlybird.1.2.1☒☒-1
easy-format.1.3.4☒☒4406
easy_logging.0.8.2☒☒7
easy_logging_yojson.0.8.2☒☒6
ecaml.v0.16.0☒☒-1
edn.0.2.0☒☒0
efl.1.24.0☒☒0
ego.0.0.6☒☒0
eigen.0.3.3☒☒16
eio.0.13☒☒-1
eio-ssl.0.2.0☒☒-1
eio_luv.0.9☒☒-1
eio_main.0.13☒☒-1
eio_posix.0.13☒☒-1
either.1.0.0☒☒526
elasticsearch-cli.1.2☒☒0
electrod.1.0.0☒☒0
elina.1.3.2☒☒1
eliom.10.2.0☒☒-1
elpi.1.18.1☒☒-1
email_message.v0.16.0☒☒-1
embedded_ocaml_templates.0.8☒☒0
emile.1.1☒☒74
emoji.1.1.0☑☒0
encore.0.8☒☒45
enumerators.0.2.0☑☑0
env_config.v0.16.0☒☒-1
epictetus.3.1.1☒☒0
eprover.2.6☒☒-1
eqaf.0.9☒☒-1
equinoxe.0.2.0☒☒2
equinoxe-cohttp.0.2.0☒☒0
equinoxe-hlc.0.2.0☒☒0
eris.1.0.0☒☒-1
eris-lwt.1.0.0☒☒-1
erlang.0.0.14☒☒0
errpy.0.0.10☒☒0
erssical.1.1.0☒☒0
esgg.20190322☒☒0
esperanto.0.0.4☒☒-1
esperanto-cosmopolitan.0.0.4☒☒-1
ethernet.3.2.0☒☒640
euler.0.2☒☒-1
exenum.0.86☒☒0
exn-source.0.1☑☑0
expect.0.0.6☒☒4406
expect_test_helpers_async.v0.16.0☒☒-1
expect_test_helpers_core.v0.16.0☒☒4406
extism.0.4.0☒☒-1
extism-manifest.0.4.0☒☒-1
extlib.1.7.9☒☒-1
extprot.1.7.0☒☒0
extunix.0.4.1☒☒-1
ez_api.2.0.0☒☒-1
ez_cmdliner.0.4.3☒☒7
ez_config.0.2.0☒☒4
ez_file.0.3.0☒☒15
ez_hash.0.5.3☒☒0
ez_opam_file.0.1.0☒☒4
ez_pgocaml.1.0.0☒☒0
ez_subst.0.2.1☒☒8
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☒☒0
ezjs_blockies.0.1.1☒☒0
ezjs_cleave.0.1.1☒☒0
ezjs_crypto.0.1☒☒0
ezjs_cytoscape.0.1☒☒0
ezjs_d3pie.0.1☒☒0
ezjs_extension.0.1☒☒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
ezjs_timeline.0.1.1☑☒0
ezjsonm.1.3.0☒☒446
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☒☒30
faad.0.5.1☒☒4
facile.1.1.4☑☒0
fadbadml.0.1.2☒☒0
faraday.0.8.2☒☒167
faraday-async.0.8.2☒☒-1
faraday-lwt.0.8.2☒☒73
faraday-lwt-unix.0.8.2☒☒68
farfadet.0.3☒☒0
farith.0.1☒☒5
farmhash.0.4☒☒0
fasmifra.1.1.0☒☒0
fat-filesystem.0.15.1☒☒2
fd-send-recv.2.0.2☒☒710
fdkaac.0.3.3☒☒4
feat.20220407☒☒0
feat-core.20220407☒☒2
feat-num.20220407☒☒0
feather.0.3.0☒☒2
feather_async.0.3.0☒☒-1
febusy.0.0.0☑☒0
ff.0.6.2☒☒139
ff-bench.0.6.2☒☒-1
ff-pbt.0.6.2☒☒4
ff-sig.0.6.2☒☒256
ffmpeg.1.1.9☒☒-1
ffmpeg-av.1.1.9☒☒-1
ffmpeg-avcodec.1.1.9☒☒-1
ffmpeg-avdevice.1.1.9☒☒-1
ffmpeg-avfilter.1.1.9☒☒-1
ffmpeg-avutil.1.1.9☒☒-1
ffmpeg-swresample.1.1.9☒☒-1
ffmpeg-swscale.1.1.9☒☒-1
fftw3.0.8.5☒☒0
fiber.3.7.0☒☒2
fiber-lwt.3.7.0☒☒0
fieldslib.v0.16.0☒☒4406
file_path.v0.16.0☒☒-1
fileutils.0.6.4☒☒4406
finch.0.1☒☒-1
findlib_top.v0.11.0☑☒0
fit.1.0.3☒☒-1
fix.20230505☒☒83
flac.0.5.0☒☒4
flex-array.1.2.0☒☒2
flint.0.3.2☒☒-1
fm-simplex-plugin.1.30☒☒0
fmlib.0.5.7☒☒-1
fmlib_browser.0.5.7☒☒-1
fmlib_js.0.5.7☒☒-1
fmlib_parse.0.5.7☒☒-1
fmlib_pretty.0.5.7☒☒-1
fmlib_std.0.5.7☒☒-1
fmt.0.9.0☑☑4406
fontforge-of-ocaml.1.1.0☒☒0
forester.2.5.1☒☒-1
format.0.1☒☒0
fpath.0.7.3☑☑4406
frama-c.28.0☒☒-1
frama-c-lannotate.0.2☒☒-1
frama-c-luncov.0.2☒☒-1
frama-c-metacsl.0.5☒☒-1
frama-clang.0.0.14☒☒-1
freetds.0.7☒☒1
frei0r.0.1.2☒☒4
frenetic.5.0.5☒☒-1
fromager.0.5.0☒☒-1
fsevents.0.3.0☒☒180
fsevents-lwt.0.3.0☒☒179
fsml.0.3.0☒☒0
fstar.2022.01.15☒☒2
fstreams.0.2.1☑☒0
fswatch.11-0.1.4☒☒2
fswatch_async.11-0.1.2☒☒-1
fswatch_lwt.11-0.1.0☒☒0
functoria.4.4.1☒☒-1
functoria-runtime.4.4.1☒☒-1
functory.0.6☑☒2
funfields.0.04☑☑0
fuzzy_compare.2.0.1☒☒0
fuzzy_match.v0.16.0☒☒2
fzf.v0.16.0☒☒-1
gadelac.0.6.1☒☒0
gammu.0.9.3☒☒0
gapi-ocaml.0.4.5☒☒1
gappa.1.4.1☑☑0
gavl.0.1.6☒☒2
gbddml.2.71.15☒☒2
gd.1.0a5☒☒-1
gdal.0.10.0☒☒0
gdbprofiler.0.4☒☒0
gedcom.1.0.0☑☑0
gen.1.1☒☒4406
gen-bs.0.0.0☒☒0
gen_js_api.1.1.2☒☒-1
genspio.0.0.3☒☒0
genspir.1.0.1☒☒0
geoip.0.0.3☒☒3
geojson.0.2.0☒☒2
geojsone.0.2.0☒☒1
geoml.0.1.1☒☒0
get_line.7.0.0☒☒1
getopt.20230213☒☒2
getopts.0.4.0☑☒1
gettext.0.4.2☒☒4406
gettext-camomile.0.4.2☒☒0
gettext-stub.0.4.2☒☒0
gg.1.0.0☑☑19
git.3.14.0☒☒-1
git-cohttp.3.6.0☒☒29
git-cohttp-mirage.3.1.1☒☒1
git-cohttp-unix.3.6.0☒☒30
git-http.2.1.3☒☒27
git-kv.0.0.3☒☒-1
git-mirage.3.14.0☒☒-1
git-paf.3.14.0☒☒-1
git-unix.3.14.0☒☒-1
github.4.4.1☒☒15
github-data.4.4.1☒☒16
github-hooks.0.5.0☒☒2
github-hooks-unix.0.5.0☒☒2
github-jsoo.4.4.1☒☒0
github-unix.4.4.1☒☒11
gitlab.0.1.8☒☒6
gitlab-jsoo.0.1.8☒☒0
gitlab-unix.0.1.8☒☒4
gitlab_pipeline_notifier.0.1☒☒0
glMLite.0.03.53☒☒0
gles3.20160307.alpha☒☒0
glfw-ocaml.3.3.1-2☒☒1
glical.0.0.7☒☒0
glicko2.1.0.0☑☒0
globlon.1.0☒☒0
glpk.0.1.8☒☒0
gluten.0.5.0☒☒-1
gluten-async.0.5.0☒☒-1
gluten-eio.0.5.0☒☒-1
gluten-lwt.0.5.0☒☒-1
gluten-lwt-unix.0.5.0☒☒-1
gluten-mirage.0.5.0☒☒-1
gmap.0.3.0☒☒669
gmp.6.2.1-4☒☒-1
gmp-ecm.7.0.3☒☒0
gnuplot.0.7☒☒4
goblint.2.3.0☒☒-1
goblint-cil.2.0.3☒☒-1
google-drive-ocamlfuse.0.7.31☒☒-1
gopcaml-mode.0.0.6☒☒-1
gopcaml-mode-merlin.0.0.6☒☒-1
gospel.0.2.0☒☒-1
gotd.0.1☒☒0
gperftools.0.5☒☒5
gpr.1.5.0☒☒-1
gpx.1.1.1☒☒0
gr.0.0.2☒☒0
gradescope_submit.2.0.2☒☒-1
grain_dypgen.0.2☑☑2
graphics.5.1.2☒☒4406
graphicspdf.2.2.1☑☑0
graphlib.2.5.0☒☒102
graphql.0.14.0☒☒34
graphql-async.0.14.0☒☒0
graphql-cohttp.0.14.0☒☒7
graphql-lwt.0.14.0☒☒30
graphql_parser.0.14.0☒☒35
graphql_ppx.1.2.2☒☒1
graphv.0.1.1☒☒0
graphv_core.0.1.1☒☒3
graphv_core_lib.0.1.1☒☒10
graphv_font.0.1.1☒☒5
graphv_font_js.0.1.1☒☒2
graphv_font_stb_truetype.0.1.1☒☒2
graphv_gles2.0.1.1☒☒3
graphv_gles2_native.0.1.1☒☒1
graphv_gles2_native_impl.0.1.1☒☒2
graphv_webgl.0.1.1☒☒1
graphv_webgl_impl.0.1.1☒☒3
gremlin.0.1.1☒☒-1
grenier.0.14☒☒-1
grib.0.11.0☒☒0
grid.0.1.0☒☒-1
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☒☒-1
grpc-lwt.0.2.0☒☒1
gsl.1.25.0☒☒-1
gstreamer.0.3.1☒☒6
guardian.0.1.0☒☒0
gufo.0.1.2☒☒0
guile.1.0☒☒0
gxl-light.1.0☒☒0
h1_parser.0.0.2☒☒0
h2.0.11.0☒☒-1
h2-async.0.11.0☒☒-1
h2-eio.0.11.0☒☒-1
h2-lwt.0.11.0☒☒-1
h2-lwt-unix.0.11.0☒☒-1
h2-mirage.0.11.0☒☒-1
hack_parallel.1.0.1☒☒-1
hacl.0.3☑☒8
hacl-star.0.7.1☒☒293
hacl-star-raw.0.7.1☒☒296
hacl_func.0.1.0☒☒0
hamt.1.0.0☑☒0
happy-eyeballs.0.6.0☒☒-1
happy-eyeballs-lwt.0.6.0☒☒-1
happy-eyeballs-mirage.0.6.0☒☒-1
hardcaml.v0.16.0☒☒15
hardcaml_axi.v0.16.0☒☒0
hardcaml_c.v0.16.0☒☒-1
hardcaml_circuits.v0.16.0☒☒1
hardcaml_fixed_point.v0.16.0☒☒0
hardcaml_handshake.v0.16.0☒☒1
hardcaml_of_verilog.v0.16.0☒☒-1
hardcaml_step_testbench.v0.16.0☒☒0
hardcaml_verify.v0.16.0☒☒-1
hardcaml_verilator.v0.16.0☒☒-1
hardcaml_waveterm.v0.16.0☒☒-1
hardcaml_xilinx.v0.16.0☒☒0
hardcaml_xilinx_components.v0.16.0☒☒-1
hardcaml_xilinx_reports.v0.16.0☒☒-1
hashcons.1.3☑☑-1
hashset.1.0.0☒☒0
haxe.4.1.1☒☒0
hdfs.0.4☒☒0
hdr_histogram.0.0.3☒☒-1
headache.1.07☒☒-1
header-check.0.1.0☒☒0
heptagon.1.05.00☒☒0
herdtools7.7.56.3☒☒-1
hevea.2.36☑☑2
hex.1.5.0☒☒881
hex_encode.v0.16.0☒☒1
hexstring.0.2.1☒☒0
hg_lib.v0.16.0☒☒-1
hidapi.1.2☒☒-1
hidapi-lwt.1.2☒☒-1
higher.0.3.1☑☑0
higher_kinded.v0.16.0☒☒5
highlexer.0.1☒☒0
higlo.0.9☒☒24
hilite.0.4.0☒☒0
hiredis.0.8☒☒0
hiredis-value.0.8☑☒2
hkdf.1.0.4☒☒-1
hlarp.0.0.3☒☒0
hll.3.16☒☒0
hmap.0.8.1☑☑230
hockmd.0.1.0☒☒0
hol2dk.0.0.1☒☒-1
hooke.0.0.1☒☒0
hpack.0.11.0☒☒-1
htmlfromtexbooks.3.3.2☒☒0
htmlit.0.1.0☑☑0
hts_shrink.3.0.1☒☒0
http.6.0.0~alpha2☒☒-1
http-cookie.4.3.0☒☒0
http-date.0.1☒☒0
http-lwt-client.0.2.5☒☒-1
http-mirage-client.0.0.5☒☒-1
http-multipart-formdata.3.1.0☒☒0
http_async.0.2.0☒☒-1
httpaf.0.7.1☒☒131
httpaf-lwt-unix.0.7.1☒☒31
httpaf_caged.1.0.0☒☒0
httph.0.1☒☒0
huffman.0.1.2☒☒0
humane-re.0.1.1☒☒1
hvsock.3.0.0☒☒3
hweak.1.1☑☒0
hxd.0.3.2☒☒-1
hyper.1.0.0~alpha2☒☒0
i3ipc.0.4☒☒1
icalendar.0.1.7☒☒-1
idd.0.1☒☒0
idds.0.2☒☒1
igvxml.0.1.0☑☒0
imagelib.20221222☒☒6
incr_dom.v0.16.0☒☒5
incr_dom_interactive.v0.16.0☒☒1
incr_dom_partial_render.v0.16.0☒☒0
incr_dom_sexp_form.v0.16.0☒☒0
incr_map.v0.16.0☒☒6
incr_select.v0.16.0☒☒6
incremental.v0.16.0☒☒-1
indentation_buffer.v0.16.0☒☒2
index.1.6.2☒☒309
index-bench.1.6.2☒☒0
inferno.20220603☒☒0
influxdb.0.3.0☒☒2
influxdb-async.0.3.0☒☒-1
influxdb-lwt.0.3.0☒☒0
inquire.0.3.1☒☒0
inquirer_oc.1.0.15☒☒0
inspect.0.2.1☑☑0
int_repr.v0.16.0☒☒4406
integers.0.7.0☒☒1011
integers_stubs_js.1.0☒☒245
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.4.1☒☒2
io.0.2.0☒☒0
io-page.3.0.0☒☒4406
io-page-unix.2.3.0☒☒750
iomux.0.3☒☒22
iostream.0.1☒☒-1
ip2location.8.1.0☒☒-1
ip2locationio.1.0.0☒☒0
ipaddr.5.5.0☒☒-1
ipaddr-cstruct.5.5.0☒☒-1
ipaddr-sexp.5.5.0☒☒-1
ipv6-multicast.0.9☒☒1
ipv6-multicast-lwt.0.9☒☒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☒☒2
irc-client-unix.0.7.1☒☒4
iri.0.7.0☒☒-1
irmin.3.9.0☒☒-1
irmin-bench.3.9.0☒☒-1
irmin-chunk.3.9.0☒☒-1
irmin-cli.3.9.0☒☒-1
irmin-client.3.9.0☒☒-1
irmin-containers.3.9.0☒☒-1
irmin-fs.3.9.0☒☒-1
irmin-git.3.9.0☒☒-1
irmin-graphql.3.9.0☒☒-1
irmin-http.3.8.0☒☒2
irmin-indexeddb.2.0☒☒0
irmin-layers.2.10.2☒☒14
irmin-mem.2.2.0☒☒7
irmin-mirage.3.9.0☒☒-1
irmin-mirage-git.3.9.0☒☒-1
irmin-mirage-graphql.3.9.0☒☒-1
irmin-pack.3.9.0☒☒-1
irmin-pack-tools.3.9.0☒☒-1
irmin-server.3.9.0☒☒-1
irmin-test.3.9.0☒☒-1
irmin-tezos.3.9.0☒☒-1
irmin-tezos-utils.3.6.1☒☒0
irmin-unix.3.3.2☒☒2
irmin-watcher.0.5.0☒☒179
iso639.0.0.5☒☒1
iter.1.8☒☒28
itv-tree.2.2☒☒1
jane-street-headers.v0.16.0☒☒4406
jane_rope.v0.16.0☒☒29
janestreet_csv.v0.16.0☒☒-1
jasmin.2023.06.1☒☒-1
javalib.3.2.2☒☒1
javascriptcore.0.0.1☒☒0
jbuilder.1.0+beta20.2☑☒4406
jekyll-format.0.3.3☒☒-1
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.5.5.2☒☒-1
js_of_ocaml-camlp4.3.1.0☒☒16
js_of_ocaml-compiler.5.5.2☒☒-1
js_of_ocaml-lwt.5.5.2☒☒-1
js_of_ocaml-ocamlbuild.5.0☒☒13
js_of_ocaml-ppx.5.5.2☒☒-1
js_of_ocaml-ppx_deriving_json.5.5.2☒☒-1
js_of_ocaml-toplevel.5.5.2☒☒-1
js_of_ocaml-tyxml.5.5.2☒☒-1
js_of_ocaml-webgpu.0.2☒☒-1
js_of_ocaml-webidl.0.2☒☒-1
js_of_ocaml_patches.v0.16.0☒☒8
json-data-encoding.1.0.0☒☒-1
json-data-encoding-browser.1.0.0☒☒-1
json-data-encoding-bson.1.0.0☒☒-1
json-derivers.1.0.0☒☒2
json-rpc.0.5.0-0☒☒0
json-static.0.9.8☒☒0
json-wheel.1.0.6+safe-string☒☒4
json_decoder.0.1.1☒☒0
json_of_jsonm.1.0.0☑☒0
jsonaf.v0.16.0☒☒6
jsondiff.0.0.1☒☒0
jsonm.1.0.2☑☑784
jsonoo.0.2.1☒☒-1
jsonrpc.1.17.0☒☒-1
jsonxt.1.0.1☒☒0
jsoo-react.0.1☒☒0
jsoo_broadcastchannel.2.0.0☒☒0
jsoo_storage.1.0.1☒☒0
jst-config.v0.16.0☒☒4406
junit.2.0.2☒☒8
junit_alcotest.2.0.2☒☒9
junit_ounit.2.0.2☒☒0
jupyter.2.8.3☒☒2
jupyter-kernel.0.8☒☒0
jwt.0.1☒☒0
jwto.0.4.0☒☒16
kafka.0.5☒☒2
kafka_async.0.5☒☒-1
kafka_lwt.0.5☒☒0
kaputt.1.2☑☒3
kcas.0.6.1☒☒-1
kcas_data.0.6.1☒☒-1
kdl.0.1.0☒☒0
ke.0.6☒☒468
key-parsers.1.5.0☒☒1
kicadsch.0.9.0☒☒1
kind2.2.1.0☒☒-1
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.3.0☒☒-1
krb.v0.15.0☒☒-1
kyotocabinet.0.2☒☒0
lab.0.1.8☒☒0
lablgl.1.07☒☒4406
lablgtk.2.18.13☒☒4406
lablgtk3.3.1.3☒☒-1
lablgtk3-extras.3.0.1☒☒0
lablgtk3-goocanvas2.3.1.3☒☒-1
lablgtk3-gtkspell3.3.1.3☒☒-1
lablgtk3-sourceview3.3.1.3☒☒-1
lablqml.0.7☒☒1
labltk.8.06.13☑☑-1
labrys.0.1☒☒0
lacaml.11.0.10☒☒-1
ladspa.0.2.2☒☒5
lambda.0.1.7☒☒0
lambda-runtime.0.1.0☒☒1
lambda-term.3.3.2☒☒262
lambda_streams.0.1.2☒☒2
lambda_streams_async.0.1.2☒☒-1
lambda_streams_lwt.0.1.2☒☒0
lambdapi.2.4.1☒☒-1
lambdasoup.1.0.0☒☒-1
lame.0.3.7☒☒4
landmarks.1.4☒☒1
landmarks-ppx.1.4☒☒0
lascar.0.7.0☒☒1
lastfm.0.3.3☒☒-1
lazy-trie.1.2.0☒☒22
lbfgs.0.9.5☒☒4
lbvs_consent.2.2.0☒☒0
ldap.2.4.2☒☒-1
ldp.0.1.0☒☒-1
ldp_curl.0.1.0☒☒-1
ldp_js.0.1.0☒☒-1
ldp_tls.0.1.0☒☒-1
leaflet.0.1☒☒0
leaves.0.0.1☒☒-1
ledgerwallet.0.3.0☒☒-1
ledgerwallet-tezos.0.3.0☒☒-1
ledit.2.06☒☒4
lem.2022-12-10☒☒12
lemonade.0.6.0☑☒3
lemonade-sqlite.0.1.0☒☒0
lens.1.2.5☒☒0
let-if.0.3.0☒☒-1
letsencrypt.0.5.1☒☒-1
letsencrypt-app.0.5.1☒☒-1
letsencrypt-dns.0.5.1☒☒-1
letsencrypt-mirage.0.5.1☒☒-1
letters.0.3.3☒☒3
leveldb.1.3.0☒☒1
lib_parsing.1.12.0☑☑1
libabsolute.0.1☒☒1
libbinaryen.115.0.0☒☒0
libdash.0.3☒☒0
libevent.0.8.1☒☒-1
libirmin.3.9.0☒☒-1
libsail.0.17.1☒☒-1
libssh.0.1☒☒0
libsvm.0.10.0☒☒0
libtensorflow.0.1☑☑0
libtorch.1.6.0☑☑1
libwasmer.3.0.0~beta☒☒1
libzipperposition.1.6☒☒2
lilac.0.1.1☒☒0
lilv.0.1.0☒☒4
line-up-words.v0.16.0☒☒-1
line_oriented.1.3.0☒☒10
linenoise.1.4.0☒☒-1
linkage.0.1☑☒0
links.0.9.8☒☒3
links-mysql.0.9.8☒☒0
links-postgresql.0.9.8☒☒0
links-sqlite3.0.9.8☒☒0
linksem.0.8☒☒11
linol.0.4☒☒-1
linol-lwt.0.4☒☒-1
lintcstubs.0.4.7☒☒0
lintcstubs-arity.0.4.1☒☒2
lintcstubs-gen.0.4.7☒☒1
linwrap.9.1.5☒☒-1
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.2.3☒☒-1
liquidsoap-core.2.2.3☒☒-1
liquidsoap-daemon.1.0.0☒☒0
liquidsoap-js.2.2.3☒☒-1
liquidsoap-lang.2.2.3☒☒-1
liquidsoap-libs.2.2.3☒☒-1
liquidsoap-libs-extra.2.2.3☒☒-1
liquidsoap-mode.2.2.3☒☒-1
little_logger.0.2.0☒☒-1
llama.0.1.0☒☒1
llama-cpp-ocaml.0.0.1☒☒0
llama_core.0.1.0☒☒2
llama_interactive.0.1.0☒☒0
llama_midi.0.1.0☒☒3
llopt.1.0.0☒☒0
llvm.16.0.6+nnp☒☒-1
llvmgraph.0.2☒☒0
lmdb.1.0☒☒0
lo.0.2.0☒☒4
lockfree.0.3.1☒☒23
logger-p5.0.4.5☒☒5
logical.0.3.0☒☒0
logs.0.7.0☑☑4406
logs-async.1.3☒☒2
logs-async-reporter.1.0☒☒-1
logs-ppx.0.2.0☒☒1
logs-syslog.0.4.0☒☒-1
logtk.1.6☒☒3
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
lru.0.3.1☒☒742
lru-cache.0.3.0☑☑1
lru_cache.v0.16.0☒☒-1
lsp.1.17.0☒☒-1
lt-code.0.1.1☒☒0
lua-ml.0.9.4☒☒2
lua_parser.1.0.2☒☒0
lua_pattern.1.7☒☒1
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.12☒☒-1
luv_unix.0.5.1☒☒5
lwd.0.3☒☒6
lwt.5.7.0☒☒-1
lwt-canceler.0.3☒☒321
lwt-dllist.1.0.1☒☒4406
lwt-exit.1.0☒☒220
lwt-parallel.1.0.0☒☒0
lwt-pipe.0.1☑☒0
lwt-pipeline.0.2☑☒0
lwt-watcher.0.2☒☒153
lwt_camlp4.1.0.0☒☒9
lwt_domain.0.3.0☒☒0
lwt_eio.0.5☒☒-1
lwt_glib.1.1.1☒☒3
lwt_log.1.1.2☒☒603
lwt_ppx.2.1.0☒☒-1
lwt_ppx_let.5.6.0☒☒-1
lwt_react.1.2.0☒☒312
lwt_ssl.1.2.0☒☒558
lymp.0.2.5☑☒1
lz4.1.3.0☒☒13
lz4_chans.3.0.1☒☒0
lzo.0.0.2☒☒-1
m_tree.0.1☒☒0
macaddr.5.5.0☒☒-1
macaddr-cstruct.5.5.0☒☒-1
macaddr-sexp.5.5.0☒☒-1
macaque.0.8☒☒2
macaroons.0.1.0☒☒0
mad.0.5.2☒☒-1
magic.0.7.3☑☒-1
magic-mime.1.3.1☒☒560
magic-trace.1.0.1☒☒-1
maildir.0.9.0☑☒0
make-random.0.1☒☒1
malfunction.0.5☒☒-1
man_in_the_middle_debugger.v0.16.0☒☒-1
mariadb.1.1.6☒☒-1
markdown.0.2.1☒☒1
markup.1.0.3☒☒4406
markup-lwt.0.5.0☒☒2
mastodon-archive-viewer.0.4.0☒☒0
matita.0.99.5☒☒0
matplotlib.0.2☒☒0
maxminddb.0.6☒☒0
mbr-format.2.0.0☒☒4
mc2.0.1☒☒0
mccs.1.1+16☒☒-1
md2mld.0.7.0☒☒24
mdx.2.3.1☒☒-1
mec.0.1.0☒☒137
mechaml.1.2.1☒☒0
mehari.0.3☒☒-1
mehari-eio.0.3☒☒-1
mehari-lwt-unix.0.3☒☒-1
mehari-mirage.0.3☒☒-1
mel.0.3.2☒☒0
melange.2.1.0☒☒-1
melange-atdgen-codec-runtime.1.0.0☒☒-1
melange-compiler-libs.0.0.1-414☒☒5
melange-fetch.0.1.0☒☒2
melange-jest.0.1.0☒☒-1
melange-json.1.0.0☒☒-1
melange-moment.0.3.0☒☒-1
melange-numeral.0.0.1☒☒0
melange-react-dates.1.4.0☒☒-1
melange-react-query.0.1.0☒☒-1
melange-recharts.4.0.0☒☒-1
melange-testing-library.0.1.0☒☒2
melange-webapi.0.20.0☒☒-1
meldep.0.3.2☒☒4
mem_usage.0.0.4☒☒-1
memcad.1.1.0☒☒0
memcpy.0.2.2☒☒0
memgraph.1.0☒☒1
memgraph_kitty.1.0☒☒0
memprof-limits.0.2.0☒☒-1
memtrace.0.2.3☒☒34
memtrace-mirage.0.2.1.2.2☒☒1
memtrace_viewer.v0.16.0☒☒-1
menhir.20230608☒☒-1
menhirLib.20230608☒☒-1
menhirSdk.20230608☒☒-1
merge-fmt.0.3☒☒0
mergeable-vector.0.1.0☑☑0
merlin.4.13-501☒☒-1
merlin-extend.0.6.1☒☒-1
merlin-lib.4.13-501☒☒-1
merlin-of-pds.1.4☒☒5
mesh.0.9.5☒☒3
mesh-easymesh.0.9.5☒☒0
mesh-graphics.0.9.5☒☒0
mesh-triangle.0.9.5☒☒0
metadata.0.2.0☒☒-1
metadb.1.0.2☒☒1
metapp.0.4.4☒☒11
metaquot.0.5.2☒☒10
metrics.0.4.1☒☒4406
metrics-influx.0.4.1☒☒4
metrics-lwt.0.4.1☒☒4406
metrics-mirage.0.3.0☒☒0
metrics-rusage.0.4.1☒☒3
metrics-unix.0.4.1☒☒3
mew.0.1.0☒☒266
mew_vi.0.5.0☒☒265
mikmatch.1.0.9☒☒0
mimic.0.0.6☒☒-1
mimic-happy-eyeballs.0.0.6☒☒-1
mindstorm.0.8.1☒☒1
mindstorm-lwt.0.8.1☒☒0
minicaml.0.3.1☒☒0
minicli.5.0.2☒☒18
minilight.1.6☑☑0
minima-theme.1.0.0☒☒0
minimal.1.0.0☒☒0
minios-xen.0.9☒☒4407
minisat.0.6☒☒2
minivpt.2.0.0☒☒1
minttea.0.0.1☒☒-1
miou.0.0.1~beta1☒☒-1
mirage.4.4.1☒☒-1
mirage-block.3.0.2☒☒609
mirage-block-ccm.2.0.0☒☒0
mirage-block-combinators.3.0.2☒☒7
mirage-block-partition.0.1.0☒☒-1
mirage-block-ramdisk.0.5☒☒4
mirage-block-solo5.0.8.1☒☒1
mirage-block-unix.2.14.2☒☒24
mirage-block-xen.2.1.1☒☒-1
mirage-btrees.0.1.0☒☒0
mirage-channel.4.1.0☒☒597
mirage-clock.4.2.0☒☒760
mirage-clock-freestanding.4.1.0☒☒4406
mirage-clock-solo5.4.2.0☒☒0
mirage-clock-unix.4.2.0☒☒733
mirage-clock-xen.1.1☑☑4406
mirage-crypto.0.11.2☒☒-1
mirage-crypto-ec.0.11.2☒☒-1
mirage-crypto-entropy.0.6.2☒☒0
mirage-crypto-pk.0.11.2☒☒-1
mirage-crypto-rng.0.11.2☒☒-1
mirage-crypto-rng-async.0.11.2☒☒-1
mirage-crypto-rng-eio.0.11.2☒☒-1
mirage-crypto-rng-lwt.0.11.2☒☒-1
mirage-crypto-rng-mirage.0.11.2☒☒-1
mirage-flow.4.0.0☒☒-1
mirage-flow-combinators.4.0.0☒☒-1
mirage-flow-unix.4.0.0☒☒-1
mirage-kv.6.1.1☒☒647
mirage-kv-mem.3.2.1☒☒2
mirage-kv-unix.2.1.0☒☒-1
mirage-logs.2.1.0☒☒5
mirage-monitoring.0.0.4☒☒-1
mirage-nat.3.0.2☒☒0
mirage-net.4.0.0☒☒650
mirage-net-solo5.0.8.0☒☒0
mirage-net-unix.3.0.0☒☒504
mirage-net-xen.2.1.3☒☒-1
mirage-qubes.0.9.3☒☒-1
mirage-qubes-ipv4.0.9.3☒☒-1
mirage-runtime.4.4.1☒☒-1
mirage-seal.0.4.2☒☒0
mirage-solo5.0.9.2☒☒-1
mirage-tc.0.3.0☒☒20
mirage-time.3.0.0☒☒722
mirage-time-unix.3.0.0☒☒23
mirage-unix.5.0.1☒☒718
mirage-vnetif.0.6.0☒☒-1
mirage-vnetif-stack.0.6.0☒☒-1
mirage-xen.8.0.2☒☒-1
misuja.0.0.0☒☒2
mixture.1.0.0☑☒5
mjson.0.1.1☒☒-1
mkaudio.1.1.3☒☒0
mkocaml.1.2☒☒0
mlbdd.0.7.3☒☒4
mlcuddidl.3.0.7☑☒-1
mlfenv.1.0.0☒☒0
mlgmpidl.1.2.15☒☒26
mlmpfr.4.1.1☒☒-1
mlt_parser.v0.16.0☒☒1
mm.0.8.4☒☒-1
mmap.1.2.0☒☒4406
mmdb.0.3.0☒☒0
mmseg.transition☒☒0
mnd.1.1.0☒☒0
mock.1.0.0☒☒1
mock-ounit.1.0.0☒☒1
modular-arithmetic.0.1☑☒0
module-graph.0.2.0☒☒0
molenc.16.17.1☒☒-1
monaco_jsoo.1.0.1☒☒1
monadlib.0.2☒☒2
monads.2.5.0☒☒108
monocypher.0.1.0☒☒-1
monolith.20230604☒☒-1
monomorphic.2.1.0☒☒1
monorobot.0.1☒☒0
moonpool.0.5.1☒☒-1
morbig.0.11.0☒☒0
more-ocaml.1.0☑☑0
morsmall.0.2.0☒☒0
mosquitto.0.2.1-0☒☒0
moss.0.1.1☒☒0
mparser.1.3☒☒16
mparser-pcre.1.3☒☒2
mparser-re.1.3☒☒1
mpg123.0.3☒☒0
mpi.1.05☑☒-1
mpp.0.3.6☒☒1
mpris.0.2.0☒☒1
mpris-clients.0.2.0☒☒0
mrmime.0.6.0☒☒-1
msat.0.9.1☒☒6
msat-bin.0.9.1☒☒0
msgpack.1.3.0☑☒2
msgpck.1.7☒☒10
msgpck-repr.1.7☑☒0
mssql.2.2.0☒☒-1
mtime.2.0.0☑☑-1
mtl.1.0.0☒☒0
mugen.0.1.0☒☒0
mula.0.1.2☒☒0
multibase.0.1.0☒☒1
multicodec.0.1.0☒☒3
multicont.1.0.1☒☒-1
multicore-magic.2.0.0☒☒-1
multihash.0.1.0☒☒2
multihash-digestif.0.1.0☒☒1
multipart-form-data.0.3.0☒☒28
multipart_form.0.5.0☒☒-1
multipart_form-cohttp-lwt.0.5.0☒☒-1
multipart_form-lwt.0.5.0☒☒-1
murmur3.0.3☒☒1
mustache.3.3.0☒☒5
mustache-cli.3.3.0☒☒0
mutaml.0.1.0☒☒-1
mutf8.0.2☒☒0
mvar.1.0.0☒☒0
mwt.0.1.0☒☒0
mybuild.6☑☑-1
mysql.1.2.4☑☑11
mysql8.1.0☒☒1
mysql_protocol.3.0.3☒☒0
n_ary.v0.16.0☒☒0
naboris.0.1.3☒☒0
nacc.1.0☒☒0
namespaces.0.5.1☑☑0
nanoid.1.0.0☒☒0
nanosvg.0.2☒☒2
nanosvg_text.0.1☒☒1
nbd.6.0.1☒☒5
nbd-tool.6.0.1☒☒0
nbd-unix.6.0.1☒☒1
netchannel.2.1.3☒☒151
netsnmp.v0.16.0☒☒-1
nice_parser.1.0.0☒☒1
nloge.0.0.2☒☒0
nlopt.0.7.0☒☒3
nlopt-ocaml.transition☒☒2
nlp.0.0.1☑☑0
nmea.0.1.5☒☒0
noCanren.0.3.0☒☒0
nocoiner.1.0.0☒☒0
nocrypto.0.5.4-2☒☒687
node_of_ocaml.1.0.0☒☒0
non_empty_list.0.1☒☒0
nonstd.0.0.3☑☒13
nosetup.0.8.1☒☒0
not-ocamlfind.0.12☒☒-1
note.0.0.3☑☑13
nottui.0.3☒☒3
nottui-lwt.0.3☒☒0
nottui-pretty.0.3☒☒0
notty.0.2.3☒☒23
notty_async.v0.16.0☒☒-1
np.np1.19-0.3.1☒☒2
nproc.0.5.1☒☒0
npy.0.0.9☒☒16
nsq.0.5.3☒☒0
num.1.5☑☑-1
numeric_string.v0.16.0☒☒1
nuscr.2.1.1☒☒0
oasis.0.4.11☑☒4406
oasis2debian.0.1.5☒☒0
oasis2opam.0.8☑☒0
obandit.0.3.4☒☒0
obelisk.0.6.0☒☒-1
objsize.0.18☒☒1
obuild.0.1.11☒☒737
obuilder.0.5.1☒☒-1
obuilder-spec.0.5.1☒☒-1
obus.1.2.3☒☒-1
obytelib.1.6☒☒3
oc45.1.0.0☑☒1
ocal.0.2.2☒☒0
ocaml-basics.0.3.0☒☒0
ocaml-buddy.0.6.1☒☒0
ocaml-canvas.1.0.0☒☒0
ocaml-compiler-libs.v0.12.4☒☒4406
ocaml-embed-file.v0.16.0☒☒-1
ocaml-expat.1.3.0☒☒2
ocaml-http.0.1.6☒☒0
ocaml-in-python.0.1.0☒☒0
ocaml-inifiles.1.2☒☒6
ocaml-lsp-server.1.17.0☒☒-1
ocaml-lua.1.8☒☒0
ocaml-makefile.6.39.2☑☑1
ocaml-manual.5.1.0☒☒-1
ocaml-markdown.transition☒☒0
ocaml-monadic.0.5☒☒4
ocaml-print-intf.1.2.0☒☒0
ocaml-probes.v0.15.0☒☒0
ocaml-protoc.3.0.1☒☒-1
ocaml-protoc-plugin.4.5.0☒☒-1
ocaml-protoc-yojson.0.2.0☒☒0
ocaml-r.0.6.0☒☒1
ocaml-sat-solvers.0.7.1☒☒1
ocaml-secondary-compiler.4.08.1-1☒☒-1
ocaml-solo5.0.8.2☑☒-1
ocaml-src.5.1.0☒☑-1
ocaml-syntax-shims.1.0.0☒☒4406
ocaml-systemd.1.2☒☒5
ocaml-top.1.2.0☒☒0
ocaml-twt.0.94.0☑☒1
ocaml-vdom.transition☒☒0
ocaml-version.3.6.3☒☒-1
ocaml-xdg-basedir.transition☒☒3
ocaml_db_model.0.1☒☒-1
ocaml_intrinsics.v0.16.0☒☒-1
ocaml_pgsql_model.0.1☒☒-1
ocaml_plugin.v0.15.0☒☒-1
ocamlbrowser.4.14.0☒☒0
ocamlbuild.0.14.2☑☑-1
ocamlbuild-atdgen.0.1.0☑☑0
ocamlbuild-pkg.0.2.1☑☒2
ocamlbuild-protoc.0.1☒☒0
ocamlc-loc.3.12.1☒☒-1
ocamlclean.2.3☒☒2
ocamlcodoc.1.0.1☒☒1
ocamldap.transition☒☒0
ocamldiff.1.1☒☒-1
ocamldot.1.1☑☒4
ocamldsort.0.16.0☒☒0
ocamlfind.1.9.6☑☑4406
ocamlfind-lint.0.1.0☑☒0
ocamlfind-secondary.1.9.6☒☒4406
ocamlformat.0.26.1☒☒-1
ocamlformat-lib.0.26.1☒☒-1
ocamlformat-rpc.removed☑☑0
ocamlformat-rpc-lib.0.26.1☒☒-1
ocamlfuse.2.7.1-cvs8☒☒-1
ocamlgraph.2.1.0☒☒4406
ocamlgraph_gtk.2.0.0☒☒7
ocamlify.0.0.1☑☒4406
ocamline.1.2☒☒1
ocamlmod.0.0.9☑☒4406
ocamlnet.4.1.9-2☒☒4406
ocamlog.0.2☒☒0
ocamlregextkit.1.0.0☒☒-1
ocamlrss.2.2.2☒☒4
ocamlscript.3.0.0☑☑0
ocamlsdl.0.9.1☒☒12
ocamlsdl2.0.04☒☒2
ocamlsdl2-image.0.01☒☒0
ocamlsdl2-ttf.0.02☒☒0
ocamlwc.0.3☑☑0
ocamlyices.0.7.1☒☒0
ocapic.3.5☒☒0
ocb.0.2☒☒0
ocb-stubblr.0.1.1-1☑☑4406
ocephes.0.8.2☒☒3
ocf.0.8.0☒☒-1
ocf_ppx.0.8.0☒☒-1
ockt.0.0.1☒☒0
oclock.0.4.0☒☒4
ocluster.0.2.1☒☒-1
ocluster-api.0.2.1☒☒-1
ocluster-worker.0.2.1☒☒-1
ocolor.1.3.1☒☒4
ocp-browser.1.3.5☒☒-1
ocp-indent.1.8.1☒☒37
ocp-indent-nlfork.1.5.4☒☒2
ocp-index.1.3.5☒☒-1
ocp-ocamlres.0.4☒☒237
ocp-pack-split.1.0.1☑☒0
ocp-reloc.0.1☑☑0
ocp_reveal.0.1☒☒0
ocplib-endian.1.2☒☒4406
ocplib-json-typed.0.7.1☑☒160
ocplib-json-typed-browser.0.7.1☑☒1
ocplib-json-typed-bson.0.7.1☑☒144
ocplib-simplex.0.5☒☒-1
ocplib_stuff.0.4.0☒☒17
ocsfml.2.0☒☒0
ocsigen-i18n.4.0.0☒☒1
ocsigen-ppx-rpc.1.0☒☒1
ocsigen-start.6.1.1☒☒-1
ocsigen-toolkit.3.3.4☒☒-1
ocsigenserver.5.1.2☒☒-1
ocsipersist.1.1.0☒☒-1
ocsipersist-dbm.1.1.0☒☒-1
ocsipersist-lib.1.1.0☒☒-1
ocsipersist-pgsql.1.1.0☒☒-1
ocsipersist-sqlite.1.1.0☒☒-1
octavius.1.2.2☒☒4406
octez.18.1☒☒-1
octez-accuser-Proxford.18.1☒☒-1
octez-accuser-PtKathma.15.1☒☒-1
octez-accuser-PtLimaPt.16.1☒☒1
octez-accuser-PtMumbai.17.3☒☒1
octez-accuser-PtNairob.18.1☒☒-1
octez-alcotezt.18.1☑☑-1
octez-baker-Proxford.18.1☒☒-1
octez-baker-PtKathma.15.1☒☒-1
octez-baker-PtLimaPt.16.1☒☒1
octez-baker-PtMumbai.17.3☒☒1
octez-baker-PtNairob.18.1☒☒-1
octez-bls12-381-hash.17.3☒☒144
octez-bls12-381-polynomial.17.3☒☒146
octez-bls12-381-signature.17.3☒☒174
octez-client.18.1☒☒-1
octez-codec.18.1☒☒-1
octez-crawler.18.1☒☒-1
octez-dac-client.18.1☒☒-1
octez-dac-node.18.1☒☒-1
octez-distributed-internal.18.1☑☑-1
octez-distributed-lwt-internal.18.1☑☑-1
octez-injector.18.1☒☒-1
octez-l2-libs.18.1☒☒-1
octez-libs.18.1☒☒-1
octez-mec.17.3☒☒145
octez-node.18.1☒☒-1
octez-node-config.18.1☒☒-1
octez-plompiler.17.3☒☒143
octez-plonk.17.3☒☒142
octez-polynomial.17.3☒☒145
octez-proto-libs.18.1☒☒-1
octez-protocol-000-Ps9mPmXa-libs.18.1☒☒-1
octez-protocol-001-PtCJ7pwo-libs.18.1☒☒-1
octez-protocol-002-PsYLVpVv-libs.18.1☒☒-1
octez-protocol-003-PsddFKi3-libs.18.1☒☒-1
octez-protocol-004-Pt24m4xi-libs.18.1☒☒-1
octez-protocol-005-PsBabyM1-libs.18.1☒☒-1
octez-protocol-006-PsCARTHA-libs.18.1☒☒-1
octez-protocol-007-PsDELPH1-libs.18.1☒☒-1
octez-protocol-008-PtEdo2Zk-libs.18.1☒☒-1
octez-protocol-009-PsFLoren-libs.18.1☒☒-1
octez-protocol-010-PtGRANAD-libs.18.1☒☒-1
octez-protocol-011-PtHangz2-libs.18.1☒☒-1
octez-protocol-012-Psithaca-libs.18.1☒☒-1
octez-protocol-013-PtJakart-libs.18.1☒☒-1
octez-protocol-014-PtKathma-libs.18.1☒☒-1
octez-protocol-015-PtLimaPt-libs.18.1☒☒-1
octez-protocol-016-PtMumbai-libs.18.1☒☒-1
octez-protocol-017-PtNairob-libs.18.1☒☒-1
octez-protocol-018-Proxford-libs.18.1☒☒-1
octez-protocol-alpha-libs.18.1☒☒-1
octez-protocol-compiler.18.1☒☒-1
octez-proxy-server.18.1☒☒-1
octez-shell-libs.18.1☒☒-1
octez-signer.18.1☒☒-1
octez-smart-rollup-client-Proxford.18.1☒☒1
octez-smart-rollup-client-PtMumbai.17.3☒☒1
octez-smart-rollup-client-PtNairob.18.1☒☒1
octez-smart-rollup-node.18.1☒☒-1
octez-smart-rollup-node-Proxford.18.1☒☒-1
octez-smart-rollup-node-PtMumbai.17.3☒☒1
octez-smart-rollup-node-PtNairob.18.1☒☒-1
octez-smart-rollup-node-alpha.18.1☒☒-1
octez-smart-rollup-node-lib.18.1☒☒-1
octez-smart-rollup-wasm-benchmark-lib.17.3☒☒2
octez-smart-rollup-wasm-debugger.18.1☒☒-1
octez-tx-rollup-client-PtKathma.15.1☒☒-1
octez-tx-rollup-client-PtLimaPt.16.1☒☒1
octez-tx-rollup-node-PtKathma.15.1☒☒-1
octez-tx-rollup-node-PtLimaPt.16.1☒☒1
octez-validator.15.1☒☒-1
octez-version.18.1☒☒-1
ocurl.0.9.2☑☑63
ocveralls.0.3.4☒☒0
odate.0.7☒☒9
odbc.3.0☒☒0
odds.1.2☒☒0
odep.0.2.0☒☒-1
odepack.0.7.1☒☒1
odig.0.0.9☒☒4
odnnr.2.0.0☒☒0
odoc.2.4.0☒☒-1
odoc-depgraph.1.0☑☑0
odoc-parser.2.4.0☒☒-1
of_json.v0.16.0☒☒-1
offheap.0.1.2☒☒0
ofx.0.1.5☒☒0
ogg.0.7.4☒☒12
ogre.2.5.0☒☒102
ojo.0.2.1☒☒0
ojs.1.1.2☒☒-1
ojs-base.0.6.0☒☒3
ojs_base.0.7.0☒☒8
ojs_base_all.0.7.0☒☒3
ojs_base_ppx.0.7.0☒☒2
ojs_ed.0.7.0☒☒4
ojs_filetree.0.7.0☒☒4
ojs_list.0.7.0☒☒4
olinq.0.3☒☒0
ollvm.0.99☒☒0
ollvm-tapir.0.99.1☒☒0
olmi.1.1☑☒0
omake.0.10.6☑☑-1
omd.2.0.0~alpha4☒☒65
ometrics.0.2.1☒☒0
omigrate.0.3.2☒☒0
oml.0.0.7☑☑2
omlr.1.0.2☑☒-1
omod.0.0.3☑☑-1
omtl.0.1☒☒-1
oneffs.0.1.0☒☒0
oniguruma.0.1.2☒☒3
oolc.0.3☑☒0
opaca.0.1.5☑☒0
opal.0.1.1☑☒0
opam-0install.0.4.3☒☒-1
opam-0install-cudf.0.4.3☒☒-1
opam-bin.1.2.0☒☒0
opam-build.0.1.0☒☒-1
opam-bundle.0.4☒☒0
opam-check-npm-deps.2.0.0☒☒-1
opam-client.2.2.0~alpha3☒☒-1
opam-compiler.0.1.1☒☒-1
opam-core.2.2.0~alpha3☒☒-1
opam-custom-install.0.3☒☒0
opam-depext.1.2.1-1☑☑-1
opam-devel.2.2.0~alpha3☒☒-1
opam-dune-lint.0.4☒☒-1
opam-ed.0.4☒☒0
opam-file-format.2.1.6☑☑-1
opam-format.2.2.0~alpha3☒☒-1
opam-graph.0.1.1☒☒0
opam-grep.0.4.0☒☒0
opam-installer.2.2.0~alpha3☒☒-1
opam-lib.1.3.1☒☒8
opam-lock.0.2☒☒0
opam-monorepo.0.4.0☒☒2
opam-package-upgrade.0.2☒☒0
opam-publish.2.3.0☒☒-1
opam-repository.2.2.0~alpha3☒☒-1
opam-solver.2.2.0~alpha3☒☒-1
opam-spin.0.8.3☒☒0
opam-state.2.2.0~alpha3☒☒-1
opam_bin_lib.1.2.0☒☒1
opamconfig.0.3.0☑☑0
opamfu.0.1.4☒☒1
opasswd.1.3.1☒☒0
open.0.2.1☑☒3
openQASM.0.4.0☒☒1
openai.0.0.1☒☒0
openapi.0.6.0☒☒-1
openapi_router.0.1.0☒☒0
opencc.transition☒☒0
opencc0.1.0.2☒☒0
opencc1.1.0.1☒☒1
opencc1_1.0.1.0☒☒0
openstellina.0.0.3☒☒0
opentelemetry.0.6☒☒-1
opentelemetry-client-cohttp-lwt.0.6☒☒-1
opentelemetry-client-ocurl.0.6☒☒-1
opentelemetry-cohttp-lwt.0.6☒☒-1
opentelemetry-lwt.0.6☒☒-1
operf-micro.1.1.1☑☒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
oplot.0.71☒☒0
oplsr.8.0.1☒☒0
opomodoro.0.0.2☒☒0
opsian.0.1☒☒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☒☒833
opus.0.2.2☒☒4
oqamldebug.0.9.5☒☒0
oraft.0.3.0☒☒-1
orandforest.1.0.0☒☒0
oranger.4.3.5☒☒0
order-i3-xfce.0.1☒☒0
ordering.3.12.1☒☒-1
ordinal.1.1☒☒0
ordinal_abbreviation.v0.16.0☒☒2
orec.1.0.1☒☒1
orewa.0.2.1☒☒-1
orf.1.0.0☒☒0
orgeat.0.0.1☒☒0
orm.0.7.1☒☒0
orocksdb.0.2.2☒☒0
orpie.1.6.1☒☒0
orrandomForest.3.0.0☒☒0
orsetto.1.1.3☑☑0
orsvm_e1071.4.0.0☒☒0
ortac-core.0.1.0☒☒-1
ortac-qcheck-stm.0.1.0☒☒-1
ortac-runtime.0.1.0☒☒-1
orxgboost.1.2.0☒☒0
osbx.1.2.4☒☒0
osc.0.2.0☒☒6
osc-lwt.0.2.0☒☒0
osc-unix.0.2.0☒☒4
osdp.1.1.0☒☒-1
oseq.0.5.1☒☒37
osh.0.1☒☒0
oskel.0.3.0☒☒0
osnap.0.3.0☒☒0
ostap.0.5☒☒-1
otf.0.1☒☒0
otfm.0.4.0☑☑8
otoggl.0.3.2☒☒0
otoml.1.0.4☒☒-1
otr.0.3.10☒☒-1
ott.0.33☒☒11
otto.0.0.2☑☒0
ounit.2.2.7☒☒4406
ounit-lwt.2.2.7☒☒0
ounit2.2.2.7☒☒4406
ounit2-lwt.2.2.7☒☒2
owee.0.7☒☒8
owi.0.1☒☒0
owl.1.1☒☒13
owl-base.1.1☒☒15
owl-jupyter.1.0☒☒0
owl-ode.0.5.0☒☒2
owl-ode-base.0.5.0☒☒3
owl-ode-odepack.0.5.0☒☒0
owl-ode-sundials.0.5.0☒☒0
owl-opt.0.0.1☒☒1
owl-opt-lbfgs.0.0.1☒☒0
owl-plplot.1.0.2☒☒5
owl-top.1.1☒☒1
owork.0.1.1☒☒0
ozulip.0.1☒☒0
p4pp.0.1.12☒☒-1
p5scm.0.3.1☒☒-1
pa_comprehension.0.4☒☒0
pa_monad_custom.v6.0.0☒☒4
pa_ppx.0.14☒☒-1
pa_ppx_hashcons.0.11☒☒3
pa_ppx_migrate.0.11☒☒-1
pa_ppx_parsetree.0.02☒☒0
pa_ppx_q_ast.0.11☒☒-1
pa_ppx_quotation2extension.0.02☒☒1
pa_ppx_regexp.0.02☒☒-1
pa_ppx_static.0.02☒☒4
pa_ppx_string.0.01☒☒0
pa_ppx_unique.0.11☒☒3
pa_qualified.0.6☒☒1
pa_solution.0.7☒☒0
pa_where.0.4☒☒0
packstream.0.1☒☒0
pacomb.1.3☒☒0
paf.0.5.0☒☒-1
paf-cohttp.0.5.0☒☒-1
paf-le.0.4.0☒☒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
papi.0.1.1☒☒-1
par_incr.0.1☒☒0
parany.14.0.1☒☒14
pardi.3.2.2☒☒0
pareto.0.3☒☒0
pari.0.1☒☒0
pari-bindings.0.1☒☒1
parmap.1.2.5☒☒28
parsexp.v0.16.0☒☒4406
parsexp_io.v0.16.0☒☒0
parsley.0.0.1☒☒0
patch.1.0.1☒☒-1
patdiff.v0.16.1☒☒-1
path_glob.0.3☒☒1
patience_diff.v0.16.0☒☒29
pattern.0.3.2☒☒2
pb.1.0.0☒☒1
pb-plugin.1.0.0☒☒0
pbkdf.1.2.0☒☒-1
pbrt.3.0.1☒☒-1
pbrt_services.3.0.1☒☒-1
pbrt_yojson.3.0.1☒☒-1
pbs.0.2.0☑☒0
pcap-format.0.6.0☒☒3
pci-db.0.3.0☒☒0
pcre.7.5.0☒☒4406
pcre2.7.5.2☒☒12
pds.5.38☒☒7
pds-reachability.0.2.3☒☒0
pecu.0.6☒☒-1
petrol.1.2.0☒☒0
pf-qubes.0.1.1☒☒0
pg_query.0.9.7☒☒3
pgocaml.4.4.0☒☒22
pgocaml_ppx.4.4.0☒☒1
pgsolver.4.1☒☒-1
pgx.2.2☒☒9
pgx_async.2.2☒☒-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
phashtbl.1.0.0☑☒0
phonetic.0.1.0☒☒0
phylogenetics.0.2.0☒☒-1
piaf.0.1.0☒☒3
picasso.0.4.0☒☒2
piece_rope.0.9.1☒☒0
pilat.1.6☒☒0
piqi.0.7.8☒☒13
piqilib.0.6.16☒☒14
pkcs11.1.0.1☒☒3
pkcs11-cli.1.0.1☒☒0
pkcs11-driver.1.0.1☒☒1
pkcs11-rev.1.0.1☒☒0
pla.2.1☒☒0
plateau.0.1☒☒0
plato.1.1.3☒☒0
plebeia.2.2.0☒☒0
plist.0.1☒☒1
plist-xml.0.5.0☒☒2
plist-xml-lwt.0.3.0☒☒0
plotkicadsch.0.9.0☒☒0
plotly.1.0.0☒☒0
plplot.5.12.0☒☒10
podge.0.3☒☒0
polka.2.71.15☒☒2
poll.0.3.1☒☒5
polling_state_rpc.v0.16.0☒☒2
polyglot.1.0.0☑☑0
polynomial.0.4.0☒☒137
pomap.4.1.1☒☒-1
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.0.2☒☒14
posix-bindings.2.0.2☒☒0
posix-clock.0.4.0-0☒☒0
posix-getopt.2.0.2☒☒1
posix-math.0.3.1-0☒☒1
posix-mqueue.0.8.0-0☒☒0
posix-semaphore.0.5.0-0☒☒0
posix-signal.2.0.2☒☒0
posix-socket.2.0.2☒☒7
posix-socket-unix.2.0.2☒☒1
posix-time.1.0.1-0☑☒3
posix-time2.2.0.2☒☒4
posix-types.2.0.2☒☒7
posix-uname.2.0.2☒☒2
posixat.v0.16.0☒☒2
postgres_async.v0.16.0☒☒-1
postgresql.5.0.0☒☒-1
pp.1.2.0☒☒-1
pp-binary-ints.1.0.0☒☒1
pp_loc.2.1.0☒☒27
pprint.20230830☒☒267
ppx-owl-opt.0.0.1☒☒2
ppx_accessor.v0.16.1☒☒3
ppx_assert.v0.16.0☒☒4406
ppx_bap.v0.14.0☒☒115
ppx_base.v0.16.0☒☒4406
ppx_bench.v0.16.0☒☒4406
ppx_bin_prot.v0.16.0☒☒4406
ppx_bitstring.4.1.0☒☒12
ppx_blob.0.7.2☒☒-1
ppx_camlrack.0.10.1☒☒0
ppx_catch.0.1.0☒☒0
ppx_cold.v0.16.0☒☒4406
ppx_compare.v0.16.0☒☒4406
ppx_compose.0.2.1☒☒0
ppx_const.2.0.1☒☒0
ppx_conv_func.v0.16.0☒☒6
ppx_counters.0.1☒☒0
ppx_css.v0.16.0☒☒-1
ppx_cstruct.6.2.0☒☒4406
ppx_cstubs.0.7.0☒☒4
ppx_csv_conv.v0.16.0☒☒4
ppx_custom_printf.v0.16.0☒☒4406
ppx_decimal.1.0.1☒☒0
ppx_default.0.1.1☒☒0
ppx_defer.0.5.0☒☒0
ppx_demo.v0.16.0☒☒0
ppx_derive_at_runtime.v0.16.0☒☒0
ppx_derivers.1.2.1☒☒4406
ppx_deriving.5.2.1☒☒-1
ppx_deriving_cad.0.2.0☒☒0
ppx_deriving_cmdliner.0.6.0☒☒1
ppx_deriving_encoding.0.3.0☒☒-1
ppx_deriving_hardcaml.v0.16.0☒☒10
ppx_deriving_hash.0.1.1☒☒-1
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☒☒14
ppx_deriving_protocol.0.8.1☒☒0
ppx_deriving_qcheck.0.4.1☒☒-1
ppx_deriving_rpc.9.0.0☒☒25
ppx_deriving_scad.1.0.0☒☒0
ppx_deriving_yaml.0.2.1☒☒-1
ppx_deriving_yojson.3.7.0☒☒-1
ppx_disable_unused_warnings.v0.16.0☒☒4406
ppx_distr_guards.0.3☒☒1
ppx_dream_eml.1.0☒☒0
ppx_enumerate.v0.16.0☒☒4406
ppx_expect.v0.16.0☒☒-1
ppx_factory.0.2.0☒☒0
ppx_fail.v0.14.0☒☒0
ppx_fields_conv.v0.16.0☒☒4406
ppx_fixed_literal.v0.16.0☒☒4406
ppx_gen_rec.2.0.0☒☒2
ppx_getenv.2.1☒☒1
ppx_globalize.v0.16.0☒☒4406
ppx_hash.v0.16.0☒☒4406
ppx_here.v0.16.0☒☒4406
ppx_ignore_instrumentation.v0.16.0☒☒4406
ppx_import.1.10.0☒☒-1
ppx_inline_alcotest.1.0.0☒☒2
ppx_inline_test.v0.16.1☒☒4406
ppx_interact.0.1.0☒☒-1
ppx_irmin.3.9.0☒☒-1
ppx_jane.v0.16.0☒☒4406
ppx_js_style.v0.16.0☒☒13
ppx_jsobject_conv.0.10.0☒☒0
ppx_jsonaf_conv.v0.16.0☒☒1
ppx_let.v0.16.0☒☒4406
ppx_log.v0.16.0☒☒4406
ppx_lun.0.0.1☒☒0
ppx_make.0.3.2☒☒-1
ppx_map.0.1.0☒☒-1
ppx_matches.0.1☒☒0
ppx_meta_conv.4.1.0☒☒7
ppx_minidebug.0.3.3☒☒-1
ppx_module_timer.v0.16.0☒☒4406
ppx_monad.0.2.0☒☒0
ppx_monoid.0.3.3☒☒0
ppx_mysql.1.1.3☒☒0
ppx_optcomp.v0.16.0☒☒4406
ppx_optint.0.2.0☒☒0
ppx_optional.v0.16.0☒☒4406
ppx_parser.0.1.1☒☒-1
ppx_pattern_bind.v0.16.0☒☒7
ppx_pipebang.v0.16.0☒☒4406
ppx_protocol_conv.5.2.1☒☒10
ppx_protocol_conv_json.5.2.1☒☒3
ppx_protocol_conv_jsonm.5.2.1☒☒0
ppx_protocol_conv_msgpack.5.2.1☒☒0
ppx_protocol_conv_xml_light.5.2.1☒☒3
ppx_protocol_conv_xmlm.5.2.1☒☒3
ppx_protocol_conv_yaml.5.2.1☒☒0
ppx_pyformat.0.1.2☒☒0
ppx_python.v0.16.0☒☒2
ppx_rapper.3.1.0☒☒2
ppx_rapper_async.3.1.0☒☒-1
ppx_rapper_lwt.3.1.0☒☒0
ppx_regexp.0.5.1☒☒0
ppx_repr.0.7.0☒☒334
ppx_seq.0.3.2☒☒0
ppx_sexp_conv.v0.16.0☒☒4406
ppx_sexp_message.v0.16.0☒☒4406
ppx_sexp_value.v0.16.0☒☒4406
ppx_show.0.2.1☒☒7
ppx_stable.v0.16.0☒☒4406
ppx_stable_witness.v0.16.0☒☒4406
ppx_string.v0.16.0☒☒4406
ppx_string_interpolation.1.0.1☒☒3
ppx_subliner.0.2.1☒☒0
ppx_system.1.0☒☒0
ppx_test.1.8.0☒☒16
ppx_tools.6.6☒☒4406
ppx_traverse_builtins.v0.10.0☑☒4406
ppx_ts.0.1.6☒☒0
ppx_tydi.v0.16.0☒☒4406
ppx_type_directed_value.v0.15.0☒☒0
ppx_typed_fields.v0.16.0☒☒4
ppx_typerep_conv.v0.16.0☒☒4406
ppx_units.1.0.0☒☒0
ppx_update.0.81☒☒0
ppx_variants_conv.v0.16.0☒☒4406
ppx_viewpattern.0.1.0☒☒0
ppx_xml_conv.v0.16.0☒☒0
ppx_yojson.1.3.0☒☒3
ppx_yojson_conv.v0.16.0☒☒14
ppx_yojson_conv_lib.v0.16.0☒☒20
ppxlib.0.31.0☒☒-1
ppxx.2.5.0☒☒27
pratter.3.0.0☒☒-1
prbnmcn-basic-structures.0.0.1☒☒95
prbnmcn-cgrph.0.0.2☒☒4
prbnmcn-clustering.0.0.1☒☒-1
prbnmcn-dagger.0.0.4☒☒-1
prbnmcn-dagger-gsl.0.0.4☒☒-1
prbnmcn-dagger-stats.0.0.4☒☒-1
prbnmcn-dagger-test.0.0.4☒☒-1
prbnmcn-gnuplot.0.0.5☒☒1
prbnmcn-linalg.0.0.1☒☒93
prbnmcn-mcts.0.0.1☒☒0
prbnmcn-proptest.0.0.1☒☒1
prbnmcn-stats.0.0.7☒☒-1
prbnmcn-ucb1.0.0.2☒☒0
prc.0.1.0☒☒0
preface.1.0.0☒☒9
pretty_expressive.0.2☒☒-1
prettym.0.0.3☒☒51
primes.1.3.5☒☒0
pringo.1.3☑☑-1
printbox.0.7☒☒-1
printbox-html.0.7☒☒-1
printbox-text.0.7☒☒-1
proc-smaps.0.1.0☒☒0
process.0.2.1☑☑13
process_limits.1.5.5☑☑3
processor.0.1☒☒-1
producer.0.2.0☒☒0
profiler-plugin.1.30☑☒0
profiling.1.5.5☑☑2
profunctor.v0.16.0☒☒2
progress.0.2.2☒☒-1
proj4.0.9.2☒☒0
prom.0.3☒☒0
prometheus.1.2☒☒177
prometheus-app.1.2☒☒28
prometheus-liquidsoap.2☒☒4
promise.1.1.2☒☒3
promise_jsoo.0.3.1☒☒-1
protocell.1.0.0☒☒0
protocol-9p.2.0.2☒☒12
protocol-9p-tool.2.0.2☒☒0
protocol-9p-unix.2.0.2☒☒10
protocol_version_header.v0.16.0☒☒4406
proverif.2.05☒☒0
proverifdoc.2.05☑☑0
prr.0.1.1☒☒0
psmt2-frontend.0.4.0☒☒16
psq.0.2.1☒☒813
psyche.0.0.1☒☒0
ptime.1.1.0☑☑-1
ptmap.2.0.5☒☒23
ptset.1.0.1☒☒0
publish.0.3.4+transition☒☒4
pulseaudio.0.1.5☒☒6
pure-splitmix.0.3☒☒104
pvec.0.1.1☒☒0
pvem.0.0.1☑☑7
pxp.1.2.9☒☒8
py.1.3☒☒0
pyast.0.2.0☒☒0
pyml.20231101☒☒112
pyml_bindgen.0.4.1☒☒0
pyre-ast.0.1.9☒☒-1
pythonlib.v0.15.1☒☒0
qbf.0.3☒☒1
qcheck.0.21.3☒☒-1
qcheck-alcotest.0.21.3☒☒-1
qcheck-core.0.21.3☒☒-1
qcheck-lin.0.3☒☒-1
qcheck-multicoretests-util.0.3☒☒-1
qcheck-ounit.0.21.3☒☒-1
qcheck-stm.0.3☒☒-1
qcow.0.11.0☒☒1
qcow-tool.0.11.0☒☒0
qcstm.0.1.1☒☒0
qfs.0.12☒☒0
qinap.1.0☒☒-1
qiskit.0.44.0☒☒-1
qmp.0.20.0☒☒0
qrc.0.1.0☑☑-1
qrencode.0.2☒☒0
qtest.2.11.2☒☒45
queenshead.0.1☒☒0
quest.0.1☒☒0
quests.0.1.3☒☒1
quick_print.0.12☒☒0
r2pipe.0.0.1☒☒0
radamsa.0.2☒☒0
radare2.0.0.7☒☒0
randii.1.0.0☒☒0
randomconv.0.1.3☒☒-1
randoml.0.1.5☒☒0
range.0.8.3☒☒0
rangeSet.0.2.1☒☒0
ranger.0.1.0☑☒0
rankers.2.0.9☒☒-1
rawlink.2.1☒☒4
rawlink-eio.2.1☒☒0
rawlink-lwt.2.1☒☒1
raygui.0.6.0☒☒-1
raygun4ocaml.0.1.0☒☒0
raylib.1.1.0☒☒-1
rdbg.1.199.0☒☒3
rdf.0.15.0☒☒-1
rdf_json_ld.0.15.0☒☒-1
rdf_lwt.0.15.0☒☒-1
rdf_mysql.0.15.0☒☒-1
rdf_postgresql.0.15.0☒☒-1
rdf_ppx.0.15.0☒☒-1
rdr.1.1☑☒0
re.1.11.0☒☒-1
re2.v0.16.0☒☒31
re2_stable.v0.14.0☒☒-1
re_parser.v0.16.0☒☒0
rea.1.0.0☒☒0
react.1.2.2☑☑4406
reactiveData.0.3.0☒☒4406
reactjs-jsx-ppx.1.0.0☒☒9
readline.0.1☒☒1
reanalyze.2.23.0☒☒-1
reason.3.10.0☒☒-1
reason-react.0.13.0☒☒-1
reason-react-ppx.0.13.0☒☒-1
received.0.5.2☒☒-1
record_builder.v0.16.0☒☒11
records.1.0.0☒☒1
reddit_api_async.0.2.1☒☒-1
reddit_api_kernel.0.2.1☒☒1
redirect.0.2.1☒☒2
redis.0.7.1☒☒16
redis-async.v0.16.0☒☒-1
redis-lwt.0.7.1☒☒13
redis-sync.0.7.1☒☒0
reedsolomon.0.3☒☒1
refl.0.4.1☒☒6
regenerate.0.2☒☒0
regex_parser_intf.v0.16.0☒☒30
regular.2.5.0☒☒103
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☒☒337
repr-bench.0.7.0☒☒0
repr-fuzz.0.7.0☒☒0
res.5.0.1☒☒-1
res_tailwindcss.0.1.3☒☒-1
rescript-syntax.1.0.0☒☒0
reshowcase.5.3.0☒☒-1
resource-pooling.1.2☒☒1
resource_cache.v0.16.0☒☒1
resp.0.11.0☒☒4
resp-client.0.11.0☒☒3
resp-mirage.0.11.0☒☒0
resp-server.0.11.0☒☒2
resp-unix.0.11.0☒☒0
resto.1.2☒☒245
resto-acl.1.2☒☒140
resto-cohttp.1.2☒☒156
resto-cohttp-client.1.2☒☒151
resto-cohttp-self-serving-client.1.2☒☒128
resto-cohttp-server.1.2☒☒138
resto-directory.1.2☒☒242
resto-json.1.2☒☒1
result.1.5☒☒4406
revops.2.5☒☒1
rfc1951.1.5.3☒☒0
rfc6287.1.0.4☒☒0
rfc7748.1.0☒☒0
rfsm.2.0☒☒0
rhythm.0.0.1☒☒0
ringo.1.0.0☒☒-1
ringo-lwt.0.9☒☒74
riot.0.0.5☒☒-1
river.0.3☒☒-1
rlp.0.1☒☒0
rml.1.09.07☑☒3
rmlbuild.0.14.0-00☑☒0
rock.0.20.0☒☒21
roman.0.2☒☒0
root1d.0.5.1☒☒0
rope.0.6.2☒☒2
rosa.0.2.0☒☒0
rosetta.0.3.0☒☒27
routes.2.0.0☒☒5
rpc.9.0.0☒☒17
rpc_parallel.v0.15.0☒☒-1
rpclib.9.0.0☒☒28
rpclib-async.9.0.0☒☒-1
rpclib-html.9.0.0☒☒0
rpclib-js.9.0.0☒☒0
rpclib-lwt.9.0.0☒☒19
rresult.0.7.0☑☑4406
rsdd.0.1.0☒☒0
rss.3.0☒☒1
rtop.3.10.0☒☒-1
rtree.0.1.1☒☒0
rungen.0.0.1☒☒0
runtime_events_tools.0.3☒☒1
rusage.1.0.0☒☒235
safa.1.4☑☑1
safemoney.0.1.1☒☒-1
safepass.3.1☒☒21
sail.0.17.1☒☒-1
sail_c_backend.0.17.1☒☒-1
sail_coq_backend.0.17.1☒☒-1
sail_doc_backend.0.17.1☒☒-1
sail_latex_backend.0.17.1☒☒-1
sail_lem_backend.0.17.1☒☒-1
sail_manifest.0.17.1☒☒-1
sail_ocaml_backend.0.17.1☒☒-1
sail_output.0.17.1☒☒-1
sail_smt_backend.0.17.1☒☒-1
sail_sv_backend.0.17.1☒☒-1
salsa20.1.2.0☒☒0
salsa20-core.1.1.0☒☒-1
samplerate.0.1.6☒☒4
sanddb.0.3.0☒☒0
satML-plugin.1.30☒☒0
satex.0.1.1☒☒0
sattools.0.1.0☒☒2
saturn.0.4.1☒☒-1
saturn_lockfree.0.4.1☒☒-1
satyrographos.0.0.2.13☒☒-1
sawja.1.5.12☒☒0
scad_ml.1.1.0☒☒1
scfg.0.2☒☒-1
scgi.1.0☒☒0
schroedinger.0.1.1☒☒2
scid.1.0☒☒0
scipy.sp1.5-0.3.1☒☒1
scrypt.0.2.1☒☒0
scrypt-kdf.1.2.0☒☒2
sd_logic.0.1☒☒-1
sdl-liquidsoap.3☒☒4
search.0.1.1☒☒0
searchTree.0.1☒☒0
secp256k1.0.4.4☒☒2
secp256k1-internal.0.4.0☒☒315
sedlex.3.2☒☒-1
sek.20201012☒☒0
sel.0.4.0☒☒-1
semantic_version.v0.16.0☒☒2
semaphore-compat.1.0.1☒☒-1
semver.0.2.1☒☒0
semver2.1.2.0☒☒0
sendmail.0.8.0☒☒-1
sendmail-lwt.0.8.0☒☒-1
sendmsg.0.0.2☑☑0
sentry.v0.11.0☒☒-1
seq.base☑☑4406
seqes.0.2☒☒233
sequence.0.2☑☒73
sequencer_table.v0.16.0☒☒0
serde.0.0.1☒☒5
serde_debug.0.0.1☒☒0
serde_derive.0.0.1☒☒4
serde_json.0.0.1☒☒0
serde_sexpr.0.0.1☒☒0
serde_xml.0.0.1☒☒0
serial.0.0.2☒☒-1
session.0.5.0☒☒17
session-cohttp.0.5.0☒☒9
session-cohttp-async.0.5.0☒☒-1
session-cohttp-lwt.0.5.0☒☒5
session-cookie.0.1.8☒☒2
session-cookie-async.0.1.8☒☒-1
session-cookie-lwt.0.1.8☒☒0
session-postgresql.0.5.0☒☒2
session-postgresql-async.0.5.0☒☒-1
session-postgresql-lwt.0.5.0☒☒0
session-redis-lwt.0.5.0☒☒1
session-webmachine.0.5.0☒☒1
sessions.0.1.0☒☒0
setcore.1.0.2☒☒8
setr.0.1.1☒☒1
sexp.v0.16.0☒☒-1
sexp_decode.0.7☒☒0
sexp_diff.v0.16.0☒☒1
sexp_diff_kernel.v0.14.0☒☒1
sexp_grammar.v0.16.0☒☒2
sexp_macro.v0.16.0☒☒-1
sexp_pretty.v0.16.0☒☒4406
sexp_select.v0.16.0☒☒1
sexp_string_quickcheck.v0.16.0☒☒0
sexplib.v0.16.0☒☒4406
sexplib0.v0.16.0☒☒-1
sfml.0.09.2☒☒0
sgf.1.0.1☒☒0
sha.1.15.4☒☒81
shapefile.0.2.1☒☒0
shared-block-ring.3.0.1☒☒8
shared-memory-ring.3.1.1☒☒-1
shared-memory-ring-lwt.3.1.1☒☒-1
shared-secret.0.4☒☒0
shcaml.0.2.1☒☒0
shell.v0.16.0☒☒-1
shexp.v0.16.0☒☒2
shine.0.2.3☒☒4
shuttle.0.9.4☒☒-1
shuttle_http.0.11.0☒☒-1
shuttle_ssl.0.9.4☒☒-1
shuttle_websocket.0.11.0☒☒-1
sid.2.0☒☒0
sifun.3.0.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
simlog.0.0.4☒☒0
simple-diff.0.3☒☒0
simple63.1☒☒0
simple_pam.0.1.2☒☒0
sklearn.sk0.23-0.3.1☒☒1
slacko.0.15.0☒☒0
slug.1.0.1☒☒1
smart-print.0.3.0☒☒5
smbc.0.6.1☒☒0
smol.0.0.1☒☒2
smol-helpers.0.0.1☒☒1
smtlib-utils.0.4☒☒-1
smtp.0.3☑☑0
snappy.0.1.2☒☒1
snoke.0.3☒☒0
sodium.0.6.0☒☒3
sodium-fmt.1.0.0☒☒0
solid.0.1.0☒☒-1
solid_server.0.1.0☒☒-1
solid_tools.0.1.0☒☒-1
solidity-alcotest.0.2.0☑☒0
solidity-common.0.2.0☒☒4
solidity-parser.0.2.0☒☒3
solidity-test.0.2.0☑☒0
solidity-typechecker.0.2.0☑☒2
solo5.0.8.0☑☑-1
solo5-elftool.0.3.1☒☒3
sortedseq_intersect.0.2.0☒☒0
sosa.0.3.0☑☒10
soundtouch.0.1.9☒☒4
soupault.4.7.0☒☒-1
spawn.v0.15.1☒☒4406
spdx_licenses.1.2.0☒☒19
spectrum.0.6.0☒☒1
speex.0.4.1☒☒4
spelll.0.4☒☒27
spf.2.0.2☒☒0
spices.0.0.1☒☒-1
spin.0.8.3☒☒1
spirv.1.1.2☒☒0
splay_tree.v0.16.0☒☒3
splittable_random.v0.16.0☒☒4406
spoke.0.0.2☒☒-1
spotify-web-api.0.2.1☒☒1
spotlib.4.3.0☒☒14
spreadsheet.0.1☑☒0
sqlgg.20200521☒☒-1
sqlite3.5.1.0☒☒-1
sqlite3_utils.0.5☒☒0
squirrel.0.1☒☒0
srs.2.0.0☒☒0
srt.0.3.0☒☒-1
ssh-agent.0.4.1☒☒0
ssh-agent-unix.0.4.1☒☒-1
ssl.0.7.0☒☒4406
statverif.1.97pl1.2☒☒0
stb_image.0.5☒☒2
stb_image_write.0.2☑☑0
stb_truetype.0.7☑☑7
stdcompat.19☒☒200
stdint.0.7.2☒☒651
stdint-literals.1.0☒☒0
stdio.v0.16.0☒☒4406
stdlib-diff.0.1.3☒☒0
stdlib-random.1.1.0☒☒-1
stdlib-shims.0.3.0☒☒4406
stdune.3.12.1☒☒-1
stemmer.0.2☑☒0
stemming.0.2.1☑☒0
stitch.0.0.0☒☒0
stk.0.1.0☒☒1
stk_iconv.0.1.0☒☒-1
stored_reversed.v0.16.0☒☒9
streamable.v0.16.1☒☒10
streaming.0.8.0☒☒0
stringCodepointSplitter.0.0.2☒☒0
string_dict.v0.16.0☒☒0
stringext.1.6.0☒☒4406
sturgeon.0.4.2☒☒1
subscriptions-transport-ws.0.1.0☒☒0
subtype-refinement.0.2☒☒0
sugar.0.7.3☒☒0
sun.0.1☒☒0
sundialsml.6.1.1p1☒☒3
svmwrap.5.1.1☒☒-1
swagger.0.2.0☒☒1
swhid.0.2☒☒0
swhid_core.0.1☒☒39
swipl.0.5☒☒0
syguslib-utils.0.1☒☒-1
symkat.1.4☑☑0
syncweb.0.5.1☑☑0
syndic.1.6.1☒☒2
sys-socket.1.0.0☒☒6
sys-socket-unix.1.0.0☒☒0
syslog.2.0.2☒☒11
syslog-message.1.2.0☒☒3
syslog-rfc5424.0.1☒☒0
systemverilog.0.0.2☒☒0
tablecloth-native.0.0.7☒☒-1
taglib.0.3.10☒☒4
talaria-bibtex.0.5☒☒0
tar.2.6.0☒☒-1
tar-eio.2.6.0☒☒-1
tar-mirage.2.6.0☒☒-1
tar-unix.2.6.0☒☒-1
tcalc.1.0.1☒☒0
tcpip.8.0.0☒☒-1
tcx.0.25.0☒☒0
tdigest.2.2.0☒☒0
tdk.0.2.0☑☒0
telegraml.2.2.0☒☒0
telemetry.0.0.1☒☒6
telltime.0.0.3☒☒0
tensorboard.0.0.1☒☒0
termbox.0.1.0☒☒0
terminal.0.2.2☒☒-1
terminal_size.0.2.0☒☒142
terminus.0.1.0☒☒2
terminus-cohttp.0.1.0☒☒0
terminus-hlc.0.1.0☒☒0
testu01.1.2.3-0.2☒☒3
text.0.8.1☑☒4406
text-tags.2.5.0☒☒14
textmate-language.0.3.4☒☒-1
textrazor.0.1.1☒☒0
textutils.v0.16.0☒☒-1
textutils_kernel.v0.16.0☒☒4406
textwrap.0.2.1☒☒1
tezos.14.0☒☒-1
tezos-012-Psithaca-test-helpers.14.0☒☒-1
tezos-013-PtJakart-test-helpers.14.0☒☒-1
tezos-014-PtKathma-test-helpers.14.0☒☒-1
tezos-accuser-012-Psithaca.14.0☒☒-1
tezos-accuser-013-PtJakart.14.0☒☒-1
tezos-accuser-014-PtKathma.14.0☒☒-1
tezos-accuser-alpha.14.0☒☒-1
tezos-alpha-test-helpers.14.0☒☒-1
tezos-baker-012-Psithaca.14.0☒☒-1
tezos-baker-013-PtJakart.14.0☒☒-1
tezos-baker-014-PtKathma.14.0☒☒-1
tezos-baker-alpha.14.0☒☒-1
tezos-baking-012-Psithaca.14.0☒☒-1
tezos-baking-012-Psithaca-commands.14.0☒☒-1
tezos-baking-013-PtJakart.14.0☒☒-1
tezos-baking-013-PtJakart-commands.14.0☒☒-1
tezos-baking-014-PtKathma.15.1☒☒-1
tezos-baking-014-PtKathma-commands.15.1☒☒-1
tezos-baking-015-PtLimaPt.16.1☒☒8
tezos-baking-015-PtLimaPt-commands.16.1☒☒7
tezos-baking-016-PtMumbai.17.3☒☒5
tezos-baking-016-PtMumbai-commands.17.3☒☒4
tezos-baking-017-PtNairob.17.3☒☒5
tezos-baking-017-PtNairob-commands.17.3☒☒4
tezos-baking-alpha.17.3☒☒4
tezos-baking-alpha-commands.17.3☒☒3
tezos-base.17.3☒☒171
tezos-base-test-helpers.17.3☒☒16
tezos-base58.1.0.0☒☒10
tezos-benchmark.18.1☒☒-1
tezos-bls12-381-polynomial.1.0.1☒☒137
tezos-clic.17.3☑☒61
tezos-client.14.0☒☒-1
tezos-client-000-Ps9mPmXa.17.3☒☒3
tezos-client-001-PtCJ7pwo.17.3☒☒3
tezos-client-002-PsYLVpVv.17.3☒☒3
tezos-client-003-PsddFKi3.17.3☒☒3
tezos-client-004-Pt24m4xi.17.3☒☒3
tezos-client-005-PsBabyM1.17.3☒☒5
tezos-client-006-PsCARTHA.17.3☒☒5
tezos-client-007-PsDELPH1.17.3☒☒5
tezos-client-008-PtEdo2Zk.17.3☒☒5
tezos-client-009-PsFLoren.17.3☒☒5
tezos-client-010-PtGRANAD.17.3☒☒5
tezos-client-011-PtHangz2.17.3☒☒5
tezos-client-012-Psithaca.17.3☒☒5
tezos-client-013-PtJakart.17.3☒☒4
tezos-client-014-PtKathma.17.3☒☒4
tezos-client-015-PtLimaPt.17.3☒☒4
tezos-client-016-PtMumbai.17.3☒☒11
tezos-client-017-PtNairob.17.3☒☒12
tezos-client-alpha.17.3☒☒9
tezos-client-base.17.3☒☒60
tezos-client-base-unix.17.3☒☒36
tezos-client-commands.17.3☒☒49
tezos-client-demo-counter.18.1☒☒-1
tezos-client-genesis.18.1☒☒-1
tezos-codec.14.0☒☒-1
tezos-context.17.3☒☒156
tezos-context-hash.1.0.0☒☒2
tezos-context-hash-irmin.1.0.0☒☒0
tezos-context-ops.17.3☒☒39
tezos-crypto.17.3☒☒173
tezos-crypto-dal.17.3☒☒144
tezos-dac-client-lib.18.1☒☒-1
tezos-dac-lib.18.1☒☒-1
tezos-dac-node-lib.18.1☒☒-1
tezos-dal-node-lib.18.1☒☒-1
tezos-dal-node-services.18.1☒☒-1
tezos-embedded-protocol-000-Ps9mPmXa.17.3☒☒2
tezos-embedded-protocol-001-PtCJ7pwo.17.3☒☒2
tezos-embedded-protocol-002-PsYLVpVv.17.3☒☒2
tezos-embedded-protocol-003-PsddFKi3.17.3☒☒2
tezos-embedded-protocol-004-Pt24m4xi.17.3☒☒2
tezos-embedded-protocol-005-PsBABY5H.17.3☒☒2
tezos-embedded-protocol-005-PsBabyM1.17.3☒☒2
tezos-embedded-protocol-006-PsCARTHA.17.3☒☒2
tezos-embedded-protocol-007-PsDELPH1.17.3☒☒3
tezos-embedded-protocol-008-PtEdo2Zk.17.3☒☒3
tezos-embedded-protocol-008-PtEdoTez.17.3☒☒2
tezos-embedded-protocol-009-PsFLoren.17.3☒☒3
tezos-embedded-protocol-010-PtGRANAD.17.3☒☒3
tezos-embedded-protocol-011-PtHangz2.17.3☒☒3
tezos-embedded-protocol-012-Psithaca.17.3☒☒3
tezos-embedded-protocol-013-PtJakart.17.3☒☒3
tezos-embedded-protocol-014-PtKathma.17.3☒☒3
tezos-embedded-protocol-015-PtLimaPt.17.3☒☒3
tezos-embedded-protocol-016-PtMumbai.17.3☒☒3
tezos-embedded-protocol-017-PtNairob.17.3☒☒3
tezos-embedded-protocol-alpha.17.3☒☒4
tezos-embedded-protocol-demo-counter.17.3☒☒2
tezos-embedded-protocol-demo-noops.17.3☒☒4
tezos-embedded-protocol-genesis.17.3☒☒3
tezos-error-monad.17.3☑☒181
tezos-event-logging.17.3☑☒174
tezos-event-logging-test-helpers.17.3☑☒4
tezos-hacl.17.3☒☒174
tezos-hacl-glue.12.3☒☒158
tezos-hacl-glue-unix.12.3☒☒156
tezos-injector-013-PtJakart.14.0☒☒-1
tezos-injector-014-PtKathma.15.1☑☒-1
tezos-injector-015-PtLimaPt.16.1☒☒4
tezos-injector-016-PtMumbai.16.1☒☒4
tezos-injector-alpha.14.0☒☒-1
tezos-layer2-store.17.3☒☒4
tezos-layer2-utils-016-PtMumbai.17.3☒☒2
tezos-layer2-utils-017-PtNairob.17.3☒☒3
tezos-lazy-containers.17.3☒☒148
tezos-lmdb.7.4☒☒-1
tezos-lwt-result-stdlib.17.3☑☒182
tezos-micheline.17.3☑☒171
tezos-micheline-rewriting.13.0☒☒-1
tezos-mockup.17.3☒☒38
tezos-mockup-commands.17.3☒☒37
tezos-mockup-proxy.17.3☒☒41
tezos-mockup-registration.17.3☒☒39
tezos-node.14.0☒☒-1
tezos-p2p.17.3☒☒45
tezos-p2p-services.17.3☒☒105
tezos-plompiler.1.0.1☒☒135
tezos-plonk.1.0.1☒☒134
tezos-protocol-000-Ps9mPmXa.18.1☒☒-1
tezos-protocol-001-PtCJ7pwo.18.1☒☒-1
tezos-protocol-002-PsYLVpVv.18.1☒☒-1
tezos-protocol-003-PsddFKi3.18.1☒☒-1
tezos-protocol-004-Pt24m4xi.18.1☒☒-1
tezos-protocol-005-PsBABY5H.18.1☒☒-1
tezos-protocol-005-PsBabyM1.18.1☒☒-1
tezos-protocol-006-PsCARTHA.18.1☒☒-1
tezos-protocol-007-PsDELPH1.18.1☒☒-1
tezos-protocol-008-PtEdo2Zk.18.1☒☒-1
tezos-protocol-008-PtEdoTez.18.1☒☒-1
tezos-protocol-009-PsFLoren.18.1☒☒-1
tezos-protocol-010-PtGRANAD.18.1☒☒-1
tezos-protocol-011-PtHangz2.18.1☒☒-1
tezos-protocol-012-Psithaca.18.1☒☒-1
tezos-protocol-013-PtJakart.18.1☒☒-1
tezos-protocol-014-PtKathma.18.1☒☒-1
tezos-protocol-015-PtLimaPt.18.1☒☒-1
tezos-protocol-016-PtMumbai.18.1☒☒-1
tezos-protocol-017-PtNairob.18.1☒☒-1
tezos-protocol-018-Proxford.18.1☒☒-1
tezos-protocol-alpha.18.1☒☒-1
tezos-protocol-compiler.14.0☒☒-1
tezos-protocol-demo-counter.18.1☒☒-1
tezos-protocol-demo-noops.18.1☒☒-1
tezos-protocol-environment.17.3☒☒141
tezos-protocol-environment-packer.12.3☒☒139
tezos-protocol-environment-sigs.12.3☒☒137
tezos-protocol-environment-structs.12.3☒☒137
tezos-protocol-genesis.18.1☒☒-1
tezos-protocol-plugin-007-PsDELPH1.17.3☒☒8
tezos-protocol-plugin-007-PsDELPH1-registerer.17.3☒☒2
tezos-protocol-plugin-008-PtEdo2Zk.17.3☒☒8
tezos-protocol-plugin-008-PtEdo2Zk-registerer.17.3☒☒2
tezos-protocol-plugin-009-PsFLoren.17.3☒☒8
tezos-protocol-plugin-009-PsFLoren-registerer.17.3☒☒2
tezos-protocol-plugin-010-PtGRANAD.17.3☒☒8
tezos-protocol-plugin-010-PtGRANAD-registerer.17.3☒☒2
tezos-protocol-plugin-011-PtHangz2.17.3☒☒8
tezos-protocol-plugin-011-PtHangz2-registerer.17.3☒☒2
tezos-protocol-plugin-012-Psithaca.17.3☒☒8
tezos-protocol-plugin-012-Psithaca-registerer.17.3☒☒2
tezos-protocol-plugin-012-Psithaca-tests.13.0☒☒-1
tezos-protocol-plugin-013-PtJakart.17.3☒☒7
tezos-protocol-plugin-013-PtJakart-registerer.17.3☒☒2
tezos-protocol-plugin-013-PtJakart-tests.13.0☒☒-1
tezos-protocol-plugin-014-PtKathma.17.3☒☒7
tezos-protocol-plugin-014-PtKathma-registerer.17.3☒☒2
tezos-protocol-plugin-015-PtLimaPt.17.3☒☒7
tezos-protocol-plugin-015-PtLimaPt-registerer.17.3☒☒2
tezos-protocol-plugin-016-PtMumbai.17.3☒☒14
tezos-protocol-plugin-016-PtMumbai-registerer.17.3☒☒2
tezos-protocol-plugin-017-PtNairob.17.3☒☒15
tezos-protocol-plugin-017-PtNairob-registerer.17.3☒☒2
tezos-protocol-plugin-alpha.17.3☒☒13
tezos-protocol-plugin-alpha-registerer.17.3☒☒2
tezos-protocol-plugin-alpha-tests.13.0☒☒-1
tezos-protocol-updater.17.3☒☒52
tezos-proxy.17.3☒☒38
tezos-proxy-server.14.0☒☒-1
tezos-proxy-server-config.18.1☒☒-1
tezos-requester.17.3☒☒12
tezos-rpc.17.3☑☒174
tezos-rpc-http.17.3☒☒63
tezos-rpc-http-client.17.3☒☒55
tezos-rpc-http-client-unix.17.3☒☒51
tezos-rpc-http-server.17.3☒☒8
tezos-rust-libs.1.6☑☑-1
tezos-sapling.17.3☒☒146
tezos-sapling-parameters.1.1.0☑☑98
tezos-scoru-wasm.17.3☒☒145
tezos-scoru-wasm-fast.17.3☒☒7
tezos-scoru-wasm-helpers.17.3☒☒3
tezos-shell.17.3☒☒11
tezos-shell-context.17.3☒☒67
tezos-shell-context-test.13.0☒☒-1
tezos-shell-services.17.3☒☒103
tezos-shell-services-test-helpers.16.1☒☒1
tezos-signer.14.0☒☒-1
tezos-signer-backends.17.3☒☒50
tezos-signer-services.17.3☒☒51
tezos-smart-rollup-016-PtMumbai.17.3☒☒15
tezos-smart-rollup-017-PtNairob.17.3☒☒16
tezos-smart-rollup-alpha.17.3☒☒13
tezos-smart-rollup-layer2-016-PtMumbai.17.3☒☒3
tezos-smart-rollup-layer2-017-PtNairob.17.3☒☒4
tezos-stdlib.17.3☑☒182
tezos-stdlib-unix.17.3☑☒173
tezos-store.17.3☒☒13
tezos-test-helpers.17.3☑☒24
tezos-test-helpers-extra.16.1☒☒2
tezos-test-services.7.4☑☒-1
tezos-tree-encoding.17.3☒☒149
tezos-tx-rollup-013-PtJakart.14.0☒☒-1
tezos-tx-rollup-014-PtKathma.15.1☑☒-1
tezos-tx-rollup-015-PtLimaPt.16.1☒☒3
tezos-tx-rollup-alpha.14.0☒☒-1
tezos-tx-rollup-client-013-PtJakart.14.0☒☒-1
tezos-tx-rollup-client-014-PtKathma.14.0☒☒-1
tezos-tx-rollup-client-alpha.14.0☒☒-1
tezos-tx-rollup-node-013-PtJakart.14.0☒☒-1
tezos-tx-rollup-node-014-PtKathma.14.0☒☒-1
tezos-tx-rollup-node-alpha.14.0☒☒-1
tezos-validation.17.3☒☒26
tezos-validator.14.0☒☒-1
tezos-version.17.3☒☒106
tezos-wasmer.17.3☒☒8
tezos-webassembly-interpreter.17.3☒☒147
tezos-webassembly-interpreter-extra.17.3☒☒4
tezos-workers.17.3☒☒12
tezt.4.0.0☒☒-1
tezt-performance-regression.17.3☑☑2
tezt-tezos.18.1☒☒-1
tgls.0.8.6☒☒1
theora.0.4.0☒☒-1
thread-local-storage.0.1☒☒-1
thread-table.1.0.0☒☒83
thrift.0.10.0☒☒0
tidy.5.6-0.1☒☒0
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.16.0☒☒3
time_now.v0.16.0☒☒4406
timed.1.1☒☒1
timedesc.2.0.0☒☒-1
timedesc-json.2.0.0☒☒-1
timedesc-sexp.2.0.0☒☒-1
timedesc-tzdb.2.0.0☒☒-1
timedesc-tzlocal.2.0.0☒☒-1
timedesc-tzlocal-js.2.0.0☒☒-1
timere.0.8.0☒☒2
timere-parse.0.0.6☒☒1
timezone.v0.16.0☒☒4406
timmy.1.0.4☒☒-1
timmy-jsoo.1.0.4☒☒-1
timmy-unix.1.0.4☒☒-1
tiny_httpd.0.15☒☒-1
tiny_httpd_camlzip.0.15☒☒-1
tiny_json.1.1.6☑☒13
tip-parser.0.6☒☒1
tjr_simple_earley.2017-11-14e☑☑0
tldr.0.3.0☒☒0
tls.0.17.3☒☒-1
tls-async.0.17.3☒☒-1
tls-eio.0.17.3☒☒-1
tls-liquidsoap.1☒☒4
tls-lwt.0.17.3☒☒-1
tls-mirage.0.17.3☒☒-1
toc.0.1.0☒☒0
tofn.0.12☒☒0
togglelog.0.1.0☒☒-1
toml.7.1.0☒☒14
toml-cconv.5.0.0☒☒0
toml_cconv.7.0.0☒☒0
tophide.1.0.4☑☑1
topiary.0.3.0☑☑-1
topkg.1.0.7☑☑4406
topkg-care.1.0.7☒☒0
topkg-jbuilder.0.2.0☑☒6
toplevel_backend.v0.16.0☒☒1
toplevel_expect_test.v0.16.0☒☒-1
topojson.0.1.0☒☒1
topojsone.0.1.0☒☒0
topological_sort.v0.16.0☒☒16
touist.3.5.0☒☒0
tplib.1.3☑☒0
tptp.0.3.2☒☒0
tqdm.0.1☒☒0
trace.0.5☒☒-1
trace-tef.0.5☒☒-1
tracing.v0.16.0☒☒-1
tracy-client.0.4☒☒-1
traildb.0.1☒☒0
traits.0.1.0☒☒0
trampoline.0.1.0☒☒0
transept.0.1.0☒☒0
traverse.0.3.0☒☒7
travesty.0.8.0☒☒0
travis-opam.1.5.0☒☒0
trax.0.4.0☒☒0
tree_layout.0.2☒☒0
treeprint.2.3.0☒☒0
trexio.2.2.0☒☒0
trie.1.0.0☒☒269
tsdl.1.0.0☒☒-1
tsdl-image.0.6☒☒15
tsdl-mixer.0.6☒☒0
tsdl-ttf.0.6☒☒15
tsort.2.1.0☒☒41
ttweetnacl.0.1.0☑☑0
tty.0.0.1☒☒-1
tuareg.3.0.1☑☑2
tube.4.4.0☒☒0
tuntap.2.0.0☒☒-1
twostep.1.0.1☒☒2
tyabt.0.1.0☒☒0
type_conv.113.00.02☒☒4406
typerep.v0.16.0☒☒4406
typeset.0.4☒☒0
tyre.0.5☒☒2
tyxml.4.6.0☒☒4406
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
ucaml.0.1☒☒0
uchar.0.0.2☑☑4406
uecc.0.4☒☒145
uint.2.0.1☒☒542
ulex.1.2☒☒76
ulex-camlp5.1.3☒☒0
ulid.0.1☒☒0
um-abt.0.1.7☒☒0
unidecode.0.4.0☒☒0
unionFind.20220122☒☒9
unison.2.53.3☒☒-1
universo.2.7☒☒0
unix-dirent.0.3.5☑☑0
unix-errno.0.6.2☒☒16
unix-sys-resource.0.1.2☒☒0
unix-sys-stat.0.5.2☒☒0
unix-time.0.1.0☒☒0
unix-type-representations.0.1.2☑☒7
unix-unistd.0.4.0☒☒0
unstrctrd.0.3☒☒-1
uri.4.4.0☒☒4406
uri-bench.4.4.0☒☒-1
uri-re.4.4.0☒☒0
uri-sexp.4.4.0☒☒4406
uring.0.1☒☒0
uritemplate.0.2.0☒☒0
urn.20231124☒☒0
usb.1.3.1☒☒0
user-agent-parser.0.2.0☒☒0
user-setup.0.7☒☒-1
username_kernel.v0.16.0☒☒1
uspf.0.0.3☒☒-1
uspf-lwt.0.0.3☒☒-1
uspf-unix.0.0.3☒☒-1
utop.2.13.1☒☒-1
uucd.15.1.0☑☑-1
uucp.15.1.0☑☑-1
uuidm.0.9.8☑☑-1
uunf.15.1.0☑☑-1
uuseg.15.1.0☑☑-1
uutf.1.0.3☑☑4406
uuuu.0.3.0☒☒26
valentine.1.0.0☒☒0
validator.0.2.3☒☒0
variantslib.v0.16.0☒☒4406
varint.1.0☒☒0
varray.0.2☒☒0
vcaml.v0.16.0☒☒-1
vcardgen.1.2☒☒0
vchan.6.0.1☒☒-1
vchan-unix.6.0.1☒☒-1
vchan-xen.6.0.1☒☒-1
vdom.0.3☒☒2
vec.0.3.0☒☒-1
vecosek.0.0.0☒☒0
vecosek-engine.0.0.0☒☒1
vecosek-scene.0.0.0☒☒2
vector.1.0.0☒☒315
vector3.1.0.0☒☒9
vendredi.0.1.0☒☒0
vercel.0.1.0☒☒0
vg.0.9.4☒☒-1
vhdlib.0.9.1☒☒0
virtual_dom.v0.16.0☒☒7
visitors.20210608☒☒13
vlq.0.2.1☒☒0
vlt.0.1☒☒0
voaacenc.0.1.1☒☒2
vocal.0.1☒☒0
volt.1.4☒☒1
voqc.0.3.0☒☒0
vorbis.0.8.0☒☒4
vpt.5.0.0☒☒1
vscoq-language-server.2.0.3+coq8.18☒☒-1
vue-jsoo.0.3☒☒0
vue-ppx.0.1.0☒☒0
wall.0.4.1☒☒1
wamp.1.2☒☒2
wamp-msgpck.1.2☒☒0
wamp-yojson.1.2☒☒0
wasm.2.0.1☑☑1
wasmer.1.2.1☒☒0
wayland.2.0☒☒-1
waylaunch.0.2.0☒☒0
wcs-lib.2017-05-26.01☒☒2
webauthn.0.1.0☒☒-1
webbrowser.0.6.1☑☑5
weberizer.0.8☒☒0
webidl.1.4☒☒3
webmachine.0.7.0☒☒19
websocket.2.16☒☒-1
websocket-async.2.16☒☒-1
websocket-lwt.2.12☒☒3
websocket-lwt-unix.2.16☒☒-1
websocketaf.0.1.0☒☒1
websocketml.0.1.1☒☒0
webtest.2.0.0☒☒6
webtest-js.2.0.0☒☒5
weevil.0.1.1☑☒-1
why3.1.7.0☒☒-1
why3-coq.1.7.0☒☒-1
why3-ide.1.7.0☒☒-1
wikitext.3.0.1☒☒0
win-error.1.0☒☒13
win-eventlog.0.4☒☒4
ws-server.0.1☒☒0
wseg.0.3.0☒☒1
wtf8.1.0.2☒☒2
wtr.3.0.0☒☒1
wtr-ppx.3.0.0☒☒0
wu-manber-fuzzy-search.0.1.0☒☒0
wyrd.1.4.6☒☒0
x509.0.16.5☒☒-1
xapi-backtrace.0.7☒☒16
xapi-rrd.1.12.0☒☒12
xapi-stdext-date.4.23.0☒☒-1
xapi-stdext-encodings.4.23.0☒☒-1
xapi-stdext-pervasives.4.23.0☒☒-1
xapi-stdext-std.4.23.0☒☒-1
xapi-stdext-threads.4.23.0☒☒-1
xapi-stdext-zerocheck.4.23.0☒☒-1
xcursor.0.1.0☒☒0
xdg.3.12.1☒☒-1
xdg-basedir.0.0.4☒☒4
xen-evtchn.2.1.0☒☒4406
xen-evtchn-unix.2.1.0☒☒-1
xen-gnt.4.0.1☒☒-1
xen-gnt-unix.4.0.1☒☒-1
xenstore.2.2.0☒☒-1
xenstore_transport.1.3.0☒☒521
xmelly.1.0.0☒☒0
xml-light.2.5☒☒40
xmldiff.0.7.0☒☒8
xmldiff_js.0.7.0☒☒3
xmlm.1.4.0☑☑203
xmlplaylist.0.1.5☒☒5
xoshiro.0.1☒☒0
xtmpl.0.19.0☒☒38
xtmpl_js.0.19.0☒☒3
xtmpl_ppx.0.19.0☒☒27
xxhash.0.1☒☒0
yajl.0.7.3☒☒1
yaml.3.2.0☒☒130
yaml-sexp.3.2.0☒☒2
yices2.0.0.3☒☒1
yices2_bindings.0.2☒☒0
yocaml.1.0.0☒☒8
yocaml_cmark.1.0.0☒☒0
yocaml_git.1.0.0☒☒0
yocaml_jingoo.1.0.0☒☒0
yocaml_markdown.1.0.0☒☒0
yocaml_mustache.1.0.0☒☒0
yocaml_syndication.1.0.0☒☒0
yocaml_unix.1.0.0☒☒0
yocaml_yaml.1.0.0☒☒0
yojson.2.1.2☒☒-1
yojson-bench.2.0.2☒☒-1
yurt.0.6☒☒0
yuscii.0.3.0☒☒26
yuujinchou.5.2.0☒☒1
z3.4.12.4☑☑-1
z3_tptp.4.11.2☑☑0
zanuda.1.0.0☒☒0
zar.0.9.2☒☒-1
zarith.1.13☑☑-1
zarith_stubs_js.v0.16.1☒☒331
zed.3.2.3☒☒265
zeit.0.1.0☒☒1
zelus.2.2☒☒1
zelus-gtk.2.2☒☒0
zenon.0.8.5☑☑0
zipc.0.1.0☑☑-1
zipperposition.1.6☒☒0
zipperposition-tools.1.6☒☒0
zlib.0.6☒☒-1
zlist.0.5.0☒☒0
zmq.5.2.2☒☒-1
zmq-async.5.2.2☒☒-1
zmq-lwt.5.2.2☒☒-1
zstandard.v0.15.0☒☒0
zstd.0.3☒☒-1
zxcvbn.2.4+1☒☒0