summaryrefslogtreecommitdiff
path: root/p/agda/debian/changelog
blob: 6efa440448fdd3b95cf31aad3a7c2814efb38178 (plain)
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
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
agda (2.5.3-1) unstable; urgency=medium

  * New upstream release
  * Drop bump-ieee754-bounds.patch
    Merged upstream.

 -- Sean Whitton <spwhitton@spwhitton.name>  Sat, 16 Sep 2017 12:53:41 -0700

agda (2.5.2-2) unstable; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 10 Jul 2017 12:54:36 +0200

agda (2.5.2-1) unstable; urgency=medium

  * New upstream release
  * Team upload
  * Drop all patches, upstream
  * Bump std-version to 4.0.0
  * Bump compat level to 10
  * Update build dependencies

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 06 Jul 2017 09:59:52 +0200

agda (2.5.1.1-4) unstable; urgency=medium

  [ Sean Whitton ]
  * Remove myself as an uploader.
    I do not expect to be able to look after this package for the buster
    cycle.

  [ Gianfranco Costamagna ]
  * Team upload
  * Bump directory bounds for ghc 8.0.2
  * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
    - upstream build fix with new ghc

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Fri, 27 Jan 2017 07:54:20 +0100

agda (2.5.1.1-3) unstable; urgency=medium

  * Upload to unstable as part of GHC 8 transition.

 -- Clint Adams <clint@debian.org>  Thu, 27 Oct 2016 18:32:12 -0400

agda (2.5.1.1-2) experimental; urgency=medium

  * Patch to build with newer EdisonAPI.

 -- Clint Adams <clint@debian.org>  Thu, 20 Oct 2016 10:23:45 -0400

agda (2.5.1.1-1) experimental; urgency=medium

  * New upstream version.
  * Disable arch-specific handling to see what still breaks.

 -- Clint Adams <clint@debian.org>  Sun, 16 Oct 2016 16:36:45 -0400

agda (2.5.1-2) unstable; urgency=low

  [ Joachim Breitner ]
  * Fix Vcs-Browser field.

  [ Sean Whitton ]
  * Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC
    configure args in an attempt to fix FTBFS on arm buildds.
    As suggested by Joachim Breitner.
  * Set Priority: extra and Section: oldlibs on agda-mode transitional package.
  * Add missing continuation marker in d/copyright.

 -- Sean Whitton <spwhitton@spwhitton.name>  Mon, 20 Jun 2016 17:34:46 +0900

