architecture: amd64 component: main package: libcoq-gappa priority: optional section: math srcpkg_name: coq-gappa srcpkg_version: 1.5.2-5 version: 1.5.2-5+b1