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

Contents of /sci-mathematics/agda/ChangeLog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.33 - (show annotations) (download)
Sun Aug 2 13:50:45 2015 UTC (2 years, 10 months ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.32: +6 -1 lines
Bump agda to 2.4.2.3-r1

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

1 # ChangeLog for sci-mathematics/agda
2 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
3 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.32 2015/08/02 10:52:08 slyfox Exp $
4
5 *agda-2.4.2.3-r1 (02 Aug 2015)
6
7 02 Aug 2015; Mark Wright <gienah@gentoo.org> +agda-2.4.2.3-r1.ebuild:
8 Bump agda to 2.4.2.3-r1
9
10 02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.2-r5.ebuild,
11 -agda-2.3.2.1-r1.ebuild, -agda-2.3.2.2-r1.ebuild,
12 -files/agda-2.3.2-hashable-1.2.patch,
13 -files/agda-2.3.2.1-haskell-src-exts-1.14.patch:
14 Drop old.
15
16 04 Apr 2015; Mark Wright <gienah@gentoo.org> agda-2.4.2.2-r1.ebuild:
17 Loosen cpphs dep in agda-2.4.2.2-r1
18
19 29 Jan 2015; Mark Wright <gienah@gentoo.org> -files/agda-2.3.0-emacs.patch,
20 -files/agda-2.3.0.1-emacs.patch,
21 -files/agda-2.3.0.1-haskell-src-exts-1.13.patch,
22 -files/agda-2.3.0.1-mtl-2.1.patch, -files/agda-2.3.0.1-quickcheck-2.5.patch:
23 Drop old patches
24
25 29 Jan 2015; Patrick Lauer <patrick@gentoo.org> -agda-2.3.0.1-r1.ebuild,
26 -agda-2.3.0.1.ebuild, -agda-2.3.2-r2.ebuild, -agda-2.3.2.ebuild:
27 Drop old with now unsatisfied dep on dev-haskell/hashtables
28
29 *agda-2.4.2.2-r1 (14 Dec 2014)
30
31 14 Dec 2014; Mark Wright <gienah@gentoo.org> +agda-2.4.2.2-r1.ebuild,
32 metadata.xml:
33 Bump agda to 2.4.2.2-r1
34
35 *agda-2.4.0.1 (02 Jul 2014)
36
37 02 Jul 2014; Mark Wright <gienah@gentoo.org> +agda-2.4.0.1.ebuild:
38 Bump agda to 2.4.0.1
39
40 25 Feb 2014; Sergei Trofimovich <slyfox@gentoo.org> -agda-1.0.2-r2.ebuild,
41 -agda-2.2.6-r1.ebuild, -files/50agda-gentoo.el,
42 -files/agda-1.0.2-upstream-fixes.patch, -files/agda-2.2.6-emacs.patch,
43 agda-2.3.2.2-r1.ebuild:
44 Drop old.
45
46 *agda-2.3.2.2-r1 (10 Dec 2013)
47
48 10 Dec 2013; Mark Wright <gienah@gentoo.org> +agda-2.3.2.2-r1.ebuild:
49 Bump agda to 2.3.2.2-r1
50
51 19 Oct 2013; Mark Wright <gienah@gentoo.org> agda-2.3.2.1-r1.ebuild:
52 Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work,
53 fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex
54 DEPEND.
55
56 *agda-2.3.2.1-r1 (13 Sep 2013)
57
58 13 Sep 2013; Mark Wright <gienah@gentoo.org> +agda-2.3.2.1-r1.ebuild,
59 +files/agda-2.3.2.1-haskell-src-exts-1.14.patch:
60 Patch agda 2.3.2.1 for haskell-src-exts 1.14
61
62 19 Jun 2013; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.0.ebuild:
63 Drop old.
64
65 *agda-2.3.2-r5 (02 Apr 2013)
66
67 02 Apr 2013; Mark Wright <gienah@gentoo.org> +agda-2.3.2-r5.ebuild:
68 Loosen hashtables and quickcheck deps in agda 2.3.2-r5
69
70 *agda-2.3.2-r2 (28 Dec 2012)
71
72 28 Dec 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.2-r2.ebuild,
73 +files/agda-2.3.2-hashable-1.2.patch:
74 Loosen binary dep, patch for hashable 1.2
75
76 *agda-2.3.2 (18 Nov 2012)
77
78 18 Nov 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.2.ebuild:
79 Bump agda to 2.3.2
80
81 *agda-2.3.0.1-r1 (18 Nov 2012)
82
83 18 Nov 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.1-r1.ebuild,
84 +files/agda-2.3.0.1-quickcheck-2.5.patch:
85 Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with
86 quickcheck 2.5
87
88 12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org> agda-2.3.0.1.ebuild,
89 agda-2.3.0.ebuild:
90 move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage
91
92 02 Jun 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
93 agda-2.3.0.ebuild:
94 Add virtual/emacs and app-emacs/haskell-mode deps
95
96 13 Apr 2012; Mark Wright <gienah@gentoo.org> agda-2.3.0.1.ebuild,
97 agda-2.3.0.ebuild:
98 agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to deps
99
100 13 Apr 2012; Mark Wright <gienah@gentoo.org>
101 +files/agda-2.3.0.1-mtl-2.1.patch, agda-2.3.0.1.ebuild:
102 Fix agda 2.3.0.1 build with mtl-2.1
103
104 01 Apr 2012; Mark Wright <gienah@gentoo.org>
105 +files/agda-2.3.0.1-haskell-src-exts-1.13.patch, agda-2.3.0.1.ebuild:
106 Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0
107
108 *agda-2.3.0.1 (25 Mar 2012)
109
110 25 Mar 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.1.ebuild,
111 +files/agda-2.3.0.1-emacs.patch, agda-2.3.0.ebuild, metadata.xml:
112 Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1,
113 EAPI=4, [profile?] for haskell lib depends.
114
115 *agda-2.3.0 (23 Jan 2012)
116
117 23 Jan 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.ebuild,
118 +files/agda-2.3.0-emacs.patch, metadata.xml:
119 Bump agda to 2.3.0 bug #349460
120
121 *agda-2.2.6-r1 (20 Nov 2010)
122
123 20 Nov 2010; Lennart Kolmodin <kolmodin@gentoo.org> -agda-2.2.6.ebuild,
124 +agda-2.2.6-r1.ebuild:
125 Make sure the agda library is registered with ghc.
126 Bug reported by zong_sharo.
127
128 *agda-2.2.6 (14 Sep 2010)
129
130 14 Sep 2010; S├ębastien Fabbro <bicatali@gentoo.org>
131 +files/50agda2-gentoo.el, agda-1.0.2-r2.ebuild, +agda-2.2.6.ebuild,
132 +files/agda-2.2.6-emacs.patch:
133 Version bump, ebuild originally from markusle (bug #303973). Also forced
134 emacs on dependencies (thanks to ulm, bug #336741)
135
136 *agda-1.0.2-r2 (05 Dec 2008)
137
138 05 Dec 2008; S├ębastien Fabbro <bicatali@gentoo.org> metadata.xml,
139 -agda-1.0.2.ebuild, -agda-1.0.2-r1.ebuild, +agda-1.0.2-r2.ebuild:
140 Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1
141 since parallel building seems to work again.
142
143 26 Jul 2008; Markus Dittrich <markusle@gentoo.org>
144 +files/agda-1.0.2-upstream-fixes.patch, agda-1.0.2.ebuild,
145 agda-1.0.2-r1.ebuild:
146 Fixed several compile and QA issues (fixes bug #232349). Disabled doc
147 useflag for now since installation of html docs is broken.
148
149 31 Oct 2007; Duncan Coutts <dcoutts@gentoo.org> agda-1.0.2.ebuild,
150 agda-1.0.2-r1.ebuild:
151 Drop virtual/ghc in favour of dev-lang/ghc
152
153 *agda-1.0.2-r1 (23 Sep 2007)
154
155 23 Sep 2007; Christian Faulhammer <opfer@gentoo.org>
156 +agda-1.0.2-r1.ebuild:
157 add elisp-site-regen to postrm and canonicalise it in postinst; depending on
158 USE=emacs
159
160 31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml:
161 Reassigning to sci from math-proof.
162
163 23 Mar 2007; Alexandre Buisse <nattfodd@gentoo.org> metadata.xml:
164 Removed myself from metadata and added haskell herd
165
166 *agda-1.0.2 (18 Mar 2007)
167
168 18 Mar 2007; Alexandre Buisse <nattfodd@gentoo.org> +agda-1.0.2.ebuild,
169 -agda-20050601.ebuild:
170 Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is
171 stable enough.
172
173 *agda-20050601 (12 Jul 2006)
174
175 12 Jul 2006; Alexandre Buisse <nattfodd@gentoo.org>
176 +files/50agda-gentoo.el, +files/agda-make_install.patch, +metadata.xml,
177 +agda-20050601.ebuild:
178 Initial commit. The doc generation is broken for now due to unsupported
179 haddock stuff.

  ViewVC Help
Powered by ViewVC 1.1.20