Index of /sourcemage/grimoire/codex/stable-rc/devel/coq/

../
0001-fix-make-detection.patch                      21-Feb-2015 14:13                2235
BUILD                                              03-Jun-2012 09:54                 302
DEPENDS                                            21-Feb-2015 14:13                 163
DETAILS                                            21-Feb-2015 14:13                1088
HISTORY                                            21-Feb-2015 14:13                 463
PRE_BUILD                                          21-Feb-2015 14:13                 178