dsc_fields:
Architecture: any
Binary: libcoq-record-update
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-record-update_0.3.4.orig.tar.gz
sha1: d32b7dd1566280e9eaa32dbf9ac0ceaf07143565
size: '13646'
- name: coq-record-update_0.3.4-4.debian.tar.xz
sha1: 10ec532ca4ea95b74113257c3054c784a73c1483
size: '2176'
Checksums-Sha256:
- name: coq-record-update_0.3.4.orig.tar.gz
sha256: 4a655ef214d1c2e8d50d12b83660a1c84f991a28176db3cb847ccac96f5a11a9
size: '13646'
- name: coq-record-update_0.3.4-4.debian.tar.xz
sha256: ae44430f790712f35b571cd36a1024d4e3058139d1f0d315a9ecf446c88dd371
size: '2176'
Files:
- md5sum: b291523542767033ee091556447c67d0
name: coq-record-update_0.3.4.orig.tar.gz
size: '13646'
- md5sum: 60ee0f68f7bc699c193a867ddbbc9b7f
name: coq-record-update_0.3.4-4.debian.tar.xz
size: '2176'
Format: 3.0 (quilt)
Homepage: https://github.com/tchajed/coq-record-update
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-record-update deb ocaml optional arch=any
Source: coq-record-update
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-record-update
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-record-update.git
Version: 0.3.4-4
name: coq-record-update
type: dpkg
version: 0.3.4-4