coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-05-20	Bump nixpkgs to get ocamlformat 0.14.2.	Théo Zimmermann

2020-04-11	[ci] [build] Bump Dune to 2.5.0	Emilio Jesus Gallego Arias
	It is unfortunate that we cannot install coqide and Dune 2.5.0 in < 4.07.0
2020-03-03	Update the OCaml version in `default.nix` to 4.09.0	Maxime Dénès
	It is more convenient to use recent versions of OCaml while developing (better backtraces, etc).
2020-01-15	[Nix] Update reference to nixpkgs	Vincent Laporte
	This brings dune at version 2.1.2
2019-12-13	Add ocamlformat dependency to Nix file	Maxime Dénès

2019-10-31	[Nix] Update reference to nixpkgs	Vincent Laporte
	This version of nixpkgs includes: - Dune 1.11.4 - GTK3 3.24.12 - menhir 20190626
2019-08-22	[dune] Move to Dune 1.10, use coq.pp directive.	Emilio Jesus Gallego Arias
	We use the `(coq.pp ...)` dune directive which will produce correct error messages for `.mlg` files. Unfortunately we cannot yet use the automatic opam generation features of Dune 1.10, as this does require a fully native Dune build. Dune 1.6-1.10 has quite a few other improvements that could be used by Coq, for example for promote modes. I have fixed a couple of documentation issues. `Drop` and `ocamldebug` have been tested in this version.
2019-05-17	[nix] Update reference to nixpkgs	Vincent Laporte

2019-03-27	[nix] Update reference to nixpkgs	Vincent Laporte

2019-03-18	[nix] Update reference to nixpkgs	Vincent Laporte

2019-03-18	[nix] Move nixpkgs.nix into the dev/ directory	Vincent Laporte