index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
coq.opam
Age
Commit message (
Expand
)
Author
2021-03-03
[build] Split stdlib to it's own opam package.
Emilio Jesus Gallego Arias
2020-12-16
Add ounit2 to with-test dependencies
Lasse Blaauwbroek
2020-12-04
[dune] [opam] Disable dune subst in opam files until the upstream fix is prop...
Emilio Jesus Gallego Arias
2020-11-15
[dune] [opam] Generate opam files automatically using Dune.
Emilio Jesus Gallego Arias
2020-09-17
[build] Don't link `num` anymore in Coq
Emilio Jesus Gallego Arias
2020-09-15
[zarith] [micromega] Bump to 1.10 and remove some hacks
Emilio Jesus Gallego Arias
2020-08-27
[numeral] [plugins] Switch from `Big_int` to ZArith.
Emilio Jesus Gallego Arias
2020-06-24
Revert "[opam] Don't disable native compute in opam.dev file"
Gaëtan Gilbert
2020-04-11
[dune] [stdlib] Build the standard library natively with Dune.
Emilio Jesus Gallego Arias
2020-04-11
[ci] [build] Bump Dune to 2.5.0
Emilio Jesus Gallego Arias
2020-01-31
[opam] Don't disable native compute in opam.dev file
Emilio Jesus Gallego Arias
2020-01-17
[dune] [dbg] Add support for coqtop in dune-dbg
Emilio Jesus Gallego Arias
2019-12-04
[dune] Update to dune language version 2.0
Emilio Jesus Gallego Arias
2019-11-04
fix(*.opam): Add missing version
Erik Martin-Dorel
2019-08-22
[dune] Move to Dune 1.10, use coq.pp directive.
Emilio Jesus Gallego Arias
2019-05-02
[opam] [dune] Fix opam build by correctly setting prefix.
Emilio Jesus Gallego Arias
2019-04-26
[opam] Use version to provide better package bounds.
Emilio Jesus Gallego Arias
2019-04-14
Fix coq/coq#9956
Erik Martin-Dorel
2018-11-21
[camlp5] Remove dependency on camlp5.
Emilio Jesus Gallego Arias
2018-11-08
Revert "Merge PR #8923: Bump camlp5 minimal version and use its safe API."
Pierre-Marie Pédrot
2018-11-07
Bump up the minimal camlp5 version to 7.06.
Pierre-Marie Pédrot
2018-10-23
[dune] [opam] Move to OPAM 2.0
Emilio Jesus Gallego Arias
2018-10-05
[ci] [dune] [opam] Fixes to OPAM and CI target.
Emilio Jesus Gallego Arias
2018-09-21
[dune] [configure] Allow to set prefix using environment variable.
Emilio Jesus Gallego Arias
2018-09-20
[opam] Fix typo in build variable.
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
