sci-mathematics/twelf/ChangeLog


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

# ChangeLog for sci-mathematics/twelf
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.7 2015/03/21 20:56:43 jlec Exp $

  21 Mar 2015; Justin Lecher <jlec@gentoo.org> twelf-1.7.1.ebuild:
  use dobin instead of exeinto /usr/bin/ && doexe; swicth from base eclass to
  epatch

  10 Aug 2014; Sergei Trofimovich <slyfox@gentoo.org> twelf-1.7.1.ebuild:
  QA: drop trailing '.' from DESCRIPTION

  15 Jan 2014; Mark Wright <gienah@gentoo.org>
  +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 <jlec@gentoo.org> twelf-1.7.1.ebuild,
  metadata.xml:
  Punt base.eclass

  24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
  fix bug 466776 - typo in email address

  12 Dec 2012; Mark Wright <gienah@gentoo.org> 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 <gienah@gentoo.org> +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