agda (2.5.1-1) unstable; urgency=medium

  * Package new upstream version.
    - Build dependency bounds updated to match Agda.cabal.
    - New build dependencies:
      - ghc-prof
      - libghc-edison-core-*
      - libghc-edison-api-*
      - libghc-monadplus-*
      - libghc-transformers-*
    - Also pregenerate the new Builtin/*.agdai interface files in
      libghc-agda-dev (see changelog entry for version 2.4.0.2-2).
    - Dropped build dependencies:
      - ghc-ghci
  * Install Emacs mode with dh_elpa.
    - New binary package elpa-agda2-mode.
    - agda-mode now a transitional dummy package.
    - Add patch creating file agda2-mode-pkg.el.
  * Override dh_strip to disable automatic -dbgsym binary.
  * Add standard Haskell Lintian override for binary-or-shlib-defines-rpath.
  * Add myself as an uploader.
  * Update Vcs-* for merge into DHG_packages.git and to use secure URIs.
  * Update reference to format specification in first line of d/copyright.
  * Run wrap-and-sort -abst
  * Bump standards version to 3.9.8 (no changes required).

 -- Sean Whitton <spwhitton@spwhitton.name>  Sun, 12 Jun 2016 17:34:08 +0900

agda (2.4.2.5-1) unstable; urgency=medium

  * [a116bca] Imported Upstream version 2.4.2.5
  * [2c258f5] Update build-deps for new release
  * [7d835fa] Remove patches which are applied upstream

 -- Iain Lane <laney@debian.org>  Mon, 04 Jan 2016 12:56:33 +0000

agda (2.4.2.2-4) unstable; urgency=medium

  * [d59dba4] Revert modification of upstream source in
    a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
  * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
    #793194)

 -- Iain Lane <laney@debian.org>  Tue, 04 Aug 2015 14:46:23 +0100

agda (2.4.2.2-3) unstable; urgency=medium

  * Fix dependency on hashtables

 -- Joachim Breitner <nomeata@debian.org>  Wed, 01 Jul 2015 19:26:22 +0200

agda (2.4.2.2-2) unstable; urgency=medium

  * [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps

 -- Iain Lane <laney@debian.org>  Wed, 20 May 2015 13:08:33 +0100

agda (2.4.2.2-1) unstable; urgency=medium

  * New upstream release.
  * [1d76e9e] Bump BDs in line with Agda.cabal
  * [03480b1] Use ${source:Upstream-Version} substvar to generate the
    Recommends
  * [a164dc2] Drop patch, applied (in spirit) upstream.
  * [9a45428] Drop Build-Depends{,-Indep} on packages now provided by ghc
  * [87544db] debian/rules: Use LC_ALL=C.UTF-8 otherwise cpphs dies when
    parsing the source

 -- Iain Lane <laney@debian.org>  Wed, 20 May 2015 12:09:52 +0100

agda (2.4.2-1) unstable; urgency=medium

  * [6770868] Imported Upstream version 2.4.2
  * [3d550e3] Add patch from Joachim to allow transformers 0.4 and mtl 2.3
  * [38f0ec9] Add cpphs BD, requied by cabal file

 -- Iain Lane <laney@debian.org>  Tue, 23 Sep 2014 09:58:31 +0100

agda (2.4.0.2-2) unstable; urgency=medium

  * [e33e7a9] Pregenerate the Primitive.agdai interface file in
    libghc-agda-dev, since agda users typically can't write to that
    directory.  Fixes agda-stdlib build.

 -- Colin Watson <cjwatson@debian.org>  Mon, 11 Aug 2014 11:55:48 +0100

agda (2.4.0.2-1) unstable; urgency=medium

  * [6e140ac] Imported Upstream version 2.4.0.2
  * [2049fc8] Update Build-Depends to match control
  * [93dc4d4] Install the new primitives
  * [e48f40f] Fix typo dev→doc

 -- Iain Lane <laney@debian.org>  Tue, 05 Aug 2014 06:38:12 +0100

agda (2.3.2.2-1) unstable; urgency=low

  * [244f29d] Use new watch file template
  * [16a3f05] Imported Upstream version 2.3.2.2
  * [bdb8574] Update BDs to match cabal file
  * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream
    in this release

 -- Iain Lane <laney@debian.org>  Wed, 06 Nov 2013 09:59:36 +0000

agda (2.3.2.1-2) unstable; urgency=low

  * [da376f6] Update BDs per .cabal; extend hashable, remove packages provided
    by ghc
  * [e21e765] Cherry-pick from upstream: Suppoert Alex 3.1.x
  * [2263659] Remove "dist" generated files accidently commited

 -- Iain Lane <laney@debian.org>  Sat, 19 Oct 2013 11:58:05 +0100

agda (2.3.2.1-1) unstable; urgency=low

  * [8cfbabf] Imported Upstream version 2.3.2.1
  * [74f34b0] Bump BD on mtl per .cabal file
  * [a3bff17] Drop Debian patches now obsoleted by this upstream release

 -- Iain Lane <laney@debian.org>  Sun, 16 Jun 2013 13:14:47 +0100

agda (2.3.2-4) unstable; urgency=low

  * [3d77fff] Build-Depend on ghc-ghci; we require this due to Template
    Haskell

 -- Iain Lane <laney@debian.org>  Wed, 12 Jun 2013 10:44:41 +0100

agda (2.3.2-3) unstable; urgency=low

  * Clean up build dependencies 

 -- Joachim Breitner <nomeata@debian.org>  Wed, 29 May 2013 14:06:03 +0200

agda (2.3.2-2) unstable; urgency=low

  * Upload to unstable
  * [0faee65] Use compat 9
  * [02dba24] Standards Version → 3.9.4
  * [bd2a43f] Use common substvars for description blurbs.
  * [06ddb90] Remove obsolete DM-Upload-Allowed field

 -- Iain Lane <laney@debian.org>  Mon, 27 May 2013 19:13:14 +0100

agda (2.3.2-1) experimental; urgency=low

  [ Kiwamu Okabe ]
  * New patch: Extend haskell-src-exts dependency and fix type miss.

  [ Iain Lane ]
  * [dfbca48] Imported Upstream version 2.3.2
  * [7746bcc] Remove all patches — all upstream.
  * [2cdb691] Update build-deps to match control file
  * [868ebf4] agda-mode no longer depends on haskell-mode or GHCi.
    Remove dependency and update .el file accordingly
  * [9e0ba22] Add agda-bin package here, as the separate package has been
    removed
  * [75a240f] agda-mode needs to depend on agda-bin
  * [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep.
  * [79190e6] Add missing geniplate and parallel BDs

 -- Iain Lane <laney@debian.org>  Wed, 10 Apr 2013 11:46:43 +0100

agda (2.3.0.1-2) unstable; urgency=low

  * New patch: Extend mtl dependency 

 -- Joachim Breitner <nomeata@debian.org>  Fri, 25 May 2012 22:58:34 +0200

agda (2.3.0.1-1) unstable; urgency=low

  * New upstream release, GHC-7.4.1 compatible (Closes: #663048) 

 -- Joachim Breitner <nomeata@debian.org>  Mon, 12 Mar 2012 14:12:34 +0100

agda (2.3.0-1) unstable; urgency=low

  * [c0e4746] Imported Upstream version 2.3.0. New/changed features include:
    + New more liberal syntax for mutually recursive definitions
    + Pattern matching on lambdas
    + New syntax for updating (some fields of) records
    + Universe polymorphism is now enabled by default
    + New type of hidden function argument: instance arguments
    + Dependent irrelevant function types and records with irrelevant fields
    + See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0
      for a full list
  * [369ed3a] Update BDs in line with cabal requirements in new upstream
  * [3798aee] Remove all patches. They are all now upstream.

 -- Iain Lane <laney@debian.org>  Wed, 23 Nov 2011 10:12:59 +0000

agda (2.2.10-4) unstable; urgency=low

  * [16d953e] Remove old left-around patches
  * [af671fe] Explicitly add haskell-mode directory to load path.
    Thanks to Joey Capper for discovering the bug.
  * [6fa096d] Update to use my d.o email address
  * [f228ca0] Add an alexGetByte function for alex-3.0 compatibility

 -- Iain Lane <laney@debian.org>  Sat, 03 Sep 2011 23:11:17 +0100

agda (2.2.10-3) unstable; urgency=low

  * Extend haskell-src-exts dependency range to include 0.11.* 

 -- Joachim Breitner <nomeata@debian.org>  Fri, 17 Jun 2011 10:38:21 +0200

agda (2.2.10-2) unstable; urgency=low

  * Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:
    #629572)

 -- Joachim Breitner <nomeata@debian.org>  Tue, 07 Jun 2011 23:57:04 +0200

agda (2.2.10-1) unstable; urgency=low

  * [60c4b8a] Imported Upstream version 2.2.10
  * [81c6857] Add haskell-src-exts BD
  * [d0ce959] Add QuickCheck BDs
  * [5c875b0] Update short descriptions to reflect best practice
  * [705223c] d/copyright: Update copyright years
  * [ee8a4bc] GHC6 → GHC, for GHC 7 transition
  * [12d4e49] Standards-Version bump to 3.9.2, no changes required
  * [9244cc3] Add 'agda' meta package
  * [c28c44c] Relax BD on src-exts
  * [86be090] Backport upstream patch to add syb-0.3 compatibility
  * [828c999] Lexer: Compatibility with the new GHC
  * [db55ca5] Clean up some autogenerated files

 -- Iain Lane <laney@ubuntu.com>  Thu, 19 May 2011 13:43:17 +0100

agda (2.2.8-1) experimental; urgency=low

  * [ec6cfda] Imported Upstream version 2.2.8
  * [597149f] Update emacs loading script to explicitly load haskell-
    ghci. If this is not present, then agda-mode will error out
    indicating that haskell-ghci is not available.
  * [b16f978] Standards-Version → 3.9.1, no changes required

 -- Iain Lane <laney@ubuntu.com>  Sat, 11 Dec 2010 15:39:21 +0000

agda (2.2.6-6) unstable; urgency=low

  * Fix FTBFS by fixing zlib doc package name. (Closes: #577892)
  * Convert to 3.0 (quilt)

 -- Joachim Breitner <nomeata@debian.org>  Fri, 16 Apr 2010 11:43:24 +0200

agda (2.2.6-5) unstable; urgency=low

  * debian/control: Rename -doc package.

 -- Marco Túlio Gontijo e Silva <marcot@debian.org>  Tue, 16 Mar 2010 10:15:20 -0300

agda (2.2.6-4) unstable; urgency=low

  * debian/control: Remove the profiling package. It is unfortunate that this
    package is proving to be too big to build before exhausting the available
    resources on some architectures. Not having it should allow agda to build
    in many more places though, so this is a win.
  * debian/control, debian/rules, debian/watcher.sh: Remove the ticker which
    should no longer be necessary due to the above. (Closes: #572300)

 -- Iain Lane <laney@ubuntu.com>  Sat, 27 Feb 2010 20:35:10 +0000

agda (2.2.6-3) unstable; urgency=low

  [ Iain Lane ]
  * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent
    timeouts on some arches. This was taken from the GHC6 source package and
    modified a bit to add some rudimentary locking. Previously the build was
    timing out on some slow arches (armel, mips*) but does actually make
    progress and complete when given enough time
  * debian/control:
    + Add field ${haskell:Provides} to -dev and -prof packages in preparation
      the upcoming GHC6/haskell-devscripts uploads into unstable
    + Standards-Version bump to 3.8.4, no changes required

  [ Marco Túlio Gontijo e Silva ]
  * debian/control: Remove unneeded Build-Depends: on libghc6-utf8-
    string-*.
  * debian/control: Bump version of haskell-devscripts on Build-Depends
    to 0.7.  Remove versioned Build-Depends: of ghc6* and remove
    hscolour and haddock from Build-Depends:.
  * debian/control: Split Build-Depends in Buid-Depends-Indep:.
  * debian/control: Use all haskell: variables.
  * debian/watch: Use format that downloads current version and checks
    for new versions.

 -- Marco Túlio Gontijo e Silva <marcot@debian.org>  Sat, 20 Feb 2010 20:12:57 -0200

agda (2.2.6-2) unstable; urgency=low

  * debian/control: Set priority to extra per archive overrides
  * debian/copyright: Update upstream source to a more generic location 
  * debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed
    to generate HTML documentation.

 -- Iain Lane <laney@ubuntu.com>  Sun, 10 Jan 2010 11:29:17 +0000

agda (2.2.6-1) unstable; urgency=low

  * New upstream release 2.2.6, for headlines please see:
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6
  * debian/control
    + Bump standards-version to 3.8.3, no changes
    + Fix Vcs-Git to point to correct URL
    + Update build-depends for new upstream release
    + Undo arch/indep split per current pkg-haskell practice
    + Add Homepage field
  * debian/copyright: Fix encoding to UTF-8 (thanks Lintian) 
  * debian/README.source: Remove, no repacking so not necessary any more 
  * debian/50agda.el:
    + Only load file if it exists, prevents a non-intrusive emacs warning
      where 50agda.el is left on system when package is removed. 
      (Closes: #559197). 
    + Do not load file on XEmacs — agda-mode is not compatible with XEmacs.

 -- Iain Lane <laney@ubuntu.com>  Tue, 05 Jan 2010 23:43:20 +0000

agda (2.2.4+dfsg-1) unstable; urgency=low

  * New upstream release 2.2.4.
  * Repacked to fix a couple of DFSG problems, see debian/README.source for
    more information.
  * debian/copyright: Update, add missing copyright holders.
  * debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc
    packages to build-depends-indep.

 -- Iain Lane <laney@ubuntu.com>  Mon, 20 Jul 2009 19:49:41 +0100

agda (2.2.2-1) unstable; urgency=low

  * Initial packaging (Closes: #522924)
  * With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for
    their helpful comments

 -- Iain Lane <laney@ubuntu.com>  Wed, 20 May 2009 16:08:07 +0100