Comment 5 for bug 725364

This bug was fixed in the package agda-stdlib - 0.5-1~ubuntu1

---------------
agda-stdlib (0.5-1~ubuntu1) natty; urgency=low

  * Upload to Ubuntu from Debian's VCS due to delays in unstable caused by
    the GHC 7 transition (LP: #725364)
  * [ba20206] Make package architecture independent (Closes: #573807, #598708,
    #599958)
  * [0fb0600] Standards-Version → 3.9.1, no changes required
  * [d3f13b8] Update required Agda version to 2.2.8
  * [cc1f5c8] Imported Upstream version 0.4
  * [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
 -- Iain Lane <email address hidden> Fri, 25 Feb 2011 22:28:40 +0000