[Bug 515384] Re: Sync agda 2.2.6-2 (universe) from Debian sid (main)

[Ilya Barygin]

** Changed in: agda (Ubuntu)
   Importance: Undecided => Wishlist

** Changed in: agda (Ubuntu)
       Status: New => Confirmed

-- 
Sync agda 2.2.6-2 (universe) from Debian sid (main)
https://bugs.launchpad.net/bugs/515384
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs