Index of /sourcemage/codex/stable/devel/coq/

../
0001-fix-make-detection.patch                      22-Oct-2017 23:11                2235
BUILD                                              12-Nov-2016 16:22                 302
DEPENDS                                            12-Nov-2016 16:22                 163
DETAILS                                            22-Oct-2017 23:11                1088
HISTORY                                            22-Oct-2017 23:11                 463
PRE_BUILD                                          22-Oct-2017 23:11                 178