coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-21	Bump nixpkgs to get zarith 1.10.	Théo Zimmermann
2020-09-14	[nix] Update ref for ocamlformat 0.15	Emilio Jesus Gallego Arias
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
2020-03-03	Update the OCaml version in `default.nix` to 4.09.0	Maxime Dénès
2020-01-15	[Nix] Update reference to nixpkgs	Vincent Laporte
2019-12-13	Add ocamlformat dependency to Nix file	Maxime Dénès
2019-10-31	[Nix] Update reference to nixpkgs	Vincent Laporte
2019-08-22	[dune] Move to Dune 1.10, use coq.pp directive.	Emilio Jesus Gallego Arias
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