/sci-mathematics/twelf/files/
../
50twelf-gentoo.el
twelf-1.7.1-Makefile.patch
twelf-1.7.1-doc-guide-Makefile.patch
twelf-1.7.1-doc-guide-twelf-dot-texi.patch
twelf-1.7.1-emacs-twelf-init.patch
twelf-1.7.1-emacs-twelf.patch
twelf-1.7.1-mlton-20180207.patch
twelf-1.7.1-mlton-mlb.patch