Index of /sci-mathematics/twelf/files

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                         -   
[TXT] 50twelf-gentoo.el                                   2025-04-23 21:10   69   
[   ] twelf-1.7.1-Makefile.patch                          2019-06-06 19:30  1.3K  
[   ] twelf-1.7.1-doc-guide-Makefile.patch                2022-03-28 14:55  498   
[   ] twelf-1.7.1-doc-guide-twelf-dot-texi.patch          2019-06-06 19:30  386   
[   ] twelf-1.7.1-emacs-fix-old-style-backquotes-p1.patch 2022-03-27 07:50  1.6K  
[   ] twelf-1.7.1-emacs-fix-old-style-backquotes-p2.patch 2022-03-27 07:50  1.2K  
[   ] twelf-1.7.1-emacs-fix-old-style-backquotes-p3.patch 2022-03-28 14:55  1.1K  
[   ] twelf-1.7.1-emacs-twelf-init.patch                  2019-06-06 19:30  813   
[   ] twelf-1.7.1-emacs-twelf.patch                       2019-06-06 19:30  602   
[   ] twelf-1.7.1-mlton-20180207.patch                    2019-06-06 19:30  310   
[   ] twelf-1.7.1-mlton-mlb.patch                         2019-06-06 19:30   11K  
[   ] twelf-1.7.1-remove-svnversion.patch                 2022-03-27 07:50  241
Apache/2.4.66 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.6.2 mod_perl/2.0.13 Perl/v5.42.0 Server at portage.randomdan.homeip.net Port 11080