Index of /gentoo-portage-prefix/sci-mathematics/twelf/files/
../
50twelf-gentoo.el 21-May-2024 13:26 104
twelf-1.7.1-Makefile.patch 21-May-2024 13:26 1298
twelf-1.7.1-doc-guide-Makefile.patch 21-May-2024 13:26 498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch 21-May-2024 13:26 386
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.p..> 21-May-2024 13:26 1629
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.p..> 21-May-2024 13:26 1263
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.p..> 21-May-2024 13:26 1169
twelf-1.7.1-emacs-twelf-init.patch 21-May-2024 13:26 813
twelf-1.7.1-emacs-twelf.patch 21-May-2024 13:26 602
twelf-1.7.1-mlton-20180207.patch 21-May-2024 13:26 310
twelf-1.7.1-mlton-mlb.patch 21-May-2024 13:26 11244
twelf-1.7.1-remove-svnversion.patch 21-May-2024 13:26 241