index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dune
Age
Commit message (
Expand
)
Author
2018-10-23
[dune] [opam] Move to OPAM 2.0
Emilio Jesus Gallego Arias
2018-10-11
Merge PR #8681: [dune] Fix and improve flags:
Théo Zimmermann
2018-10-11
[dune] Add optimizing flags to release profile.
Emilio Jesus Gallego Arias
2018-10-11
[dune] [test-suite] Support for running the test suite with Dune.
Emilio Jesus Gallego Arias
2018-10-09
[dune] Provide an optimized build profile with inlining reports.
Emilio Jesus Gallego Arias
2018-10-08
[dune] Fix bad interaction among PR #8627 and #8657
Emilio Jesus Gallego Arias
2018-10-08
Merge PR #8657: [dune] Refactor files following advice from upstream.
Théo Zimmermann
2018-10-05
[dune] Refactor files following advice from upstream.
Emilio Jesus Gallego Arias
2018-10-03
[dune] [opam] Install `revision` file when building with Dune.
Emilio Jesus Gallego Arias
2018-09-06
[dune] [ci] Fix and test release profile + use 1.1 dune-workspace
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
