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

Contents of /sci-mathematics/agda/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.20 - (show annotations) (download)
Fri Dec 28 05:47:39 2012 UTC (21 months ago) by gienah
Branch: MAIN
Changes since 1.19: +7 -1 lines
Loosen binary dep, patch for hashable 1.2

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

1 # ChangeLog for sci-mathematics/agda
2 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
3 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.19 2012/11/18 07:48:34 gienah Exp $
4
5 *agda-2.3.2-r2 (28 Dec 2012)
6
7 28 Dec 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.2-r2.ebuild,
8 +files/agda-2.3.2-hashable-1.2.patch:
9 Loosen binary dep, patch for hashable 1.2
10
11 *agda-2.3.2 (18 Nov 2012)
12
13 18 Nov 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.2.ebuild:
14 Bump agda to 2.3.2
15
16 *agda-2.3.0.1-r1 (18 Nov 2012)
17
18 18 Nov 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.1-r1.ebuild,
19 +files/agda-2.3.0.1-quickcheck-2.5.patch:
20 Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with
21 quickcheck 2.5
22
23 12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org> agda-2.3.0.1.ebuild,
24 agda-2.3.0.ebuild:
25 move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
26
27 02 Jun 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
28 agda-2.3.0.ebuild:
29 Add virtual/emacs and app-emacs/haskell-mode deps
30
31 13 Apr 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
32 agda-2.3.0.ebuild:
33 agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps
34
35 13 Apr 2012; Mark Wright <gienah@gentoo.org>
36 +files/agda-2.3.0.1-mtl-2.1.patch, agda-2.3.0.1.ebuild:
37 Fix agda 2.3.0.1 build with mtl-2.1
38
39 01 Apr 2012; Mark Wright <gienah@gentoo.org>
40 +files/agda-2.3.0.1-haskell-src-exts-1.13.patch, agda-2.3.0.1.ebuild:
41 Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0
42
43 *agda-2.3.0.1 (25 Mar 2012)
44
45 25 Mar 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.1.ebuild,
46 +files/agda-2.3.0.1-emacs.patch, agda-2.3.0.ebuild, metadata.xml:
47 Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1,
48 EAPI=4, [profile?] for haskell lib depends.
49
50 *agda-2.3.0 (23 Jan 2012)
51
52 23 Jan 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.ebuild,
53 +files/agda-2.3.0-emacs.patch, metadata.xml:
54 Bump agda to 2.3.0 bug #349460
55
56 *agda-2.2.6-r1 (20 Nov 2010)
57
58 20 Nov 2010; Lennart Kolmodin <kolmodin@gentoo.org> -agda-2.2.6.ebuild,
59 +agda-2.2.6-r1.ebuild:
60 Make sure the agda library is registered with ghc.
61 Bug reported by zong_sharo.
62
63 *agda-2.2.6 (14 Sep 2010)
64
65 14 Sep 2010; S├ębastien Fabbro <bicatali@gentoo.org>
66 +files/50agda2-gentoo.el, agda-1.0.2-r2.ebuild, +agda-2.2.6.ebuild,
67 +files/agda-2.2.6-emacs.patch:
68 Version bump, ebuild originally from markusle (bug #303973). Also forced
69 emacs on dependencies (thanks to ulm, bug #336741)
70
71 *agda-1.0.2-r2 (05 Dec 2008)
72
73 05 Dec 2008; S├ębastien Fabbro <bicatali@gentoo.org> metadata.xml,
74 -agda-1.0.2.ebuild, -agda-1.0.2-r1.ebuild, +agda-1.0.2-r2.ebuild:
75 Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1
76 since parallel building seems to work again.
77
78 26 Jul 2008; Markus Dittrich <markusle@gentoo.org>
79 +files/agda-1.0.2-upstream-fixes.patch, agda-1.0.2.ebuild,
80 agda-1.0.2-r1.ebuild:
81 Fixed several compile and QA issues (fixes bug #232349). Disabled doc
82 useflag for now since installation of html docs is broken.
83
84 31 Oct 2007; Duncan Coutts <dcoutts@gentoo.org> agda-1.0.2.ebuild,
85 agda-1.0.2-r1.ebuild:
86 Drop virtual/ghc in favour of dev-lang/ghc
87
88 *agda-1.0.2-r1 (23 Sep 2007)
89
90 23 Sep 2007; Christian Faulhammer <opfer@gentoo.org>
91 +agda-1.0.2-r1.ebuild:
92 add elisp-site-regen to postrm and canonicalise it in postinst; depending on
93 USE=emacs
94
95 31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml:
96 Reassigning to sci from math-proof.
97
98 23 Mar 2007; Alexandre Buisse <nattfodd@gentoo.org> metadata.xml:
99 Removed myself from metadata and added haskell herd
100
101 *agda-1.0.2 (18 Mar 2007)
102
103 18 Mar 2007; Alexandre Buisse <nattfodd@gentoo.org> +agda-1.0.2.ebuild,
104 -agda-20050601.ebuild:
105 Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is
106 stable enough.
107
108 *agda-20050601 (12 Jul 2006)
109
110 12 Jul 2006; Alexandre Buisse <nattfodd@gentoo.org>
111 +files/50agda-gentoo.el, +files/agda-make_install.patch, +metadata.xml,
112 +agda-20050601.ebuild:
113 Initial commit. The doc generation is broken for now due to unsupported
114 haddock stuff.

  ViewVC Help
Powered by ViewVC 1.1.20