Format: 3.0 (quilt)
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: any
Version: 1.1.1-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/rocq-community/micromega-plugin
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocq-micromega-plugin
Vcs-Git: https://salsa.debian.org/ocaml-team/rocq-micromega-plugin.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core, libcoq-core-ocaml-dev, libcoq-stdlib, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-micromega-plugin deb math optional arch=any
Checksums-Sha1:
 f77e14bf651672de8bf2e8b601f537e67a93da6a 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f7c3f667e464891ee4b737da3736843769ca3baf 2632 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 132be44873bd14eafc361119b12e613939db538fc8adb267200e87351ce2c381 2632 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz
Files:
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 4019130d9c247fa558604bfb2ef265b9 2632 rocq-micromega-plugin_1.1.1-2+ocaml1.debian.tar.xz