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

../
50twelf-gentoo.el                                  17-Oct-2026 13:26      69
twelf-1.7.1-Makefile.patch                         17-Oct-2026 13:26    1298
twelf-1.7.1-doc-guide-Makefile.patch               17-Oct-2026 13:26     498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch         17-Oct-2026 13:26     386
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.p..> 17-Oct-2026 13:26    1629
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.p..> 17-Oct-2026 13:26    1263
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.p..> 17-Oct-2026 13:26    1169
twelf-1.7.1-emacs-twelf-init.patch                 17-Oct-2026 13:26     813
twelf-1.7.1-emacs-twelf.patch                      17-Oct-2026 13:26     602
twelf-1.7.1-mlton-20180207.patch                   17-Oct-2026 13:26     310
twelf-1.7.1-mlton-mlb.patch                        17-Oct-2026 13:26     11K
twelf-1.7.1-remove-svnversion.patch                17-Oct-2026 13:26     241