dsc_fields:
Architecture: any
Binary: libcoq-mathcomp-algebra-tactics
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-mathcomp-algebra,
libcoq-mathcomp-ssreflect, libcoq-mathcomp-zify
Checksums-Sha1:
- name: mathcomp-algebra-tactics_1.0.0.orig.tar.gz
sha1: aa1c3cfce1fef380c1f084d965e9f39e05197579
size: '37243'
- name: mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
sha1: 05c8d6e93b9d417f69211e380187a16d8a3251a8
size: '8704'
Checksums-Sha256:
- name: mathcomp-algebra-tactics_1.0.0.orig.tar.gz
sha256: fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad
size: '37243'
- name: mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
sha256: 8bbf9a9d85b0bb47b7c438776dd9fb3bbb9ddbfd272b133f57470e6ab933115f
size: '8704'
Files:
- md5sum: 35854a92912c256382b2930619669af8
name: mathcomp-algebra-tactics_1.0.0.orig.tar.gz
size: '37243'
- md5sum: 8c77b59dcfa67e1c1e184c9dffea19bb
name: mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz
size: '8704'
Format: 3.0 (quilt)
Homepage: https://github.com/math-comp/algebra-tactics
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Source: mathcomp-algebra-tactics
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Version: 1.0.0-8
name: mathcomp-algebra-tactics
type: dpkg
version: 1.0.0-8