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

Install

Authors

Maintainers

Sources

dune-3.8.1.tbz
sha256=9413a5d6eb9d7968a0463debb9d9f1be73025345809b827978d0c14db76cf914
sha512=6857b64e7ca8ba452937539d5996c8d0941b25d82313cfad9e1e6b835a04fb86605beccdc86400cc705ad6a969171524091ab6981df87629b542cc172b38746b

Description

Published: 06 Jun 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