Index of /pub/os/linux/gentoo-portage/sci-mathematics/twelf/files/

Filename	Modification time	Size
50twelf-gentoo.el	2015-08-09 02:38 CEST	104 B
twelf-1.7.1-Makefile.patch	2015-08-09 02:38 CEST	1298 B
twelf-1.7.1-doc-guide-Makefile.patch	2022-03-28 16:10 CEST	498 B
twelf-1.7.1-doc-guide-twelf-dot-texi.patch	2015-08-09 02:38 CEST	386 B
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch	2022-03-27 08:40 CEST	1629 B
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch	2022-03-27 08:40 CEST	1263 B
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch	2022-03-28 16:10 CEST	1169 B
twelf-1.7.1-emacs-twelf-init.patch	2015-08-09 02:38 CEST	813 B
twelf-1.7.1-emacs-twelf.patch	2015-08-09 02:38 CEST	602 B
twelf-1.7.1-mlton-20180207.patch	2018-03-11 01:09 CET	310 B
twelf-1.7.1-mlton-mlb.patch	2015-08-09 02:38 CEST	11 KiB
twelf-1.7.1-remove-svnversion.patch	2022-03-27 08:40 CEST	241 B