dune-site
  1. Overview
  2. Docs
Embed locations information inside executable and libraries

Install

github.com Readme Changelog MIT License Edit opam file

Authors

  1. J
    Jane Street Group, LLC <opensource@janestreet.com>

Maintainers

  1. J
    Jane Street Group, LLC <opensource@janestreet.com>

Sources

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

Description

Published: 24 Nov 2022

Dependencies (2)

  1. dune-private-libs = version
  2. dune >= "3.5"

Dev Dependencies (1)

  1. odoc with-doc

Used by (10)

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

Conflicts

None