[Bug 798674] [NEW] Sync agda-stdlib 0.5-1 (universe) from Debian unstable (main)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Iain Lane (laney):

Please sync agda-stdlib 0.5-1 (universe) from Debian unstable (main)

Explanation of the Ubuntu delta and why it can be dropped:
Was an upload from Debian's git before due to transition timing issues.

Changelog entries since current oneiric version 0.5-1~ubuntu1:

agda-stdlib (0.5-1) unstable; urgency=low

  * [9251e0b] Imported Upstream version 0.5
  * [ba20206] Make package architecture independent (Closes: #573807, #598708,
    #599958)
  * [2c82171] Add watch file
  * [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] Improve 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
  * [3f6879a] Set Maintainer to my d.o email address

 -- Iain Lane <laney at debian.org>  Tue, 24 May 2011 10:26:15 +0100

** Affects: agda-stdlib (Ubuntu)
     Importance: Wishlist
         Status: Confirmed

-- 
Sync agda-stdlib 0.5-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/798674
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.