files

0 directories 12 files

Name	Size	Modified
Up
50twelf-gentoo.el	104 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-doc-guide-Makefile.patch	498 B	03/28/2022 02:10:04 PM +00:00
twelf-1.7.1-doc-guide-twelf-dot-texi.patch	386 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch	1.6 KiB	03/27/2022 06:40:06 AM +00:00
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch	1.2 KiB	03/27/2022 06:40:06 AM +00:00
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch	1.1 KiB	03/28/2022 02:10:04 PM +00:00
twelf-1.7.1-emacs-twelf-init.patch	813 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-emacs-twelf.patch	602 B	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-Makefile.patch	1.3 KiB	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-mlton-20180207.patch	310 B	03/11/2018 12:09:02 AM +00:00
twelf-1.7.1-mlton-mlb.patch	11 KiB	08/09/2015 12:38:18 AM +00:00
twelf-1.7.1-remove-svnversion.patch	241 B	03/27/2022 06:40:06 AM +00:00