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

	Name	Last modified	Size
	Parent Directory		-
	50twelf-gentoo.el	09-Aug-2015 01:38	104
	twelf-1.7.1-doc-guide-Makefile.patch	28-Mar-2022 15:10	498
	twelf-1.7.1-doc-guide-twelf-dot-texi.patch	09-Aug-2015 01:38	386
	twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch	27-Mar-2022 07:40	1.6K
	twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch	27-Mar-2022 07:40	1.2K
	twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch	28-Mar-2022 15:10	1.1K
	twelf-1.7.1-emacs-twelf-init.patch	09-Aug-2015 01:38	813
	twelf-1.7.1-emacs-twelf.patch	09-Aug-2015 01:38	602
	twelf-1.7.1-Makefile.patch	09-Aug-2015 01:38	1.3K
	twelf-1.7.1-mlton-20180207.patch	11-Mar-2018 00:09	310
	twelf-1.7.1-mlton-mlb.patch	09-Aug-2015 01:38	11K
	twelf-1.7.1-remove-svnversion.patch	27-Mar-2022 07:40	241