# ChangeLog for sci-mathematics/twelf # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.6 2014/08/10 20:24:19 slyfox Exp $ 10 Aug 2014; Sergei Trofimovich twelf-1.7.1.ebuild: QA: drop trailing '.' from DESCRIPTION 15 Jan 2014; Mark Wright +files/twelf-1.7.1-mlton-mlb.patch, twelf-1.7.1.ebuild: Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PIE to fix compile with mlton-20130715 on Gentoo hardened. 06 Jan 2014; Justin Lecher twelf-1.7.1.ebuild, metadata.xml: Punt base.eclass 24 May 2013; Mark Wright metadata.xml: fix bug 466776 - typo in email address 12 Dec 2012; Mark Wright twelf-1.7.1.ebuild: twelf does not depend on omake. subslot dep in case any future ebuild depends on twelf. *twelf-1.7.1 (09 Dec 2012) 09 Dec 2012; Mark Wright +files/50twelf-gentoo.el, +files/twelf-1.7.1-Makefile.patch, +files/twelf-1.7.1-doc-guide-Makefile.patch, +files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch, +files/twelf-1.7.1-emacs-twelf-init.patch, +files/twelf-1.7.1-emacs-twelf.patch, +metadata.xml, +twelf-1.7.1.ebuild: Add twelf, ebuild by me