Embed locations information inside executable and libraries

Description

Published: 24 Nov 2022

Dependencies (3)

  1. odoc with-doc
  2. dune-private-libs = version
  3. dune >= "3.5"

Reverse Dependencies (9)

  1. binsec >= "0.4.0"
  2. caisar
  3. calcium
  4. conan-cli
  5. flint
  6. frama-c >= "26.0~beta"
  7. goblint >= "1.1.1"
  8. libsail
  9. stog >= "0.20.0"

Conflicts

    None

Install

Documentation github.com Readme Changelog MIT License Edit opam file

Authors

Maintainers

Sources

dune-3.6.1.tbz
sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce
sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52