architecture: amd64 component: main package: libcoq-elpi priority: optional section: ocaml srcpkg_name: coq-elpi srcpkg_version: 1.16.0-2 version: 1.16.0-2+b1