View Git repositories
Name Status Last Modified Last Commit
lp:ubuntu/wily/agda 1 Development 2015-08-16 09:51:20 UTC
43. Rebuild for new GHC ABIs.

Author: Colin Watson
Revision Date: 2015-08-16 09:51:20 UTC

Rebuild for new GHC ABIs.

lp:ubuntu/wily-proposed/agda 1 Development 2015-08-16 09:03:49 UTC
30. Rebuild for new GHC ABIs.

Author: Colin Watson
Revision Date: 2015-08-16 09:51:20 UTC

Rebuild for new GHC ABIs.

lp:ubuntu/vivid-proposed/agda 1 Development 2014-10-30 02:24:31 UTC
39. Rebuild for new GHC ABIs.

Author: Colin Watson
Revision Date: 2014-10-29 17:33:18 UTC

Rebuild for new GHC ABIs.

lp:ubuntu/vivid/agda 2 Mature 2014-10-29 17:33:18 UTC
39. Rebuild for new GHC ABIs.

Author: Colin Watson
Revision Date: 2014-10-29 17:33:18 UTC

Rebuild for new GHC ABIs.

lp:ubuntu/utopic/agda 2 Mature 2014-08-11 11:55:48 UTC
38. [e33e7a9] Pregenerate the Primitive.a...

Author: Colin Watson
Revision Date: 2014-08-11 11:55:48 UTC

[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.

lp:ubuntu/utopic-proposed/agda 1 Development 2014-08-11 11:55:48 UTC
38. [e33e7a9] Pregenerate the Primitive.a...

Author: Colin Watson
Revision Date: 2014-08-11 11:55:48 UTC

[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.

lp:ubuntu/trusty/agda 2 Mature 2013-11-06 09:59:36 UTC
35. * [244f29d] Use new watch file templa...

Author: Iain Lane
Revision Date: 2013-11-06 09:59:36 UTC

* [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

lp:ubuntu/trusty-proposed/agda 1 Development 2013-11-06 09:59:36 UTC
35. * [244f29d] Use new watch file templa...

Author: Iain Lane
Revision Date: 2013-11-06 09:59:36 UTC

* [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

lp:ubuntu/saucy-proposed/agda 2 Mature 2013-06-16 13:14:47 UTC
32. * [8cfbabf] Imported Upstream version...

Author: Iain Lane
Revision Date: 2013-06-16 13:14:47 UTC

* [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

lp:ubuntu/saucy/agda 1 Development 2013-06-16 13:14:47 UTC
32. * [8cfbabf] Imported Upstream version...

Author: Iain Lane
Revision Date: 2013-06-16 13:14:47 UTC

* [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

lp:ubuntu/raring-proposed/agda 1 Development 2013-04-10 20:01:12 UTC
9. [ Kiwamu Okabe ] * New patch: Extend ...

Author: Iain Lane
Revision Date: 2013-04-10 11:46:43 UTC

[ 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

lp:ubuntu/raring/agda 2 Mature 2013-04-10 11:46:43 UTC
26. [ Kiwamu Okabe ] * New patch: Extend ...

Author: Iain Lane
Revision Date: 2013-04-10 11:46:43 UTC

[ 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

lp:ubuntu/quantal/agda 2 Mature 2012-08-27 12:15:30 UTC
25. No-change rebuild for GHC 7.4.2

Author: Iain Lane
Revision Date: 2012-08-27 12:15:30 UTC

No-change rebuild for GHC 7.4.2

lp:ubuntu/precise/agda 2 Mature 2012-04-21 16:38:16 UTC
23. No change rebuild for haskell-hashtab...

Author: Iain Lane
Revision Date: 2012-04-21 17:18:26 UTC

No change rebuild for haskell-hashtables

lp:ubuntu/oneiric/agda 2 Mature 2011-07-09 22:15:58 UTC
15. Rebuild for new libghc-src-exts-dev ABI.

Author: Colin Watson
Revision Date: 2011-07-09 22:15:58 UTC

Rebuild for new libghc-src-exts-dev ABI.

lp:ubuntu/natty/agda 2 Mature 2011-02-24 18:27:06 UTC
10. * [60c4b8a] Imported Upstream version...

Author: Iain Lane
Revision Date: 2011-02-24 18:27:06 UTC

* [60c4b8a] Imported Upstream version 2.2.10
* [81c6857] Add haskell-src-exts BD
* [e7b276a] Add QuickCheck BDs
* [d807f09] Add new patch from upstream to build against versions of
  libraries in Debian

lp:ubuntu/maverick/agda 2 Mature 2010-05-26 09:08:19 UTC
8. No change rebuild to build against ne...

Author: Iain Lane
Revision Date: 2010-05-26 09:08:19 UTC

No change rebuild to build against new quickcheck

lp:ubuntu/lucid/agda 1 Development 2010-02-20 20:12:57 UTC
6. [ Iain Lane ] * debian/rules, debian/...

Author: Marco Tulio Gontijo e Silva
Revision Date: 2010-02-20 20:12:57 UTC

[ 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.

lp:ubuntu/karmic/agda 1 Development 2009-09-02 15:13:02 UTC
2. * New upstream release 2.2.4. * Repac...

Author: Iain Lane
Revision Date: 2009-07-20 19:49:41 UTC

* 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.

119 of 19 results