Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.2-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coqeal
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz
 2a8825c807ac6c2d485c349b9fc34d0dd8b5e72b 2624 coqeal_2.1.2-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz
 dc102c038a990939e0ffba4dbc6e80bf8ac36b0062edb2dd640085bdcc1dc59f 2624 coqeal_2.1.2-2+ocaml1.debian.tar.xz
Files:
 dc9b861b87233f88030a94721bc1e53c 227558 coqeal_2.1.2.orig.tar.gz
 2b913a7a65102ccb66084b5798f01375 2624 coqeal_2.1.2-2+ocaml1.debian.tar.xz