dsc_fields:
Architecture: any
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-character, libcoq-mathcomp-field,
libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect,
libcoq-mathcomp
Build-Depends: debhelper-compat (= 13), dh-coq, coq (>= 8.11), libcoq-stdlib, lua5.4
Checksums-Sha1:
- name: ssreflect_1.15.0.orig.tar.gz
sha1: eda35525d3d0fd2d89ec15429cfdd5ce2844591c
size: '1359283'
- name: ssreflect_1.15.0-1.debian.tar.xz
sha1: f96486fe00ebf32593eba20d57df7206c33fde6d
size: '12380'
Checksums-Sha256:
- name: ssreflect_1.15.0.orig.tar.gz
sha256: 33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95
size: '1359283'
- name: ssreflect_1.15.0-1.debian.tar.xz
sha256: c0bd3c3092d8e7ab6b10d888e051cb519d70d76e3b030b07dc5945a65260ff68
size: '12380'
Files:
- md5sum: 050d268218930548aac6f25411a3a4c8
name: ssreflect_1.15.0.orig.tar.gz
size: '1359283'
- md5sum: 31adeddedb692579a99cc39e8450e396
name: ssreflect_1.15.0-1.debian.tar.xz
size: '12380'
Format: 3.0 (quilt)
Homepage: https://math-comp.github.io/math-comp/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-mathcomp deb math optional arch=any
libcoq-mathcomp-algebra deb math optional arch=any
libcoq-mathcomp-character deb math optional arch=any
libcoq-mathcomp-field deb math optional arch=any
libcoq-mathcomp-fingroup deb math optional arch=any
libcoq-mathcomp-solvable deb math optional arch=any
libcoq-mathcomp-ssreflect deb math optional arch=any
Source: ssreflect
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: "St\xE9phane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>,\
\ Ralf Treinen <treinen@debian.org>"
Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect
Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git
Version: 1.15.0-1
name: ssreflect
type: dpkg
version: 1.15.0-1