architecture: amd64 component: main package: libcoq-extructures priority: optional section: ocaml srcpkg_name: coq-extructures srcpkg_version: 0.4.0-4 version: 0.4.0-4+b5