Format: 3.0 (quilt)
Source: coq-equations
Binary: libcoq-equations
Architecture: any
Version: 1.3.2-9.2-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/mattam82/Coq-Equations
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-equations
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-equations.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-equations deb ocaml optional arch=any
Checksums-Sha1:
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 98627af4325e881313ce58d2d1dc29e1d0f251f8 3584 coq-equations_1.3.2-9.2-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 b1ae826c4b3400f762e1f6db24a69a9b8ea26f8c2065e103cde19c8474a68583 3584 coq-equations_1.3.2-9.2-2+ocaml1.debian.tar.xz
Files:
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 cc8383f062c3a25765099bc8c2d9ade0 3584 coq-equations_1.3.2-9.2-2+ocaml1.debian.tar.xz