[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