Austin Seipp c0f779ceee coq: add myself to maintainer list. ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2014-03-07 20:52:33 -06:00
..
8.3.nix
configure.8.3.patch
configure.patch
default.nix	coq: add myself to maintainer list.	2014-03-07 20:52:33 -06:00