** Changed in: coq (Ubuntu)
Status: Unconfirmed => Fix Released
--
coq has changed section from devel to math
https://launchpad.net/bugs/53941-- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
