E: Fetching files failed: agda-stdlib_0.3.orig.tar.gz: md5sum check
failed (aeb109e24dce44f18c4d9726c7a38892 [actual] vs.
7a58639a0fdfdb4b748de208d657d999 [expected]).
** Changed in: agda-stdlib (Ubuntu)
Status: Confirmed => Fix Released
** Changed in: agda-stdlib (Ubuntu)
Status: Fix Released => Won't Fix
--
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
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
