[Bug 577392] Re: Sync agda-stdlib 0.3-3 (universe) from Debian unstable (main)

[Jonathan Riddell]

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
Package Archive Administrators, which is a direct subscriber.