Change log : agda package : Debian

2.6.3-1

Published in sid-release on 2023-10-13

agda (2.6.3-1) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * New upstream release

 -- Ilias Tsitsimpis <email address hidden>  Fri, 13 Oct 2023 17:57:46 +0300

2.6.2.2-1.1

Published in bookworm-release on 2023-06-01

Superseded in sid-release on 2023-11-09

agda (2.6.2.2-1.1) unstable; urgency=high

  * Non-maintainer upload.
  * add patch to remove internal agda-mode dependencies (Closes: #1017415)

 -- Marcel Fourné <email address hidden>  Tue, 06 Dec 2022 16:57:40 +0100

2.6.2.2-1

Superseded in sid-release on 2022-12-07

agda (2.6.2.2-1) unstable; urgency=medium

  * New upstream release (Closes: #1003318)
  * Declare compliance with Debian policy 4.6.1
  * Install missing files (Closes: #1008809, #992448)

 -- Ilias Tsitsimpis <email address hidden>  Sat, 06 Aug 2022 16:14:08 +0300

Available diffs

diff from 2.6.1-1build2.1 (in Ubuntu) to 2.6.2.2-1 (1.1 MiB)

2.6.1-1

Published in bullseye-release on 2021-07-22

Superseded in sid-release on 2023-01-24

agda (2.6.1-1) unstable; urgency=medium

  [ Sean Whitton ]
  * New upstream release

  [ Ilias Tsitsimpis ]
  * Refresh patches
  * Build-dep on newer versions of dh-elpa (Closes: #935635)
  * Drop agda-mode transitional package (Closes: #939136)
  * Add lighc-agda-dev as dependency of agda-bin (Closes: #907521)

 -- Ilias Tsitsimpis <email address hidden>  Wed, 29 Jul 2020 18:34:44 +0300

Available diffs

diff from 2.6.0.1-1build4 (in Ubuntu) to 2.6.1-1 (1.1 MiB)
diff from 2.6.1-0ubuntu1 (in Ubuntu) to 2.6.1-1 (1.6 KiB)

2.6.0.1-1

Superseded in sid-release on 2021-12-05

agda (2.6.0.1-1) unstable; urgency=medium

  * New upstream version.

 -- Clint Adams <email address hidden>  Sat, 31 Aug 2019 10:02:33 -0400

Available diffs

diff from 2.5.4.1-3build1 (in Ubuntu) to 2.6.0.1-1 (783.3 KiB)

2.5.4.1-3

Published in buster-release on 2018-11-29

Superseded in sid-release on 2019-09-30

agda (2.5.4.1-3) unstable; urgency=medium

  * Remove build dependency on non-existing libghc-edisoncore-dev.
    The correct package is libghc-edison-core-dev.
  * Remove build dependency on *-prof packages.
    No profiling package is being built.

 -- Ilias Tsitsimpis <email address hidden>  Sat, 20 Oct 2018 23:22:18 +0300

Available diffs

diff from 2.5.3-5build3 (in Ubuntu) to 2.5.4.1-3 (597.9 KiB)

2.5.4.1-2

Superseded in sid-release on 2018-10-21

agda (2.5.4.1-2) unstable; urgency=medium

  * Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
  * Remove build dependency on libghc-text-dev (provided by ghc-8.4.3)
  * Remove build dependency on libghc-stm-dev (provided by ghc-8.4.3)

 -- Ilias Tsitsimpis <email address hidden>  Mon, 01 Oct 2018 17:50:16 +0300

2.5.4.1-1

Superseded in sid-release on 2018-10-01

agda (2.5.4.1-1) unstable; urgency=medium

  [ Clint Adams ]
  * Set Rules-Requires-Root to no.

  [ Ilias Tsitsimpis ]
  * New upstream release

 -- Ilias Tsitsimpis <email address hidden>  Sun, 30 Sep 2018 11:01:07 +0300

2.5.3-5

Deleted in buster-release (Reason: None provided.)

Superseded in sid-release on 2018-10-31

agda (2.5.3-5) unstable; urgency=medium

  * Patch for newer EdisonCore.

 -- Clint Adams <email address hidden>  Sun, 29 Apr 2018 08:41:41 -0400

Available diffs

diff from 2.5.3-3build1 (in Ubuntu) to 2.5.3-5 (1.7 KiB)

2.5.3-4

Superseded in sid-release on 2018-04-29

agda (2.5.3-4) unstable; urgency=medium

  [ Ilias Tsitsimpis ]
  * Change Priority to optional. Since Debian Policy version 4.0.1,
    priority extra has been deprecated.
  * Use the HTTPS form of the copyright-format URL
  * Modify d/watch and Source field in d/copyright to use HTTPS
  * Declare compliance with Debian policy 4.1.1
  * Use salsa.debian.org URLs in Vcs-{Browser,Git} fields

  [ Clint Adams ]
  * Bump to Standards-Version 4.1.4.
  * Delete the Uploaders field.

 -- Clint Adams <email address hidden>  Mon, 09 Apr 2018 20:16:15 -0400

2.5.3-3

Superseded in buster-release on 2018-07-02

Superseded in sid-release on 2018-12-25

agda (2.5.3-3) unstable; urgency=medium

  * Search for .agda-lib files in /var/lib/agda
    So that agda -l standard-library works out of te box

 -- Joachim Breitner <email address hidden>  Fri, 13 Oct 2017 22:54:31 -0400

Available diffs

diff from 2.5.2-2build1 (in Ubuntu) to 2.5.3-3 (619.6 KiB)

2.5.3-2

Superseded in sid-release on 2017-10-21

agda (2.5.3-2) unstable; urgency=medium

  * Typo in build-depends

 -- Joachim Breitner <email address hidden>  Fri, 13 Oct 2017 20:53:19 -0400

2.5.3-1

Superseded in sid-release on 2017-10-14

agda (2.5.3-1) unstable; urgency=medium

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

 -- Sean Whitton <email address hidden>  Sat, 16 Sep 2017 12:53:41 -0700

2.5.2-2

Superseded in buster-release on 2017-11-21

Superseded in sid-release on 2018-12-22

agda (2.5.2-2) unstable; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

 -- Gianfranco Costamagna <email address hidden>  Mon, 10 Jul 2017 12:54:36 +0200

Available diffs

diff from 2.5.2-2~build1 (in Ubuntu) to 2.5.2-2 (231 bytes)

2.5.2-1

Superseded in sid-release on 2017-07-10

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 <email address hidden>  Thu, 06 Jul 2017 09:59:52 +0200

Available diffs

diff from 2.5.1.1-4build2 (in Ubuntu) to 2.5.2-1 (751.8 KiB)

2.5.1.1-4

Superseded in sid-release on 2017-07-11

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 <email address hidden>  Fri, 27 Jan 2017 07:54:20 +0100

Available diffs

diff from 2.5.1.1-3build4 (in Ubuntu) to 2.5.1.1-4 (793 bytes)

2.5.1.1-3

Superseded in buster-release on 2017-09-01

Published in stretch-release on 2016-12-03

Superseded in sid-release on 2017-07-18

agda (2.5.1.1-3) unstable; urgency=medium

  * Upload to unstable as part of GHC 8 transition.

 -- Clint Adams <email address hidden>  Thu, 27 Oct 2016 18:32:12 -0400

Available diffs

diff from 2.5.1-2build3 (in Ubuntu) to 2.5.1.1-3 (16.5 KiB)

2.5.1.1-2

Deleted in experimental-release (Reason: None provided.)

agda (2.5.1.1-2) experimental; urgency=medium

  * Patch to build with newer EdisonAPI.

 -- Clint Adams <email address hidden>  Thu, 20 Oct 2016 10:23:45 -0400

2.5.1.1-1

Superseded in experimental-release on 2016-10-21

agda (2.5.1.1-1) experimental; urgency=medium

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

 -- Clint Adams <email address hidden>  Sun, 16 Oct 2016 16:36:45 -0400

2.5.1-2

Deleted in stretch-release (Reason: None provided.)

Superseded in sid-release on 2016-12-02

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 <email address hidden>  Mon, 20 Jun 2016 17:34:46 +0900

Available diffs

diff from 2.4.2.5-1build1 (in Ubuntu) to 2.5.1-2 (630.4 KiB)
diff from 2.5.1-1 to 2.5.1-2 (1.2 KiB)

2.5.1-1

Superseded in sid-release on 2016-06-20

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 <email address hidden>  Sun, 12 Jun 2016 17:34:08 +0900

2.4.2.5-1

Superseded in stretch-release on 2016-10-04

Superseded in sid-release on 2017-01-25

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 <email address hidden>  Mon, 04 Jan 2016 12:56:33 +0000

Available diffs

diff from 2.4.2.2-4build1 (in Ubuntu) to 2.4.2.5-1 (494.3 KiB)

2.4.2.2-4

Deleted in stretch-release (Reason: None provided.)

Superseded in sid-release on 2016-02-15

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 <email address hidden>  Tue, 04 Aug 2015 14:46:23 +0100

2.4.2.2-3

Superseded in stretch-release on 2015-09-11

Superseded in sid-release on 2015-08-05

agda (2.4.2.2-3) unstable; urgency=medium

  * Fix dependency on hashtables

 -- Joachim Breitner <email address hidden>  Wed, 01 Jul 2015 19:26:22 +0200

Available diffs

diff from 2.4.2.2-2 to 2.4.2.2-3 (1.3 KiB)

2.4.2.2-2

Superseded in stretch-release on 2015-07-12

Superseded in sid-release on 2015-07-05

agda (2.4.2.2-2) unstable; urgency=medium

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

 -- Iain Lane <email address hidden>  Wed, 20 May 2015 13:08:33 +0100

Available diffs

diff from 2.4.0.2-2build1 (in Ubuntu) to 2.4.2.2-2 (471.8 KiB)

2.4.0.2-2

Superseded in stretch-release on 2015-06-26

Published in jessie-release on 2014-08-22

Superseded in sid-release on 2015-06-04

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 <email address hidden>  Mon, 11 Aug 2014 11:55:48 +0100

Available diffs

diff from 2.3.2.2-1build1 (in Ubuntu) to 2.4.0.2-2 (1.9 MiB)
diff from 2.4.0.2-1 to 2.4.0.2-2 (570 bytes)

2.4.0.2-1

Superseded in sid-release on 2014-08-11

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 <email address hidden>  Tue, 05 Aug 2014 06:38:12 +0100

Available diffs

diff from 2.3.2.2-1build1 (in Ubuntu) to 2.4.0.2-1 (1.9 MiB)

2.3.2.2-1

Superseded in jessie-release on 2014-08-22

Superseded in sid-release on 2015-07-27

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 <email address hidden>  Wed, 06 Nov 2013 09:59:36 +0000

Available diffs

diff from 2.3.2.1-2build1 (in Ubuntu) to 2.3.2.2-1 (1.2 MiB)

2.3.2.1-2

Superseded in sid-release on 2013-11-07

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 <email address hidden>  Sat, 19 Oct 2013 11:58:05 +0100

Available diffs

diff from 2.3.2.1-1 to 2.3.2.1-2 (979 bytes)

2.3.2.1-1

Superseded in sid-release on 2013-10-20

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 <email address hidden>  Sun, 16 Jun 2013 13:14:47 +0100

Available diffs

diff from 2.3.2-4 to 2.3.2.1-1 (6.7 KiB)

2.3.2-4

Superseded in sid-release on 2013-06-18

agda (2.3.2-4) unstable; urgency=low


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

 -- Iain Lane <email address hidden>  Wed, 12 Jun 2013 10:44:41 +0100

Available diffs

diff from 2.3.2-3 to 2.3.2-4 (463 bytes)

2.3.2-3

Superseded in sid-release on 2013-06-19

agda (2.3.2-3) unstable; urgency=low


  * Clean up build dependencies 

 -- Joachim Breitner <email address hidden>  Wed, 29 May 2013 14:06:03 +0200

Available diffs

diff from 2.3.2-1build1 (in Ubuntu) to 2.3.2-3 (1.7 KiB)
diff from 2.3.2-2 to 2.3.2-3 (801 bytes)

2.3.2-2

Superseded in sid-release on 2013-05-31

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 <email address hidden>  Mon, 27 May 2013 19:13:14 +0100

Available diffs

diff from 2.3.2-1build2 (in Ubuntu) to 2.3.2-2 (1.4 KiB)

2.3.2-1

Deleted in experimental-release (Reason: None provided.)

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 <email address hidden>  Wed, 10 Apr 2013 11:46:43 +0100

Available diffs

diff from 2.3.0.1-2build1 (in Ubuntu) to 2.3.2-1 (479.5 KiB)

2.3.0.1-2

Superseded in jessie-release on 2013-11-08

Published in wheezy-release on 2012-06-14

Superseded in sid-release on 2013-06-21

agda (2.3.0.1-2) unstable; urgency=low


  * New patch: Extend mtl dependency 

 -- Joachim Breitner <email address hidden>  Fri, 25 May 2012 22:58:34 +0200

Available diffs

diff from 2.3.0.1-1build2 (in Ubuntu) to 2.3.0.1-2 (900 bytes)

2.3.0.1-1

Superseded in sid-release on 2012-06-03

agda (2.3.0.1-1) unstable; urgency=low


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

 -- Joachim Breitner <email address hidden>  Mon, 12 Mar 2012 14:12:34 +0100

Available diffs

diff from 2.3.0-1build2 (in Ubuntu) to 2.3.0.1-1 (18.6 KiB)

2.3.0-1

Superseded in wheezy-release on 2012-06-14

Superseded in sid-release on 2012-03-27

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 <email address hidden>  Wed, 23 Nov 2011 10:12:59 +0000

Available diffs

diff from 2.2.10-4build1 (in Ubuntu) to 2.3.0-1 (385.6 KiB)

2.2.10-4

Superseded in wheezy-release on 2011-12-23

Superseded in sid-release on 2011-12-03

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 <email address hidden>  Sat, 03 Sep 2011 23:11:17 +0100

2.2.10-3

Superseded in wheezy-release on 2011-09-21

Superseded in sid-release on 2011-09-20

agda (2.2.10-3) unstable; urgency=low
  * Extend haskell-src-exts dependency range to include 0.11.*  -- Joachim Breitner <email address hidden>  Fri, 17 Jun 2011 10:38:21 +0200

2.2.10-2

Superseded in wheezy-release on 2011-09-21

Superseded in sid-release on 2011-09-20

agda (2.2.10-2) unstable; urgency=low
  * Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:    #629572) -- Joachim Breitner <email address hidden>  Tue, 07 Jun 2011 23:57:04 +0200

2.2.10-1

Superseded in sid-release on 2011-09-20

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 <email address hidden>  Thu, 19 May 2011 13:43:17 +0100

2.2.8-1

Deleted in experimental-release (Reason: None provided.)

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 <email address hidden>  Sat, 11 Dec 2010 15:39:21 +0000

2.2.6-7

Superseded in wheezy-release on 2011-09-21

Published in squeeze-release on 2010-05-27

Superseded in sid-release on 2011-09-20

agda (2.2.6-7) unstable; urgency=low


  * control: Use versioned Replaces: and Conflicts:

 -- Marco Túlio Gontijo e Silva <email address hidden>  Wed, 05 May 2010 23:13:56 -0300

2.2.6-6

Superseded in squeeze-release on 2011-09-13

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 <email address hidden>  Fri, 16 Apr 2010 11:43:24 +0200

2.2.6-5

Superseded in squeeze-release on 2011-09-13

Superseded in sid-release on 2011-09-20

agda (2.2.6-5) unstable; urgency=low


  * debian/control: Rename -doc package.

 -- Marco Túlio Gontijo e Silva <email address hidden>  Tue, 16 Mar 2010 10:15:20 -0300

2.2.6-4

Superseded in sid-release on 2011-09-20

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)
  * debian/control: Use shlibs:Depends in libghc6-agda-dev, and not in
    agda-mode.

 -- Iain Lane <email address hidden>  Sat, 27 Feb 2010 20:35:10 +0000

2.2.6-3

Superseded in sid-release on 2011-09-20

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 <email address hidden>  Sat, 20 Feb 2010 20:12:57 -0200

2.2.6-2

Superseded in sid-release on 2011-09-20

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 <email address hidden>  Sun, 10 Jan 2010 11:29:17 +0000

2.2.6-1

Superseded in sid-release on 2011-09-20

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 <email address hidden>  Tue, 05 Jan 2010 23:43:20 +0000

2.2.4+dfsg-1

Superseded in sid-release on 2011-09-20

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 <email address hidden>  Mon, 20 Jul 2009 19:49:41 +0100

Debian
agda package

Change log for agda package in Debian

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Debianagda package

Change log for agda package in Debian

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Debian
agda package