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
 e1e935e2dd7b8444f94242f5773f5492a5ced8ca 2628 coqeal_2.1.2-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz
 cfd15ec1a4caa989a851ce423e253a4db144272b16956c59845865d9ccb6f82c 2628 coqeal_2.1.2-2+ocaml1.debian.tar.xz
Files:
 dc9b861b87233f88030a94721bc1e53c 227558 coqeal_2.1.2.orig.tar.gz
 a672afda6e7930cfede7ee35bc19d7d3 2628 coqeal_2.1.2-2+ocaml1.debian.tar.xz