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