Directory: /gentoo-portage-prefix/sci-mathematics/twelf/files/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
twelf-1.7.1-Makefile.patch1.3 KiB2025-Feb-10 17:26
twelf-1.7.1-doc-guide-Makefile.patch498 B2025-Feb-10 17:26
twelf-1.7.1-doc-guide-twelf-dot-texi.patch386 B2025-Feb-10 17:26
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch1.6 KiB2025-Feb-10 17:26
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch1.2 KiB2025-Feb-10 17:26
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch1.1 KiB2025-Feb-10 17:26
twelf-1.7.1-emacs-twelf-init.patch813 B2025-Feb-10 17:26
twelf-1.7.1-emacs-twelf.patch602 B2025-Feb-10 17:26
twelf-1.7.1-mlton-20180207.patch310 B2025-Feb-10 17:26
twelf-1.7.1-mlton-mlb.patch11.0 KiB2025-Feb-10 17:26
twelf-1.7.1-remove-svnversion.patch241 B2025-Feb-10 17:26
50twelf-gentoo.el69 B2025-Apr-24 04:26