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.1.orig.tar.gz
sha1: 9c646fdcc7f09a24cd5d4d06f8f61a263c2050c4
size: '13484'
- name: coq-record-update_0.3.1-2.debian.tar.xz
sha1: b09bbdab5f30c09d4606676daf0bee56f077bb4b
size: '1872'
Checksums-Sha256:
- name: coq-record-update_0.3.1.orig.tar.gz
sha256: 88b80b70351feac665d3e794cf6f41d1fe245e4e8602ba80f6dfa69d0e96669f
size: '13484'
- name: coq-record-update_0.3.1-2.debian.tar.xz
sha256: c7ff9e2b9fde0e6c896874d1495a1f2c3fbb5cc91ed4eaf5c9049b6a916ac471
size: '1872'
Files:
- md5sum: beddb631abb92a10c87d80799ca66e2f
name: coq-record-update_0.3.1.orig.tar.gz
size: '13484'
- md5sum: a131d4fade278b70173832c924077fc8
name: coq-record-update_0.3.1-2.debian.tar.xz
size: '1872'
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.1
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.1-2
name: coq-record-update
type: dpkg
version: 0.3.1-2