architecture: amd64 component: main package: coqide priority: optional section: math srcpkg_name: coq srcpkg_version: 8.16.1+dfsg-1 version: 8.16.1+dfsg-1+b2