dsc_fields:
Architecture: any
Binary: libcoq-mathcomp-bigenough
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect,
ocaml-dune
Checksums-Sha1:
- name: mathcomp-bigenough_1.0.1.orig.tar.gz
sha1: fb23236e373c0cd475e7868940b5ab3a30c4f482
size: '12248'
- name: mathcomp-bigenough_1.0.1-8.debian.tar.xz
sha1: 1aa4bfc554432a10f90cf48875b202fc3adb32a3
size: '8616'
Checksums-Sha256:
- name: mathcomp-bigenough_1.0.1.orig.tar.gz
sha256: a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36
size: '12248'
- name: mathcomp-bigenough_1.0.1-8.debian.tar.xz
sha256: 3f59693e280be818c135c8df3482c13e4b286501a0ad054f440c7fc34e8576db
size: '8616'
Files:
- md5sum: 6643a658ea6c6fb32b788a730bedee55
name: mathcomp-bigenough_1.0.1.orig.tar.gz
size: '12248'
- md5sum: 4ee28972e840440ad176c852a8bdee91
name: mathcomp-bigenough_1.0.1-8.debian.tar.xz
size: '8616'
Format: 3.0 (quilt)
Homepage: https://github.com/math-comp/bigenough
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-mathcomp-bigenough deb ocaml optional arch=any
Source: mathcomp-bigenough
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-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Version: 1.0.1-8
name: mathcomp-bigenough
type: dpkg
version: 1.0.1-8