Package fixed but not upgraded to 2.4.2.4
agda (2.4.2.2-4) unstable; urgency=medium
* [d59dba4] Revert modification of upstream source in
a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied.
* [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes:
#793194)
-- Iain Lane <email address hidden> Tue, 04 Aug 2015 14:46:23 +0100
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1478802
Title:
rebuild fail due to dependency version too restrictive
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/1478802/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
