# ChangeLog for sci-mathematics/agda-executable
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.1 2012/03/25 14:09:18 gienah Exp $

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