| ../ | | - | Directory |
| 50twelf-gentoo.el | 2015-Aug-09 02:38:18 | 0.1K | application/octet-stream |
| twelf-1.7.1-Makefile.patch | 2015-Aug-09 02:38:18 | 1.2K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-doc-guide-Makefile.patch | 2022-Mar-28 16:10:04 | 0.4K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-doc-guide-twelf-dot-texi.patch | 2015-Aug-09 02:38:18 | 0.3K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch | 2022-Mar-27 08:40:06 | 1.6K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch | 2022-Mar-27 08:40:06 | 1.2K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch | 2022-Mar-28 16:10:04 | 1.1K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-emacs-twelf-init.patch | 2015-Aug-09 02:38:18 | 0.8K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-emacs-twelf.patch | 2015-Aug-09 02:38:18 | 0.6K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-mlton-20180207.patch | 2018-Mar-11 01:09:02 | 0.3K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-mlton-mlb.patch | 2015-Aug-09 02:38:18 | 10.9K | text/x-diff;charset=utf-8 |
| twelf-1.7.1-remove-svnversion.patch | 2022-Mar-27 08:40:06 | 0.2K | text/x-diff;charset=utf-8 |