Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.7-5+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/algebra-tactics
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-mathcomp-algebra, libcoq-mathcomp-ssreflect, libcoq-mathcomp-zify
Package-List:
 libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Checksums-Sha1:
 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 77ea4956789d2934dc4b785f011b3c15b968e178 9832 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
Checksums-Sha256:
 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 e9fa95a9118a78a7f2c71b4b35472e11a0feebf8a9857a26929751dae27fcd6f 9832 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
Files:
 0e3dd126712c25e057a115c10b071a68 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 a74c190fb13528cf3a9ad1240ab4c7b6 9832 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz