/[gentoo-x86]/sci-mathematics/agda-stdlib/ChangeLog
Gentoo

Contents of /sci-mathematics/agda-stdlib/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.3 - (show annotations) (download)
Thu Jan 10 12:31:25 2013 UTC (15 months, 1 week ago) by gienah
Branch: MAIN
Changes since 1.2: +10 -2 lines
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps

(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

1 # ChangeLog for sci-mathematics/agda-stdlib
2 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
3 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.2 2012/11/18 07:53:04 gienah Exp $
4
5 *agda-stdlib-0.7_pre20130109 (10 Jan 2013)
6
7 10 Jan 2013; Mark Wright <gienah@gentoo.org>
8 +agda-stdlib-0.7_pre20130109.ebuild, agda-stdlib-0.6.ebuild,
9 agda-stdlib-0.7_pre20121118.ebuild:
10 Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with
11 --preserve-timestamps
12
13 *agda-stdlib-0.7_pre20121118 (18 Nov 2012)
14
15 18 Nov 2012; Mark Wright <gienah@gentoo.org>
16 +agda-stdlib-0.7_pre20121118.ebuild:
17 Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118
18 because I have to call it something, for agda 2.3.2.
19
20 *agda-stdlib-0.6 (25 Mar 2012)
21
22 25 Mar 2012; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.6.ebuild,
23 +files/50agda-stdlib-gentoo.el, +metadata.xml:
24 Thanks to tomprince for adding support for agda-stdlib.

  ViewVC Help
Powered by ViewVC 1.1.20