coq - The formal proof system

Age	Commit message (Expand)	Author
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