Public bug reported:
Please sync agda-stdlib 0.3-3 (universe) from Debian unstable (main)
Explanation of the Ubuntu delta and why it can be dropped:
Changes incorporated in Debian
Changelog entries since current maverick version 0.3-1ubuntu2:
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.
-- Marco Túlio Gontijo e Silva <[email protected]> Tue, 02 Mar 2010
20:56:49 -0300
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.
-- Marco Túlio Gontijo e Silva <[email protected]> Sat, 27 Feb 2010
09:05:52 -0300
** Affects: agda-stdlib (Ubuntu)
Importance: Wishlist
Status: Confirmed
** Changed in: agda-stdlib (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: agda-stdlib (Ubuntu)
Status: New => Confirmed
--
Sync agda-stdlib 0.3-3 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/577392
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
