| Name | Size | Date |
|---|---|---|
| .. | ||
| twelf-1.7.1-Makefile.patch | 1.3K | 09-08-2015 00:38:18 |
| twelf-1.7.1-doc-guide-twelf-dot-texi.patch | 386 | 09-08-2015 00:38:18 |
| twelf-1.7.1-emacs-twelf-init.patch | 0.8K | 09-08-2015 00:38:18 |
| twelf-1.7.1-emacs-twelf.patch | 0.6K | 09-08-2015 00:38:18 |
| twelf-1.7.1-mlton-mlb.patch | 11.0K | 09-08-2015 00:38:18 |
| twelf-1.7.1-mlton-20180207.patch | 310 | 11-03-2018 00:09:02 |
| twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch | 1.6K | 27-03-2022 06:40:06 |
| twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch | 1.2K | 27-03-2022 06:40:06 |
| twelf-1.7.1-remove-svnversion.patch | 241 | 27-03-2022 06:40:06 |
| twelf-1.7.1-doc-guide-Makefile.patch | 498 | 28-03-2022 14:10:04 |
| twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch | 1.1K | 28-03-2022 14:10:04 |
| 50twelf-gentoo.el | 69 | 23-04-2025 19:41:10 |