Format: 3.0 (quilt)
Source: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Architecture: any
Version: 1.1.1-1+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
 0263261024190fb8a63e91fadc3062424b163b20 2560 rocq-micromega-plugin_1.1.1-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 de7953288f3fe920152436098a4273519928ec495db3e92d0eb308e622172250 2560 rocq-micromega-plugin_1.1.1-1+ocaml1.debian.tar.xz
Files:
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f7a9036422a1d5edb56fb059d2a4e02c 2560 rocq-micromega-plugin_1.1.1-1+ocaml1.debian.tar.xz