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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
50twelf-gentoo.el 692025-Apr-23 19:41
twelf-1.7.1-Makefile.patch 12982015-Aug-09 00:38
twelf-1.7.1-doc-guide-Makefile.patch 4982022-Mar-28 14:10
twelf-1.7.1-doc-guide-twelf-dot-texi.patch 3862015-Aug-09 00:38
twelf-1.7.1-emacs-fix-old-style-backquotes-p1.pa..> 16292022-Mar-27 06:40
twelf-1.7.1-emacs-fix-old-style-backquotes-p2.pa..> 12632022-Mar-27 06:40
twelf-1.7.1-emacs-fix-old-style-backquotes-p3.pa..> 11692022-Mar-28 14:10
twelf-1.7.1-emacs-twelf-init.patch 8132015-Aug-09 00:38
twelf-1.7.1-emacs-twelf.patch 6022015-Aug-09 00:38
twelf-1.7.1-mlton-20180207.patch 3102018-Mar-11 00:09
twelf-1.7.1-mlton-mlb.patch 112442015-Aug-09 00:38
twelf-1.7.1-remove-svnversion.patch 2412022-Mar-27 06:40
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se