[Bug 53941] coq has changed section from devel to math

[Jordan Mantha]

Public bug reported:

coq has changed section from devel to math in Debian since version
8.0pl1-2

** Affects: coq (Ubuntu)
     Importance: Wishlist
         Status: Unconfirmed

** Changed in: coq (Ubuntu)
   Importance: Untriaged => Wishlist

-- 
coq has changed section from devel to math
https://launchpad.net/bugs/53941