dsc_fields:
Architecture: any
Binary: libcoq-hammer
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-hammer_1.3.2+8.16.orig.tar.gz
sha1: be07a140beea9df4bb73544784218d1e7e383fea
size: '148694'
- name: coq-hammer_1.3.2+8.16-2.debian.tar.xz
sha1: de4c02e9f3345f1895ead397eb4dfaa0f0f5c2ae
size: '2316'
Checksums-Sha256:
- name: coq-hammer_1.3.2+8.16.orig.tar.gz
sha256: 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6
size: '148694'
- name: coq-hammer_1.3.2+8.16-2.debian.tar.xz
sha256: 7290c70a5f181c3ed90461654c49b65332697ec790056b9ab97514670b485c26
size: '2316'
Files:
- md5sum: d3d759c01cbba8a4f156661fadc963e5
name: coq-hammer_1.3.2+8.16.orig.tar.gz
size: '148694'
- md5sum: 53e37e2e6926779de21ee3c5dd5a6537
name: coq-hammer_1.3.2+8.16-2.debian.tar.xz
size: '2316'
Format: 3.0 (quilt)
Homepage: https://github.com/lukaszcz/coqhammer
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-hammer deb ocaml optional arch=any
Source: coq-hammer
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hammer
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hammer.git
Version: 1.3.2+8.16-2
name: coq-hammer
type: dpkg
version: 1.3.2+8.16-2