Index of /mirror/sourcemage.org/codex/stable-rc/devel/coq
Name
Last modified
Size
Parent Directory
-
DEPENDS
2015-02-21 15:13
163
PRE_BUILD
2015-02-21 15:13
178
BUILD
2012-06-03 11:54
302
HISTORY
2015-02-21 15:13
463
DETAILS
2015-02-21 15:13
1.1K
0001-fix-make-detection.patch
2015-02-21 15:13
2.2K
Apache/2.4.58 (Unix) Server at ftp.sunet.se Port 443