Index of /gentoo/sci-mathematics/agda/files/


../
50agda2-gentoo.el                                  09-Aug-2015 00:38                 317
agda-2.4.2.5-hashtables.patch                      08-Feb-2016 22:15                 558