package dune-site
Build not yet checked
Embed locations information inside executable and libraries
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.25.0.tbz
sha256=1d706779fa8405769a1ae667e4baaf4220ed87ec9d8be9d4fea0cf75bd79013b
sha512=5a03cac721d558b75d68888be0fab149bff7dd3e21a42ea7ac127e44d82b1d6b0454eb4fc9d2395815c5faecd66d4b553e6226508b788bd5a60530b457ecbd19
Description
Added to opam-repository:
Dependencies (2)
-
dune-private-libs
= version -
dune
>= "3.25"
Dev Dependencies (1)
-
odoc
with-doc
Optional Dependencies
None
Used by (41)
-
acgtk
>= "2.2.0" -
alt-ergo
>= "2.5.1" - 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
-
dolmen
>= "0.11" - flint
-
forester
>= "5.0" -
frama-c
>= "26.0~beta" -
gettext
>= "0.5.0" - goblint
- hegel
-
lambdapi
>= "4.0.0" -
leaflet
>= "0.2" - libsail
- liquidsoap-lang
- matita
-
neural_nets_lib
>= "0.6.0" - ortac-core
-
owi
>= "0.2" -
piaf
>= "0.2.0" -
quill
< "1.0.0~alpha3" - scope
-
smtml
>= "0.22.0" -
stog
>= "0.20.0" - uring-trace
- why3find
Conflicts
None
Build status
Results of building dune-site with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.
Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.
This version is not in the latest run; the versions below are.
| Version | OCaml 4.11 | OCaml 4.14 | OCaml 5.2 | OCaml 5.4 | OCaml 5.5 |
|---|---|---|---|---|---|
| 3.24.2 | n/a | good | good | good | good |
| 3.22.2 | good | good | good | good | good |
- good Package successfully built
- partial One of the dependencies failed to build
- bad Package failed to build
- n/a Package is not available in this environment
- internal Internal failure