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

# ChangeLog for sci-mathematics/agda-executable
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.4 2013/06/20 02:06:52 patrick Exp $

  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.