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

Fixing configure patch for coq 8.3.

2012-08-19 01:11:11 -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.nix

coq: add myself to maintainer list.

2014-03-07 20:52:33 -06:00