Index of /code.haskell.org/Agda/mk/

../
config.mk.in                                       15-Feb-2019 15:17                1026
paths.mk                                           15-Feb-2019 15:17                 435
rules.mk                                           15-Feb-2019 15:17                 260