Index of /gentoo-portage/sci-mathematics/twelf/files
Name Last modified Size Description
Parent Directory -
50twelf-gentoo.el 2015-08-09 10:38 104
twelf-1.7.1-Makefile.patch 2015-08-09 10:38 1.3K
twelf-1.7.1-doc-guide-Makefile.patch 2022-03-29 01:10 498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch 2015-08-09 10:38 386
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch 2022-03-27 17:40 1.6K
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch 2022-03-27 17:40 1.2K
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch 2022-03-29 01:10 1.1K
twelf-1.7.1-emacs-twelf-init.patch 2015-08-09 10:38 813
twelf-1.7.1-emacs-twelf.patch 2015-08-09 10:38 602
twelf-1.7.1-mlton-20180207.patch 2018-03-11 11:09 310
twelf-1.7.1-mlton-mlb.patch 2015-08-09 10:38 11K
twelf-1.7.1-remove-svnversion.patch 2022-03-27 17:40 241