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

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