Public bug reported: Binary package hint: easycrypt
new
** Affects: easycrypt (Ubuntu)
Importance: Undecided
Status: Confirmed
--
Candidate revision easycrypt_0.2.2.8-0ubuntu1
https://bugs.launchpad.net/bugs/203145
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
