Index of /gentoo-portage-snapshots/2020-05-08-0015/sci-mathematics/twelf/files/
../
50twelf-gentoo.el 09-Aug-2015 00:38 104
twelf-1.7.1-Makefile.patch 09-Aug-2015 00:38 1298
twelf-1.7.1-doc-guide-Makefile.patch 09-Aug-2015 00:38 498
twelf-1.7.1-doc-guide-twelf-dot-texi.patch 09-Aug-2015 00:38 386
twelf-1.7.1-emacs-twelf-init.patch 09-Aug-2015 00:38 813
twelf-1.7.1-emacs-twelf.patch 09-Aug-2015 00:38 602
twelf-1.7.1-mlton-20180207.patch 11-Mar-2018 00:09 310
twelf-1.7.1-mlton-mlb.patch 09-Aug-2015 00:38 11244