** Changed in: agda (Debian)
Status: Fix Committed = Fix Released
--
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
latest upstream release: 2.4.2.4
https://github.com/agda/agda/blob/maint-2.4.2/CHANGELOG
--
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
** Changed in: agda (Debian)
Status: New = Fix Committed
--
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
** Changed in: agda (Ubuntu)
Status: Confirmed = Fix Released
--
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
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:
Thanks for reporting.
This issue has also been reported in Debian, so I've attached a bug
watch. Based on a comment there, this will probably be resolved once the
latest version of agda is packaged.
** Bug watch added: Debian Bug tracker #793194
** Changed in: agda (Debian)
Status: Unknown = New
--
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