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

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