architecture: amd64 component: main package: libcoq-deriving priority: optional section: ocaml srcpkg_name: coq-deriving srcpkg_version: 0.2.0-3 version: 0.2.0-3+b5