architecture: arm64 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