Vincent Laporte 23900febe7 coq: 8.8.1 -> 8.8.2 (#47388)		2018-09-26 22:26:39 +02:00
..
8.3.nix	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
8.4.nix	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
configure.8.3.patch
configure.patch
default.nix	coq: 8.8.1 -> 8.8.2 (#47388)	2018-09-26 22:26:39 +02:00
no-codesign.patch