Russell O'Connor 706cbc9318 Update coq to 8.4		2012-08-19 01:01:30 -04:00
..
configure.8.3.patch	Update coq to 8.4	2012-08-19 01:01:30 -04:00
configure.patch	Update coq to 8.4	2012-08-19 01:01:30 -04:00
default.8.3.nix	Update coq to 8.4	2012-08-19 01:01:30 -04:00
default.nix	Update coq to 8.4	2012-08-19 01:01:30 -04:00