package dune-site
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Embed locations information inside executable and libraries
Install
Dune Dependency
Authors
Maintainers
Sources
dune-3.18.0.tbz
sha256=b7450daeadc3786f6d229f1b8be98a3de1d8d7017446d8c43a3940aa37db2ffb
sha512=e28d1ac9b25307ca167721760e1cec09f41bd602b88c8a882c1febdf20b5d5db55d38b69ce62cab4ad6552c408a230e465afc1654afe0adb2a7551007c278417
Description
Published: 03 Apr 2025
Dependencies (2)
-
dune-private-libs
= version -
dune
>= "3.12"
Dev Dependencies (1)
-
odoc
with-doc
Used by (32)
-
alt-ergo
>= "2.5.0" - binsec
- caisar
-
calcium
< "0.4.0" -
camomile
>= "2.0.0" -
caqti
>= "2.1.1" - conan-cli
- diffast-core
- diffast-langs-cpp
- diffast-langs-cpp-spec
- diffast-langs-fortran
- diffast-langs-fortran-spec
- diffast-langs-java
- diffast-langs-java-spec
- diffast-langs-python
- diffast-langs-python-spec
- diffast-langs-verilog
- diffast-langs-verilog-spec
- flint
-
frama-c
>= "26.0~beta" -
gettext
>= "0.5.0" - goblint
-
leaflet
>= "0.2" - libsail
- liquidsoap-lang
- matita
- ortac-core
-
owi
>= "0.2" -
piaf
>= "0.2.0" -
stog
>= "0.20.0" - uring-trace
- why3find
Conflicts
None
On This Page