sci-mathematics/agda-executable/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

# ChangeLog for sci-mathematics/agda-executable
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.6 2015/01/30 03:01:06 patrick Exp $

  30 Jan 2015; Patrick Lauer <patrick@gentoo.org>
  -agda-executable-2.3.0.1.ebuild:
  Remove old version with unsatisfied dependencies

*agda-executable-2.3.0.1-r2 (13 Sep 2013)

  13 Sep 2013; Mark Wright <gienah@gentoo.org>
  +agda-executable-2.3.0.1-r2.ebuild:
  agda-executable must be rebuilt when agda is upgraded

  20 Jun 2013; Patrick Lauer <patrick@gentoo.org> -agda-executable-2.3.0.ebuild:
  Remove version with already removed dependencies

*agda-executable-2.3.0.1-r1 (18 Nov 2012)

  18 Nov 2012; Mark Wright <gienah@gentoo.org>
  +agda-executable-2.3.0.1-r1.ebuild:
  Loosen agda dep in agda-executable-2.3.0.1-r1 to fix build with agda 2.3.2

  12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org>
  agda-executable-2.3.0.1.ebuild, agda-executable-2.3.0.ebuild:
  move sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild ebuild to
  mirror://hackage

*agda-executable-2.3.0 (25 Mar 2012)
*agda-executable-2.3.0.1 (25 Mar 2012)

  25 Mar 2012; Mark Wright <gienah@gentoo.org> +agda-executable-2.3.0.1.ebuild,
  +agda-executable-2.3.0.ebuild, +metadata.xml:
  Add agda-executable, Command-line program for type-checking and compiling Agda
  programs.