Index of /mirror/gentoo/portage/sci-mathematics/twelf/files/

../
50twelf-gentoo.el                                  23-Apr-2025 15:41      69
twelf-1.7.1-Makefile.patch                         08-Aug-2015 20:38    1298
twelf-1.7.1-doc-guide-Makefile.patch               28-Mar-2022 10:10     498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch         08-Aug-2015 20:38     386
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.p..> 27-Mar-2022 02:40    1629
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.p..> 27-Mar-2022 02:40    1263
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.p..> 28-Mar-2022 10:10    1169
twelf-1.7.1-emacs-twelf-init.patch                 08-Aug-2015 20:38     813
twelf-1.7.1-emacs-twelf.patch                      08-Aug-2015 20:38     602
twelf-1.7.1-mlton-20180207.patch                   10-Mar-2018 20:09     310
twelf-1.7.1-mlton-mlb.patch                        08-Aug-2015 20:38     11K
twelf-1.7.1-remove-svnversion.patch                27-Mar-2022 02:40     241