# 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.5 2013/09/13 06:56:08 gienah Exp $

*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.