agda-stdlib 0.3-3fakesync source package in Ubuntu

Changelog

agda-stdlib (0.3-3fakesync) maverick; urgency=low

  * Fakesync from Debian unstable due to orig.tar.gz mismatch

agda-stdlib (0.3-3) unstable; urgency=low

  [ Iain Lane ]
  * debian/control: Add missing procps | hurd build-dep so that ps is available
    to run the ticker.

agda-stdlib (0.3-2) unstable; urgency=low

  [ Iain Lane ]
  * debian/control: Fix short descriptions (too long, one said "profiling"
    instead of "documentation")
  * debian/rules, debian/control: No need to use upstream's buildsys. This only
    builds Everything.agda which is already included in the distribution
    anyway. Also trim GHC and filepath from build-deps as these aren't needed
    now. This bypassing is required because upstream's buildsys invokes
    runhaskell, which isn't available everywhere. (Closes: #569262)
  * debian/rules: Disable upstream tests for the same reason as above. We
    typecheck the same file, README.agda, to generate the documentation
    anyway so this has no negative effect.
  * debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
    timeouts on some slow architectures.
 -- Iain Lane <email address hidden>   Tue, 25 May 2010 22:13:02 +0100