Index of /gentoo-repo/sci-mathematics/twelf/files/

../
50twelf-gentoo.el                                  25-Mar-2021 22:48                 104
twelf-1.7.1-Makefile.patch                         25-Mar-2021 22:48                1298
twelf-1.7.1-doc-guide-Makefile.patch               28-Mar-2022 14:03                 498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch         25-Mar-2021 22:48                 386
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.p..> 27-Mar-2022 07:01                1629
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.p..> 27-Mar-2022 07:01                1263
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.p..> 28-Mar-2022 14:03                1169
twelf-1.7.1-emacs-twelf-init.patch                 25-Mar-2021 22:48                 813
twelf-1.7.1-emacs-twelf.patch                      25-Mar-2021 22:48                 602
twelf-1.7.1-mlton-20180207.patch                   25-Mar-2021 22:48                 310
twelf-1.7.1-mlton-mlb.patch                        25-Mar-2021 22:48               11244
twelf-1.7.1-remove-svnversion.patch                27-Mar-2022 07:01                 241