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

github.com Edit opam file Versions (47)

Authors

J

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

Maintainers

J

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

Sources

dune-3.17.1.tbz

sha256=6b9ee5ed051379a69ca45173ac6c5deb56b44a1c16e30b7c371343303d835ac6

sha512=fed5b091c307a2817e415456bd66a6bc98d7daaedd08a388b8544a6371346f9227765bcceb6b480a2192e0ec198cd6a818ba50af56819fd70992b14a4d0baccf

Description

Published: 19 Dec 2024

Dependencies (2)

dune-private-libs = version
dune >= "3.12"

Dev Dependencies (1)

odoc with-doc

Used by (19)

alt-ergo >= "2.5.0"
binsec >= "0.4.0"
caisar
calcium < "0.4.0"
camomile >= "2.0.0"
caqti >= "2.1.1"
conan-cli
flint
frama-c >= "26.0~beta"
goblint >= "1.1.1"
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

Description
Dependencies (2)
Dev Dependencies (1)
Used by (19)
Conflicts