../ 50twelf-gentoo.el 23-Apr-2025 19:41 69 twelf-1.7.1-Makefile.patch 09-Aug-2015 00:38 1298 twelf-1.7.1-doc-guide-Makefile.patch 28-Mar-2022 14:10 498 twelf-1.7.1-doc-guide-twelf-dot-texi.patch 09-Aug-2015 00:38 386 twelf-1.7.1-emacs-fix-old-style-backquotes-p1.p..> 27-Mar-2022 06:40 1629 twelf-1.7.1-emacs-fix-old-style-backquotes-p2.p..> 27-Mar-2022 06:40 1263 twelf-1.7.1-emacs-fix-old-style-backquotes-p3.p..> 28-Mar-2022 14:10 1169 twelf-1.7.1-emacs-twelf-init.patch 09-Aug-2015 00:38 813 twelf-1.7.1-emacs-twelf.patch 09-Aug-2015 00:38 602 twelf-1.7.1-mlton-20180207.patch 11-Mar-2018 00:09 310 twelf-1.7.1-mlton-mlb.patch 09-Aug-2015 00:38 11K twelf-1.7.1-remove-svnversion.patch 27-Mar-2022 06:40 241
Need a high-speed mirror for your open-source project?
Contact our mirror admin team at info@clientvps.com.
This archive is provided as a free public service to the community.
Proudly supported by infrastructure from VPSPulse , RxServers , BuyNumber , UnitVPS , OffshoreName and secure payment technology by ArionPay.