dsc_fields:
Architecture: any
Binary: libcoq-coqprime, coqprime-tools
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev,
libcoq-stdlib, libecm1-dev, libnum-ocaml-dev
Checksums-Sha1:
- name: coqprime_8.15.orig.tar.gz
sha1: 54268a36f46073d12733b9ac834b02e529b219c6
size: '987167'
- name: coqprime_8.15-2.debian.tar.xz
sha1: 2fa1e0a5490870130b907df871bddf001bac0b43
size: '3576'
Checksums-Sha256:
- name: coqprime_8.15.orig.tar.gz
sha256: 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1
size: '987167'
- name: coqprime_8.15-2.debian.tar.xz
sha256: b9a7d07e3cad92bef068d73c2689745796326c7b9237ff2c38e123975d588003
size: '3576'
Files:
- md5sum: 0dc627139bc3e53bf5ebfc0a0803e216
name: coqprime_8.15.orig.tar.gz
size: '987167'
- md5sum: a06b866a43f26971f678cdc78e3c5923
name: coqprime_8.15-2.debian.tar.xz
size: '3576'
Format: 3.0 (quilt)
Homepage: https://github.com/thery/coqprime
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
coqprime-tools deb ocaml optional arch=any
libcoq-coqprime deb ocaml optional arch=any
Source: coqprime
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime
Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git
Version: 8.15-2
name: coqprime
type: dpkg
version: 8.15-2