Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-ml/
dune-build-info

Embed locations informations inside executable and libraries

https://github.com/ocaml/dune

Dependencies Reverse-Dependencies

VersionRDEPENDDEPENDBDEPENDIDEPENDPDEPEND
dev-ml/reason-3.12.0
dev-ml/reason-3.13.0
sci-mathematics/alt-ergo-2.4.3-r2
sci-mathematics/easycrypt-2024.01-r1
sci-mathematics/easycrypt-2024.09
sci-mathematics/kind2-1.9.0

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: