[Bug 53941] Re: coq has changed section from devel to math
Scott James Remnant
scott at ubuntu.com
Tue Jul 25 16:50:54 BST 2006
** Changed in: coq (Ubuntu)
Status: Unconfirmed => Fix Released
--
coq has changed section from devel to math
https://launchpad.net/bugs/53941
More information about the ubuntu-archive
mailing list