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
|
agda-stdlib (0.8-2) unstable; urgency=medium
* [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs
generation
-- Iain Lane <laney@debian.org> Tue, 12 Aug 2014 10:22:32 +0100
agda-stdlib (0.8-1) unstable; urgency=medium
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script
-- Iain Lane <laney@debian.org> Tue, 05 Aug 2014 09:46:46 +0100
agda-stdlib (0.7-2) unstable; urgency=low
* Upload to unstable
-- Iain Lane <laney@debian.org> Mon, 27 May 2013 19:29:25 +0100
agda-stdlib (0.7-1) experimental; urgency=low
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required
-- Iain Lane <laney@debian.org> Wed, 10 Apr 2013 10:30:20 +0100
agda-stdlib (0.6-2) unstable; urgency=low
* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion
-- Joachim Breitner <nomeata@debian.org> Wed, 14 Mar 2012 10:30:26 +0100
agda-stdlib (0.6-1) unstable; urgency=low
* [a88bdc0] Imported Upstream version 0.6
* [7aea5f2] Update copyright for new copyright holders and for new DEP5
-- Iain Lane <laney@debian.org> Fri, 30 Dec 2011 20:02:46 +0000
agda-stdlib (0.6~darcs20111129t1640-1) unstable; urgency=low
* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640
+ Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig
-- Iain Lane <laney@debian.org> Tue, 29 Nov 2011 17:00:35 +0000
agda-stdlib (0.5-1) unstable; urgency=low
* [ba20206] Make package architecture independent (Closes: #573807, #598708,
#599958)
* [2c82171] Add watch file
* [9251e0b] Imported Upstream version 0.5
* [0518fa6] No longer need procps | hurd BD as we no longer have the ticker
* [daf2445] Don't use upstream's make install — handled ourselves by
dh_install
* [1b86533] Update watchfile to point at new location
* [637f47d] Remove debian/gbp.conf as we are no longer building for exp
* [cc88671] Require Agda 2.2.10
* [e99dab5] Set maximum stack size to 1G to prevent overflows in the build
* [251cd1d] Run the test suite manually
* [a7db697] Set the variable in the emacs loading script properly
* [540ca3f] Improved short description
* [6b3e794] Add dependencies on compatible versions of the Agda library
* [7127678] Standards-Version bump to 3.9.2, no changes required
* [9d0ae30] Update to use ghc instead of ghc6
* [32caa7f] Set Maintainer to my d.o email address
-- Iain Lane <laney@debian.org> Tue, 24 May 2011 10:26:15 +0100
agda-stdlib (0.3-3) unstable; urgency=low
[ Iain Lane ]
* debian/control: Add missing procps | hurd build-dep so that ps is available
to run the ticker.
-- Marco Túlio Gontijo e Silva <marcot@debian.org> Tue, 02 Mar 2010 20:56:49 -0300
agda-stdlib (0.3-2) unstable; urgency=low
[ Iain Lane ]
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required because upstream's buildsys invokes
runhaskell, which isn't available everywhere. (Closes: #569262)
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
* debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures.
-- Marco Túlio Gontijo e Silva <marcot@debian.org> Sat, 27 Feb 2010 09:05:52 -0300
agda-stdlib (0.3-1) unstable; urgency=low
* Initial release. (Closes: #522914)
-- Iain Lane <laney@ubuntu.com> Fri, 08 Jan 2010 23:35:09 +0000
|
