| 5.3 | number of revdeps |
|---|
| 0install.2.18 | ☑ | 1 |
| 0install-gtk.2.18 | ☑ | 0 |
| 0install-solver.2.18 | ☑ | 16 |
| ANSITerminal.0.8.5 | ☑ | 23 |
| CamelCase.0.3.0 | ☑ | 0 |
| DkZero_Base.2.4.2.169 | ☑ | 2 |
| DkZero_Exec.2.4.2.169 | ☑ | 0 |
| DkZero_RuntimeC.2.4.2.169 | ☑ | 1 |
| FrontC.4.1.0 | ☑ | 11 |
| GT.0.5.4 | ☑ | 3 |
| GenArrayIter.0.3.1 | ☑ | 0 |
| GuaCaml.0.05 | ☑ | 2 |
| ISO3166.0.1.0 | ☑ | 0 |
| ISO8601.0.2.6 | ☑ | 46 |
| MlFront_Cache.2.4.2.169 | ☑ | 3 |
| MlFront_Cli.2.4.2.30 | ☑ | 2 |
| MlFront_Codept.2.4.2.169 | ☑ | 1 |
| MlFront_Config.2.4.2.169 | ☑ | 2 |
| MlFront_Console.2.4.2.169 | ☑ | 5 |
| MlFront_Core.2.4.2.169 | ☑ | 9 |
| MlFront_Errors.2.4.2.169 | ☑ | 2 |
| MlFront_Exec.2.4.2.30 | ☑ | 0 |
| MlFront_Logs.2.4.2.169 | ☑ | 2 |
| MlFront_Lua.2.4.2.169 | ☑ | 5 |
| MlFront_Manip.2.4.2.169 | ☑ | 0 |
| MlFront_Progress.2.4.2.169 | ☑ | 6 |
| MlFront_ProgressPeriod.2.4.2.169 | ☑ | 2 |
| MlFront_ProgressZig.2.4.2.169 | ☑ | 2 |
| MlFront_Signify.2.4.2.169 | ☑ | 3 |
| MlFront_Thunk.2.4.2.169 | ☑ | 4 |
| MlFront_Tools.2.4.2.169 | ☑ | 0 |
| MlFront_ZipFile.2.4.2.169 | ☑ | 5 |
| OCADml.0.6.0 | ☑ | 2 |
| OCanren.0.3.0 | ☑ | 1 |
| OCanren-ppx.0.3.0 | ☑ | 2 |
| OSCADml.0.2.3 | ☑ | 1 |
| SZXX.4.2.0 | ☑ | 0 |
| Snowflake.0.02.03 | ☑ | 1 |
| UnifiedScript_Std.2.4.2.169 | ☑ | 6 |
| UnifiedScript_Top.2.4.2.169 | ☑ | 2 |
| aacplus.0.2.2 | ☒ | 0 |
| abella.2.0.8 | ☑ | 0 |
| absolute.0.3 | ☑ | 0 |
| abstract_algebra.v0.17.0 | ☑ | 7 |
| accessor.v0.17.0 | ☑ | 4 |
| accessor_async.v0.17.0 | ☑ | 0 |
| accessor_base.v0.17.0 | ☑ | 2 |
| accessor_core.v0.17.0 | ☑ | 1 |
| acgtk.2.2.0 | ☑ | 0 |
| aches.1.1.0 | ☑ | 1 |
| aches-lwt.1.1.0 | ☑ | 0 |
| acp4.1.1.0 | ☑ | 0 |
| acpc.2.0.0 | ☑ | 0 |
| activitypub.0.1.0 | ☒ | 4 |
| activitypub_client.0.1.0 | ☒ | 2 |
| activitypub_gui.0.1.0 | ☒ | 1 |
| activitypub_server.0.1.0 | ☒ | 1 |
| activitypub_server_gui.0.1.0 | ☒ | 0 |
| adelfa.0.1 | ☑ | 0 |
| adobe_font_metrics.1.0.0 | ☑ | 0 |
| afl.2.57b | ☒ | 0 |
| afl-persistent.1.4 | ☑ | 33 |
| agrid.0.1 | ☑ | 1 |
| ahrocksdb.0.2.2 | ☒ | 0 |
| ai-sdk-react.0.5 | ☑ | 0 |
| aifad.2.3.2 | ☑ | 0 |
| alba.0.4.4 | ☑ | 0 |
| albatross.2.7.2 | ☑ | 0 |
| alcobar.0.3.1 | ☑ | 4 |
| alcotest.1.9.1 | ☑ | 702 |
| alcotest-async.1.9.1 | ☑ | 5 |
| alcotest-js.1.9.1 | ☑ | 1 |
| alcotest-lwt.1.9.1 | ☑ | 88 |
| alcotest-mirage.1.9.1 | ☑ | 0 |
| alg_structs.0.1.3 | ☑ | 1 |
| alg_structs_qcheck.0.1.3 | ☑ | 0 |
| algaeff.2.0.0 | ☑ | 4 |
| alice.0.5.0 | ☑ | 0 |
| allegro5.0.2 | ☑ | 0 |
| alonzo.0.4.0 | ☑ | 0 |
| alsa.0.3.0 | ☑ | 6 |
| alt-ergo.2.6.3 | ☑ | 9 |
| alt-ergo-free.2.4.3 | ☑ | 7 |
| alt-ergo-lib.2.6.3 | ☑ | 12 |
| alt-ergo-parsers.2.6.3 | ☑ | 9 |
| alt-ergo-plugin-ab-why3.2.6.3 | ☑ | 0 |
| altgr-ergo.2.4.3 | ☑ | 0 |
| ambient-context.0.2 | ☑ | 17 |
| ambient-context-eio.0.2 | ☑ | 1 |
| ambient-context-lwt.0.2 | ☑ | 4 |
| amqp-client.2.3.0 | ☑ | 2 |
| amqp-client-async.2.3.0 | ☑ | 0 |
| amqp-client-lwt.2.3.0 | ☑ | 0 |
| ancient.0.10.0 | ☑ | 2 |
| anders.5.1.0 | ☑ | 0 |
| angstrom.0.16.1 | ☑ | 809 |
| angstrom-async.0.16.1 | ☑ | 3 |
| angstrom-lwt-unix.0.16.1 | ☑ | 4 |
| angstrom-unix.0.16.1 | ☑ | 6 |
| ansi.0.7.0 | ☑ | 6 |
| ansi-parse.0.4.0 | ☑ | 0 |
| ansicolor.0.5 | ☑ | 0 |
| ansifmt.2.0.0 | ☑ | 0 |
| anthropic.0.1.0 | ☑ | 0 |
| antic.0.4.0 | ☑ | 4 |
| ao.0.2.4 | ☑ | 6 |
| apron.v0.9.15 | ☑ | 16 |
| apronext.1.0.4 | ☑ | 3 |
| arb.0.4.0 | ☑ | 4 |
| arc.0.0.2 | ☑ | 0 |
| archetype.1.5.3 | ☑ | 0 |
| archi.0.2.0 | ☑ | 2 |
| archi-async.0.2.0 | ☑ | 0 |
| archi-lwt.0.2.0 | ☑ | 0 |
| areas-and-adversaries.1.0 | ☑ | 0 |
| arg-complete.0.2.1 | ☑ | 3 |
| argon2.1.0.2 | ☑ | 2 |
| argsh.0.1.0 | ☑ | 0 |
| arp.4.1.0 | ☑ | 105 |
| arrakis.1.1.1 | ☒ | 0 |
| arrayjit.0.6.1 | ☒ | 1 |
| art.0.4.0 | ☑ | 3 |
| asai.0.3.1 | ☑ | 2 |
| ascend.0.1.2-1 | ☑ | 0 |
| asetmap.0.8.1 | ☑ | 33 |
| ask.0.2.0 | ☑ | 1 |
| ask-integrator.0.2.0 | ☑ | 0 |
| aslref.1.0-EAC1 | ☑ | 0 |
| asn1-combinators.0.3.2 | ☑ | 378 |
| assimp.0.3 | ☑ | 0 |
| astring.0.8.5 | ☑ | 1633 |
| async.v0.17.0 | ☑ | 226 |
| async-uri.0.4.0 | ☑ | 0 |
| async_durable.v0.17.0 | ☑ | 2 |
| async_extra.v0.17.0 | ☑ | 3 |
| async_find.v0.17.0 | ☑ | 2 |
| async_inotify.v0.17.0 | ☑ | 1 |
| async_interactive.v0.17.0 | ☑ | 0 |
| async_kernel.v0.17.0 | ☑ | 250 |
| async_log.v0.17.0 | ☑ | 225 |
| async_rpc_kernel.v0.17.0 | ☑ | 238 |
| async_rpc_websocket.v0.17.0 | ☑ | 2 |
| async_sendfile.v0.17.0 | ☑ | 1 |
| async_shell.v0.17.0 | ☑ | 1 |
| async_smtp.v0.17.0 | ☑ | 0 |
| async_ssl.v0.17.0-2 | ☑ | 49 |
| async_udp.v0.17.0 | ☑ | 1 |
| async_unix.v0.17.0 | ☑ | 232 |
| async_websocket.v0.17.0 | ☑ | 7 |
| atable.0.1 | ☑ | 0 |
| atd.4.2.0 | ☑ | 47 |
| atd-jsonlike.4.2.0 | ☑ | 1 |
| atd-yamlx.4.2.0 | ☑ | 0 |
| atdcpp.4.2.0 | ☑ | 0 |
| atdd.4.2.0 | ☑ | 0 |
| atdgen.4.2.0 | ☑ | 35 |
| atdgen-codec-runtime.4.2.0 | ☑ | 1 |
| atdgen-runtime.4.2.0 | ☑ | 49 |
| atdj.4.2.0 | ☑ | 0 |
| atdml.4.2.0 | ☑ | 1 |
| atdpy.4.2.0 | ☑ | 0 |
| atds.4.2.0 | ☑ | 0 |
| atdts.4.2.0 | ☑ | 1 |
| atomic.base | ☑ | 21 |
| 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 |
| avro-simple.0.1 | ☑ | 0 |
| awa.0.6.1 | ☑ | 24 |
| awa-mirage.0.6.1 | ☑ | 22 |
| aws.1.2 | ☑ | 15 |
| aws-async.1.2 | ☑ | 0 |
| aws-autoscaling.1.2 | ☑ | 0 |
| aws-cloudformation.1.2 | ☑ | 0 |
| aws-cloudtrail.1.2 | ☑ | 0 |
| aws-cloudwatch.1.2 | ☑ | 0 |
| aws-config.0.0.1 | ☑ | 0 |
| aws-ec2.1.2 | ☑ | 0 |
| aws-elasticache.1.2 | ☑ | 0 |
| aws-elasticloadbalancing.1.2 | ☑ | 0 |
| aws-lwt.1.2 | ☑ | 0 |
| aws-rds.1.2 | ☑ | 0 |
| aws-route53.1.2 | ☑ | 0 |
| aws-s3.4.8.1 | ☒ | 2 |
| aws-s3-async.4.8.1 | ☒ | 0 |
| aws-s3-lwt.4.8.1 | ☒ | 0 |
| aws-sdb.1.2 | ☑ | 0 |
| aws-sqs.1.2 | ☑ | 0 |
| aws-ssm.1.2 | ☑ | 0 |
| aws-sts.1.2 | ☑ | 0 |
| awskit.0.2.0 | ☑ | 9 |
| awskit-eio.0.2.0 | ☑ | 1 |
| awskit-lwt.0.2.0 | ☑ | 3 |
| awskit-lwt-unix.0.2.0 | ☑ | 1 |
| awskit-s3.0.2.0 | ☑ | 4 |
| awskit-s3-eio.0.2.0 | ☑ | 0 |
| awskit-s3-lwt.0.2.0 | ☑ | 1 |
| awskit-s3-lwt-unix.0.2.0 | ☑ | 0 |
| awskit-s3-sim.0.2.0 | ☑ | 0 |
| awskit-unix.0.2.0 | ☑ | 2 |
| awso.0.9.1 | ☑ | 5 |
| awso-async.0.9.1 | ☑ | 1 |
| awso-cli.0.9.1 | ☑ | 0 |
| awso-common.0.9.1 | ☑ | 6 |
| awso-eio.0.9.1 | ☑ | 0 |
| awso-lwt.0.9.1 | ☑ | 0 |
| awso-sync.0.9.1 | ☑ | 0 |
| azblob.0.1.0 | ☑ | 1 |
| azure-cosmos-db.0.4.1 | ☑ | 2 |
| azure-cosmos-db-eio.0.4.1 | ☑ | 0 |
| azure-cosmos-db-lwt.0.4.1 | ☑ | 0 |
| b0.0.0.6 | ☑ | 61 |
| babel.v0.17.0 | ☑ | 4 |
| baby.20260620 | ☑ | 0 |
| backoff.0.1.1 | ☑ | 67 |
| bag.1.0.0 | ☑ | 0 |
| baguette_sharp.2.2.1-1 | ☑ | 0 |
| bam.0.4 | ☑ | 1 |
| bam-ppx.0.4 | ☑ | 1 |
| bancos.0.0.1 | ☑ | 0 |
| bank.0.0.1 | ☑ | 0 |
| bap-emacs-dot.0.1 | ☑ | 8 |
| bap-emacs-goodies.0.1 | ☑ | 7 |
| bap-emacs-mode.0.1 | ☑ | 8 |
| bap-signatures.2.5.0 | ☑ | 7 |
| bare_encoding.0.3.1 | ☑ | 0 |
| bark.0.1.4 | ☑ | 0 |
| base.v0.17.3 | ☑ | 1731 |
| base-bigarray.base | ☑ | 1191 |
| base-bytes.base | ☑ | 2646 |
| base-domains.base | ☑ | 65 |
| base-effects.base | ☑ | 0 |
| base-metaocaml-ocamlfind.base | ☑ | 1 |
| base-native-int63.0.1 | ☑ | 0 |
| base-nnp.base | ☑ | 0 |
| base-threads.base | ☑ | 4055 |
| base-unix.base | ☑ | 4055 |
| base32.1.0.0 | ☑ | 1 |
| base64.3.5.2 | ☑ | 712 |
| base_bigstring.v0.17.0 | ☑ | 491 |
| base_quickcheck.v0.17.1 | ☑ | 522 |
| base_trie.v0.17.0 | ☑ | 0 |
| bastet.2.0.0 | ☑ | 2 |
| bastet_async.0.1.0 | ☑ | 0 |
| bastet_lwt.0.1.0 | ☑ | 0 |
| batch_jaro_winkler.0.1.1 | ☑ | 0 |
| batteries.3.11.0 | ☑ | 56 |
| bdd.0.5 | ☑ | 1 |
| bddrand.2.71.15 | ☒ | 0 |
| bech32.0.1 | ☑ | 0 |
| bechamel.0.5.0 | ☑ | 13 |
| bechamel-js.0.5.0 | ☑ | 2 |
| bechamel-notty.0.5.0 | ☑ | 4 |
| bechamel-perf.0.5.0 | ☑ | 1 |
| beluga.1.1.3 | ☑ | 0 |
| benchmark.1.7 | ☑ | 267 |
| bencode.2.0 | ☑ | 5 |
| bentov.1 | ☑ | 2 |
| bestline.0.2.1 | ☑ | 0 |
| bheap.2.0.0 | ☑ | 1101 |
| bibfmt.0.9.2 | ☑ | 1 |
| bibtex2html.1.99-1 | ☑ | 0 |
| bidirectional_map.v0.17.0 | ☑ | 0 |
| bigarray-compat.1.1.0 | ☑ | 2053 |
| bigarray-overlap.0.2.1 | ☑ | 73 |
| bigdecimal.v0.17.0 | ☑ | 0 |
| bignum.v0.17.0 | ☑ | 12 |
| bigstring.0.3 | ☑ | 15 |
| bigstring-unix.0.3 | ☑ | 1 |
| bigstringaf.0.10.0 | ☑ | 882 |
| bimage.0.6.0 | ☑ | 3 |
| bimage-display.0.6.0 | ☑ | 0 |
| bimage-gtk.0.2.1 | ☑ | 0 |
| bimage-io.0.6.0 | ☑ | 0 |
| bimage-lwt.0.4.0 | ☑ | 0 |
| bimage-sdl.0.2.1 | ☑ | 0 |
| bimage-unix.0.6.0 | ☑ | 0 |
| bin.0.0.4 | ☑ | 11 |
| bin_prot.v0.17.0-1 | ☑ | 524 |
| bin_tree.0.1 | ☑ | 0 |
| binary_tree.1.0 | ☑ | 0 |
| binaryen.0.35.0 | ☑ | 0 |
| binaryen-bin.119 | ☑ | 3 |
| bindlib.6.0.0 | ☑ | 4 |
| biniou.1.2.2 | ☑ | 1876 |
| binning.0.0.0 | ☑ | 3 |
| binsec.0.11.2 | ☑ | 0 |
| binsec_codex.1.0-rc4 | ☑ | 0 |
| bio_io.0.7.0 | ☑ | 0 |
| biotk.0.4 | ☑ | 2 |
| bisect_ppx.2.8.3 | ☑ | 67 |
| bitcoin.3.0 | ☑ | 3 |
| bitcoin-cohttp-async.3.0 | ☑ | 0 |
| bitcoin-cohttp-lwt.3.0 | ☑ | 0 |
| bitcoin-ocurl.3.0 | ☑ | 0 |
| bitgenerators.v0.1.0 | ☑ | 0 |
| bitlib.1.0 | ☑ | 0 |
| bitmasks.1.5.0 | ☑ | 0 |
| bitpack_serializer.0.1.0 | ☑ | 0 |
| bitstring.5.0.2 | ☑ | 11 |
| bitv.2.1 | ☑ | 16 |
| bitwuzla.1.0.6 | ☑ | 2 |
| bitwuzla-bin.1.0.0 | ☒ | 0 |
| bitwuzla-c.1.0.6 | ☑ | 3 |
| bitwuzla-cxx.0.9.0 | ☑ | 5 |
| bizowie-api.0.5.0 | ☑ | 0 |
| bjack.0.1.6 | ☑ | 4 |
| bloomf.0.2.0 | ☑ | 0 |
| bls12-381.20.1 | ☑ | 1 |
| bls12-381-gen.0.5.0 | ☑ | 4 |
| bls12-381-hash.1.0.0 | ☑ | 0 |
| bls12-381-js.0.5.0 | ☑ | 0 |
| bls12-381-js-gen.0.5.0 | ☑ | 1 |
| bls12-381-signature.1.0.0 | ☑ | 0 |
| bls12-381-unix.2.0.1 | ☑ | 0 |
| blurhash.0.1.0 | ☑ | 0 |
| bm25.0.0.1 | ☑ | 0 |
| bn128.0.1.3 | ☑ | 0 |
| bnfgen.4.0.0 | ☑ | 1 |
| bogue.20260208 | ☑ | 1 |
| bogue-tutorials.0.2.0 | ☑ | 0 |
| boltzgen.0.9.5 | ☒ | 0 |
| bos.0.3.0 | ☑ | 684 |
| boulangerie.1.0.1 | ☑ | 0 |
| box.1.2.0 | ☑ | 0 |
| bpf.0.2 | ☑ | 0 |
| broken.0.4.2 | ☑ | 5 |
| brot.1.0.0~alpha3 | ☑ | 1 |
| brr.0.0.8 | ☑ | 46 |
| brr-lwd.0.5 | ☑ | 0 |
| bsdowl.3.0.0-20150830 | ☑ | 6 |
| bst.7.1.0 | ☑ | 9 |
| bstr.0.0.4 | ☑ | 130 |
| buffer-pool.0.2 | ☑ | 0 |
| build_path_prefix_map.0.3 | ☑ | 0 |
| builder.0.4.0 | ☑ | 1 |
| bwd.2.3.0 | ☑ | 5 |
| bwrap.0.1 | ☑ | 0 |
| bytebuffer.0.0.2 | ☑ | 0 |
| bytesrw.0.3.0 | ☑ | 61 |
| bytestring.0.0.8 | ☑ | 6 |
| bz2.0.8.0 | ☑ | 16 |
| ca-certs.1.0.3 | ☑ | 250 |
| ca-certs-nss.3.126 | ☑ | 66 |
| cabal.0.1.0 | ☑ | 0 |
| cachet.0.0.4 | ☑ | 39 |
| cachet-lwt.0.0.4 | ☑ | 27 |
| cachet-solo5.0.0.4 | ☑ | 0 |
| cactus.1.0.0 | ☑ | 0 |
| cairn.2.1 | ☑ | 0 |
| cairo2.0.6.5 | ☑ | 49 |
| cairo2-gtk.0.6.5 | ☑ | 1 |
| cairo2-pango.0.6.5 | ☑ | 0 |
| caisar-ir.0.2 | ☑ | 2 |
| caisar-nnet.0.2 | ☑ | 1 |
| caisar-onnx.0.2 | ☑ | 1 |
| caisar-ovo.0.2 | ☑ | 1 |
| caisar-xgboost.0.2 | ☑ | 1 |
| calcium.0.4.0 | ☑ | 3 |
| calculon.0.8 | ☑ | 1 |
| calculon-web.0.8 | ☑ | 0 |
| caldav.0.2.4 | ☑ | 0 |
| calendar.3.0.0 | ☑ | 91 |
| calendars.2.0.0 | ☑ | 0 |
| calipso.4.1.0 | ☑ | 0 |
| calli.0.2 | ☑ | 0 |
| callipyge.0.2 | ☑ | 0 |
| camels.1.0.0 | ☑ | 0 |
| camelsnakekebab.0.4 | ☒ | 0 |
| caml-mode.4.9 | ☑ | 3 |
| camlbz2.transition | ☑ | 15 |
| camldiets.0.3 | ☑ | 0 |
| camlgpc.1.2 | ☑ | 0 |
| camlid.0.2 | ☑ | 0 |
| camlidl.1.13-1 | ☑ | 30 |
| camlimages.5.0.5 | ☑ | 8 |
| camlix.0.1 | ☑ | 0 |
| camlon.3.1.0 | ☑ | 4 |
| camlp-streams.5.0.1 | ☑ | 2086 |
| camlp5.8.05.02 | ☑ | 393 |
| camlp5-buildscripts.0.07 | ☑ | 394 |
| camlpdf.2.9 | ☑ | 2 |
| camlprime.0.5 | ☑ | 0 |
| camlrack.0.10.1 | ☑ | 1 |
| camlzip.1.14 | ☑ | 254 |
| camomile.2.0.0 | ☑ | 160 |
| camyll.0.4.4 | ☑ | 0 |
| canary.0.0.4 | ☑ | 0 |
| caper.0.9 | ☑ | 0 |
| capitalization.v0.17.0 | ☑ | 519 |
| capnp.3.6.0 | ☑ | 11 |
| capnp-rpc.2.1.1 | ☑ | 9 |
| capnp-rpc-lwt.2.0 | ☑ | 6 |
| capnp-rpc-net.2.1.1 | ☑ | 2 |
| capnp-rpc-unix.2.1.1 | ☑ | 1 |
| caqti.3.0.0 | ☑ | 35 |
| caqti-async.3.0.0 | ☑ | 1 |
| caqti-driver-mariadb.3.0.0 | ☑ | 3 |
| caqti-driver-pgx.3.0.0 | ☑ | 0 |
| caqti-driver-postgresql.3.0.0 | ☑ | 4 |
| caqti-driver-sqlite3.3.0.0 | ☑ | 9 |
| caqti-dynload.3.0.0 | ☑ | 0 |
| caqti-eio.3.0.0 | ☑ | 0 |
| caqti-lwt.3.0.0 | ☑ | 22 |
| caqti-miou.3.0.0 | ☑ | 1 |
| caqti-mirage.3.0.0 | ☑ | 0 |
| caqti-tls.3.0.0 | ☑ | 1 |
| caqti-type-calendar.3.0.0 | ☑ | 2 |
| carbon.0.2.0 | ☑ | 0 |
| carray.0.0.2 | ☑ | 0 |
| carton.1.2.0 | ☑ | 28 |
| carton-git.0.7.2 | ☑ | 26 |
| carton-git-lwt.1.2.0 | ☑ | 3 |
| carton-lwt.1.2.0 | ☑ | 26 |
| carton-miou.1.2.0 | ☑ | 0 |
| carton-miou-unix.1.1.0 | ☑ | 0 |
| cascade.1.0.0 | ☑ | 1 |
| castore.0.0.2 | ☑ | 1 |
| catala.1.2.1 | ☑ | 1 |
| catala-format.1.2.0 | ☒ | 0 |
| catala-lsp.1.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 |
| cattery.0.0.1 | ☑ | 0 |
| cb-check.0.1 | ☒ | 0 |
| cbor.0.5 | ☑ | 4 |
| cborl.0.1.0 | ☑ | 0 |
| ccbg.0.1 | ☑ | 0 |
| cconv.0.5 | ☑ | 3 |
| cdb.1.0.1 | ☑ | 0 |
| cdrom.0.9.4 | ☑ | 0 |
| ceph.20240106 | ☑ | 0 |
| certify.0.3.3 | ☑ | 0 |
| cf.0.5.0 | ☑ | 20 |
| cf-lwt.0.5.0 | ☑ | 18 |
| cf_workers.0.1.5 | ☑ | 0 |
| cfg.2.3.1 | ☑ | 1 |
| cfgen.1.0 | ☑ | 0 |
| cfml.20220112 | ☑ | 0 |
| cgroups.0.1 | ☑ | 0 |
| chacha.1.1.0 | ☑ | 0 |
| chalk.1.0 | ☑ | 0 |
| chamelon.0.2.1 | ☑ | 1 |
| chamelon-unix.0.2.1 | ☑ | 0 |
| chamo.4.2.0 | ☒ | 0 |
| charInfo_width.2.0.0 | ☑ | 0 |
| charrua.3.2.0 | ☑ | 3 |
| charrua-client.3.2.0 | ☑ | 0 |
| charrua-server.3.2.0 | ☑ | 2 |
| charrua-unix.3.2.0 | ☑ | 0 |
| charset.0.3.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 |
| chatoyant.0.12.2 | ☑ | 0 |
| checked_oint.2.0.1 | ☑ | 0 |
| checkseum.0.5.3 | ☑ | 97 |
| chess_com_api.1.0.1 | ☑ | 0 |
| choice.0.4 | ☑ | 0 |
| chrome-trace.3.24.0 | ☑ | -1 |
| ciao_lwt.0.2 | ☑ | 0 |
| cid.0.1.0 | ☑ | 2 |
| cinaps.v0.15.1 | ☑ | 5 |
| clap.0.3.0 | ☑ | 5 |
| clarity-lang.0.1.0 | ☑ | 0 |
| class_group_vdf.0.0.5 | ☑ | 0 |
| claudius.1.2.1 | ☑ | 0 |
| clim.0.3.0 | ☑ | 1 |
| climate.0.9.0 | ☑ | 2 |
| cll.0.2.0 | ☑ | 0 |
| cloudi.2.0.7 | ☑ | 0 |
| clz.0.1.0 | ☑ | 1 |
| cmarker.0.3.0 | ☑ | 0 |
| cmarkit.0.4.0 | ☑ | 18 |
| cmdlang.0.0.11 | ☑ | 19 |
| cmdlang-cmdliner-err-runner.0.0.16 | ☑ | 13 |
| cmdlang-stdlib-runner.0.0.11 | ☑ | 0 |
| cmdlang-to-base.0.0.11 | ☑ | 0 |
| cmdlang-to-climate.0.0.11 | ☑ | 0 |
| cmdlang-to-cmdliner.0.0.11 | ☑ | 14 |
| cmdliner.2.1.1 | ☑ | 2368 |
| cmdliner-stdlib.1.0.1 | ☑ | 0 |
| cmitomli.1.0.0 | ☑ | 0 |
| cmon.0.2 | ☑ | 1 |
| coap.0.1.0 | ☑ | 0 |
| coap-core.0.1.0 | ☑ | 2 |
| coap-server-lwt.0.1.0 | ☑ | 1 |
| cobs.0.1.1 | ☑ | 0 |
| coccinelle.1.3.1 | ☑ | 0 |
| codept.0.12.2 | ☑ | 0 |
| codept-lib.0.12.2 | ☑ | 3 |
| codex.1.0~rc4 | ☑ | 2 |
| cohttp.6.2.1 | ☑ | 280 |
| cohttp-async.6.2.1 | ☑ | 21 |
| cohttp-bench.6.2.1 | ☑ | 0 |
| cohttp-curl.6.2.1 | ☑ | 2 |
| cohttp-curl-async.6.2.1 | ☑ | 0 |
| cohttp-curl-lwt.6.2.1 | ☑ | 0 |
| cohttp-eio.6.2.1 | ☑ | 28 |
| cohttp-lwt.6.2.1 | ☑ | 188 |
| cohttp-lwt-jsoo.6.2.1 | ☑ | 19 |
| cohttp-lwt-unix.6.2.1 | ☑ | 174 |
| cohttp-mirage.6.2.1 | ☑ | 0 |
| cohttp-server-lwt-unix.6.2.1 | ☑ | 1 |
| cohttp-top.6.2.1 | ☑ | 0 |
| cohttp_async_websocket.v0.17.0 | ☑ | 4 |
| cohttp_static_handler.v0.17.0 | ☑ | 1 |
| coin.0.1.5 | ☑ | 30 |
| colibrilib.0.4 | ☑ | 3 |
| colombe.0.13.0 | ☑ | 16 |
| color.0.3.0 | ☑ | 5 |
| color-brewery.0.2 | ☑ | 0 |
| colors.0.0.1 | ☑ | 11 |
| combic.1.0.0 | ☑ | 0 |
| combinaml.0.1 | ☑ | 0 |
| combinat.3.0 | ☑ | 0 |
| comby-semantic.1.7.0 | ☑ | 1 |
| command_rpc.v0.17.0 | ☑ | 0 |
| compiler-cloning.enabled | ☑ | 4054 |
| compsort.0.9.2 | ☑ | 0 |
| conan.0.0.7 | ☑ | 11 |
| conan-cli.0.0.7 | ☑ | 0 |
| conan-database.0.0.7 | ☑ | 8 |
| conan-lwt.0.0.7 | ☑ | 0 |
| conan-unix.0.0.7 | ☑ | 3 |
| conduit.8.0.0 | ☑ | 249 |
| conduit-async.8.0.0 | ☑ | 27 |
| conduit-lwt.8.0.0 | ☑ | 221 |
| conduit-lwt-unix.8.0.0 | ☑ | 182 |
| conduit-mirage.8.0.0 | ☑ | 8 |
| conex.1.0.0 | ☑ | 1 |
| conex-mirage-crypto.1.0.0 | ☑ | 0 |
| conf-aarch64-linux-gnu-gcc.1 | ☑ | 8 |
| conf-aclocal.2 | ☑ | 18 |
| conf-adwaita-icon-theme.2 | ☑ | 2 |
| conf-age.1 | ☑ | 1 |
| conf-allegro5.2 | ☑ | 1 |
| conf-alsa.1 | ☑ | 11 |
| conf-antic.1 | ☒ | 5 |
| conf-ao.1 | ☑ | 7 |
| conf-arb.1 | ☒ | 5 |
| conf-asciidoc.1 | ☑ | 1 |
| conf-assimp.1 | ☑ | 0 |
| conf-autoconf.0.2 | ☑ | 4057 |
| conf-automake.1 | ☑ | 97 |
| conf-bap-llvm.1.8 | ☒ | 12 |
| conf-bash.1 | ☑ | 1833 |
| conf-binaryen.1 | ☑ | 6 |
| conf-binutils.0.3 | ☑ | 91 |
| conf-bison.2 | ☑ | 17 |
| conf-blas.1 | ☑ | 9 |
| conf-bluetooth.1 | ☑ | 2 |
| conf-bmake.1.0 | ☑ | 7 |
| conf-boost.1 | ☑ | 4 |
| conf-bpftool.0.1.0 | ☑ | 3 |
| conf-brotli.0.0.1 | ☑ | 0 |
| conf-bzip2.1 | ☑ | 1 |
| conf-c++.1.0 | ☑ | 61 |
| conf-cairo.1 | ☑ | 51 |
| conf-calcium.1 | ☒ | 4 |
| conf-capnproto.2 | ☑ | 11 |
| conf-cc.1 | ☑ | 0 |
| conf-clang.2 | ☑ | 100 |
| conf-clang-format.1 | ☑ | 0 |
| conf-cmake.1 | ☑ | 36 |
| conf-cosmopolitan.1 | ☒ | 2 |
| conf-cpio.1 | ☑ | 6 |
| conf-csdp.1 | ☑ | 1 |
| conf-cuda.1 | ☒ | 3 |
| conf-cuda-config.1 | ☑ | 4 |
| conf-dbm.1.0.0 | ☑ | 16 |
| conf-diffutils.2 | ☑ | 5 |
| conf-dpkg.1 | ☑ | 2 |
| conf-dssi.1 | ☑ | 5 |
| conf-dwarfutils.1 | ☑ | 0 |
| conf-efl.1.8 | ☑ | 1 |
| conf-emacs.1 | ☑ | 4 |
| conf-env-travis.1 | ☑ | 12 |
| conf-expat.1 | ☑ | 2 |
| conf-faad.1 | ☑ | 5 |
| conf-fdkaac.1 | ☒ | 5 |
| conf-ffmpeg.1 | ☑ | 13 |
| conf-fftw3.1 | ☑ | 1 |
| conf-findutils.1 | ☑ | 50 |
| conf-flex.2 | ☑ | 15 |
| conf-flint.3.0 | ☑ | 7 |
| conf-freeglut.1 | ☑ | 368 |
| conf-freetype.1 | ☑ | 59 |
| conf-frei0r.1 | ☑ | 5 |
| conf-ftgl.1 | ☑ | 0 |
| conf-fts.1 | ☑ | 2 |
| conf-g++.1.0 | ☑ | 46 |
| conf-gcc.1.0 | ☑ | 28 |
| conf-gd.1 | ☑ | 5 |
| conf-gegl.1 | ☑ | 0 |
| conf-gfortran.0 | ☑ | 6 |
| conf-ghostscript.1 | ☑ | 8 |
| conf-git.1.1 | ☑ | 47 |
| conf-git-daemon.1.0 | ☑ | 3 |
| conf-glade.2 | ☒ | 357 |
| conf-gles2.1 | ☑ | 4 |
| conf-glew.1 | ☑ | 2 |
| conf-glfw3.2 | ☑ | 3 |
| conf-glib-2.1 | ☑ | 5 |
| conf-glpk.1 | ☑ | 1 |
| conf-gmp.5 | ☑ | 856 |
| conf-gmp-paths.1 | ☑ | 23 |
| conf-gmp-powm-sec.4 | ☑ | 464 |
| conf-gnome-icon-theme3.0 | ☑ | 0 |
| conf-gnomecanvas.2 | ☑ | 357 |
| conf-gnuplot.0.1 | ☑ | 25 |
| conf-gnutls.1 | ☑ | 61 |
| conf-gobject-introspection.1.0 | ☑ | 1 |
| conf-goocanvas2.0 | ☑ | 1 |
| conf-gpiod.1 | ☑ | 1 |
| conf-graphviz.0.1 | ☑ | 17 |
| conf-gsl.2 | ☑ | 11 |
| conf-gssapi.1 | ☑ | 61 |
| conf-gstreamer.1 | ☑ | 6 |
| conf-gtk2.1 | ☑ | 357 |
| conf-gtk3.18 | ☑ | 30 |
| conf-gtk4.2 | ☑ | 1 |
| conf-gtksourceview.2 | ☒ | 357 |
| conf-gtksourceview3.0+2 | ☑ | 15 |
| conf-guile.1 | ☑ | 1 |
| conf-haveged.1.0.0 | ☑ | 0 |
| conf-hg.1.0 | ☑ | 3 |
| conf-hidapi.0 | ☑ | 3 |
| conf-ida.0.3 | ☒ | 3 |
| conf-jack.1 | ☑ | 5 |
| conf-jq.1 | ☑ | 6 |
| conf-ladspa.1 | ☑ | 6 |
| conf-lame.1 | ☑ | 5 |
| conf-lapack.1 | ☑ | 10 |
| conf-leveldb.2 | ☑ | 1 |
| conf-libMagickCore.1 | ☑ | 0 |
| conf-libX11.1 | ☑ | 3985 |
| conf-libXft.1 | ☑ | 3984 |
| conf-libargon2.1 | ☑ | 2 |
| conf-libblake3.1.5.1 | ☒ | 60 |
| conf-libbpf.0.1.0 | ☑ | 3 |
| conf-libbz2.1 | ☑ | 17 |
| conf-libclang.21 | ☒ | 3 |
| conf-libcorosync.3 | ☑ | 1 |
| conf-libcurl.2 | ☑ | 61 |
| conf-libdrm.1 | ☑ | 1 |
| conf-libdw.1 | ☑ | 1 |
| conf-libelf.1.0.0 | ☑ | 0 |
| conf-libev.4-13 | ☑ | 1814 |
| conf-libevent.1 | ☑ | 6 |
| conf-libffi.2.0.0 | ☑ | 355 |
| conf-libflac.1 | ☑ | 5 |
| conf-libfontconfig.1 | ☑ | 1 |
| conf-libfuse.1 | ☑ | 2 |
| conf-libfuse3.1 | ☑ | 2 |
| conf-libgccjit.1 | ☒ | 3 |
| conf-libgif.1 | ☑ | 8 |
| conf-libgl.1 | ☑ | 370 |
| conf-libglu.1 | ☑ | 369 |
| conf-libgsasl.1 | ☑ | 0 |
| conf-libinput.1 | ☑ | 1 |
| conf-libjpeg.1 | ☑ | 9 |
| conf-liblinear-tools.1.0.0 | ☑ | 1 |
| conf-liblo.1 | ☑ | 5 |
| conf-liblz4.1 | ☑ | 15 |
| conf-liblzma.1 | ☑ | 1 |
| conf-libmagic.1 | ☑ | 1 |
| conf-libmaxminddb.1 | ☑ | 2 |
| conf-libmd.1.0.0 | ☑ | 60 |
| conf-libmosquitto.1 | ☑ | 1 |
| conf-libmpg123.1 | ☑ | 1 |
| conf-libnl3.1 | ☑ | 3 |
| conf-libogg.1 | ☑ | 12 |
| conf-libopus.1 | ☑ | 5 |
| conf-libpcre.2 | ☒ | 406 |
| conf-libpcre2-8.2 | ☑ | 397 |
| conf-libpng.1 | ☑ | 8 |
| conf-libportmidi.1 | ☑ | 0 |
| conf-librsvg2.0 | ☑ | 1 |
| conf-libsamplerate.2 | ☑ | 0 |
| conf-libseccomp.1 | ☑ | 1254 |
| conf-libsodium.1 | ☑ | 3 |
| conf-libspeex.1 | ☑ | 5 |
| conf-libssl.4 | ☑ | 303 |
| conf-libsvm.3 | ☑ | 0 |
| conf-libsvm-tools.1.0.0 | ☑ | 1 |
| conf-libtheora.1 | ☑ | 7 |
| conf-libtool.1 | ☑ | 3 |
| conf-libudev.1 | ☑ | 1 |
| conf-liburing.0.1.0 | ☑ | 1 |
| conf-libuv.1 | ☑ | 0 |
| conf-libvorbis.1 | ☑ | 5 |
| conf-libwayland.1 | ☑ | 2 |
| conf-libxcb.1 | ☑ | 1 |
| conf-libxcb-image.1 | ☑ | 1 |
| conf-libxcb-keysyms.1 | ☑ | 1 |
| conf-libxcb-shm.1 | ☑ | 1 |
| conf-libxcb-xkb.1 | ☑ | 1 |
| conf-libxcursor.1 | ☑ | 4 |
| conf-libxi.1 | ☑ | 4 |
| conf-libxinerama.1 | ☑ | 4 |
| conf-libxrandr.1 | ☑ | 4 |
| conf-lilv.1 | ☑ | 5 |
| conf-linux-libc-dev.0 | ☑ | 48 |
| conf-lld.1 | ☑ | 1 |
| conf-lldb.3.5 | ☒ | 0 |
| conf-llvm.17 | ☑ | 8 |
| conf-llvm-shared.19 | ☑ | 6 |
| conf-llvm-static.19 | ☑ | 12 |
| conf-lua.1 | ☒ | 0 |
| conf-lz4.1.0.0 | ☒ | 1 |
| conf-m4.1 | ☑ | 3984 |
| conf-mad.2 | ☑ | 7 |
| conf-mariadb.2 | ☑ | 11 |
| conf-mbedtls.2 | ☑ | 61 |
| conf-mecab.0.996 | ☑ | 1 |
| conf-mesa.1 | ☑ | 4 |
| conf-mpfr.3 | ☑ | 42 |
| conf-mpfr-paths.1 | ☑ | 22 |
| conf-mpi.1 | ☑ | 5 |
| conf-mysql.1 | ☑ | 8 |
| conf-nanomsg.0 | ☑ | 0 |
| conf-nauty.1.0 | ☒ | 0 |
| conf-ncurses.1 | ☑ | 9 |
| conf-neko.1 | ☑ | 1 |
| conf-netsnmp.1.0.0 | ☑ | 1 |
| conf-ninja.1 | ☑ | 5 |
| conf-nlopt.1 | ☑ | 5 |
| conf-nmap.1.0.0 | ☑ | 0 |
| conf-npm.1 | ☑ | 26 |
| conf-numa.0.1.0 | ☑ | 1 |
| conf-ode.1 | ☑ | 0 |
| conf-oniguruma.1 | ☑ | 8 |
| conf-openbabel.0.1 | ☑ | 1 |
| conf-openblas.0.2.3 | ☑ | 17 |
| conf-opencc0.1 | ☒ | 1 |
| conf-opencc1.1 | ☒ | 2 |
| conf-opencc1_1.1 | ☑ | 1 |
| conf-openimageio.1 | ☑ | 1 |
| conf-openjdk.1 | ☑ | 2 |
| conf-openssl.2 | ☑ | 5 |
| conf-pam.1 | ☑ | 1 |
| conf-pandoc.0.1 | ☑ | 0 |
| conf-pango.1 | ☑ | 1 |
| conf-perl.2 | ☑ | 991 |
| conf-perl-ipc-system-simple.3 | ☑ | 390 |
| conf-perl-string-shellquote.3 | ☑ | 390 |
| conf-pixz.1 | ☑ | 0 |
| conf-pkg-config.5 | ☑ | 4206 |
| conf-plplot.1 | ☑ | 11 |
| conf-portaudio.1 | ☑ | 6 |
| conf-postgresql.2 | ☑ | 23 |
| conf-povray.1 | ☑ | 0 |
| conf-ppl.1 | ☑ | 18 |
| conf-protoc.4.4.0 | ☑ | 5 |
| conf-protoc-dev.1.0.0 | ☑ | 1 |
| conf-pulseaudio.1 | ☑ | 7 |
| conf-python-2-7.1.2 | ☒ | 49 |
| conf-python-2-7-dev.1.0 | ☒ | 0 |
| conf-python-3.9.0.0 | ☑ | 90 |
| conf-python-3-7.1.0.0 | ☑ | 1 |
| conf-python-3-dev.1 | ☑ | 9 |
| conf-python3-pyparsing.1 | ☑ | 4 |
| conf-python3-tomli.1 | ☑ | 4 |
| conf-python3-yaml.1 | ☑ | 2 |
| conf-qemu-img.1 | ☑ | 1 |
| 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.2 | ☑ | 2 |
| conf-rubberband.1 | ☑ | 0 |
| conf-ruby.1.0.0 | ☑ | 2 |
| conf-rust.0.1 | ☑ | 8 |
| conf-rust-2018.1 | ☑ | 2 |
| conf-rust-2021.1 | ☑ | 10 |
| conf-rust-2024.1 | ☑ | 1 |
| conf-rust-llvm.1 | ☑ | 0 |
| conf-rust-wasm.1 | ☑ | 0 |
| conf-samplerate.1 | ☑ | 7 |
| conf-scdoc.1 | ☑ | 1 |
| conf-sdl-gfx.1 | ☑ | 16 |
| conf-sdl-image.1 | ☑ | 16 |
| conf-sdl-mixer.1 | ☑ | 16 |
| conf-sdl-net.1 | ☑ | 0 |
| conf-sdl-ttf.1 | ☑ | 16 |
| conf-sdl2.1 | ☑ | 43 |
| conf-sdl2-image.1 | ☑ | 30 |
| conf-sdl2-mixer.1 | ☑ | 1 |
| conf-sdl2-net.1 | ☑ | 0 |
| conf-sdl2-ttf.1 | ☑ | 29 |
| conf-sdpa.1 | ☒ | 1 |
| conf-secp256k1.2 | ☑ | 2 |
| conf-sfml2.1 | ☑ | 2 |
| conf-shine.1 | ☑ | 5 |
| conf-snappy.1 | ☑ | 2 |
| conf-sndfile.1 | ☑ | 0 |
| conf-soundtouch.1 | ☑ | 5 |
| conf-sqlite3.1 | ☑ | 63 |
| conf-srt.2 | ☑ | 5 |
| conf-srt-gnutls.1 | ☑ | 6 |
| conf-srt-openssl.1 | ☑ | 6 |
| conf-sundials.2 | ☑ | 4 |
| conf-swi-prolog.1 | ☑ | 2 |
| conf-taglib.1 | ☑ | 4 |
| conf-taglib_c.2 | ☑ | 2 |
| conf-tcl.1 | ☑ | 4 |
| conf-texlive.2 | ☑ | 3 |
| conf-tidy.1 | ☑ | 1 |
| conf-time.1 | ☑ | 3 |
| conf-timeout.1 | ☑ | 2 |
| conf-tk.1 | ☑ | 4 |
| conf-tree-sitter.1 | ☒ | 0 |
| conf-trexio.0.1 | ☒ | 1 |
| conf-tzdata.1 | ☑ | 1 |
| conf-unwind.0 | ☑ | 4056 |
| conf-vim.1 | ☑ | 0 |
| conf-vips.1 | ☑ | 1 |
| conf-wayland-protocols.1 | ☑ | 2 |
| conf-wget.1 | ☑ | 2 |
| conf-which.1 | ☑ | 4063 |
| conf-wxwidgets.3.0 | ☒ | 1 |
| conf-x86_64-linux-gnu-gcc.1 | ☑ | 0 |
| conf-xen.1 | ☑ | 3 |
| conf-xkbcommon.1 | ☑ | 3 |
| conf-xxhash.1 | ☑ | 61 |
| conf-zig.1 | ☒ | 0 |
| conf-zlib.1 | ☑ | 431 |
| conf-zmq.0.1 | ☑ | 22 |
| conf-zstd.1.3.8 | ☑ | 67 |
| confero.0.1.1 | ☑ | 0 |
| config.0.0.3 | ☑ | 7 |
| config-file.1.2.2 | ☑ | 2 |
| configuration.0.4.1 | ☑ | 0 |
| conformist.0.8.1 | ☑ | 8 |
| conjury.2.2 | ☑ | 1 |
| containers.3.18 | ☑ | 110 |
| containers-data.3.18 | ☑ | 11 |
| containers-thread.3.12 | ☑ | 0 |
| content_security_policy.v0.17.0 | ☑ | 0 |
| contract.0.2.0 | ☑ | 0 |
| cookie.0.1.8 | ☑ | 3 |
| cookies.1.0.0 | ☑ | 0 |
| coq.9.1.1 | ☑ | 10 |
| coq-core.9.2.0 | ☑ | 15 |
| coq-lsp.0.2.5+9.1 | ☑ | 0 |
| coq-serapi.8.20.0+0.20.0 | ☑ | 0 |
| coq-shell.1 | ☑ | 0 |
| coq-stdlib.9.0.0 | ☑ | 13 |
| coq-waterproof.3.1.0+9.1 | ☑ | 0 |
| coqide.8.20.1 | ☑ | 0 |
| coqide-server.9.2.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.17.2 | ☑ | 494 |
| core_bench.v0.17.0 | ☑ | 18 |
| core_extended.v0.17.0 | ☑ | 12 |
| core_kernel.v0.17.0 | ☑ | 418 |
| core_profiler.v0.17.0 | ☑ | 0 |
| core_unix.v0.17.1 | ☑ | 269 |
| corosync.0.1.0 | ☑ | 0 |
| cosovo.3 | ☑ | 0 |
| cow.2.5.0 | ☑ | 5 |
| cpdf.2.9 | ☑ | 0 |
| cpm.12.2.0 | ☑ | 16 |
| cppffigen.0.002 | ☒ | 0 |
| cppo.1.8.0 | ☑ | 2354 |
| cppo_ocamlbuild.1.8.0 | ☑ | 18 |
| cps_toolbox.0.3 | ☑ | 1 |
| cpu.2.0.0 | ☑ | 20 |
| cpuid.0.1.2 | ☑ | 314 |
| crc.2.2.0 | ☑ | 0 |
| crlibm.0.5.1 | ☑ | 2 |
| crockford.1.0.0 | ☑ | 0 |
| crontab.0.1 | ☑ | 0 |
| crowbar.0.2.2 | ☑ | 52 |
| crs.0.0.20260307 | ☑ | 0 |
| crunch.4.0.0 | ☑ | 89 |
| cry.1.0.3 | ☑ | 4 |
| crypt.2.1 | ☑ | 0 |
| cryptokit.1.21.1 | ☑ | 134 |
| cryptoverif.2.12 | ☑ | 0 |
| csdp.6.2.0 | ☑ | 0 |
| csexp.1.5.2 | ☑ | 3983 |
| csexp-query.0.1.0 | ☑ | 0 |
| css.0.4.0 | ☒ | 7 |
| cstruct.6.2.0 | ☑ | 1702 |
| cstruct-async.6.2.0 | ☑ | 7 |
| cstruct-lwt.6.2.0 | ☑ | 395 |
| cstruct-sexp.6.2.0 | ☑ | 358 |
| cstruct-unix.6.2.0 | ☑ | 32 |
| csv.2.4 | ☑ | 58 |
| csv-lwt.2.4 | ☑ | 0 |
| csvfields.v0.17.0 | ☑ | 8 |
| csvtool.2.4 | ☑ | 0 |
| ctoxml.4.1.0 | ☑ | 0 |
| ctypes.0.24.0 | ☑ | 360 |
| ctypes-build.0.0.2 | ☑ | 2 |
| ctypes-foreign.0.24.0 | ☑ | 356 |
| ctypes_stubs_js.0.1 | ☑ | 0 |
| cucumber.1.0.4 | ☑ | 0 |
| cudajit.0.7.2 | ☒ | 2 |
| cudd.0.1.3 | ☑ | 3 |
| cudf.0.10 | ☑ | 23 |
| cue_sheet_maker.0.2.0-1 | ☑ | 0 |
| cumulus.0.0.1 | ☑ | 0 |
| cure2.1.0 | ☑ | 0 |
| curl.0.10.0 | ☑ | 58 |
| curl_lwt.0.10.0 | ☑ | 53 |
| curly.0.3.0 | ☑ | 4 |
| current.0.7.5 | ☑ | 12 |
| current-albatross-deployer.1.0.0 | ☑ | 0 |
| current-web-pipelines.0.1 | ☑ | 0 |
| current_ansi.0.4 | ☑ | 3 |
| current_docker.0.7.5 | ☑ | 2 |
| current_examples.0.7.5 | ☑ | 0 |
| current_git.0.7.5 | ☑ | 7 |
| current_github.0.7.5 | ☑ | 2 |
| current_gitlab.0.7.5 | ☑ | 1 |
| current_incr.0.6.1 | ☑ | 14 |
| current_ocluster.0.4.0 | ☑ | 1 |
| current_rpc.0.7.5 | ☑ | 1 |
| current_slack.0.7.5 | ☑ | 0 |
| current_ssh.0.7.5 | ☑ | 1 |
| current_web.0.7.5 | ☑ | 6 |
| curses.1.0.12 | ☑ | 3 |
| curve-sampling.0.2.1 | ☑ | 0 |
| cvc5.1.3.0 | ☑ | -1 |
| daft.0.0.4 | ☑ | 0 |
| dap.1.1.0 | ☑ | 1 |
| data-encoding.1.0.1 | ☑ | 4 |
| datalog.0.7 | ☑ | 2 |
| dates_calc.0.0.10 | ☑ | 1 |
| daypack-lib.0.0.6 | ☑ | 1 |
| dbase4.0.2.0 | ☑ | 0 |
| dbf.0.2.0 | ☑ | 0 |
| dblp.0.1.1 | ☑ | 0 |
| dblp-api.0.1.1 | ☑ | 1 |
| dbm.1.4 | ☑ | 15 |
| dead_code_analyzer.1.2.0 | ☑ | 0 |
| debian-formats.0.1.2 | ☑ | 1 |
| decimal.1.0.2 | ☑ | 1 |
| decoders.1.0.0 | ☑ | 10 |
| decoders-bencode.1.0.0 | ☑ | 0 |
| decoders-cbor.1.0.0 | ☑ | 0 |
| decoders-ezjsonm.1.0.0 | ☑ | 0 |
| decoders-ezxmlm.1.0.0 | ☑ | 0 |
| decoders-jsonaf.1.0.0 | ☑ | 0 |
| decoders-jsonm.1.0.0 | ☑ | 0 |
| decoders-msgpck.1.0.0 | ☑ | 0 |
| decoders-sexplib.1.0.0 | ☑ | 0 |
| decoders-yojson.1.0.0 | ☑ | 1 |
| decompress.1.6.0 | ☑ | 79 |
| dedent.v0.17.0 | ☑ | 2 |
| dedukti.2.7 | ☑ | 2 |
| deepseek.0.1.0 | ☑ | 0 |
| delimcc_of_fxhandler.0.1 | ☑ | 0 |
| delimited_parsing.v0.17.0 | ☑ | 10 |
| depyt.0.3.0 | ☑ | 0 |
| devkit.1.20240429 | ☒ | 4 |
| diet.0.4 | ☑ | 9 |
| diff.1.0.2 | ☑ | 0 |
| diffast.0.4 | ☑ | 0 |
| diffast-api.0.4 | ☑ | 3 |
| diffast-cli.0.4 | ☑ | 1 |
| diffast-core.0.4 | ☑ | 14 |
| diffast-etc.0.4 | ☑ | 8 |
| diffast-git.0.4 | ☑ | 2 |
| diffast-git-cli.0.4 | ☑ | 1 |
| diffast-langs-common.0.4 | ☑ | 16 |
| diffast-langs-cpp.0.4 | ☑ | 1 |
| diffast-langs-cpp-parsing.0.4 | ☑ | 3 |
| diffast-langs-cpp-spec.0.4 | ☑ | 2 |
| diffast-langs-fortran.0.4 | ☑ | 1 |
| diffast-langs-fortran-parsing.0.4 | ☑ | 3 |
| diffast-langs-fortran-spec.0.4 | ☑ | 2 |
| diffast-langs-java.0.4 | ☑ | 1 |
| diffast-langs-java-parsing.0.4 | ☑ | 3 |
| diffast-langs-java-spec.0.4 | ☑ | 2 |
| diffast-langs-python.0.4 | ☑ | 1 |
| diffast-langs-python-parsing.0.4 | ☑ | 3 |
| diffast-langs-python-spec.0.4 | ☑ | 2 |
| diffast-langs-verilog.0.4 | ☑ | 1 |
| diffast-langs-verilog-parsing.0.4 | ☑ | 3 |
| diffast-langs-verilog-spec.0.4 | ☑ | 2 |
| diffast-misc.0.4 | ☑ | 27 |
| digestif.1.3.1 | ☑ | 504 |
| directories.0.7 | ☑ | 0 |
| diskuvbox.0.2.0 | ☑ | 5 |
| dispatch.0.5.0 | ☑ | 21 |
| dispatch-js.0.5.0 | ☑ | 0 |
| dkim.0.11.0 | ☑ | 5 |
| dkim-bin.0.11.0 | ☑ | 0 |
| dkim-lwt-unix.0.11.0 | ☑ | 1 |
| dkim-mirage.0.11.0 | ☑ | 0 |
| dkml-c-probe.3.2.0 | ☑ | 4 |
| dkml-compiler-env.1.0.2~prerel7 | ☑ | 0 |
| dkml-dune-dsl.0.1.4 | ☑ | 0 |
| dkml-dune-dsl-show.0.1.0 | ☑ | 0 |
| dkml-install.0.1.0 | ☑ | 2 |
| dkml-runtime-common.2.0.3 | ☑ | 0 |
| dkml-runtime-common-native.2.0.3 | ☑ | 0 |
| dkml-workflows.1.2.0 | ☑ | 0 |
| dlm.0.3.3 | ☑ | 0 |
| dmap.0.5 | ☑ | 3 |
| dmarc.0.0.2 | ☑ | 2 |
| dns.10.2.5 | ☑ | 81 |
| dns-certify.10.2.5 | ☑ | 1 |
| dns-cli.10.2.5 | ☑ | 0 |
| dns-client.10.2.5 | ☑ | 71 |
| dns-client-lwt.10.2.5 | ☑ | 35 |
| dns-client-miou-unix.10.2.5 | ☑ | 9 |
| dns-client-mirage.10.2.5 | ☑ | 39 |
| dns-mirage.10.2.5 | ☑ | 5 |
| dns-resolver.10.2.5 | ☑ | 2 |
| dns-server.10.2.5 | ☑ | 3 |
| dns-stub.10.2.5 | ☑ | 0 |
| dns-tsig.10.2.5 | ☑ | 6 |
| dnsrobot.0.1.0 | ☑ | 0 |
| dnssec.10.2.5 | ☑ | 3 |
| docfd.13.0.0 | ☑ | -1 |
| docker_hub.0.2.0 | ☑ | 0 |
| dockerfile.8.4.1 | ☑ | 8 |
| dockerfile-cmd.8.4.1 | ☑ | 2 |
| dockerfile-opam.8.4.1 | ☑ | 3 |
| docout.0.0.1 | ☑ | 0 |
| docteur.0.0.7 | ☑ | 2 |
| docteur-solo5.0.0.7 | ☑ | 0 |
| docteur-unix.0.0.7 | ☑ | 0 |
| doctor.0.4.0 | ☑ | 0 |
| doculib.1.3.5 | ☑ | 0 |
| doi2bib.0.9.2 | ☑ | 0 |
| dokeysto.4.0.2 | ☑ | 11 |
| dokeysto_lz4.4.0.2 | ☑ | 0 |
| dolmen.0.10 | ☑ | 18 |
| dolmen_bin.0.10 | ☑ | 0 |
| dolmen_loop.0.10 | ☑ | 16 |
| dolmen_lsp.0.10 | ☑ | 0 |
| dolmen_model.0.10 | ☑ | 3 |
| dolmen_type.0.10 | ☑ | 17 |
| dolog.6.0.0 | ☑ | 20 |
| domain-local-await.1.0.1 | ☑ | 124 |
| domain-local-timeout.1.0.1 | ☑ | 2 |
| domain-name.0.5.0 | ☑ | 1173 |
| domain_shims.0.1.0 | ☑ | 32 |
| domainpc.0.2 | ☑ | 0 |
| domainslib.0.5.2 | ☑ | 13 |
| dose3.7.0.0 | ☑ | 12 |
| dose3-extra.7.0.0 | ☑ | 0 |
| dotenv.0.0.3 | ☒ | 0 |
| down.0.4.0 | ☑ | 0 |
| dream.1.0.0~alpha8 | ☑ | 22 |
| dream-accept.0.1.0 | ☑ | 0 |
| dream-cli.0.2.0 | ☑ | 0 |
| dream-encoding.0.3.0 | ☑ | 0 |
| dream-html.3.11.2 | ☑ | 1 |
| dream-htmx.0.1.0 | ☑ | 0 |
| dream-httpaf.1.0.0~alpha4 | ☑ | 22 |
| dream-inertia.0.0.1 | ☑ | 0 |
| dream-livereload.0.2.0 | ☑ | 0 |
| dream-pure.1.0.0~alpha2 | ☑ | 25 |
| dream-serve.1.0.1 | ☑ | 0 |
| dream_middleware_ext.0.1.1 | ☑ | 0 |
| drom_toml.0.8.0 | ☑ | 2 |
| dropbox.0.2 | ☑ | 1 |
| dropbox_lwt_unix.0.2 | ☑ | 0 |
| dscheck.0.5.0 | ☑ | 8 |
| dssi.0.1.5 | ☑ | 4 |
| dtoa.0.3.3 | ☑ | 1 |
| dual.0.1.0 | ☑ | 0 |
| duff.0.5 | ☑ | 33 |
| dune.3.24.0 | ☑ | -1 |
| dune-action-plugin.3.24.0 | ☑ | -1 |
| dune-action-trace.3.24.0 | ☑ | -1 |
| dune-ai-context.0.1.2 | ☑ | 0 |
| dune-build-info.3.24.0 | ☑ | -1 |
| dune-cargo-build.0.2.2 | ☑ | 1 |
| dune-compiledb.0.6.0 | ☑ | 630 |
| dune-configurator.3.24.0 | ☑ | -1 |
| dune-deps.1.5.0 | ☑ | 1 |
| dune-glob.3.24.0 | ☑ | -1 |
| dune-private-libs.3.24.0 | ☑ | -1 |
| dune-release.2.2.1 | ☑ | 1 |
| dune-rpc.3.24.0 | ☑ | -1 |
| dune-rpc-lwt.3.24.0 | ☑ | -1 |
| dune-secondary.3.16.0 | ☑ | 4054 |
| dune-site.3.24.0 | ☑ | -1 |
| dune_deps_extra.0.1 | ☑ | 0 |
| dunolint.0.0.20260306 | ☑ | 0 |
| dunolint-lib.0.0.20260306 | ☑ | 2 |
| dunolint-lib-base.0.0.20260306 | ☑ | 1 |
| duras.2.1.1 | ☒ | 0 |
| duration.0.3.1 | ☑ | 1178 |
| dyn.3.24.0 | ☑ | -1 |
| dynamic_gc.0.2.0 | ☑ | 0 |
| dypgen.0.2.1 | ☑ | 4 |
| earley.3.0.0 | ☑ | 1 |
| earlybird.1.3.6 | ☑ | 0 |
| ease-caml.0.1.5 | ☑ | 0 |
| easy-format.1.3.4 | ☑ | 1884 |
| easy_logging.0.8.2 | ☑ | 7 |
| easy_logging_yojson.0.8.2 | ☑ | 6 |
| ecaml.v0.17.0 | ☑ | 2 |
| echo.0.0.5 | ☑ | 0 |
| ecma-regex.0.1.0 | ☑ | 0 |
| edn.0.2.0 | ☑ | 0 |
| efl.1.24.0 | ☒ | 0 |
| ego.0.0.6 | ☑ | 0 |
| eigen.0.3.3 | ☑ | 16 |
| eio.1.3 | ☑ | -1 |
| eio-ssl.0.3.0 | ☑ | 7 |
| eio-trace.0.4 | ☑ | 0 |
| eio_linux.1.3 | ☑ | -1 |
| eio_main.1.3 | ☑ | -1 |
| eio_posix.1.3 | ☑ | -1 |
| either.1.0.0 | ☑ | 166 |
| elina.1.3.2 | ☒ | 1 |
| eliom.12.1.0 | ☑ | 2 |
| elm_core.0.1.7 | ☑ | 4 |
| elm_playground.0.1.7 | ☑ | 2 |
| elm_playground_web.0.1.7 | ☑ | 0 |
| elm_system.0.1.7 | ☑ | 3 |
| elpi.3.7.2 | ☑ | 0 |
| email_message.v0.17.0 | ☑ | 1 |
| embedded_ocaml_templates.0.8.1 | ☑ | 0 |
| emile.1.1 | ☑ | 59 |
| emoji.3.0.1 | ☑ | 0 |
| encore.0.8.1 | ☑ | 28 |
| enumerators.0.2.0 | ☑ | 0 |
| env_config.v0.17.0 | ☑ | 0 |
| ephemeral.1.0 | ☑ | 0 |
| epictetus.3.1.1 | ☑ | 0 |
| eprover.3.1 | ☑ | 0 |
| eqaf.0.10 | ☑ | 512 |
| eqaf-cstruct.0.10 | ☑ | 0 |
| equinoxe.0.2.0 | ☑ | 2 |
| equinoxe-cohttp.0.2.0 | ☑ | 0 |
| equinoxe-hlc.0.2.0 | ☑ | 0 |
| erlang.0.0.14 | ☑ | 0 |
| errpy.0.0.10 | ☒ | 0 |
| erssical.1.1.0 | ☑ | 0 |
| esa.0.1.1 | ☑ | 0 |
| esgg.20190322 | ☑ | 0 |
| esperanto-cosmopolitan.0.0.6 | ☑ | 3 |
| ethernet.3.2.0 | ☑ | 107 |
| euler.0.3 | ☑ | 0 |
| exenum.0.88 | ☑ | 0 |
| exn-source.0.1 | ☑ | 0 |
| expect.0.1.0 | ☑ | 0 |
| expect_test_helpers_async.v0.17.0 | ☑ | 3 |
| expect_test_helpers_core.v0.17.0 | ☑ | 272 |
| expr.0.7.0 | ☑ | 0 |
| extism.1.4.0 | ☑ | 0 |
| extism-manifest.1.4.0 | ☑ | 1 |
| extlib.1.8.0 | ☑ | 49 |
| extprot.1.7.0 | ☑ | 0 |
| extunix.0.4.4 | ☑ | 25 |
| ez-conf-lib.2 | ☑ | 24 |
| ez_api.3.0.0 | ☑ | 2 |
| ez_cmdliner.0.5.0 | ☑ | 9 |
| ez_dune_describe.0.1 | ☑ | 1 |
| ez_file.0.5.0 | ☑ | 17 |
| ez_hash.0.5.3 | ☑ | 0 |
| ez_opam_file.0.1.0 | ☑ | 4 |
| ez_pgocaml.1.0.0 | ☑ | 0 |
| ez_subst.0.2.1 | ☑ | 10 |
| ezcurl.0.4 | ☑ | 7 |
| ezcurl-lwt.0.4 | ☑ | 2 |
| ezdl.2.71.15 | ☑ | 2 |
| ezgzip.0.2.3 | ☑ | 6 |
| ezjs_ace.0.1.1 | ☑ | 1 |
| ezjs_blockies.0.1.1 | ☑ | 0 |
| ezjs_cleave.0.1.1 | ☑ | 0 |
| ezjs_cytoscape.0.1 | ☑ | 0 |
| ezjs_extension.0.2 | ☑ | 1 |
| ezjs_fetch.0.3 | ☑ | 3 |
| ezjs_idb.0.1.1 | ☑ | 0 |
| ezjs_jquery.0.1 | ☑ | 0 |
| ezjs_min.0.3.0 | ☑ | 11 |
| ezjs_odometer.0.1 | ☑ | 0 |
| ezjs_push.0.2 | ☑ | 0 |
| ezjs_qrcode.0.1 | ☑ | 0 |
| ezjs_recaptcha.0.1.1 | ☑ | 0 |
| ezjsonm.1.3.0 | ☑ | 700 |
| ezjsonm-encoding.2.1.0 | ☑ | 0 |
| ezjsonm-lwt.1.3.0 | ☑ | 0 |
| ezlua.0.1 | ☑ | 1 |
| 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 |
| fadbadml.0.1.2 | ☑ | 0 |
| fadecider.0.7 | ☑ | 0 |
| faraday.0.8.2 | ☑ | 160 |
| faraday-async.0.8.2 | ☑ | 8 |
| faraday-lwt.0.8.2 | ☑ | 76 |
| faraday-lwt-unix.0.8.2 | ☑ | 71 |
| farfadet.0.3 | ☑ | 0 |
| farith.0.1 | ☑ | 5 |
| farmhash.0.4 | ☑ | 0 |
| fasmifra.2.1.0 | ☑ | 0 |
| fast_bitvector.0.1.2.2 | ☑ | 0 |
| fat-filesystem.0.15.1 | ☑ | 0 |
| fd-send-recv.2.0.3 | ☑ | 2 |
| fdkaac.0.3.3 | ☒ | 4 |
| feat.20220407 | ☑ | 0 |
| feat-core.20220407 | ☑ | 2 |
| feat-num.20220407 | ☑ | 0 |
| feather.0.3.0 | ☑ | 2 |
| fehu.1.0.0~alpha3 | ☑ | 1 |
| ff.0.6.2 | ☑ | 2 |
| ff-bench.0.6.2 | ☑ | 0 |
| ff-pbt.0.6.2 | ☑ | 4 |
| ff-sig.0.6.2 | ☑ | 13 |
| ffmpeg.1.3.1 | ☑ | 4 |
| ffmpeg-av.1.3.1 | ☑ | 7 |
| ffmpeg-avcodec.1.3.1 | ☑ | 9 |
| ffmpeg-avdevice.1.3.1 | ☑ | 5 |
| ffmpeg-avfilter.1.3.1 | ☑ | 5 |
| ffmpeg-avutil.1.3.1 | ☑ | 12 |
| ffmpeg-swresample.1.3.1 | ☑ | 5 |
| ffmpeg-swscale.1.3.1 | ☑ | 5 |
| fftw3.0.8.5 | ☑ | 0 |
| fiber.3.7.0 | ☑ | 2 |
| fiber-lwt.3.7.0 | ☑ | 0 |
| fieldslib.v0.17.0 | ☑ | 695 |
| file-rewriter.0.0.3 | ☑ | 3 |
| file_path.v0.17.0 | ☑ | 0 |
| fileutils.0.6.6 | ☑ | 287 |
| fit.1.4.1 | ☑ | 0 |
| fix.20250919 | ☑ | 80 |
| flac.1.0.0 | ☑ | 4 |
| flatunionfind.20241210 | ☑ | 0 |
| flex-array.1.2.0 | ☑ | 2 |
| flexdll.0.44 | ☑ | 0 |
| flint.0.4.2 | ☑ | 0 |
| float_option.0.0.3 | ☑ | 0 |
| flow_parser.0.268.0 | ☑ | 0 |
| flux.0.0.1~beta5 | ☑ | 9 |
| fluxt.0.0.1~beta5 | ☑ | 2 |
| fmlib.0.6.2 | ☑ | 0 |
| fmlib_browser.0.6.2 | ☑ | 1 |
| fmlib_js.0.6.2 | ☑ | 2 |
| fmlib_parse.0.6.2 | ☑ | 7 |
| fmlib_pretty.0.6.2 | ☑ | 8 |
| fmlib_std.0.6.2 | ☑ | 11 |
| fmt.0.11.0 | ☑ | 1973 |
| fontforge-of-ocaml.1.1.0 | ☑ | 0 |
| forcamla.0.2.0 | ☑ | 0 |
| forester.5.0 | ☑ | 1 |
| fpath.0.7.3 | ☑ | 942 |
| fpath-base.0.4.0 | ☑ | 5 |
| fpath-sexp0.0.4.0 | ☑ | 14 |
| frama-c.33.0~beta | ☑ | -1 |
| frama-c-lannotate.0.2.5 | ☑ | 0 |
| frama-c-luncov.0.2.4 | ☑ | 0 |
| frama-c-metacsl.0.10 | ☑ | 0 |
| frama-clang.0.0.19 | ☒ | 0 |
| frama_c_codex.1.0-rc4 | ☑ | 0 |
| fred.0.1.0 | ☑ | 0 |
| frei0r.0.1.2 | ☑ | 4 |
| frontmatter_extractor.0.2 | ☑ | 0 |
| fs-io.3.24.0 | ☑ | -1 |
| fsevents.0.3.0 | ☑ | 18 |
| fsevents-lwt.0.3.0 | ☑ | 17 |
| fstar.2026.03.24 | ☑ | 0 |
| fswatch_async.11-0.1.2 | ☒ | 0 |
| fswatch_lwt.11-0.1.0 | ☒ | 0 |
| fun-postgresql.0.2.3 | ☑ | 0 |
| fun-sql.0.2.3 | ☑ | 2 |
| fun-sqlite.0.2.3 | ☑ | 0 |
| funfields.0.04 | ☑ | 0 |
| fungi.0.1.4 | ☑ | -1 |
| fuse3.3.10.0 | ☑ | 1 |
| fuseau.0.1 | ☑ | 1 |
| fuseau-lwt.0.1 | ☑ | 0 |
| fuzzy_match.v0.17.0 | ☑ | 2 |
| fzf.v0.17.0 | ☑ | 0 |
| gapi-ocaml.0.4.9 | ☑ | 1 |
| gappa.1.6.0 | ☑ | 0 |
| gavl.0.1.6 | ☑ | 0 |
| gbddml.2.71.15 | ☑ | 2 |
| gccjit.0.3.2 | ☒ | 2 |
| gd.1.1 | ☑ | 4 |
| gdbprofiler.0.4 | ☑ | 0 |
| gedcom.1.0.0 | ☑ | 0 |
| gel.v0.17.0 | ☑ | 490 |
| gemini.0.3.0 | ☑ | 0 |
| gen.1.1 | ☑ | 1818 |
| gen_js_api.1.1.7 | ☑ | 63 |
| gendarme.0.5.0 | ☑ | 8 |
| gendarme-csv.0.5.0 | ☑ | 1 |
| gendarme-json.0.5.0 | ☑ | 0 |
| gendarme-toml.0.5.0 | ☑ | 1 |
| gendarme-yaml.0.5.0 | ☑ | 1 |
| gendarme-yojson.0.5.0 | ☑ | 2 |
| genspio.0.0.3 | ☑ | 0 |
| genspir.1.0.1 | ☑ | 1 |
| geojson.0.2.0 | ☑ | 2 |
| geojsone.0.2.0 | ☑ | 1 |
| geoml.0.1.1 | ☑ | 0 |
| get_line.7.0.0 | ☑ | 1 |
| getopt.20230213 | ☑ | 2 |
| gettext.0.5.0 | ☑ | 2 |
| gettext-camomile.0.5.0 | ☑ | 0 |
| gettext-stub.0.5.0 | ☑ | 0 |
| gg.1.0.0 | ☑ | 20 |
| giflib.1.1.0 | ☑ | 1 |
| git.3.18.0 | ☑ | 23 |
| git-kv.0.2.2 | ☑ | 2 |
| git-mirage.3.18.0 | ☑ | 20 |
| git-net.0.2.2 | ☑ | 1 |
| git-paf.3.18.0 | ☑ | 21 |
| git-split.1.0.0 | ☑ | 0 |
| git-unix.3.18.0 | ☑ | 21 |
| github.4.5.1 | ☑ | 11 |
| github-data.4.5.1 | ☑ | 12 |
| github-hooks.0.5.0 | ☑ | 1 |
| github-hooks-unix.0.5.0 | ☑ | 0 |
| github-jsoo.4.5.1 | ☑ | 0 |
| github-unix.4.5.1 | ☑ | 8 |
| gitlab.0.1.8 | ☑ | 6 |
| gitlab-jsoo.0.1.8 | ☑ | 0 |
| gitlab-unix.0.1.8 | ☑ | 4 |
| gitlab_pipeline_notifier.0.1 | ☑ | 0 |
| gl-legacy.0.1.0 | ☑ | 7 |
| glfw-ocaml.3.3.1-2 | ☑ | 1 |
| glical.0.0.7 | ☑ | 0 |
| globlon.1.0 | ☑ | 0 |
| glpk.0.1.8 | ☑ | 0 |
| gluon.0.0.9 | ☒ | 5 |
| gluten.0.5.2 | ☑ | 56 |
| gluten-async.0.5.2 | ☑ | 5 |
| gluten-eio.0.5.2 | ☑ | 11 |
| gluten-lwt.0.5.2 | ☑ | 42 |
| gluten-lwt-unix.0.5.2 | ☑ | 34 |
| gluten-mirage.0.5.2 | ☑ | 3 |
| gmap.0.3.0 | ☑ | 387 |
| gmp.6.3.0-1 | ☑ | 0 |
| gmp-ecm.7.0.3 | ☑ | 0 |
| gnuplot.0.7 | ☑ | 1 |
| goblint.2.8.0 | ☑ | 0 |
| goblint-cil.2.1.0 | ☑ | -1 |
| google-drive-ocamlfuse.0.9.1 | ☑ | 0 |
| gospel.0.3.1 | ☑ | 4 |
| gotd.0.1 | ☑ | 0 |
| gperftools.0.5 | ☑ | 5 |
| gpiod.0.7 | ☑ | 0 |
| gpr.1.5.2 | ☑ | 0 |
| gpt.1.0.0 | ☑ | 1 |
| gptar.1.0.0 | ☑ | 0 |
| gpx.1.1.1 | ☑ | 0 |
| gr.0.0.2 | ☑ | 0 |
| grace.0.3.0 | ☑ | 2 |
| gradescope_submit.2.0.2 | ☑ | 0 |
| graft.0.1.0 | ☑ | 0 |
| grain_dypgen.0.2.1 | ☑ | 3 |
| graphics.5.2.0 | ☑ | 3983 |
| graphicspdf.2.2.1 | ☑ | 0 |
| graphql.0.14.0 | ☑ | 36 |
| graphql-cohttp.0.14.0 | ☑ | 7 |
| graphql-lwt.0.14.0 | ☑ | 33 |
| graphql_jsoo_client.0.1.1 | ☑ | 0 |
| graphql_parser.0.14.0 | ☑ | 37 |
| graphql_ppx.1.2.2 | ☑ | 1 |
| graphv.0.1.1 | ☑ | 0 |
| graphv_core.0.1.1 | ☑ | 3 |
| graphv_core_lib.0.1.1 | ☑ | 10 |
| graphv_font.0.1.1 | ☑ | 5 |
| graphv_font_js.0.1.1 | ☑ | 2 |
| graphv_font_stb_truetype.0.1.1 | ☑ | 2 |
| graphv_gles2.0.1.1 | ☑ | 3 |
| graphv_gles2_native.0.1.1 | ☑ | 1 |
| graphv_gles2_native_impl.0.1.1 | ☑ | 2 |
| graphv_webgl.0.1.1 | ☑ | 1 |
| graphv_webgl_impl.0.1.1 | ☑ | 3 |
| grenier.0.16 | ☑ | 5 |
| grid.0.2.0 | ☑ | 0 |
| grpc.0.2.0 | ☑ | 5 |
| grpc-async.0.2.0 | ☑ | 1 |
| grpc-bench.0.2.0 | ☑ | 0 |
| grpc-eio.0.2.0 | ☑ | 1 |
| grpc-lwt.0.2.0 | ☑ | 1 |
| gsl.1.25.1 | ☑ | 11 |
| gstreamer.0.3.1 | ☑ | 5 |
| guardian.0.4.0 | ☑ | 0 |
| guile.1.0 | ☒ | 0 |
| gxl-light.1.0 | ☑ | 0 |
| h1.1.1.0 | ☑ | 36 |
| h1-lwt-unix.1.1.0 | ☑ | 0 |
| h1_parser.0.0.2 | ☑ | 0 |
| h2.0.13.0 | ☑ | 71 |
| h2-async.0.13.0 | ☑ | 2 |
| h2-eio.0.13.0 | ☑ | 1 |
| h2-lwt.0.13.0 | ☑ | 26 |
| h2-lwt-unix.0.13.0 | ☑ | 24 |
| h2-mirage.0.13.0 | ☑ | 0 |
| hachis.20240918 | ☑ | 1 |
| hacl-star.0.7.2 | ☑ | 2 |
| hacl-star-raw.0.7.2 | ☑ | 3 |
| hacl_func.0.1.0 | ☑ | 0 |
| handlebars-ml.0.3.0 | ☑ | 1 |
| happy-eyeballs.2.0.1 | ☑ | 75 |
| happy-eyeballs-lwt.2.0.1 | ☑ | 35 |
| happy-eyeballs-miou-unix.2.0.1 | ☑ | 11 |
| happy-eyeballs-mirage.2.0.1 | ☑ | 39 |
| hardcaml.v0.17.1 | ☑ | 16 |
| hardcaml-lua.0.0.1 | ☑ | 0 |
| hardcaml_axi.v0.17.0 | ☒ | 0 |
| hardcaml_c.v0.17.0 | ☑ | 0 |
| hardcaml_circuits.v0.17.0 | ☑ | 2 |
| hardcaml_event_driven_sim.v0.17.0 | ☑ | 1 |
| hardcaml_fixed_point.v0.17.0 | ☑ | 0 |
| hardcaml_handshake.v0.17.0 | ☒ | 1 |
| hardcaml_of_verilog.v0.17.0 | ☑ | 0 |
| hardcaml_step_testbench.v0.17.0 | ☑ | 0 |
| hardcaml_verify.v0.17.0 | ☑ | 1 |
| hardcaml_verilator.v0.17.0 | ☑ | 0 |
| hardcaml_waveterm.v0.17.0 | ☑ | 4 |
| hardcaml_xilinx.v0.17.0 | ☑ | 0 |
| hardcaml_xilinx_components.v0.17.0 | ☑ | 0 |
| hardcaml_xilinx_reports.v0.17.0 | ☑ | 0 |
| hashcons.1.4.0 | ☑ | 21 |
| hashset.1.0.1 | ☑ | 1 |
| hc.0.5 | ☑ | 4 |
| hdr_histogram.0.0.5 | ☑ | 3 |
| headache.1.08 | ☑ | 5 |
| header-check.0.1.0 | ☑ | 0 |
| hector.20241208 | ☑ | 2 |
| hegel.0.12.0 | ☑ | -1 |
| herdtools7.7.58 | ☑ | 0 |
| heroicons-reason-react.1.0 | ☑ | 0 |
| hevea.2.38 | ☑ | 2 |
| hex.1.5.0 | ☑ | 934 |
| hex_encode.v0.17.0 | ☑ | 0 |
| hexstring.0.2.1 | ☑ | 0 |
| hg_lib.v0.17.0 | ☑ | 0 |
| hidapi.1.2.1 | ☑ | 2 |
| hidapi-lwt.1.2.1 | ☑ | 1 |
| higher.0.3.1 | ☑ | 0 |
| higher_kinded.v0.17.0 | ☑ | 6 |
| highlexer.0.1 | ☑ | 0 |
| higlo.0.10.0 | ☑ | 27 |
| hilite.0.5.0 | ☑ | 2 |
| hl_yaml.1.0.0 | ☑ | 0 |
| hll.4.3 | ☑ | 0 |
| hmap.0.8.1 | ☑ | 257 |
| hockmd.0.1.0 | ☑ | 0 |
| hol2dk.2.1.0 | ☑ | 0 |
| hol_light.3.1.0 | ☑ | 0 |
| hol_light_module.1.0 | ☑ | 1 |
| hooke.0.0.1 | ☑ | 0 |
| host-arch-x86_64.1 | ☑ | 4062 |
| host-system-other.1 | ☑ | 0 |
| hpack.0.13.0 | ☑ | 79 |
| hsluv.0.1.0 | ☑ | 1 |
| html_of_jsx.0.0.9 | ☑ | 2 |
| htmlfromtexbooks.3.3.2 | ☑ | 0 |
| htmlit.0.2.0 | ☑ | 1 |
| hts_shrink.3.0.1 | ☑ | 0 |
| http.6.2.1 | ☑ | 283 |
| http-cookie.4.3.0 | ☑ | 0 |
| http-date.0.2 | ☑ | 0 |
| http-lwt-client.0.3.2 | ☑ | 5 |
| http-mirage-client.0.0.10 | ☑ | 1 |
| http-multipart-formdata.3.1.0 | ☑ | 0 |
| httpaf.0.7.1 | ☑ | 116 |
| httpaf-lwt-unix.0.7.1 | ☑ | 31 |
| httpcats.0.3.0 | ☑ | 7 |
| httph.0.1 | ☑ | 0 |
| httpun.0.2.0 | ☑ | 40 |
| httpun-async.0.2.0 | ☑ | 0 |
| httpun-eio.0.2.0 | ☑ | 6 |
| httpun-lwt.0.2.0 | ☑ | 28 |
| httpun-lwt-unix.0.2.0 | ☑ | 26 |
| httpun-mirage.0.2.0 | ☑ | 0 |
| httpun-types.0.2.0 | ☑ | 95 |
| httpun-ws.0.2.0 | ☑ | 32 |
| httpun-ws-async.0.2.0 | ☑ | 0 |
| httpun-ws-eio.0.2.0 | ☑ | 3 |
| httpun-ws-lwt.0.2.0 | ☑ | 5 |
| httpun-ws-lwt-unix.0.2.0 | ☑ | 3 |
| httpun-ws-mirage.0.2.0 | ☑ | 0 |
| huffman.0.1.2 | ☑ | 0 |
| hugin.1.0.0~alpha3 | ☑ | 1 |
| huml.0.2.0 | ☑ | 2 |
| huml-cli.0.2.0 | ☑ | 0 |
| hurl.0.0.1~beta2 | ☑ | 1 |
| hvsock.3.1.0 | ☑ | 0 |
| hxd.0.5.0 | ☑ | 77 |
| i3ipc.0.4 | ☑ | 1 |
| icalendar.0.1.13 | ☑ | 2 |
| idna.0.4.0 | ☑ | 0 |
| imagelib.20221222 | ☑ | 16 |
| imguiml.v1.90.6 | ☒ | 0 |
| incr_map.v0.17.0 | ☑ | 6 |
| incr_select.v0.17.0 | ☑ | 6 |
| incremental.v0.17.0 | ☑ | 9 |
| incremental_cycles.0.1 | ☑ | 0 |
| indentation_buffer.v0.17.0 | ☑ | 0 |
| index.1.6.2 | ☑ | 11 |
| index-bench.1.6.2 | ☑ | 0 |
| inferno.20220603 | ☑ | 0 |
| influxdb.0.3.0 | ☑ | 2 |
| influxdb-async.0.3.0 | ☑ | 0 |
| influxdb-lwt.0.3.0 | ☑ | 0 |
| inifiles.2.0 | ☑ | 0 |
| inotify.2.6 | ☑ | 25 |
| inotify-eio.2.6 | ☑ | 0 |
| inquire.0.3.1 | ☒ | 0 |
| inquirer_oc.1.0.15 | ☑ | 0 |
| inspect.0.2.1 | ☑ | 0 |
| intPQueue.20250925 | ☑ | 0 |
| int_repr.v0.17.0 | ☑ | 492 |
| integers.0.8.0 | ☑ | 370 |
| integers_stubs_js.1.0 | ☑ | 3 |
| integration1d.0.5.1 | ☑ | 0 |
| intel_hex.0.3 | ☑ | 0 |
| interface-prime.0.1 | ☑ | 2 |
| interface-prime-lwt.0.1 | ☑ | 0 |
| interval.1.6 | ☑ | 0 |
| interval-map.0.2.1 | ☑ | 1 |
| interval_base.1.6 | ☑ | 3 |
| interval_crlibm.1.6 | ☑ | 1 |
| interval_intel.1.6 | ☑ | 1 |
| io-page.3.0.0 | ☑ | 1087 |
| iomux.0.4 | ☑ | 48 |
| iostream.0.3 | ☑ | 11 |
| iostream-camlzip.0.3 | ☑ | 1 |
| ip2location.8.2.0 | ☑ | 0 |
| ip2locationio.1.1.0 | ☑ | 0 |
| ip2proxy.3.2.0 | ☑ | 0 |
| ip2whois.1.0.0 | ☑ | 0 |
| ipaddr.5.6.2 | ☑ | 1172 |
| ipaddr-cstruct.5.6.2 | ☑ | 106 |
| ipaddr-sexp.5.6.2 | ☑ | 378 |
| irc-client.0.7.1 | ☑ | 10 |
| irc-client-lwt.0.7.1 | ☑ | 2 |
| irc-client-lwt-ssl.0.7.1 | ☑ | 2 |
| irc-client-tls.0.7.1 | ☑ | 0 |
| irc-client-unix.0.7.1 | ☑ | 4 |
| iri.1.2.0 | ☑ | 69 |
| irky.0.1 | ☑ | 1 |
| irky-eio.0.1 | ☑ | 0 |
| irmin.3.11.0 | ☑ | 17 |
| irmin-bench.3.11.0 | ☑ | 0 |
| irmin-chunk.3.11.0 | ☑ | 0 |
| irmin-cli.3.11.0 | ☑ | 2 |
| irmin-client.3.11.0 | ☑ | 0 |
| irmin-containers.3.11.0 | ☑ | 0 |
| irmin-fs.3.11.0 | ☑ | 4 |
| irmin-git.3.11.0 | ☑ | 5 |
| irmin-graphql.3.11.0 | ☑ | 4 |
| irmin-mirage.3.11.0 | ☑ | 2 |
| irmin-mirage-git.3.11.0 | ☑ | 0 |
| irmin-mirage-graphql.3.11.0 | ☑ | 0 |
| irmin-pack.3.11.0 | ☑ | 7 |
| irmin-pack-tools.3.11.0 | ☑ | 0 |
| irmin-server.3.11.0 | ☑ | 3 |
| irmin-test.3.11.0 | ☑ | 10 |
| irmin-tezos.3.11.0 | ☑ | 5 |
| irmin-watcher.0.5.0 | ☑ | 18 |
| iso639.0.0.5 | ☑ | 1 |
| iter.1.9 | ☑ | 22 |
| itv-tree.2.2 | ☑ | 1 |
| jane-street-headers.v0.17.0 | ☑ | 638 |
| jane_rope.v0.17.0 | ☑ | 28 |
| janestreet_cpuid.v0.17.0 | ☒ | 0 |
| janestreet_csv.v0.17.0 | ☒ | 0 |
| janestreet_lru_cache.v0.17.0 | ☑ | 9 |
| jasmin.2026.03.1 | ☑ | 0 |
| javalib.3.2.2 | ☑ | 1 |
| jekyll-format.0.3.4 | ☑ | 0 |
| jemalloc.0.2 | ☑ | 9 |
| jext.0.1.1 | ☑ | 0 |
| jhupllib.0.3 | ☑ | 1 |
| jingoo.1.5.3 | ☑ | -1 |
| jose.0.10.0 | ☑ | 1 |
| js_of_ocaml.6.4.1 | ☑ | 1746 |
| js_of_ocaml-compiler.6.4.1 | ☑ | 1760 |
| js_of_ocaml-lwt.6.4.1 | ☑ | 39 |
| js_of_ocaml-ocamlbuild.5.0 | ☑ | 3 |
| js_of_ocaml-ppx.6.4.1 | ☑ | 134 |
| js_of_ocaml-ppx_deriving_json.6.4.1 | ☑ | 4 |
| js_of_ocaml-toplevel.6.4.1 | ☑ | 47 |
| js_of_ocaml-tyxml.6.4.1 | ☑ | 6 |
| json-data-encoding.1.1.1 | ☑ | 18 |
| json-data-encoding-browser.1.1.1 | ☑ | 0 |
| json-data-encoding-bson.1.1.1 | ☑ | 5 |
| json_decoder.0.1.1 | ☑ | 0 |
| jsonaf.v0.17.0 | ☑ | 7 |
| jsondiff.0.0.1 | ☑ | 0 |
| jsonfeed.1.1.0 | ☑ | 0 |
| jsonm.1.0.2 | ☑ | 859 |
| jsonoo.0.3.0 | ☑ | 0 |
| jsonrpc.1.27.0 | ☑ | 12 |
| jsonschema.0.1.0 | ☑ | 2 |
| jsonschema-core.0.1.0 | ☑ | 1 |
| jsonschema-validation.0.1.0 | ☑ | 0 |
| jsonschema2atd.0.0.3 | ☑ | 0 |
| jsont.0.2.0 | ☑ | 30 |
| jsoo_broadcastchannel.2.0.0 | ☑ | 0 |
| jsoo_storage.1.0.1 | ☑ | 0 |
| jst-config.v0.17.0 | ☑ | 638 |
| junit.2.3.0 | ☑ | 8 |
| junit_alcotest.2.3.0 | ☑ | 14 |
| junit_ounit.2.3.0 | ☑ | 0 |
| jupyter.3.0.1 | ☑ | 2 |
| jupyter-kernel.0.8 | ☑ | 0 |
| jws.0.0.2 | ☑ | 5 |
| jwt.0.1 | ☑ | 0 |
| jwto.0.4.0 | ☑ | 17 |
| kaun.1.0.0~alpha3 | ☑ | 1 |
| kcas.0.7.0 | ☑ | 3 |
| kcas_data.0.7.0 | ☑ | 0 |
| kdf.1.1.0 | ☑ | 377 |
| kdl.0.2.0 | ☑ | 1 |
| ke.0.6 | ☑ | 131 |
| keyseq.0.1.0 | ☑ | 0 |
| kicadsch.0.9.0 | ☑ | 1 |
| kind2.3.0.0 | ☑ | 0 |
| kinetic-client.0.0.11 | ☑ | 0 |
| kittyimg.0.1 | ☑ | 1 |
| kkmarkdown.1.1.0 | ☑ | 0 |
| kmt.0.1 | ☑ | 0 |
| knights_tour.0.0.6 | ☑ | 0 |
| kot.20251212 | ☑ | 0 |
| kqueue.0.7.0 | ☑ | 0 |
| ktdeque.0.2.0 | ☒ | 0 |
| kuznechik.0.2.0 | ☑ | 0 |
| lab.0.1.8 | ☑ | 0 |
| lablgtk.2.18.14 | ☑ | 356 |
| lablgtk3.3.1.5-1 | ☑ | 21 |
| lablgtk3-extras.3.0.1 | ☑ | 0 |
| lablgtk3-goocanvas2.3.1.5 | ☑ | 0 |
| lablgtk3-gtkspell3.3.1.5 | ☑ | 0 |
| lablgtk3-rsvg2.3.1.5 | ☑ | 0 |
| lablgtk3-sourceview3.3.1.5 | ☑ | 14 |
| labltk.8.06.15 | ☑ | 3 |
| lacaml.11.1.1 | ☑ | 12 |
| ladspa.0.2.2 | ☑ | 5 |
| lambda.0.1.7 | ☑ | 0 |
| lambda-term.3.4.0 | ☑ | 143 |
| lambda_streams.0.1.2 | ☑ | 2 |
| lambda_streams_async.0.1.2 | ☑ | 0 |
| lambda_streams_lwt.0.1.2 | ☑ | 0 |
| lambdapi.3.0.0 | ☑ | 0 |
| lambdasoup.1.1.1 | ☑ | 44 |
| lame.0.3.7 | ☑ | 4 |
| landmarks.1.7 | ☑ | 2 |
| landmarks-ppx.1.7 | ☑ | 1 |
| landmarks-speedscope.1.7 | ☑ | 0 |
| lastfm.0.3.4 | ☑ | 3 |
| layoutz.0.1.0 | ☑ | 0 |
| lazy-trie.1.2.0 | ☑ | 0 |
| lbfgs.0.9.5 | ☑ | 3 |
| lbvs_consent.2.2.0 | ☑ | 0 |
| ldap.2.5.2 | ☑ | 1 |
| ldp.0.5.0 | ☒ | 22 |
| ldp_curl.0.5.0 | ☒ | 2 |
| ldp_js.0.5.0 | ☒ | 0 |
| ldp_tls.0.5.0 | ☒ | 17 |
| leaflet.0.2 | ☑ | 0 |
| ledes.0.1.0 | ☑ | 0 |
| ledgerwallet.0.4.1 | ☑ | 0 |
| ledit.2.08 | ☑ | 5 |
| legacy_diffable.v0.17.0 | ☑ | 7 |
| lem.2026-05-01 | ☑ | 13 |
| lens.1.2.5 | ☑ | 0 |
| letsencrypt.2.1.0 | ☑ | 3 |
| letsencrypt-app.2.1.0 | ☑ | 0 |
| letsencrypt-dns.2.1.0 | ☑ | 1 |
| letsencrypt-mirage.2.1.0 | ☑ | 0 |
| letters.0.4.0 | ☑ | 3 |
| libabsolute.0.1 | ☑ | 1 |
| libbinaryen.127.0.0 | ☑ | 0 |
| libbpf.0.1.0 | ☑ | 2 |
| libbpf_maps.0.1.0 | ☑ | 1 |
| libc.0.0.1 | ☑ | 6 |
| libdash.0.4.1 | ☑ | 0 |
| libdrm.1.1 | ☑ | 0 |
| libevent.0.9.0 | ☑ | 5 |
| libinput.1.29 | ☑ | 0 |
| libirmin.3.11.0 | ☑ | 0 |
| liblinear.2.47 | ☑ | 0 |
| libnlopt.2.7.1 | ☑ | 0 |
| libsail.0.20.2 | ☑ | 11 |
| libsvm_tools.3.35 | ☑ | 0 |
| libtensorflow.0.1 | ☑ | 1 |
| libtorch.2.2.1+linux-x86_64 | ☑ | 1 |
| libwasmer.3.0.0~beta | ☑ | 1 |
| libwasmtime.0.22.0+linux-x86_64 | ☑ | 1 |
| lichess_api.1.0.1 | ☑ | 0 |
| lilac.0.1.1 | ☑ | 0 |
| lilv.0.1.0 | ☑ | 4 |
| line-up-words.v0.17.0 | ☒ | 0 |
| line_oriented.1.3.0 | ☑ | 11 |
| linenoise.1.5.1 | ☑ | 23 |
| 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 | ☑ | 12 |
| linol.0.11 | ☑ | 5 |
| linol-eio.0.11 | ☑ | 0 |
| linol-lwt.0.11 | ☑ | 2 |
| lintcstubs-arity.0.5.2 | ☑ | 6 |
| linwrap.9.2.0 | ☑ | 0 |
| lipsum.0.2 | ☑ | 1 |
| liquid_interpreter.0.1.4 | ☑ | 2 |
| liquid_ml.0.1.4 | ☑ | 1 |
| liquid_parser.0.1.4 | ☑ | 4 |
| liquid_std.0.1.4 | ☑ | 3 |
| liquid_syntax.0.1.4 | ☑ | 5 |
| liquidsoap.2.4.5 | ☑ | 2 |
| liquidsoap-daemon.1.0.0 | ☑ | 0 |
| liquidsoap-js.2.4.5 | ☑ | 0 |
| liquidsoap-lang.2.4.5 | ☑ | 6 |
| liquidsoap-libs.2.3.0 | ☑ | 1 |
| liquidsoap-libs-extra.2.3.0 | ☑ | 0 |
| liquidsoap-mode.2.4.5 | ☑ | 0 |
| little_logger.0.3.0 | ☑ | 0 |
| llama-cpp-ocaml.0.0.1 | ☒ | 0 |
| llama_core.0.1.0 | ☑ | 2 |
| llama_midi.0.1.0 | ☑ | 3 |
| llhttp.0.0.1 | ☑ | 0 |
| llvm.19-static | ☑ | 5 |
| lmdb.1.1.1 | ☑ | 0 |
| lo.0.2.0 | ☒ | 4 |
| loc.0.3.3 | ☑ | 20 |
| lockfree.0.3.1 | ☑ | 12 |
| logger-p5.0.4.5 | ☑ | 4 |
| logical.0.3.0 | ☑ | 0 |
| logs.0.10.0 | ☑ | 1551 |
| logs-async.1.4 | ☑ | 2 |
| logs-async-reporter.1.4 | ☑ | 2 |
| logs-ppx.0.2.0 | ☑ | 2 |
| logs-syslog.0.5.0 | ☑ | 15 |
| loop.0.0.1 | ☑ | 0 |
| lp.0.5.0 | ☑ | 4 |
| lp-glpk.0.5.0 | ☑ | 0 |
| lp-glpk-js.0.5.0 | ☑ | 0 |
| lp-gurobi.0.5.0 | ☑ | 0 |
| lp-highs.0.5.0 | ☑ | 0 |
| lpd.1.2.2 | ☑ | 0 |
| lpi.0.0.2 | ☑ | 0 |
| lreplay.0.1.1 | ☑ | 0 |
| lrgrep.0.9 | ☑ | 0 |
| lru.0.3.1 | ☑ | 172 |
| lru-cache.0.3.0 | ☑ | 1 |
| lru_cache.0.4.0 | ☑ | 4 |
| lsp.1.27.0 | ☑ | 8 |
| lstar.2.0 | ☑ | -1 |
| lstar-rocq.2.0 | ☑ | -1 |
| lt-code.0.1.1 | ☑ | 0 |
| lua-ml.0.9.5 | ☑ | 2 |
| lua_parser.1.0.2 | ☑ | 0 |
| lua_pattern.1.7 | ☑ | 0 |
| lucid.0.1.5 | ☑ | 0 |
| lun.0.0.3 | ☑ | 5 |
| luna.0.1.0 | ☑ | 0 |
| lunar.1.2.0 | ☑ | 0 |
| lustre-v6.6.107.1 | ☑ | 2 |
| lutils.1.54.1 | ☑ | 4 |
| lutin.2.71.15 | ☒ | 1 |
| luv.0.5.14 | ☑ | 2 |
| luv_unix.0.5.1 | ☑ | 0 |
| lwd.0.5 | ☑ | 13 |
| lwt.6.1.2 | ☑ | 1811 |
| lwt-canceler.0.3 | ☑ | 0 |
| lwt-dllist.1.1.0 | ☑ | 1143 |
| lwt-exit.1.0 | ☑ | 0 |
| lwt-parallel.1.0.0 | ☑ | 0 |
| lwt-watcher.0.2 | ☑ | 0 |
| lwt_direct.6.0.0 | ☑ | 0 |
| lwt_domain.0.3.0 | ☑ | 0 |
| lwt_eio.0.6 | ☑ | 7 |
| lwt_glib.1.1.1 | ☑ | 3 |
| lwt_log.1.1.2 | ☑ | 230 |
| lwt_ppx.6.1.0 | ☑ | 245 |
| lwt_ppx_to_let_syntax.0.1 | ☑ | 0 |
| lwt_react.1.2.0 | ☑ | 173 |
| lwt_retry.5.9.0 | ☑ | 0 |
| lwt_runtime_events.6.0.0 | ☑ | 1809 |
| lwt_ssl.1.2.0 | ☑ | 239 |
| lz4.1.3.0 | ☑ | 14 |
| lz4_chans.3.0.1 | ☒ | 0 |
| lzo.0.0.3 | ☑ | 0 |
| m_tree.0.1 | ☑ | 0 |
| macaddr.5.6.2 | ☑ | 1176 |
| macaddr-cstruct.5.6.2 | ☑ | 108 |
| macaddr-sexp.5.6.2 | ☑ | 5 |
| macaroons.0.1.0 | ☑ | 0 |
| mad.0.5.3 | ☑ | 6 |
| magic.0.7.4 | ☑ | 3 |
| magic-mime.1.3.1 | ☑ | 264 |
| make-random.0.1 | ☑ | 1 |
| malfunction.0.7.1 | ☑ | 0 |
| man_in_the_middle_debugger.v0.17.0 | ☑ | 0 |
| mariadb.1.3.0 | ☑ | 4 |
| markdown.0.2.1 | ☑ | 1 |
| markdown_monolith.0.1.1 | ☑ | 0 |
| markup.1.0.3 | ☑ | 111 |
| markup-lwt.0.5.0 | ☑ | 2 |
| mastodon-archive-viewer.0.4.0 | ☑ | 0 |
| matcha.0.1.0 | ☑ | 0 |
| matplotlib.0.2 | ☑ | 0 |
| mazeppa.0.7.2 | ☑ | 0 |
| mbr-format.2.0.0 | ☑ | 3 |
| mc2.0.1 | ☑ | 0 |
| mccs.1.1+19 | ☑ | 13 |
| mcrunch.0.0.3 | ☑ | 0 |
| md2mld.0.7.0 | ☑ | 7 |
| mdx.2.5.2 | ☑ | 152 |
| mec.0.1.0 | ☑ | 0 |
| mehari.0.4 | ☑ | 3 |
| mehari-eio.0.4 | ☑ | 0 |
| mehari-lwt-unix.0.4 | ☑ | 0 |
| mehari-mirage.0.4 | ☑ | 1 |
| mel-bastet.1.0.0 | ☑ | 1 |
| melange-atdgen-codec-runtime.3.0.1 | ☑ | 0 |
| melange-edn.0.5.0 | ☑ | 0 |
| melange-fest.0.2.0 | ☑ | 1 |
| melange-fetch.0.2.0 | ☑ | 6 |
| melange-jest.0.2.0 | ☑ | 11 |
| melange-json.2.0.0 | ☑ | 4 |
| melange-json-native.2.0.0 | ☑ | 6 |
| melange-numeral.0.0.1 | ☑ | 0 |
| melange-recharts.4.0.3 | ☑ | 0 |
| melange-str.0.1.0 | ☑ | 0 |
| melange-testing-library.0.2.0 | ☑ | 2 |
| melange-webapi.0.22.0 | ☑ | 7 |
| mem_usage.0.2.0 | ☑ | 4 |
| memcpy.0.3.0 | ☑ | 0 |
| memfd.0.1.0 | ☑ | 0 |
| memgraph.1.0 | ☑ | 1 |
| memgraph_kitty.1.0 | ☑ | 0 |
| memo.0.2 | ☑ | 0 |
| memprof-limits.0.3.0 | ☑ | 30 |
| memtrace.0.2.3 | ☑ | 41 |
| menhir.20260209 | ☑ | 1969 |
| menhir-lsp.0.3.5 | ☑ | -1 |
| menhir-secondary.20231231 | ☑ | 4053 |
| menhirCST.20260209 | ☑ | 1965 |
| menhirGLR.20260209 | ☑ | 1965 |
| menhirLib.20260209 | ☑ | 1968 |
| menhirSdk.20260209 | ☑ | 1965 |
| menhirformat.0.1.0 | ☑ | -1 |
| merge-fmt.0.4 | ☑ | 0 |
| mergeable-vector.0.1.0 | ☑ | 0 |
| merlin-extend.0.6.2 | ☑ | 44 |
| merlin-of-pds.1.4 | ☑ | 2 |
| mesh.0.9.5 | ☑ | 3 |
| mesh-easymesh.0.9.5 | ☑ | 0 |
| mesh-graphics.0.9.5 | ☑ | 0 |
| metadata.0.3.2 | ☑ | 4 |
| metadb.1.0.2 | ☑ | 1 |
| metapp.0.4.4 | ☒ | 11 |
| metaquot.0.6.0 | ☒ | 10 |
| metrics.0.5.0 | ☑ | 1128 |
| metrics-influx.0.5.0 | ☑ | 4 |
| metrics-lwt.0.5.0 | ☑ | 1099 |
| metrics-rusage.0.5.0 | ☑ | 3 |
| metrics-unix.0.5.0 | ☑ | 3 |
| mew.0.1.0 | ☑ | 148 |
| mew_vi.0.5.0 | ☑ | 147 |
| mfat.0.0.1~beta1 | ☑ | 0 |
| mhttp.0.0.2 | ☒ | 3 |
| mhttp-client.0.0.2 | ☒ | 0 |
| mhttp-server.0.0.2 | ☒ | 1 |
| miaou.0.5.2 | ☑ | 0 |
| miaou-core.0.5.2 | ☑ | 8 |
| miaou-driver-matrix.0.5.2 | ☑ | 5 |
| miaou-driver-sdl.0.5.2 | ☑ | 3 |
| miaou-driver-term.0.5.2 | ☑ | 5 |
| miaou-driver-web.0.5.2 | ☑ | 1 |
| miaou-registry.0.5.2 | ☑ | 9 |
| miaou-runner.0.5.2 | ☑ | 2 |
| miaou-tui.0.5.2 | ☑ | 0 |
| miaou-widgets-display-sdl.0.5.2 | ☑ | 4 |
| micro_httpd.0.20.1 | ☒ | 0 |
| middleware.0.0.1 | ☑ | 0 |
| migra.2.2.0 | ☑ | 0 |
| mikmatch.1.0.9 | ☑ | 0 |
| mimic.0.0.10 | ☑ | 33 |
| mimic-happy-eyeballs.0.0.10 | ☑ | 24 |
| mindstorm.0.8.1 | ☑ | 1 |
| mindstorm-lwt.0.8.1 | ☑ | 0 |
| minicli.5.0.2 | ☑ | 19 |
| minilight.1.6 | ☑ | 0 |
| minima-theme.1.0.0 | ☑ | 0 |
| minisat.0.6 | ☑ | 3 |
| minivpt.2.0.0 | ☑ | 1 |
| miou.0.7.0 | ☑ | 39 |
| mirage.4.11.1 | ☑ | 4 |
| mirage-block.3.0.2 | ☑ | 25 |
| mirage-block-ccm.2.0.0 | ☑ | 0 |
| mirage-block-combinators.3.0.2 | ☑ | 7 |
| mirage-block-partition.0.2.0 | ☑ | 0 |
| mirage-block-ramdisk.0.6 | ☑ | 2 |
| mirage-block-solo5.0.8.1 | ☑ | 1 |
| mirage-block-unikraft.1.0.0 | ☑ | 0 |
| mirage-block-unix.2.14.2 | ☑ | 11 |
| mirage-block-xen.2.1.3 | ☑ | 0 |
| mirage-bootvar.1.0.1 | ☑ | 0 |
| mirage-channel.5.0.0 | ☑ | 10 |
| mirage-clock.4.2.0 | ☑ | 347 |
| mirage-clock-unix.4.2.0 | ☑ | 39 |
| mirage-crypto.2.1.0 | ☑ | 412 |
| mirage-crypto-ec.2.1.0 | ☑ | 380 |
| mirage-crypto-pk.2.1.0 | ☑ | 380 |
| mirage-crypto-rng.2.1.0 | ☑ | 415 |
| mirage-crypto-rng-async.0.11.3 | ☑ | 7 |
| mirage-crypto-rng-eio.1.2.0 | ☑ | 5 |
| mirage-crypto-rng-lwt.1.2.0 | ☑ | 242 |
| mirage-crypto-rng-miou-unix.2.1.0 | ☑ | 7 |
| mirage-crypto-rng-mirage.2.1.0 | ☑ | 11 |
| mirage-crypto-rng-mkernel.2.1.0 | ☑ | 1 |
| mirage-flow.5.0.0 | ☑ | 353 |
| mirage-flow-combinators.5.0.0 | ☑ | 12 |
| mirage-flow-unix.5.0.0 | ☑ | 1 |
| mirage-kv.6.1.1 | ☑ | 322 |
| mirage-kv-mem.4.0.1 | ☑ | 2 |
| mirage-kv-unix.3.0.1 | ☑ | 0 |
| mirage-logs.3.0.0 | ☑ | 5 |
| mirage-mtime.5.2.0 | ☑ | 111 |
| mirage-nat.3.0.2 | ☑ | 0 |
| mirage-net.4.0.0 | ☑ | 116 |
| mirage-net-solo5.0.8.1 | ☑ | 0 |
| mirage-net-unikraft.1.0.0 | ☑ | 0 |
| mirage-net-unix.3.0.0 | ☑ | 0 |
| mirage-net-xen.2.1.7 | ☑ | 0 |
| mirage-ptime.5.2.0 | ☑ | 102 |
| mirage-qubes.2.0.0 | ☑ | 1 |
| mirage-qubes-ipv4.2.0.0 | ☑ | 0 |
| mirage-runtime.4.11.1 | ☑ | 1141 |
| mirage-sleep.4.1.0 | ☑ | 1121 |
| mirage-solo5.0.10.0 | ☑ | 318 |
| mirage-time.3.0.0 | ☑ | 106 |
| mirage-time-unix.3.0.0 | ☑ | 8 |
| mirage-unikraft.1.0.0 | ☑ | 2 |
| mirage-unix.5.0.1 | ☑ | 23 |
| mirage-vnetif.0.6.2 | ☑ | 2 |
| mirage-xen.9.0.0 | ☑ | 1066 |
| misuja.0.0.0 | ☒ | 1 |
| mjson.0.2.1 | ☑ | 0 |
| mkaudio.1.1.4 | ☑ | 0 |
| mkernel.0.0.2 | ☑ | 14 |
| mkocaml.1.2 | ☑ | 0 |
| mlbdd.0.7.3 | ☑ | 4 |
| mlcuddidl.3.0.8 | ☑ | 0 |
| mlfenv.1.0.0 | ☑ | 0 |
| mlgmpidl.1.3.0 | ☑ | 21 |
| mlgpx.1.0.0 | ☑ | 0 |
| mlmpfr.4.2.1 | ☒ | 14 |
| mlsolver.1.5 | ☑ | 0 |
| mlt_parser.v0.17.0 | ☑ | 1 |
| mlx.0.11 | ☑ | 4 |
| mm.0.8.6 | ☑ | 5 |
| mmap.1.2.0 | ☑ | 1808 |
| mmdb.0.3.0 | ☒ | 0 |
| mmo.1.0.1 | ☑ | 0 |
| mnd.1.1.0 | ☑ | 0 |
| mnet.0.0.3 | ☒ | 10 |
| mnet-cli.0.0.3 | ☒ | 0 |
| mnet-dns.0.0.3 | ☒ | 0 |
| mnet-happy-eyeballs.0.0.3 | ☒ | 3 |
| mnet-ssh.0.0.3 | ☒ | 0 |
| mnet-tls.0.0.3 | ☒ | 6 |
| mnottui.0.0.2 | ☑ | 0 |
| mnotty.0.0.2 | ☑ | 1 |
| mock.1.0.0 | ☑ | 1 |
| mock-ounit.1.0.0 | ☑ | 1 |
| module-graph.0.2.0 | ☑ | 0 |
| molenc.17.0.1 | ☑ | 7 |
| monaco_jsoo.1.0.1 | ☑ | 0 |
| monolith.20250922 | ☑ | 13 |
| monomorphic.2.1.0 | ☑ | 1 |
| moonpool.0.11 | ☑ | 4 |
| moonpool-io.0.9 | ☑ | 0 |
| moonpool-lwt.0.11 | ☑ | 0 |
| mopsa.1.2 | ☒ | 0 |
| morbig.0.11.0 | ☑ | 0 |
| more-ocaml.1.0 | ☑ | 0 |
| morsmall.0.2.0 | ☑ | 0 |
| mosaique.0.0.1 | ☑ | 0 |
| moss.0.1.1 | ☑ | 0 |
| mparser.1.3 | ☑ | 14 |
| mparser-pcre.1.3 | ☒ | 2 |
| mparser-re.1.3 | ☑ | 1 |
| mperf.0.5.0 | ☑ | 1 |
| mpg123.0.3 | ☒ | 0 |
| mpi.1.07 | ☑ | 4 |
| mpp.0.3.6 | ☑ | 0 |
| mpris.0.2.0 | ☑ | 1 |
| mpris-clients.0.2.0 | ☑ | 0 |
| mqtt.0.2.2 | ☑ | 0 |
| mrmime.0.7.2 | ☑ | 23 |
| msat.0.9.1 | ☑ | 6 |
| msat-bin.0.9.1 | ☑ | 0 |
| msendmail.0.13.0 | ☒ | 0 |
| mset.0.2.0 | ☑ | 0 |
| msgpck.1.7 | ☑ | 5 |
| msts.0.1.0 | ☑ | 0 |
| mtbox.0.0.1~beta1 | ☑ | 0 |
| mtime.2.1.0 | ☑ | 584 |
| mugen.0.1.0 | ☑ | 0 |
| mula.0.1.2 | ☑ | 0 |
| multibase.0.1.0 | ☑ | 3 |
| multicodec.0.1.0 | ☑ | 5 |
| multicont.1.0.3 | ☑ | 1 |
| multicore-bench.0.1.7 | ☑ | 4 |
| multicore-magic.2.3.2 | ☑ | 67 |
| multicore-magic-dscheck.2.3.2 | ☑ | 3 |
| multihash.0.1.0 | ☑ | 4 |
| multihash-digestif.0.1.0 | ☑ | 3 |
| multipart-form-data.0.3.0 | ☑ | 28 |
| multipart_form.0.8.0 | ☑ | 35 |
| multipart_form-cohttp-lwt.0.8.0 | ☑ | 0 |
| multipart_form-eio.0.8.0 | ☑ | 0 |
| multipart_form-lwt.0.8.0 | ☑ | 29 |
| multipart_form-miou.0.8.0 | ☑ | 2 |
| murmur3.0.3 | ☑ | 1 |
| mustache.3.3.0 | ☑ | 5 |
| mustache-cli.3.3.0 | ☑ | 0 |
| mutaml.0.3 | ☑ | 0 |
| mutf8.0.2 | ☑ | 0 |
| mwt.0.1.0 | ☑ | 0 |
| mybuild.7 | ☑ | 3 |
| mysql.1.2.4 | ☑ | 6 |
| mysql8.1.0 | ☒ | 1 |
| mysql_protocol.3.0.3 | ☑ | 0 |
| n_ary.v0.17.0 | ☑ | 1 |
| naboris.0.1.3 | ☑ | 0 |
| nacc.1.0 | ☑ | 0 |
| namespaces.0.5.1 | ☑ | 0 |
| nanoev.0.1 | ☑ | 3 |
| nanoev-picos.0.1 | ☑ | 2 |
| nanoev-posix.0.1 | ☑ | 0 |
| nanoev_tiny_httpd.0.1 | ☑ | 0 |
| nanoid.1.0.0 | ☑ | 0 |
| nanosvg.0.2 | ☑ | 2 |
| nanosvg_text.0.1 | ☑ | 1 |
| nats-client.0.0.10 | ☑ | 1 |
| nats-client-async.0.0.10 | ☑ | 0 |
| nbd.6.0.1 | ☑ | 2 |
| nbd-tool.6.0.1 | ☑ | 0 |
| nbd-unix.6.0.1 | ☑ | 1 |
| nel.1.0.0 | ☑ | 2 |
| neo4j_bolt.0.3.0 | ☑ | 0 |
| netlink.0.3.4 | ☑ | 0 |
| netsnmp.v0.17.0 | ☑ | 0 |
| neural_nets_lib.0.6.1 | ☒ | 0 |
| nice_parser.1.0.0 | ☑ | 1 |
| ninja_utils.1.0.0 | ☑ | 2 |
| niru.1.0.0 | ☑ | 0 |
| nloge.0.0.2 | ☑ | 0 |
| nlopt.0.7.0 | ☑ | 4 |
| nlopt-ocaml.transition | ☑ | 2 |
| nlp.0.0.1 | ☑ | 0 |
| nmea.0.1.5 | ☑ | 0 |
| nocoiner.1.0.0 | ☑ | 0 |
| nocrypto.0.5.4-2 | ☑ | 313 |
| node_of_ocaml.1.0.0 | ☑ | 0 |
| non_empty_list.0.1 | ☑ | 0 |
| not-ocamlfind.0.14 | ☑ | 395 |
| note.0.0.3 | ☑ | 0 |
| nottui.0.5 | ☑ | 10 |
| nottui-lwt.0.5 | ☑ | 0 |
| nottui-miou.0.0.2 | ☑ | 1 |
| nottui-pretty.0.5 | ☑ | 0 |
| nottui-unix.0.5 | ☑ | 4 |
| notty.0.2.3 | ☑ | 26 |
| notty-community.0.2.4 | ☑ | 14 |
| notty-miou.0.0.2 | ☑ | 2 |
| notty_async.v0.17.0 | ☑ | 5 |
| np.np1.19-0.3.1 | ☑ | 2 |
| npy.0.0.9 | ☑ | 18 |
| num.1.6 | ☑ | 1912 |
| numeric_string.v0.17.0 | ☑ | 1 |
| nuscr.2.1.1 | ☑ | 0 |
| nx.1.0.0~alpha3 | ☑ | 7 |
| nx-datasets.1.0.0~alpha2 | ☑ | 4 |
| nx-text.1.0.0~alpha0 | ☑ | 2 |
| obatcher.1.1 | ☑ | 0 |
| obelisk.0.8.1 | ☑ | 0 |
| object.0.1 | ☑ | 0 |
| obuild.0.2.2 | ☑ | 55 |
| obuilder.0.7.0 | ☑ | 2 |
| obuilder-spec.0.7.0 | ☑ | 4 |
| obus.1.2.5 | ☑ | 4 |
| ocal.0.2.2 | ☑ | 0 |
| ocaml-ai-sdk.0.5 | ☑ | 0 |
| ocaml-buddy.0.6.1 | ☒ | 0 |
| ocaml-canvas.1.0.0 | ☑ | 0 |
| ocaml-compiler-libs.v0.17.0 | ☑ | 2437 |
| ocaml-embed-file.v0.17.0 | ☑ | 3 |
| ocaml-expat.1.3.0 | ☑ | 1 |
| ocaml-inifiles.1.2 | ☒ | 4 |
| ocaml-lua.1.8 | ☑ | 2 |
| ocaml-makefile.6.39.2 | ☑ | 1 |
| ocaml-markdown.transition | ☑ | 0 |
| ocaml-monadic.0.5 | ☑ | 4 |
| ocaml-option-address-sanitizer.1 | ☑ | 4054 |
| ocaml-option-leak-sanitizer.1 | ☑ | 4054 |
| ocaml-option-no-compression.1 | ☑ | 4054 |
| ocaml-option-tsan.1 | ☑ | 4055 |
| ocaml-options-only-tsan.1 | ☑ | 0 |
| ocaml-print-intf.1.2.0 | ☑ | 0 |
| ocaml-probes.v0.17.0 | ☑ | 0 |
| ocaml-protoc.4.1 | ☑ | 6 |
| ocaml-protoc-plugin.6.2.0 | ☑ | 3 |
| ocaml-protoc-yojson.0.2.0 | ☑ | 0 |
| ocaml-r.0.6.0 | ☑ | 1 |
| ocaml-sat-solvers.0.8 | ☑ | 2 |
| ocaml-secondary-compiler.4.14.2 | ☑ | 4055 |
| ocaml-syntax-shims.1.0.0 | ☑ | 1828 |
| ocaml-systemd.1.3 | ☑ | 0 |
| ocaml-top.1.2.0 | ☑ | 0 |
| ocaml-unikraft.1.2.0 | ☑ | 2 |
| ocaml-unikraft-arm64.1.2.0 | ☑ | 4 |
| ocaml-unikraft-backend-firecracker.1.2.0-0.20.0 | ☑ | 0 |
| ocaml-unikraft-backend-firecracker-arm64.1.2.0-0.20.0 | ☑ | 6 |
| ocaml-unikraft-backend-firecracker-x86_64.1.2.0-0.20.0 | ☑ | 6 |
| ocaml-unikraft-backend-qemu.1.2.0-0.20.0 | ☑ | 0 |
| ocaml-unikraft-backend-qemu-arm64.1.2.0-0.20.0 | ☑ | 6 |
| ocaml-unikraft-backend-qemu-x86_64.1.2.0-0.20.0 | ☑ | 6 |
| ocaml-unikraft-default-arm64.1.2.0 | ☑ | 3 |
| ocaml-unikraft-default-x86_64.1.2.0 | ☑ | 3 |
| ocaml-unikraft-option-9pfs.1.2.0-0.20.0 | ☑ | 13 |
| ocaml-unikraft-option-debug.1.2.0-0.20.0 | ☑ | 13 |
| ocaml-unikraft-toolchain-arm64.1.2.0-0.20.0 | ☑ | 5 |
| ocaml-unikraft-toolchain-x86_64.1.2.0-0.20.0 | ☑ | 5 |
| ocaml-unikraft-x86_64.1.2.0 | ☑ | 4 |
| ocaml-vdom.transition | ☑ | 0 |
| ocaml-version.4.1.3 | ☑ | 38 |
| ocaml-xdg-basedir.transition | ☑ | 2 |
| ocaml-yescrypt.0.1.1 | ☑ | 0 |
| ocaml_intrinsics.v0.17.0 | ☑ | 6 |
| ocaml_intrinsics_kernel.v0.17.2 | ☑ | 1731 |
| ocaml_openapi_generator.v0.17.0 | ☑ | 0 |
| ocamlbuild.0.16.1 | ☑ | 2998 |
| ocamlbuild-atdgen.0.1.0 | ☑ | 0 |
| ocamlbuild-protoc.0.1 | ☑ | 0 |
| ocamlc-loc.3.24.0 | ☑ | -1 |
| ocamlcodoc.1.0.1 | ☑ | 1 |
| ocamldap.transition | ☑ | 0 |
| ocamldiff.1.2 | ☑ | 1 |
| ocamldot.1.1 | ☑ | 3 |
| ocamlfind.1.9.8 | ☑ | -1 |
| ocamlfind-secondary.1.9.6 | ☑ | 3983 |
| ocamlformat.0.29.0 | ☑ | 58 |
| ocamlformat-lib.0.29.0 | ☑ | 17 |
| ocamlformat-mlx.0.28.1.3 | ☑ | 1 |
| ocamlformat-mlx-lib.0.28.1.3 | ☑ | 1 |
| ocamlformat-rpc.removed | ☑ | 0 |
| ocamlformat-rpc-lib.0.29.0 | ☑ | 6 |
| ocamlfuse.2.7.2 | ☑ | 1 |
| ocamlgraph.2.2.0 | ☑ | 402 |
| ocamlgraph_gtk.2.2.0 | ☑ | 5 |
| ocamlgrep.0.1.1 | ☑ | 0 |
| ocamlgrep-lib.0.1.1 | ☑ | 1 |
| ocamlify.0.1.0 | ☑ | 254 |
| ocamline.1.2 | ☑ | 1 |
| ocamlmerlin-mlx.0.11 | ☑ | 0 |
| ocamlmod.0.1.1 | ☑ | 252 |
| ocamlog.0.2 | ☑ | 0 |
| ocamlregextkit.1.0.2 | ☑ | 0 |
| ocamlscript.3.0.0 | ☑ | 0 |
| ocamlsdl2.0.04 | ☑ | 2 |
| ocamlsdl2-image.0.01 | ☑ | 0 |
| ocamlsdl2-ttf.0.02 | ☑ | 0 |
| ocamlwc.0.3 | ☑ | 0 |
| ocamlyices.0.7.1 | ☒ | 0 |
| ocannl_npy.0.4.1 | ☑ | 2 |
| ocb.0.2 | ☑ | 0 |
| ocb-stubblr.0.1.1-1 | ☑ | 343 |
| ocf.1.0.0 | ☑ | 47 |
| ocf_ppx.1.0.0 | ☑ | 44 |
| ocgtk.0.1~preview2 | ☑ | 0 |
| ochre.1.1.0 | ☑ | 1 |
| ochre-cli.1.1.0 | ☑ | 0 |
| ockt.0.0.1 | ☑ | 0 |
| oclock.0.4.0 | ☒ | 0 |
| ocluster.0.4.0 | ☑ | 0 |
| ocluster-api.0.4.0 | ☑ | 3 |
| ocluster-worker.0.4.0 | ☑ | 1 |
| ocolor.1.3.1 | ☑ | 5 |
| ocp-browser.1.4.1 | ☑ | 0 |
| ocp-indent.1.9.0 | ☑ | 34 |
| ocp-indent-nlfork.1.5.5 | ☑ | 2 |
| ocp-index.1.4.1 | ☑ | 4 |
| ocp-ocamlres.0.4 | ☑ | 2 |
| ocp-reloc.0.1 | ☑ | 0 |
| ocp_reveal.0.1 | ☑ | 0 |
| ocplib-endian.1.2 | ☑ | 1836 |
| ocplib-simplex.0.5.1 | ☑ | 13 |
| ocplib_stuff.0.4.0 | ☑ | 19 |
| ocsigen-i18n.5.0.0 | ☑ | 0 |
| ocsigen-ppx-rpc.1.1 | ☑ | 2 |
| ocsigen-start.8.0.0 | ☑ | 0 |
| ocsigen-toolkit.4.3.0 | ☑ | 1 |
| ocsigenserver.7.0.0 | ☑ | 13 |
| ocsipersist.2.1.0 | ☑ | 9 |
| ocsipersist-dbm.2.1.0 | ☑ | 7 |
| ocsipersist-dbm-config.2.1.0 | ☑ | 0 |
| ocsipersist-lib.2.1.0 | ☑ | 10 |
| ocsipersist-pgsql.2.1.0 | ☑ | 7 |
| ocsipersist-pgsql-config.2.1.0 | ☑ | 1 |
| ocsipersist-sqlite.2.1.0 | ☑ | 5 |
| ocsipersist-sqlite-config.2.1.0 | ☑ | 0 |
| octavius.1.2.2 | ☑ | 632 |
| ocue.0.1.0 | ☑ | 0 |
| odate.0.7 | ☑ | 8 |
| odbc.3.0 | ☒ | 0 |
| odds.1.2 | ☑ | 0 |
| odep.0.2.2 | ☑ | 0 |
| odepack.0.7.1 | ☑ | 1 |
| odig.0.1.0 | ☑ | 6 |
| odnnr.2.0.0 | ☒ | 0 |
| odoc.3.2.1 | ☑ | 1831 |
| odoc-depgraph.1.0 | ☑ | 0 |
| odoc-driver.3.2.1 | ☑ | 2 |
| odoc-md.3.2.1 | ☑ | 1 |
| odoc-parser.3.2.1 | ☑ | 18 |
| oenv.0.1.0 | ☑ | 0 |
| oepub.0.1.0 | ☑ | 0 |
| of_json.v0.17.0 | ☑ | 0 |
| oframl.0.0.1 | ☑ | 0 |
| ofx.0.1.5 | ☑ | 0 |
| ogg.1.0.0 | ☑ | 11 |
| oglsl.0.1.0 | ☑ | 0 |
| ohex.0.2.0 | ☑ | 409 |
| oidc.0.2.0 | ☑ | 0 |
| ojo.0.2.1 | ☑ | 0 |
| ojs.1.1.7 | ☑ | 64 |
| ojs_base.0.9.0 | ☑ | 8 |
| ojs_base_all.0.9.0 | ☑ | 3 |
| ojs_base_ppx.0.9.0 | ☑ | 2 |
| ojs_ed.0.9.0 | ☑ | 4 |
| ojs_filetree.0.9.0 | ☑ | 4 |
| ojs_list.0.9.0 | ☑ | 4 |
| oktree.0.2.4 | ☑ | 5 |
| ollvm.0.99 | ☑ | 0 |
| ollvm-tapir.0.99.1 | ☑ | 0 |
| oma.20240619 | ☑ | 0 |
| omake.0.10.7 | ☑ | 10 |
| omd.2.0.0~alpha4 | ☑ | 33 |
| omigrate.0.3.2 | ☑ | 0 |
| oml.0.0.7 | ☑ | 1 |
| omlr.1.0.3 | ☑ | 0 |
| omod.0.0.5 | ☑ | 0 |
| omtl.0.2 | ☑ | 0 |
| oneffs.0.1.0 | ☑ | 0 |
| oniguruma.0.2.0 | ☑ | 5 |
| ooh.0.0.3 | ☑ | 0 |
| opam-0install.0.6.0 | ☑ | 1 |
| opam-0install-cudf.0.5.0 | ☑ | 11 |
| opam-build.0.3.0 | ☑ | 0 |
| opam-check-npm-deps.4.1.0 | ☑ | 8 |
| opam-ci-check-lint.0.2 | ☑ | 0 |
| opam-client.2.5.2 | ☑ | 7 |
| opam-compiler.0.2.1 | ☑ | 0 |
| opam-core.2.5.2 | ☑ | 44 |
| opam-custom-install.0.3 | ☑ | 0 |
| opam-depext.1.2.3 | ☑ | 1 |
| opam-devel.2.5.2 | ☑ | 0 |
| opam-dune-lint.0.6 | ☑ | 0 |
| opam-ed.0.4 | ☑ | 0 |
| opam-file-format.2.2.0 | ☑ | 53 |
| opam-format.2.5.2 | ☑ | 42 |
| opam-graph.0.1.1 | ☑ | 0 |
| opam-grep.0.4.0 | ☑ | 0 |
| opam-installer.2.5.2 | ☑ | 8 |
| opam-minver.0.2.0 | ☑ | 0 |
| opam-monorepo.0.4.3 | ☑ | 2 |
| opam-publish.3.0.0 | ☑ | 3 |
| opam-repomin.1.0.0 | ☑ | 0 |
| opam-repository.2.5.2 | ☑ | 24 |
| opam-solver.2.5.2 | ☑ | 9 |
| opam-state.2.5.2 | ☑ | 23 |
| opam-test.0.3.0 | ☑ | 0 |
| opamconfig.0.3.0 | ☑ | 0 |
| opasswd.1.3.1 | ☑ | 0 |
| opatch.3.1.2 | ☑ | 24 |
| openQASM.0.4.0 | ☑ | 1 |
| openai.0.0.1 | ☑ | 0 |
| openapi.1.0.1 | ☑ | 2 |
| openapi-opium.1.0.1 | ☑ | 0 |
| openbsd.1.0 | ☑ | 0 |
| opencage.1.0.5 | ☑ | 0 |
| opencc.transition | ☒ | 0 |
| opencc0.1.0.2 | ☒ | 0 |
| opencc1.1.0.1 | ☒ | 1 |
| opencc1_1.0.1.0 | ☑ | 0 |
| openrouter_api.0.1.0 | ☑ | 0 |
| openstellina.0.0.3 | ☑ | 0 |
| opentelemetry.0.91.1 | ☑ | 14 |
| opentelemetry-client.0.91.1 | ☑ | 4 |
| opentelemetry-client-cohttp-eio.0.91.1 | ☑ | 0 |
| opentelemetry-client-cohttp-lwt.0.91.1 | ☒ | 1 |
| opentelemetry-client-ocurl.0.91.1 | ☑ | 0 |
| opentelemetry-client-ocurl-lwt.0.91.1 | ☒ | 0 |
| opentelemetry-cohttp-lwt.0.91.1 | ☑ | 1 |
| opentelemetry-logs.0.91.1 | ☑ | 0 |
| opentelemetry-lwt.0.91.1 | ☑ | 3 |
| operf-micro.1.1.3 | ☑ | 0 |
| opine.0.1.3 | ☑ | 0 |
| opium.0.20.0 | ☑ | 20 |
| opium-graphql.0.20.0 | ☑ | 0 |
| opium-testing.0.20.0 | ☑ | 0 |
| opium_kernel.0.18.0 | ☑ | 5 |
| oplot.0.85 | ☑ | 6 |
| oplsr.8.0.1 | ☒ | 0 |
| opomodoro.0.0.2 | ☑ | 0 |
| optal.0.3 | ☑ | 0 |
| opti.1.0.3 | ☑ | 0 |
| optimization1d.0.6.1 | ☑ | 0 |
| optiml-transport.0.0.1 | ☑ | 0 |
| optint.0.3.0 | ☑ | 476 |
| opus.1.0.0 | ☑ | 4 |
| oq.1.0.4 | ☑ | 0 |
| oqamldebug.0.9.5 | ☑ | 0 |
| oraft.0.3.0 | ☑ | 0 |
| oranger.4.3.5 | ☑ | 0 |
| orb.1.0.1 | ☑ | 0 |
| order-i3-xfce.0.1 | ☑ | 0 |
| ordering.3.24.0 | ☑ | -1 |
| ordinal.1.1 | ☑ | 0 |
| ordinal_abbreviation.v0.17.0 | ☑ | 2 |
| orec.1.0.1 | ☑ | 2 |
| orewa.0.2.1 | ☑ | 0 |
| orf.1.0.1 | ☑ | 0 |
| orgeat.0.0.1 | ☑ | 0 |
| orocksdb.0.4.0 | ☑ | 0 |
| orrandomForest.3.0.0 | ☒ | 0 |
| orsetto.1.1.3 | ☑ | 0 |
| orsvm_e1071.4.0.0 | ☑ | 0 |
| ortac-core.0.8.0 | ☑ | 3 |
| ortac-dune.0.8.0 | ☑ | 0 |
| ortac-qcheck-stm.0.8.0 | ☑ | 1 |
| ortac-runtime.0.8.0 | ☑ | 4 |
| ortac-runtime-qcheck-stm.0.8.0 | ☑ | 1 |
| ortac-wrapper.0.8.0 | ☑ | 1 |
| orthologic-coq.0.9.1 | ☑ | 0 |
| ortools.9.15.0-2 | ☑ | 1 |
| ortools_solvers.9.15.0-2 | ☑ | 0 |
| orxgboost.1.2.0 | ☒ | 0 |
| osc.0.2.0 | ☑ | 6 |
| osc-unix.0.2.0 | ☑ | 4 |
| osdp.1.1.1 | ☑ | 0 |
| oseq.0.5.1 | ☑ | 14 |
| oskel.0.3.0 | ☑ | 0 |
| osnap.0.3.0 | ☑ | 0 |
| ostap.0.6.1 | ☑ | 0 |
| otaglibc.0.1.0 | ☑ | 1 |
| otf.0.1 | ☑ | 0 |
| otfm.0.4.0 | ☑ | 6 |
| otoml.1.0.5 | ☑ | 11 |
| otp.0.3 | ☑ | 0 |
| otr.1.0.0 | ☑ | 0 |
| ott.0.34 | ☑ | 12 |
| oui.0.1.0 | ☑ | 0 |
| ounit.2.2.7 | ☑ | 217 |
| ounit-lwt.2.2.7 | ☑ | 0 |
| ounit2.2.2.7 | ☑ | 1248 |
| ounit2-lwt.2.2.7 | ☑ | 1 |
| out-channel-redirect.0.2 | ☑ | 0 |
| owee.0.8 | ☑ | 8 |
| owl.1.2 | ☑ | 13 |
| owl-base.1.2 | ☑ | 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-opt.0.0.1 | ☑ | 1 |
| owl-opt-lbfgs.0.0.1 | ☑ | 0 |
| owl-plplot.1.1 | ☑ | 5 |
| owl-top.1.2 | ☑ | 1 |
| owork.0.1.1 | ☑ | 0 |
| ozulip.0.1 | ☑ | 0 |
| p4pp.0.1.12 | ☑ | 0 |
| p5scm.0.5.0 | ☑ | 0 |
| pa_ppx.8.05.01 | ☑ | 14 |
| pa_ppx_fmtformat.8.05.01 | ☑ | 0 |
| pa_ppx_hashcons.8.05.01 | ☑ | 3 |
| pa_ppx_migrate.8.05.01 | ☑ | 9 |
| pa_ppx_migrate_ocaml_parsetree.5.4.0 | ☑ | 0 |
| pa_ppx_q_ast.8.05.01 | ☑ | 1 |
| pa_ppx_quotation2extension.8.05.01 | ☑ | 1 |
| pa_ppx_regexp.8.05.01 | ☑ | 4 |
| pa_ppx_static.8.05.01 | ☑ | 5 |
| pa_ppx_string.0.01 | ☑ | 0 |
| pa_ppx_unique.8.05.01 | ☑ | 3 |
| packstream.0.1 | ☑ | 0 |
| pacomb.1.4.3 | ☑ | 5 |
| paf.0.8.0 | ☑ | 26 |
| paf-cohttp.0.8.0 | ☑ | 0 |
| pageantty.0.0.3 | ☑ | 2 |
| pam.v0.17.0 | ☑ | 0 |
| pancake.2.0.1 | ☑ | 0 |
| pandoc.0.2.1 | ☑ | 7 |
| pandoc-abbreviations.0.2.1 | ☑ | 0 |
| pandoc-comment.0.2.1 | ☑ | 0 |
| pandoc-crossref.0.2.1 | ☑ | 0 |
| pandoc-include.0.2.1 | ☑ | 0 |
| pandoc-inspect.0.2.1 | ☑ | 0 |
| pandoc-pdf2png.0.2.1 | ☑ | 0 |
| pandoc-replace.0.2.1 | ☑ | 0 |
| par_incr.0.1 | ☑ | 0 |
| parany.14.0.1 | ☑ | 15 |
| pardi.3.2.2 | ☑ | 0 |
| pari.0.1 | ☒ | 0 |
| pari-bindings.0.1 | ☒ | 1 |
| parmap.1.2.5 | ☑ | 32 |
| parseff.0.3.0 | ☑ | 0 |
| parsexp.v0.17.0 | ☑ | 1815 |
| parsexp_io.v0.17.0 | ☑ | 0 |
| parsite.0.1.2 | ☑ | 0 |
| parsley.0.0.1 | ☑ | 0 |
| passage.0.3.5 | ☑ | 0 |
| passe.0.1.0 | ☑ | 0 |
| patch.3.1.2 | ☑ | 75 |
| patdiff.v0.17.0 | ☑ | 5 |
| path_glob.0.3 | ☑ | 1 |
| patience_diff.v0.17.0 | ☑ | 8 |
| patricia-tree.0.14.0 | ☑ | 7 |
| pb.1.0.0 | ☑ | 1 |
| pbkdf.1.2.0 | ☑ | 375 |
| pbrt.4.1 | ☑ | 27 |
| pbrt_services.4.1 | ☑ | 5 |
| pbrt_yojson.4.1 | ☑ | 21 |
| pcap-format.0.6.0 | ☑ | 2 |
| pcrc.0.25.2 | ☑ | 0 |
| pcre.8.0.5 | ☒ | 402 |
| pcre2.8.0.4 | ☑ | 396 |
| pds.5.42 | ☑ | 4 |
| pds-reachability.0.2.3 | ☑ | 0 |
| pecu.0.7 | ☑ | 96 |
| petrol.1.2.0 | ☑ | 0 |
| pf-qubes.0.1.2 | ☑ | 0 |
| pg_query.0.9.8 | ☑ | 3 |
| pgn_parser.1.0.1 | ☑ | 0 |
| pgocaml.4.4.0 | ☑ | 16 |
| pgocaml_ppx.4.4.0 | ☑ | 1 |
| pgsolver.4.4 | ☑ | 1 |
| pgx.2.2 | ☑ | 9 |
| pgx_lwt.2.2 | ☑ | 3 |
| pgx_lwt_mirage.2.2 | ☑ | 0 |
| pgx_lwt_unix.2.2 | ☑ | 1 |
| pgx_unix.2.2 | ☑ | 0 |
| pgx_value_core.2.2 | ☑ | 1 |
| pgx_value_ptime.2.2 | ☑ | 0 |
| phantom-algebra.1.0.1 | ☑ | 0 |
| phonetic.0.1.0 | ☑ | 0 |
| phylogenetics.0.3.0 | ☑ | 0 |
| piaf.0.2.0 | ☑ | 0 |
| picasso.0.4.0 | ☑ | 2 |
| picos.0.6.0 | ☑ | 30 |
| picos_aux.0.6.0 | ☑ | 45 |
| picos_io.0.6.0 | ☑ | 5 |
| picos_io_cohttp.0.6.0 | ☑ | 1 |
| picos_lwt.0.6.0 | ☑ | 1 |
| picos_meta.0.6.0 | ☑ | 0 |
| picos_mux.0.6.0 | ☑ | 2 |
| picos_std.0.6.0 | ☑ | 14 |
| pidgin.1.0.0 | ☑ | 1 |
| pidgin_pp.1.0.0 | ☑ | 0 |
| piece_rope.0.9.1 | ☑ | 0 |
| pla.2.1 | ☑ | 0 |
| plateau.0.1 | ☑ | 0 |
| plato.1.1.3 | ☑ | 0 |
| playwright.0.1.1 | ☒ | 0 |
| plist-xml.0.5.1 | ☑ | 4 |
| plist-xml-lwt.0.3.0 | ☑ | 0 |
| plotkicadsch.0.9.0 | ☑ | 0 |
| plotly.1.0.0 | ☑ | 0 |
| plplot.5.12.1 | ☑ | 10 |
| polka.2.71.15 | ☒ | 2 |
| poll.0.3.1 | ☑ | 4 |
| polling_state_rpc.v0.17.0 | ☑ | 3 |
| polly.0.5.0 | ☑ | 2 |
| polyglot.1.0.0 | ☑ | 0 |
| polymarket.0.2.0 | ☑ | 0 |
| polynomial.0.4.0 | ☑ | 0 |
| pomap.4.1.2 | ☑ | 0 |
| popper.0.1.1 | ☑ | 2 |
| portaudio.0.2.3 | ☑ | 4 |
| portaudio_c_bindings.19.6.0 | ☒ | 0 |
| portia.1.5 | ☑ | 0 |
| posix-base.4.0.2 | ☑ | 19 |
| posix-bindings.4.0.2 | ☑ | 0 |
| posix-errno.4.0.2 | ☑ | 13 |
| posix-getopt.4.0.2 | ☑ | 1 |
| posix-math2.4.0.2 | ☑ | 1 |
| posix-resource.4.0.2 | ☑ | 1 |
| posix-signal.4.0.2 | ☑ | 0 |
| posix-socket.4.0.2 | ☑ | 7 |
| posix-socket-unix.4.0.2 | ☑ | 1 |
| posix-stat.4.0.2 | ☑ | 1 |
| posix-time2.4.0.2 | ☑ | 7 |
| posix-types.4.0.2 | ☑ | 10 |
| posix-uname.4.0.2 | ☑ | 2 |
| posix-unistd.4.0.2 | ☑ | 1 |
| posixat.v0.17.0 | ☑ | 2 |
| postgres_async.v0.17.0 | ☑ | 0 |
| postgresql.5.4.0 | ☑ | 20 |
| pp.2.0.0 | ☑ | 349 |
| pp-binary-ints.1.0.0 | ☑ | 2 |
| pp_loc.2.1.0 | ☑ | 24 |
| pplumbing-err.0.0.16 | ☑ | 15 |
| pplumbing-log.0.0.16 | ☑ | 14 |
| pplumbing-log-cli.0.0.16 | ☑ | 13 |
| pplumbing-pp-tty.0.0.16 | ☑ | 17 |
| pprint.20230830 | ☑ | 34 |
| ppx-owl-opt.0.0.1 | ☑ | 2 |
| ppx_accessor.v0.17.0 | ☑ | 3 |
| ppx_assert.v0.17.0 | ☑ | 644 |
| ppx_base.v0.17.0 | ☑ | 656 |
| ppx_bench.v0.17.1 | ☑ | 522 |
| ppx_bin_prot.v0.17.1 | ☑ | 522 |
| ppx_bitstring.5.0.2 | ☑ | 8 |
| ppx_blob.0.9.0 | ☑ | 73 |
| ppx_camlrack.0.10.1 | ☑ | 0 |
| ppx_catch.0.1.0 | ☑ | 0 |
| ppx_cold.v0.17.0 | ☑ | 660 |
| ppx_compare.v0.17.0 | ☑ | 696 |
| ppx_compose.0.2.1 | ☑ | 0 |
| ppx_const.2.0.1 | ☑ | 0 |
| ppx_conv_func.v0.17.0 | ☑ | 6 |
| ppx_counters.0.1 | ☑ | 0 |
| ppx_cstruct.6.2.0 | ☑ | 388 |
| ppx_csv_conv.v0.17.0 | ☑ | 4 |
| ppx_custom_printf.v0.17.0 | ☑ | 536 |
| ppx_decimal.1.0.2 | ☑ | 0 |
| ppx_default.0.1.1 | ☑ | 0 |
| ppx_defer.0.5.0 | ☑ | 0 |
| ppx_demo.v0.17.0 | ☑ | 0 |
| ppx_derive_at_runtime.v0.17.1 | ☑ | 0 |
| ppx_derivers.1.2.1 | ☑ | 2457 |
| ppx_deriving.6.1.2 | ☑ | -1 |
| ppx_deriving_cad.0.2.0 | ☑ | 0 |
| ppx_deriving_decoders.1.0 | ☑ | 0 |
| ppx_deriving_encoding.0.4.2 | ☑ | 3 |
| ppx_deriving_ezjsonm.0.4.1 | ☑ | 0 |
| ppx_deriving_hash.0.1.4 | ☑ | 3 |
| ppx_deriving_json_schema.1.0.1 | ☑ | 0 |
| ppx_deriving_jsonschema.0.0.8 | ☑ | 0 |
| ppx_deriving_jsont.0.2.1 | ☑ | 0 |
| ppx_deriving_jsoo.0.3 | ☑ | 3 |
| ppx_deriving_madcast.0.2 | ☑ | 0 |
| ppx_deriving_melange.0.1.0 | ☑ | -1 |
| ppx_deriving_popper.0.1.1 | ☑ | 2 |
| ppx_deriving_protobuf.3.0.0 | ☑ | 6 |
| ppx_deriving_protocol.0.8.1 | ☑ | 0 |
| ppx_deriving_qcheck.0.9 | ☑ | 1 |
| ppx_deriving_rpc.10.2.0 | ☑ | 9 |
| ppx_deriving_scad.1.0.0 | ☑ | 0 |
| ppx_deriving_variant_string.1.1.0 | ☑ | 0 |
| ppx_deriving_yaml.0.4.1 | ☑ | 8 |
| ppx_deriving_yojson.3.10.0 | ☑ | 153 |
| ppx_diff.v0.17.1 | ☑ | 489 |
| ppx_disable_unused_warnings.v0.17.0 | ☑ | 518 |
| ppx_distr_guards.0.3 | ☑ | 1 |
| ppx_dream_eml.1.0 | ☑ | 0 |
| ppx_embed_file.v0.17.0 | ☑ | 0 |
| ppx_enforce.0.1.0 | ☑ | 9 |
| ppx_enumerate.v0.17.0 | ☑ | 671 |
| ppx_expect.v0.17.3 | ☑ | 688 |
| ppx_expect_nobase.v0.17.3.0 | ☑ | 1 |
| ppx_ezlua.0.1 | ☑ | 0 |
| ppx_factory.0.2.0 | ☑ | 0 |
| ppx_fields_conv.v0.17.0 | ☑ | 696 |
| ppx_fixed_literal.v0.17.0 | ☑ | 557 |
| ppx_forbid.0.1.0 | ☑ | 9 |
| ppx_format.1.0 | ☑ | 0 |
| ppx_fun.0.0.9 | ☑ | 0 |
| ppx_gen_rec.2.0.0 | ☑ | 1 |
| ppx_getenv.2.1 | ☑ | 1 |
| ppx_globalize.v0.17.2 | ☑ | 657 |
| ppx_hardcaml.v0.17.1 | ☑ | 10 |
| ppx_hash.v0.17.0 | ☑ | 674 |
| ppx_hegel_compat.0.12.0 | ☑ | -1 |
| ppx_hegel_generator.0.12.0 | ☑ | -1 |
| ppx_hegel_test.0.12.0 | ☑ | -1 |
| ppx_here.v0.17.0 | ☑ | 676 |
| ppx_ignore_instrumentation.v0.17.0 | ☑ | 518 |
| ppx_import.1.12.0 | ☑ | 17 |
| ppx_inline_alcotest.1.0.0 | ☑ | 2 |
| ppx_inline_test.v0.17.1 | ☑ | 687 |
| ppx_inline_test_nobase.v0.17.0.3 | ☑ | 6 |
| ppx_interact.0.2.0 | ☑ | 0 |
| ppx_irmin.3.11.0 | ☑ | 18 |
| ppx_jane.v0.17.0 | ☑ | 521 |
| ppx_js_style.v0.17.1 | ☑ | 36 |
| ppx_jsobject_conv.0.21.1 | ☑ | 0 |
| ppx_jsonaf_conv.v0.17.1 | ☑ | 3 |
| ppx_let.v0.17.1 | ☑ | 537 |
| ppx_log.v0.17.0 | ☑ | 518 |
| ppx_lun.0.0.3 | ☑ | 0 |
| ppx_make.0.3.4 | ☑ | 5 |
| ppx_map.0.2.1 | ☑ | 0 |
| ppx_marshal.0.5.0 | ☑ | 0 |
| ppx_marshal_ext.0.5.0 | ☑ | 6 |
| ppx_matches.0.2.0 | ☑ | 0 |
| ppx_mica.0.1.0 | ☑ | 0 |
| ppx_mikmatch.1.4 | ☑ | 0 |
| ppx_minidebug.3.0.0 | ☑ | 2 |
| ppx_mixins.0.2.0 | ☑ | 1 |
| ppx_module_timer.v0.17.0 | ☑ | 518 |
| ppx_monad.0.2.0 | ☑ | 0 |
| ppx_monoid.0.3.3 | ☑ | 0 |
| ppx_mysql.1.1.3 | ☑ | 0 |
| ppx_optcomp.v0.17.1 | ☑ | 660 |
| ppx_optint.0.2.0 | ☑ | 0 |
| ppx_optional.v0.17.0 | ☑ | 520 |
| ppx_parser.0.2.1 | ☑ | 0 |
| ppx_partial.1.0 | ☑ | 1 |
| ppx_pattern_bind.v0.17.1 | ☑ | 7 |
| ppx_pipebang.v0.17.0 | ☑ | 520 |
| ppx_protocol_conv.5.2.3 | ☑ | 15 |
| ppx_protocol_conv_json.5.2.3 | ☑ | 3 |
| ppx_protocol_conv_jsonm.5.2.3 | ☑ | 0 |
| ppx_protocol_conv_msgpack.5.2.3 | ☑ | 0 |
| ppx_protocol_conv_xml_light.5.2.3 | ☑ | 3 |
| ppx_protocol_conv_xmlm.5.2.3 | ☑ | 8 |
| ppx_protocol_conv_yaml.5.2.3 | ☑ | 0 |
| ppx_pyformat.0.1.2 | ☑ | 0 |
| ppx_python.v0.17.0 | ☑ | 1 |
| ppx_quick_test.v0.17.1 | ☑ | 2 |
| ppx_rapper.3.1.0 | ☑ | 2 |
| ppx_rapper_lwt.3.1.0 | ☑ | 0 |
| ppx_regexp.0.5.2 | ☑ | 0 |
| ppx_repr.0.8.0 | ☑ | 28 |
| ppx_seq.0.3.2 | ☑ | 0 |
| ppx_sexp_conv.v0.17.1 | ☑ | 1231 |
| ppx_sexp_message.v0.17.0 | ☑ | 524 |
| ppx_sexp_value.v0.17.0 | ☑ | 535 |
| ppx_show.0.2.1 | ☑ | 4 |
| ppx_stable.v0.17.1 | ☑ | 518 |
| ppx_stable_witness.v0.17.0 | ☑ | 525 |
| ppx_string.v0.17.0 | ☑ | 531 |
| ppx_string_conv.v0.17.0 | ☑ | 518 |
| ppx_string_interpolation.1.1.0 | ☑ | 2 |
| ppx_subliner.0.2.2 | ☑ | 1 |
| ppx_system.1.0 | ☑ | 0 |
| ppx_test.1.8.0 | ☒ | 7 |
| ppx_trace.0.12 | ☑ | 1 |
| ppx_ts.0.1.6 | ☑ | 0 |
| ppx_tydi.v0.17.1 | ☑ | 518 |
| ppx_typed_fields.v0.17.1 | ☑ | 6 |
| ppx_typerep_conv.v0.17.1 | ☑ | 520 |
| ppx_units.1.0.0 | ☑ | 0 |
| ppx_unreachable.1.1 | ☑ | 1 |
| ppx_update.0.81 | ☑ | 0 |
| ppx_variants_conv.v0.17.1 | ☑ | 531 |
| ppx_viewpattern.0.1.1 | ☑ | 0 |
| ppx_windtrap.0.1.0 | ☑ | 2 |
| ppx_xml_conv.v0.17.0 | ☑ | 0 |
| ppx_yojson.1.3.0 | ☑ | 3 |
| ppx_yojson_conv.v0.17.1 | ☑ | 34 |
| ppx_yojson_conv_lib.v0.17.0 | ☑ | 45 |
| ppxlib.0.38.0 | ☑ | 2411 |
| ppxlib-tools.0.38.0 | ☑ | 0 |
| ppxlib_jane.v0.17.4 | ☑ | 1222 |
| ppxx.2.5.0 | ☒ | 8 |
| pratter.5.0.2 | ☑ | 1 |
| prbnmcn-basic-structures.0.0.1 | ☑ | 5 |
| 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 | ☑ | 3 |
| prbnmcn-mcts.0.0.2 | ☑ | 0 |
| prbnmcn-proptest.0.0.1 | ☑ | 1 |
| prbnmcn-stats.0.0.8 | ☑ | 2 |
| prbnmcn-ucb1.0.0.2 | ☑ | 1 |
| prc.0.1.0 | ☑ | 0 |
| preface.1.1.0 | ☑ | 0 |
| prelude.0.5 | ☑ | 4 |
| pretty_expressive.0.5 | ☑ | 1 |
| prettym.0.0.5 | ☑ | 62 |
| primavera.1.0.0 | ☑ | 0 |
| primes.1.3.5 | ☑ | 0 |
| pringo.1.4 | ☑ | 8 |
| print-table.0.1.3 | ☑ | 1 |
| printbox.0.12 | ☑ | 14 |
| printbox-ext-plot.0.12 | ☑ | 1 |
| printbox-html.0.12 | ☑ | 4 |
| printbox-md.0.12 | ☑ | 4 |
| printbox-text.0.12 | ☑ | 12 |
| proc-smaps.0.2.0 | ☑ | 0 |
| process.0.2.1 | ☑ | 10 |
| processor.0.2 | ☑ | 2 |
| producer.0.2.0 | ☑ | 0 |
| profunctor.v0.17.0 | ☑ | 2 |
| progress.0.5.0 | ☑ | 19 |
| prolect.1.1.3 | ☑ | 0 |
| prom.0.3 | ☑ | 0 |
| prometheus.1.3 | ☑ | 29 |
| prometheus-app.1.3 | ☑ | 14 |
| prometheus-liquidsoap.2 | ☑ | 4 |
| promise.1.1.2 | ☑ | 3 |
| promise_jsoo.0.4.3 | ☑ | 1 |
| promise_jsoo_lwt.0.4.3 | ☑ | 0 |
| prooftree.0.14 | ☑ | 0 |
| protocell.1.0.0 | ☑ | 0 |
| protocol-9p.2.1.0 | ☑ | 3 |
| protocol-9p-tool.2.1.0 | ☑ | 0 |
| protocol-9p-unix.2.1.0 | ☑ | 1 |
| protocol_version_header.v0.17.0 | ☑ | 239 |
| proton.1.0.17 | ☑ | 0 |
| proverif.2.05 | ☑ | 0 |
| proverifdoc.2.05 | ☑ | 0 |
| provider.0.0.11 | ☑ | 0 |
| prr.0.1.1 | ☑ | 0 |
| psmt2-frontend.0.4.0 | ☑ | 13 |
| psq.0.2.1 | ☑ | 312 |
| psyche.0.0.1 | ☑ | 0 |
| ptime.1.2.0 | ☑ | 588 |
| ptmap.2.0.5 | ☑ | 28 |
| ptset.1.0.1 | ☑ | 1 |
| public-suffix.0.0.2 | ☑ | 2 |
| publish.0.3.4+transition | ☑ | 3 |
| pulseaudio.0.1.5 | ☑ | 6 |
| pure-html.3.11.2 | ☑ | 3 |
| pure-splitmix.0.3 | ☑ | 0 |
| purl.1.0.0 | ☑ | 0 |
| pvec.0.1.1 | ☑ | 0 |
| pvem.0.0.1 | ☑ | 1 |
| pxshot.0.1.2 | ☒ | 0 |
| py.1.3 | ☑ | 0 |
| pyml.20250807 | ☑ | 23 |
| pyml_bindgen.0.4.1 | ☑ | 0 |
| pyre-ast.0.1.11 | ☑ | 1 |
| pyro-caml.1.0.0 | ☑ | 0 |
| pyro-caml-instruments.1.0.0 | ☑ | 2 |
| pyro-caml-ppx.1.0.0 | ☑ | 1 |
| qbf.0.3 | ☑ | 1 |
| qcaml.1.0.0 | ☑ | 0 |
| qcheck.0.91 | ☑ | 70 |
| qcheck-alcotest.0.91 | ☑ | 46 |
| qcheck-core.0.91 | ☑ | 66 |
| qcheck-lin.0.10 | ☑ | 0 |
| qcheck-multicoretests-util.0.10 | ☑ | 9 |
| qcheck-ounit.0.91 | ☑ | 16 |
| qcheck-stm.0.10 | ☑ | 9 |
| qcow.0.15.0 | ☑ | 1 |
| qcow-stream.0.15.0 | ☑ | 1 |
| qcow-tool.0.15.0 | ☑ | 0 |
| qcow-types.0.15.0 | ☑ | 3 |
| qcstm.0.1.1 | ☑ | 0 |
| qdrant.0.2.0 | ☑ | 0 |
| qinap.1.0 | ☑ | 0 |
| qiskit.2.0.1 | ☑ | 0 |
| qmp.0.20.0 | ☑ | 0 |
| qrc.0.2.0 | ☑ | 11 |
| qrencode.0.2 | ☒ | 0 |
| qtest.2.11.2 | ☑ | 20 |
| queenshead.0.1 | ☑ | 0 |
| query-json.0.6.1 | ☑ | 0 |
| quests.0.1.3 | ☑ | 1 |
| quick_print.0.12 | ☑ | 0 |
| quickjs.0.4.2 | ☑ | -1 |
| quickterface.0.1.0 | ☑ | 0 |
| r2pipe.0.0.1 | ☑ | 0 |
| radamsa.0.2 | ☑ | 0 |
| radare2.0.0.7 | ☒ | 0 |
| raga.0.1.1 | ☑ | 0 |
| randii.1.0.0 | ☑ | 0 |
| random.0.0.1 | ☑ | 0 |
| randomconv.0.2.0 | ☑ | 120 |
| randoml.0.1.5 | ☒ | 0 |
| range.0.8.3 | ☑ | 0 |
| rangeSet.0.2.1 | ☑ | 0 |
| rankers.2.0.9 | ☑ | 0 |
| rawlink.2.1 | ☑ | 3 |
| rawlink-eio.2.1 | ☑ | 0 |
| rawlink-lwt.2.1 | ☑ | 1 |
| raygui.2.2.1 | ☑ | 0 |
| raylib.2.2.1 | ☑ | 2 |
| raylib-callbacks.2.2.1 | ☑ | 0 |
| rdbg.1.199.0 | ☑ | 3 |
| rdf.1.1.0 | ☒ | 42 |
| rdf_impls.1.1.0 | ☒ | 0 |
| rdf_json_ld.1.1.0 | ☒ | 5 |
| rdf_lwt.1.1.0 | ☒ | 4 |
| rdf_mysql.1.1.0 | ☒ | 0 |
| rdf_postgresql.1.1.0 | ☒ | 0 |
| rdf_ppx.1.1.0 | ☒ | 23 |
| re.1.14.0 | ☑ | 1500 |
| re2.v0.17.0 | ☑ | 31 |
| re_parser.v0.17.0 | ☑ | 0 |
| rea.1.0.0 | ☑ | 0 |
| react.1.2.2 | ☑ | 184 |
| react-rules-of-hooks-ppx.1.2.0 | ☑ | 0 |
| reactiveData.0.3.1 | ☑ | 7 |
| reactjs-jsx-ppx.1.0.0 | ☑ | 9 |
| readline.0.2 | ☑ | 1 |
| reason.3.18.0 | ☑ | 49 |
| reason-react.0.17.0 | ☑ | 13 |
| reason-react-day-picker.0.1 | ☑ | 0 |
| reason-react-ppx.0.17.0 | ☑ | 14 |
| received.0.12.1 | ☑ | 0 |
| record_builder.v0.17.0 | ☑ | 14 |
| records.1.0.0 | ☑ | 0 |
| red-black-tree.1.0.5 | ☑ | 0 |
| redirect.0.2.1 | ☑ | 2 |
| redis.0.8 | ☑ | 12 |
| redis-async.v0.17.0 | ☑ | 0 |
| redis-lwt.0.8 | ☑ | 10 |
| redis-sync.0.8 | ☑ | 0 |
| reedsolomon.0.3 | ☑ | 0 |
| regex_parser_intf.v0.17.0 | ☑ | 29 |
| regl.0.1.0 | ☑ | 0 |
| regrade.0.1.0 | ☑ | 0 |
| relude.3.0.0 | ☑ | 0 |
| remu_ts.0.1 | ☑ | 0 |
| reparse.3.1.0 | ☑ | 3 |
| reparse-lwt.3.1.0 | ☑ | 0 |
| reparse-lwt-unix.3.1.0 | ☑ | 0 |
| reparse-unix.2.1.0 | ☑ | 0 |
| repr.0.8.0 | ☑ | 31 |
| repr-bench.0.8.0 | ☑ | 0 |
| repr-fuzz.0.8.0 | ☑ | 0 |
| res.5.0.2 | ☑ | 12 |
| rescriptdep.0.1.2 | ☑ | 0 |
| resource-pooling.1.3 | ☑ | 1 |
| resource_cache.v0.17.0 | ☑ | 1 |
| resp.0.11.0 | ☑ | 4 |
| resp-client.0.11.0 | ☑ | 3 |
| resp-mirage.0.11.0 | ☑ | 0 |
| resp-server.0.11.0 | ☑ | 2 |
| resp-unix.0.11.0 | ☑ | 0 |
| resto.1.2 | ☑ | 7 |
| resto-acl.1.2 | ☑ | 2 |
| resto-cohttp.1.2 | ☑ | 3 |
| resto-cohttp-client.1.2 | ☑ | 1 |
| resto-cohttp-self-serving-client.1.2 | ☑ | 0 |
| resto-cohttp-server.1.2 | ☑ | 1 |
| resto-directory.1.2 | ☑ | 4 |
| resto-json.1.2 | ☑ | 1 |
| restricted.2.0.0 | ☑ | 0 |
| result.1.5 | ☑ | 3983 |
| revops.2.5 | ☑ | 0 |
| rfc1951.1.6.0 | ☑ | 0 |
| rfc6287.1.0.4 | ☑ | 0 |
| rfsm.2.3 | ☑ | 0 |
| rhythm.0.0.1 | ☑ | 0 |
| rich-string.1.0.0 | ☑ | 1 |
| ringo.1.1.0 | ☑ | 2 |
| rio.0.0.8 | ☑ | 11 |
| river.0.4 | ☑ | 0 |
| rizzo.0.3.0 | ☑ | 0 |
| robotstxt.0.2.1 | ☑ | 0 |
| rock.0.20.0 | ☑ | 21 |
| rocq-core.9.2.0 | ☑ | 20 |
| rocq-devtools.9.2.0 | ☑ | 0 |
| rocq-prover.meta.1 | ☑ | 2 |
| rocq-runtime.9.2.0 | ☑ | 26 |
| rocq-stdlib.9.1.0 | ☑ | 7 |
| rocqide.9.2.0 | ☑ | 0 |
| roman.0.2 | ☑ | 0 |
| root1d.0.5.1 | ☑ | 0 |
| rope.0.6.3 | ☑ | 2 |
| rosa.0.2.0 | ☑ | 0 |
| rosetta.0.4.0 | ☑ | 32 |
| routes.2.0.0 | ☑ | 7 |
| rowex.0.0.1 | ☑ | 2 |
| rpc.9.0.0 | ☑ | 0 |
| rpc_parallel.v0.17.0 | ☑ | 0 |
| rpclib.10.2.0 | ☑ | 12 |
| rpclib-async.10.2.0 | ☑ | 0 |
| rpclib-html.10.2.0 | ☑ | 0 |
| rpclib-js.10.2.0 | ☑ | 0 |
| rpclib-lwt.10.2.0 | ☑ | 0 |
| rpmfile.0.8.0 | ☑ | 0 |
| rpmfile-cli.0.4.0 | ☑ | 0 |
| rpmfile-eio.0.5.0 | ☑ | 1 |
| rpmfile-unix.0.5.0 | ☑ | 0 |
| rresult.0.7.0 | ☑ | 885 |
| rss.3.0 | ☑ | 1 |
| rtop.3.18.0 | ☑ | 0 |
| rtree.0.2.0 | ☑ | 0 |
| rune.1.0.0~alpha3 | ☑ | 2 |
| rungen.0.0.1 | ☑ | 0 |
| runtime_events_tools.0.5.4 | ☑ | 1 |
| runtime_events_tools_bare.0.5.4 | ☑ | 0 |
| rusage.1.0.0 | ☑ | 10 |
| rust-staticlib-gen.0.2.2 | ☑ | 0 |
| rust-staticlib-virtual.0.2.2 | ☑ | 1 |
| safa.1.4 | ☑ | 1 |
| safemoney.0.3.0 | ☑ | 0 |
| safepass.3.1 | ☑ | 21 |
| saga.1.0.0~alpha2 | ☑ | 4 |
| sail.0.20.2 | ☑ | 0 |
| sail_c_backend.0.20.2 | ☑ | 0 |
| sail_coq_backend.0.20.2 | ☑ | 0 |
| sail_doc_backend.0.20.2 | ☑ | 0 |
| sail_latex_backend.0.20.2 | ☑ | 0 |
| sail_lean_backend.0.20.2 | ☑ | 0 |
| sail_lem_backend.0.20.2 | ☑ | 0 |
| sail_maker.0.20.2 | ☑ | 1 |
| sail_manifest.0.20 | ☑ | 1 |
| sail_ocaml_backend.0.20.2 | ☑ | 0 |
| sail_output.0.20.2 | ☑ | 0 |
| sail_smt_backend.0.20.2 | ☑ | 0 |
| sail_sv_backend.0.20.2 | ☑ | 0 |
| salsa20.1.2.0 | ☑ | 0 |
| salsa20-core.2.0.0 | ☑ | 0 |
| samplerate.0.1.6 | ☑ | 4 |
| sanddb.0.3.0 | ☑ | 0 |
| sarif.0.3.1 | ☑ | 0 |
| satex.0.1.2 | ☑ | 0 |
| sattools.0.1.0 | ☑ | 0 |
| saturn.1.0.0 | ☑ | 13 |
| saturn_lockfree.0.5.0 | ☑ | 3 |
| savvy.0.4.1 | ☑ | 0 |
| sawja.1.5.12 | ☑ | 0 |
| scad_ml.1.1.0 | ☑ | 1 |
| scfg.0.5 | ☑ | 2 |
| scgi.1.0 | ☑ | 0 |
| schroedinger.0.1.1 | ☒ | 0 |
| scipy.sp1.5-0.3.1 | ☑ | 1 |
| scope.1.1 | ☑ | 0 |
| scrypt.0.2.1 | ☑ | 0 |
| scrypt-kdf.1.2.0 | ☑ | 2 |
| sdl-liquidsoap.3 | ☑ | 4 |
| search.0.1.1 | ☑ | 0 |
| searchTree.0.1 | ☑ | 0 |
| secp256k1.0.5.0 | ☑ | 1 |
| secp256k1-internal.0.4.0 | ☑ | 2 |
| sedlex.3.7 | ☑ | 1800 |
| sek.20260619 | ☑ | 0 |
| sel.0.8.0 | ☑ | 2 |
| semantic_version.v0.17.0 | ☑ | 0 |
| semaphore-compat.1.0.2 | ☑ | 12 |
| semver.0.2.1 | ☑ | 0 |
| semver2.1.2.0 | ☑ | 0 |
| sendmail.0.13.0 | ☑ | 9 |
| sendmail-lwt.0.13.0 | ☑ | 4 |
| sendmail-miou-unix.0.13.0 | ☑ | 0 |
| sendmail-mirage.0.13.0 | ☑ | 0 |
| sendmsg.0.0.2 | ☑ | 0 |
| seq.base | ☑ | 2623 |
| seqes.0.4 | ☑ | 0 |
| sequencer_table.v0.17.0 | ☑ | 0 |
| serde.0.0.2 | ☑ | 3 |
| serde_debug.0.0.1 | ☑ | 0 |
| serde_derive.0.0.2 | ☑ | 1 |
| serde_json.0.0.2 | ☑ | 2 |
| serde_sexpr.0.0.1 | ☑ | 0 |
| serde_xml.0.0.1 | ☑ | 0 |
| serial.0.1.0 | ☑ | 0 |
| serialport.0.3 | ☑ | 0 |
| server-reason-react.0.4.1 | ☑ | -1 |
| session.0.5.0 | ☑ | 16 |
| session-cohttp.0.5.0 | ☑ | 8 |
| session-cohttp-async.0.5.0 | ☑ | 0 |
| session-cohttp-lwt.0.5.0 | ☑ | 5 |
| session-cookie.0.1.8 | ☑ | 2 |
| session-cookie-async.0.1.8 | ☑ | 0 |
| session-cookie-lwt.0.1.8 | ☑ | 0 |
| session-postgresql.0.5.0 | ☑ | 2 |
| session-postgresql-async.0.5.0 | ☑ | 0 |
| session-postgresql-lwt.0.5.0 | ☑ | 0 |
| session-redis-lwt.0.5.0 | ☑ | 0 |
| session-webmachine.0.5.0 | ☑ | 0 |
| setcore.1.0.2 | ☑ | 0 |
| sexp.v0.17.0 | ☑ | 0 |
| sexp_decode.0.7 | ☑ | 2 |
| sexp_diff.v0.17.0 | ☑ | 4 |
| sexp_grammar.v0.17.0 | ☑ | 2 |
| sexp_macro.v0.17.0 | ☑ | 2 |
| sexp_pretty.v0.17.0 | ☑ | 274 |
| sexp_select.v0.17.0 | ☑ | 1 |
| sexp_string_quickcheck.v0.17.0 | ☑ | 0 |
| sexplib.v0.17.0 | ☑ | 1804 |
| sexplib0.v0.17.0 | ☑ | 2634 |
| sexps-rewriter.0.0.3 | ☑ | 1 |
| sfml.0.09.2 | ☑ | 0 |
| sgf.1.0.1 | ☑ | 0 |
| sha.1.15.4 | ☑ | 69 |
| shades.1.0 | ☑ | 0 |
| shakuhachi.0.2.0 | ☒ | -1 |
| shapefile.0.2.1 | ☑ | 0 |
| shared-block-ring.3.0.1 | ☑ | 0 |
| shared-memory-ring.3.2.1 | ☑ | 1068 |
| shared-memory-ring-lwt.3.2.1 | ☑ | 1067 |
| shared-secret.0.4 | ☑ | 0 |
| shell.v0.17.0 | ☑ | 9 |
| shellwords.1.0.0 | ☒ | 0 |
| sherlodoc.3.2.1 | ☑ | 14 |
| shexp.v0.17.0 | ☑ | 2 |
| shine.0.2.3 | ☑ | 4 |
| shuttle_http.0.12.0 | ☑ | 1 |
| shuttle_websocket.0.12.0 | ☑ | 0 |
| sifun.3.0.0 | ☑ | 0 |
| signal.0.4.2 | ☑ | 0 |
| sihl.3.0.5 | ☑ | 6 |
| sihl-cache.3.0.5 | ☑ | 0 |
| sihl-contract.0.3.0~rc1 | ☑ | 10 |
| sihl-core.0.3.0~rc1 | ☑ | 11 |
| sihl-email.3.0.5 | ☑ | 0 |
| sihl-facade.0.3.0~rc1 | ☑ | 9 |
| sihl-persistence.0.3.0~rc1 | ☑ | 7 |
| sihl-queue.3.0.5 | ☑ | 0 |
| sihl-session.0.3.0~rc1 | ☑ | 1 |
| sihl-storage.3.0.5 | ☑ | 0 |
| sihl-token.3.0.5 | ☑ | 1 |
| sihl-type.0.2.2 | ☑ | 8 |
| sihl-user.3.0.5 | ☑ | 0 |
| sihl-web.0.3.0~rc1 | ☑ | 1 |
| simlog.0.0.4 | ☒ | 0 |
| simple-diff.0.3 | ☑ | 0 |
| simple63.1 | ☑ | 0 |
| simple_httpd.1.0.1 | ☑ | 1 |
| simple_httpd_caqti.1.0.1 | ☑ | 0 |
| sitemap.1.0 | ☑ | 0 |
| sklearn.sk0.23-0.3.1 | ☑ | 1 |
| slack.0.1 | ☒ | 0 |
| slacko.0.15.0 | ☑ | 0 |
| slice.0.0.4 | ☑ | 12 |
| slipshow.0.11.0 | ☑ | 1 |
| slug.1.0.1 | ☑ | 2 |
| slugline.1.0.0 | ☑ | 0 |
| sm.0.1.1 | ☑ | 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 |
| smtml.0.29.0 | ☑ | 1 |
| smtp.0.3 | ☑ | 0 |
| snappy.0.1.2 | ☑ | 1 |
| snf_mcp.0.2.1 | ☑ | 0 |
| snkv.0.1.1 | ☒ | 0 |
| snoke.0.3 | ☒ | 0 |
| solid.0.5.0 | ☒ | 2 |
| solid_server.0.5.0 | ☒ | 0 |
| solid_tools.0.5.0 | ☒ | 0 |
| solidity-common.0.2.0 | ☑ | 4 |
| solidity-parser.0.2.0 | ☑ | 3 |
| solo5.0.12.0 | ☑ | 18 |
| solo5-cross-aarch64.0.12.0 | ☑ | 1 |
| solo5-elftool.0.4.0 | ☑ | 1 |
| sortedseq_intersect.0.2.0 | ☑ | 0 |
| soundtouch.0.1.9 | ☑ | 4 |
| soupault.5.2.0 | ☑ | 0 |
| sowilo.1.0.0~alpha3 | ☑ | 1 |
| spatial-shell.6 | ☑ | 0 |
| spawn.v0.17.0 | ☑ | 338 |
| spdx_licenses.1.4.0 | ☑ | 26 |
| spectrum.1.0.0.alpha2 | ☑ | 1 |
| spectrum_capabilities.1.0.0.alpha2 | ☑ | 2 |
| spectrum_palette_ppx.1.0.0.alpha2 | ☑ | 4 |
| spectrum_palettes.1.0.0.alpha2 | ☑ | 3 |
| spectrum_tools.1.0.0.alpha2 | ☑ | 2 |
| speed.0.2.0 | ☑ | 0 |
| speex.1.0.0 | ☑ | 4 |
| spelll.0.4 | ☑ | 24 |
| spices.0.0.2 | ☑ | 11 |
| spirv.1.1.2 | ☑ | 0 |
| splay_tree.v0.17.0 | ☑ | 3 |
| splittable_random.v0.17.0 | ☑ | 521 |
| spoke.0.0.4 | ☑ | 0 |
| spotify-web-api.0.2.1 | ☑ | 0 |
| spotify_ml.0.0.2 | ☑ | 0 |
| spurs.0.1.1 | ☑ | 0 |
| sqids.0.1.0 | ☑ | 0 |
| sqlgg.20231201 | ☑ | -1 |
| sqlite3.5.4.1 | ☑ | 59 |
| sqlite3_utils.0.5 | ☑ | 0 |
| squirrel.0.1 | ☒ | 0 |
| srt.0.3.4 | ☑ | 4 |
| ssh-agent.0.4.1 | ☑ | 0 |
| ssl.0.7.0 | ☑ | 261 |
| starpath.0.1.5 | ☒ | 0 |
| starred_ml.0.0.9 | ☑ | 0 |
| statocaml.0.1.0 | ☒ | 9 |
| statocaml_changelog.0.1.0 | ☒ | 7 |
| statocaml_community.0.1.0 | ☒ | 3 |
| statocaml_db.0.1.0 | ☒ | 2 |
| statocaml_github.0.1.0 | ☒ | 7 |
| statocaml_go.0.1.0 | ☒ | 0 |
| statocaml_gui.0.1.0 | ☒ | 1 |
| statocaml_html.0.1.0 | ☒ | 2 |
| statocaml_plots.0.1.0 | ☒ | 4 |
| statocaml_profile.0.1.0 | ☒ | 5 |
| stb_image.0.5 | ☑ | 2 |
| stb_image_write.0.2 | ☑ | 1 |
| stb_truetype.0.7 | ☑ | 6 |
| stdcompat.21.1 | ☑ | 78 |
| stdint.0.7.2 | ☑ | 75 |
| stdint-literals.1.0 | ☑ | 0 |
| stdio.v0.17.0 | ☑ | 1683 |
| stdlib-diff.0.1.3 | ☑ | 0 |
| stdlib-random.1.2.0 | ☑ | 3 |
| stdlib-shims.0.3.0 | ☑ | 2648 |
| stdune.3.24.0 | ☑ | -1 |
| stem.0.0.1 | ☑ | 1 |
| stitch.0.0.0 | ☑ | 0 |
| stk.0.5.0 | ☒ | 6 |
| stk_iconv.0.5.0 | ☑ | 1 |
| stk_ocf.0.5.0 | ☒ | 3 |
| stk_ppx.0.5.0 | ☑ | 7 |
| stk_rdf.0.5.0 | ☒ | 1 |
| stk_xml.0.5.0 | ☒ | 0 |
| 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_rdf.1.1.0 | ☒ | 2 |
| stog_rel_href.1.1.0 | ☑ | 2 |
| stog_server.1.1.0 | ☑ | 2 |
| stog_server_multi.1.1.0 | ☑ | 1 |
| stog_sitemap.1.1.0 | ☑ | 2 |
| stog_writing.1.1.0 | ☑ | 2 |
| stone.0.6.1 | ☑ | 0 |
| store.0.2 | ☑ | 13 |
| store-dict.0.1 | ☑ | 0 |
| store-pushqueue.0.1 | ☑ | 0 |
| stored_reversed.v0.17.0 | ☑ | 8 |
| stramon-lib.0.3.0 | ☑ | 0 |
| streamable.v0.17.1 | ☑ | 11 |
| streaming.0.8.0 | ☑ | 0 |
| stringCodepointSplitter.0.0.2 | ☑ | 0 |
| string_dict.v0.17.0 | ☑ | 0 |
| stringext.1.6.0 | ☑ | 698 |
| stringx.0.3.0 | ☑ | 0 |
| strymonas-pure.2.1.1 | ☑ | 0 |
| sturgeon.0.4.2 | ☑ | 0 |
| styled-ppx.0.61.0 | ☑ | 0 |
| subprocess.0.2.1 | ☑ | 0 |
| subtype-refinement.0.2 | ☑ | 0 |
| sun.0.1 | ☑ | 0 |
| svmwrap.5.1.1 | ☑ | 0 |
| swapfs.0.1.0 | ☑ | 0 |
| swhid.0.2 | ☑ | 0 |
| swhid_core.0.1 | ☑ | 47 |
| swipl.0.5 | ☑ | 0 |
| symex.0.3 | ☑ | 0 |
| symkat.1.4 | ☑ | 0 |
| symphony-orchestrator-tui.0.1.0 | ☑ | 0 |
| synchronizer.0.3 | ☑ | 0 |
| syndic.1.8.0 | ☑ | 2 |
| synopsis.1.1 | ☑ | 0 |
| sys-socket.1.0.0 | ☑ | 1 |
| sys-socket-unix.1.0.0 | ☑ | 0 |
| syslog.2.0.2 | ☑ | 4 |
| syslog-message.1.2.0 | ☑ | 17 |
| syslog-rfc5424.0.2 | ☑ | 0 |
| systemverilog.0.0.2 | ☑ | 0 |
| syto.0.1.0 | ☑ | 0 |
| tablecloth-base.0.0.10 | ☑ | 1 |
| tablecloth-native.transition | ☑ | 0 |
| tabr.0.1.2 | ☑ | 0 |
| tacit.1.0.0 | ☑ | 0 |
| taglib.0.3.10 | ☒ | 3 |
| talaria-bibtex.0.5 | ☑ | 1 |
| talon.1.0.0~alpha3 | ☑ | 1 |
| tar.3.5.0 | ☑ | 5 |
| tar-eio.3.5.0 | ☑ | 0 |
| tar-mirage.3.5.0 | ☑ | 0 |
| tar-unix.3.5.0 | ☑ | 2 |
| tbls.0.4.0 | ☑ | 0 |
| tcalc.1.1.1 | ☑ | 0 |
| tcpip.9.0.1 | ☑ | 106 |
| tcs-lib.0.6 | ☑ | 3 |
| tcx.0.25.0 | ☑ | 0 |
| tdigest.2.2.1 | ☑ | 0 |
| telemetry.0.0.1 | ☑ | 6 |
| telltime.0.0.3 | ☑ | 0 |
| tensorboard.0.0.1 | ☑ | 0 |
| term-indexing.0.0.1 | ☑ | 0 |
| term-tools.0.0.2 | ☑ | 0 |
| termbox.0.1.0 | ☒ | 0 |
| terminal.0.5.0 | ☑ | 20 |
| terminal_size.0.2.0 | ☑ | 6 |
| terml.0.0.1 | ☑ | 0 |
| testcontainers.0.1.0 | ☑ | 10 |
| testcontainers-elasticsearch.0.1.0 | ☑ | 0 |
| testcontainers-kafka.0.1.0 | ☑ | 0 |
| testcontainers-localstack.0.1.0 | ☑ | 0 |
| testcontainers-memcached.0.1.0 | ☑ | 0 |
| testcontainers-mockserver.0.1.0 | ☑ | 0 |
| testcontainers-mongo.0.1.0 | ☑ | 0 |
| testcontainers-mysql.0.1.0 | ☑ | 0 |
| testcontainers-postgres.0.1.0 | ☑ | 0 |
| testcontainers-rabbitmq.0.1.0 | ☑ | 0 |
| testcontainers-redis.0.1.0 | ☑ | 0 |
| testo.0.5.0 | ☑ | 8 |
| testo-diff.0.5.0 | ☑ | 3 |
| testo-lwt.0.5.0 | ☑ | 0 |
| testo-util.0.5.0 | ☑ | 2 |
| testu01.1.2.3-0.2 | ☑ | 3 |
| textmate-language.0.6.0 | ☑ | 4 |
| textrazor.0.1.1 | ☑ | 0 |
| textutils.v0.17.0 | ☑ | 229 |
| textutils_kernel.v0.17.0 | ☑ | 1 |
| textwrap.0.2.1 | ☑ | 1 |
| tezos-base58.1.0.0 | ☑ | 9 |
| tezos-context-hash.1.0.0 | ☑ | 1 |
| tezos-rust-libs.1.1 | ☑ | 2 |
| tezt.4.3.0 | ☑ | 22 |
| tezt-bam.0.4 | ☑ | 0 |
| tgls.0.9.1 | ☑ | 7 |
| theo.0.1.0 | ☑ | 0 |
| theora.1.0.0 | ☑ | 6 |
| thread-local-storage.0.2 | ☑ | 54 |
| thread-table.1.0.0 | ☑ | 125 |
| tidy_email.0.0.1 | ☑ | 3 |
| tidy_email_mailgun.0.0.1 | ☑ | 0 |
| tidy_email_sendgrid.0.0.1 | ☑ | 0 |
| tidy_email_smtp.0.0.1 | ☑ | 0 |
| tilde_f.v0.17.0 | ☑ | 5 |
| time_now.v0.17.0 | ☑ | 637 |
| timed.1.1 | ☑ | 1 |
| timedesc.3.1.2 | ☑ | 4 |
| timedesc-json.3.1.2 | ☑ | 0 |
| timedesc-sexp.3.1.2 | ☑ | 0 |
| timedesc-tzdb.3.1.2 | ☑ | 5 |
| timedesc-tzlocal.3.1.2 | ☑ | 6 |
| timedesc-tzlocal-js.3.1.2 | ☑ | 0 |
| timere.0.8.0 | ☑ | 2 |
| timezone.v0.17.0 | ☑ | 266 |
| 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.21 | ☑ | 10 |
| tiny_httpd_camlzip.0.21 | ☑ | 0 |
| tiny_httpd_eio.0.21 | ☑ | 0 |
| tinyfiledialogs.1.0 | ☑ | 0 |
| tip-parser.0.6 | ☑ | 0 |
| tjr_simple_earley.2017-11-14e | ☑ | 0 |
| tldr.0.3.0 | ☑ | 0 |
| tls.2.1.1 | ☑ | 335 |
| tls-async.2.1.1 | ☑ | 6 |
| tls-eio.2.1.1 | ☑ | 19 |
| tls-liquidsoap.1 | ☑ | 4 |
| tls-lwt.2.1.1 | ☑ | 238 |
| tls-miou-unix.2.1.1 | ☑ | 11 |
| tls-mirage.2.1.1 | ☑ | 67 |
| tm-grammars.2.0.0 | ☑ | 2 |
| toc.0.1.0 | ☑ | 0 |
| toffee.0.1.0 | ☑ | 5 |
| tofn.0.12 | ☑ | 0 |
| togglelog.0.1.1 | ☑ | 0 |
| toml.7.1.0 | ☑ | 23 |
| toml-cconv.5.0.0 | ☑ | 0 |
| toml_cconv.7.0.0 | ☑ | 0 |
| top-closure.3.24.0 | ☑ | -1 |
| tophide.1.1.0 | ☑ | 1 |
| topiary.0.6.0 | ☒ | 1 |
| topkg.1.1.1 | ☑ | 2424 |
| topkg-care.1.1.1 | ☑ | 0 |
| toplevel_backend.v0.17.0 | ☑ | 1 |
| toplevel_expect_test.v0.17.0 | ☑ | 0 |
| topojson.0.1.0 | ☑ | 1 |
| topojsone.0.1.0 | ☑ | 0 |
| topological_sort.v0.17.0 | ☑ | 0 |
| torch.v0.17.0 | ☒ | 0 |
| tplib.1.3 | ☒ | 0 |
| tqdm.0.1 | ☑ | 0 |
| trace.0.12 | ☑ | 40 |
| trace-fuchsia.0.12 | ☑ | 2 |
| trace-runtime-events.0.12 | ☑ | 0 |
| trace-tef.0.12 | ☑ | 8 |
| tracing.v0.17.0 | ☑ | 2 |
| tracy-client.0.7.1 | ☑ | 0 |
| traits.0.1.0 | ☑ | 0 |
| trampoline.0.1.0 | ☑ | 0 |
| transept.0.1.0 | ☑ | 0 |
| transom.0.2.0 | ☑ | 0 |
| traverse.0.3.0 | ☒ | 7 |
| trax.0.4.0 | ☑ | 0 |
| tree-sitter.0.1.0 | ☑ | 4 |
| tree_layout.0.2 | ☑ | 0 |
| trexio.2.2.0 | ☒ | 0 |
| trie.1.0.0 | ☑ | 151 |
| trs.1.0.0 | ☑ | 0 |
| tsdl.1.3.0 | ☑ | 36 |
| tsdl-image.0.6 | ☑ | 28 |
| tsdl-mixer.0.6 | ☑ | 0 |
| tsdl-ttf.0.7 | ☑ | 27 |
| tsort.2.2.0 | ☑ | 15 |
| ttweetnacl.0.1.0 | ☑ | 0 |
| tty.0.0.2 | ☑ | 11 |
| tuareg.3.0.1 | ☑ | 2 |
| tube.4.4.0 | ☑ | 0 |
| tuntap.2.0.2 | ☑ | 2 |
| tw.1.0.0 | ☑ | 0 |
| twirp_cohttp_lwt_unix.0.2 | ☑ | 0 |
| twirp_core.0.2 | ☑ | 3 |
| twirp_ezcurl.0.2 | ☑ | 0 |
| twirp_tiny_httpd.0.2 | ☑ | 0 |
| twostep.1.0.1 | ☑ | 2 |
| tyabt.0.1.0 | ☑ | 0 |
| type_eq.0.0.1 | ☑ | 1 |
| type_id.0.0.1 | ☑ | 0 |
| typed_list.0.0.1.1 | ☑ | 0 |
| typeid.2.0.0 | ☑ | 0 |
| typerep.v0.17.1 | ☑ | 521 |
| typeset.0.4 | ☑ | 0 |
| tyre.1.0 | ☑ | 5 |
| tyxml.4.6.0 | ☑ | 111 |
| tyxml-jsx.4.6.0 | ☑ | 2 |
| tyxml-lwd.0.5 | ☑ | 0 |
| tyxml-ppx.4.6.0 | ☑ | 2 |
| tyxml-syntax.4.6.0 | ☑ | 4 |
| ubase.0.20 | ☑ | 4 |
| ubpf.0.2 | ☑ | 0 |
| uchar.0.0.2 | ☑ | 1916 |
| uecc.0.4 | ☑ | 0 |
| ufind.0.2.0 | ☑ | 0 |
| uint.2.0.1 | ☑ | 18 |
| ulid.0.1 | ☑ | 0 |
| um-abt.0.1.7 | ☑ | 0 |
| unidecode.0.5.0 | ☑ | 0 |
| unikraft.0.20.0 | ☑ | 13 |
| unikraft-musl.0.20.0 | ☑ | 13 |
| union-find-lattice.0.1.0 | ☑ | 0 |
| unisim_archisec.0.0.14 | ☑ | 2 |
| unison.2.53.8 | ☑ | 1 |
| unison-gui.2.53.8 | ☑ | 0 |
| universal-portal.0.3.0 | ☑ | 0 |
| universo.2.7 | ☑ | 0 |
| unix-dirent.0.3.5 | ☑ | 0 |
| unix-errno.0.6.2 | ☑ | 17 |
| unix-type-representations.0.1.3 | ☑ | 6 |
| unix-unistd.0.4.0 | ☑ | 0 |
| unstrctrd.0.4 | ☑ | 65 |
| uopt.v0.17.0 | ☑ | 415 |
| uri.4.4.0 | ☑ | 679 |
| uri-bench.4.4.0 | ☑ | 0 |
| uri-re.4.4.0 | ☑ | 0 |
| uri-sexp.4.4.0 | ☑ | 296 |
| uring.2.15.0 | ☑ | 42 |
| uring-trace.0.1.0 | ☑ | 0 |
| uritemplate.0.2.0 | ☑ | 0 |
| urn.20231124 | ☑ | 0 |
| user-agent-parser.0.2.0 | ☑ | 0 |
| user-setup.0.8 | ☑ | 0 |
| username_kernel.v0.17.0 | ☑ | 0 |
| uspf.0.2.1 | ☑ | 4 |
| uspf-lwt.0.2.1 | ☑ | 0 |
| uspf-mirage.0.2.1 | ☑ | 0 |
| uspf-unix.0.0.4 | ☑ | 0 |
| utcp.0.0.5 | ☒ | 11 |
| utop.2.17.0 | ☑ | 119 |
| uucd.17.0.0 | ☑ | 3 |
| uucp.17.0.0 | ☑ | 334 |
| uuidm.0.9.10 | ☑ | 250 |
| uunf.17.0.0 | ☑ | 361 |
| uuseg.17.0.0 | ☑ | 198 |
| uutf.1.0.4 | ☑ | 1328 |
| uuuu.0.4.0 | ☑ | 30 |
| validate.1.1.0 | ☑ | 0 |
| validator.0.2.3 | ☑ | 0 |
| valkey.0.4.0 | ☑ | 0 |
| variantslib.v0.17.0 | ☑ | 532 |
| varray.0.2 | ☑ | 0 |
| vcardgen.1.2 | ☑ | 0 |
| vchan.6.0.2 | ☑ | 14 |
| vchan-xen.6.0.2 | ☑ | 2 |
| vdom.0.3 | ☑ | 7 |
| vec.0.4.0 | ☑ | 1 |
| vector.1.0.0 | ☑ | 22 |
| vector3.1.0.0 | ☑ | 10 |
| vendredi.0.1.0 | ☑ | 0 |
| versioned_polling_state_rpc.v0.17.0 | ☑ | 2 |
| vg.0.9.5 | ☑ | 6 |
| vhd-format.0.13.0 | ☑ | 1 |
| vhd-format-lwt.0.13.0 | ☑ | 0 |
| vhdlib.0.9.1 | ☒ | 0 |
| vif.0.0.1~beta3 | ☑ | 1 |
| vifu.0.0.1~beta3 | ☒ | 0 |
| virtfs.1.1.0 | ☑ | 0 |
| visitors.20260520 | ☑ | 11 |
| vlt.0.2.5 | ☑ | 28 |
| voaacenc.0.1.1 | ☑ | 0 |
| vocal.0.1 | ☑ | 0 |
| volgo.0.0.22 | ☑ | 10 |
| volgo-base.0.0.22 | ☑ | 2 |
| volgo-git-backend.0.0.22 | ☑ | 7 |
| volgo-git-eio.0.0.22 | ☑ | 1 |
| volgo-git-unix.0.0.22 | ☑ | 4 |
| volgo-hg-backend.0.0.22 | ☑ | 5 |
| volgo-hg-eio.0.0.22 | ☑ | 0 |
| volgo-hg-unix.0.0.22 | ☑ | 3 |
| volgo-vcs.0.0.22 | ☑ | 0 |
| vorbis.1.0.0 | ☑ | 4 |
| vpt.5.0.0 | ☑ | 1 |
| vscoq-language-server.2.4.3 | ☑ | 0 |
| vsrocq-language-server.2.4.3+1 | ☑ | 0 |
| vue-jsoo.0.3 | ☑ | 0 |
| vue-ppx.0.1.0 | ☑ | 0 |
| wall.0.4.1 | ☑ | 0 |
| wasm.2.0.2 | ☑ | 0 |
| wasm_of_ocaml-compiler.6.4.1 | ☑ | 6 |
| wasmer.1.2.1 | ☑ | 0 |
| wasmtime.0.0.3 | ☒ | 0 |
| wax.0.1.0 | ☑ | 0 |
| wax-lib.0.1.0 | ☑ | 1 |
| wayland.2.3 | ☑ | 0 |
| waylaunch.0.3.0 | ☑ | 0 |
| wcwidth.1.1.0 | ☑ | 0 |
| webauthn.0.2.0 | ☑ | 0 |
| webbrowser.0.6.2 | ☑ | 3 |
| webidl.1.4 | ☑ | 3 |
| webmachine.0.7.0 | ☑ | 18 |
| websocket.2.17 | ☑ | 29 |
| websocket-async.2.17 | ☑ | 1 |
| websocket-lwt-unix.2.17 | ☑ | 26 |
| websocketml.0.1.1 | ☑ | 0 |
| webtest.2.0.0 | ☑ | 6 |
| webtest-js.2.0.0 | ☑ | 5 |
| why3.1.8.2 | ☑ | 12 |
| why3-coq.1.8.2 | ☑ | 2 |
| why3-ide.1.8.2 | ☑ | 0 |
| why3find.1.3.0 | ☑ | 1 |
| wikitext.3.0.1 | ☑ | 0 |
| win-error.1.0 | ☑ | 4 |
| win-eventlog.0.4 | ☑ | 0 |
| windtrap.0.1.0 | ☑ | 14 |
| wire.1.1.0 | ☑ | 0 |
| wol.1.0 | ☑ | 2 |
| wol-eio.1.0 | ☑ | 0 |
| wol-mirage.1.0 | ☑ | 0 |
| ws-server.0.1 | ☑ | 0 |
| wtf8.1.0.2 | ☑ | 1 |
| wtr.3.0.0 | ☑ | 1 |
| wtr-ppx.3.0.0 | ☑ | 0 |
| wu-manber-fuzzy-search.0.1.0 | ☑ | 0 |
| x509.1.1.1 | ☑ | 378 |
| xapi-backtrace.0.8 | ☑ | 5 |
| xapi-inventory.1.2.3 | ☑ | 0 |
| xapi-rrd.1.12.0 | ☑ | 0 |
| xapi-stdext-date.4.24.0 | ☑ | 0 |
| xapi-stdext-encodings.4.24.0 | ☑ | 0 |
| xapi-stdext-pervasives.4.24.0 | ☑ | 4 |
| xapi-stdext-std.4.24.0 | ☑ | 0 |
| xapi-stdext-threads.4.24.0 | ☑ | 1 |
| xapi-stdext-unix.4.24.0 | ☑ | 2 |
| xapi-stdext-zerocheck.4.24.0 | ☑ | 0 |
| xcursor.0.1.0 | ☑ | 0 |
| xdg.3.24.0 | ☑ | -1 |
| xdg-basedir.0.0.5 | ☑ | 3 |
| xdge.1.1.0 | ☑ | 0 |
| xedbindings.0.14 | ☑ | 0 |
| xen-evtchn.2.1.0 | ☑ | 2 |
| xen-evtchn-unix.2.1.0 | ☒ | 1 |
| xen-gnt.4.0.2 | ☑ | 2 |
| xenstore.2.4.0 | ☑ | 1071 |
| xenstore-tool.1.5.0 | ☑ | 0 |
| xenstore_transport.1.5.0 | ☑ | 16 |
| xkbcommon.0.1 | ☑ | 0 |
| xlsx2csv.0.1.2 | ☑ | 0 |
| xmelly.1.0.0 | ☑ | 0 |
| xml-light.2.5 | ☑ | 35 |
| xmldiff.0.7.0 | ☑ | 8 |
| xmldiff_js.0.7.0 | ☑ | 3 |
| xmlm.1.4.0 | ☑ | 166 |
| xmlplaylist.0.1.5 | ☑ | 4 |
| xoshiro.0.1 | ☑ | 0 |
| xtmpl.1.2.0 | ☑ | 42 |
| xtmpl_js.1.2.0 | ☑ | 3 |
| xtmpl_ppx.1.2.0 | ☑ | 31 |
| yaml.3.2.0 | ☑ | 44 |
| yaml-sexp.3.2.0 | ☑ | 2 |
| yamlx.0.3.0 | ☑ | 1 |
| yocaml.3.0.0 | ☑ | 13 |
| yocaml_cmark.1.0.0 | ☑ | 0 |
| yocaml_cmarkit.3.0.0 | ☑ | 0 |
| yocaml_eio.3.0.0 | ☑ | 0 |
| yocaml_git.3.0.0 | ☑ | 0 |
| yocaml_jingoo.3.0.0 | ☑ | 0 |
| yocaml_liquid.3.0.0 | ☑ | 0 |
| yocaml_markdown.3.0.0 | ☑ | 0 |
| yocaml_mustache.3.0.0 | ☑ | 0 |
| yocaml_omd.3.0.0 | ☑ | 0 |
| yocaml_otoml.3.0.0 | ☑ | 0 |
| yocaml_runtime.3.0.0 | ☑ | 3 |
| yocaml_syndication.3.0.0 | ☑ | 0 |
| yocaml_unix.3.0.0 | ☑ | 0 |
| yocaml_yaml.3.0.0 | ☑ | 0 |
| yojson.3.0.0 | ☑ | 1918 |
| yojson-bench.2.0.2 | ☑ | 0 |
| yojson-five.3.0.0 | ☑ | 1 |
| yosqlite.0.2 | ☑ | 0 |
| yultracer.0.2.0 | ☑ | 0 |
| yurt.0.6 | ☑ | 0 |
| yuscii.0.3.0 | ☑ | 30 |
| yuujinchou.5.2.0 | ☑ | 2 |
| z3.4.16.0 | ☑ | 38 |
| z3_tptp.4.11.2 | ☑ | 0 |
| zanuda.2.1.0 | ☑ | 0 |
| zar.0.9.3 | ☑ | 0 |
| zarith.1.14 | ☑ | 836 |
| zarith_stubs_js.v0.17.0 | ☑ | 28 |
| zarr.0.1.0 | ☑ | 3 |
| zarr-eio.0.1.0 | ☑ | 0 |
| zarr-lwt.0.1.0 | ☑ | 0 |
| zarr-sync.0.1.0 | ☑ | 0 |
| zdd.0.5 | ☑ | 0 |
| zed.3.2.3 | ☑ | 147 |
| zeit.0.1.0 | ☑ | 1 |
| zelus.2.2 | ☑ | 1 |
| zelus-gtk.2.2 | ☑ | 0 |
| zenon.0.8.5 | ☑ | 0 |
| zenon_modulo.0.5.0 | ☑ | 0 |
| zipc.0.2.0 | ☑ | 0 |
| zlib.0.8 | ☑ | 3 |
| zlist.0.5.0 | ☑ | 0 |
| zmq.5.3.0 | ☑ | 18 |
| zmq-async.5.3.0 | ☑ | 0 |
| zmq-eio.5.3.0 | ☑ | 0 |
| zmq-lwt.5.3.0 | ☑ | 4 |
| zstandard.v0.17.0 | ☑ | 3 |
| zstd.0.4 | ☑ | 2 |
| zxcvbn.2.4+1 | ☑ | 0 |
Home|Differences with the last checks|Previous runs