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.7.0.tbz
sha256=e2d637c9d080318fedf5e71d2a29fb367624f82ac4a26e83df2b3a03550528b8
sha512=586e47ee45cd53a8c13095bde0b47de99aad9462d0a52199362140b5b654ca862597fa9f27f729a8cc594684ac46858848f9fa76f8f06dc8dc8ab8b1186a3295

Description

Published: 20 Feb 2023

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