Format: 3.0 (quilt)
Source: coq-record-update
Binary: libcoq-record-update
Architecture: any
Version: 0.3.7-3+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/tchajed/coq-record-update
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-record-update
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-record-update.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-record-update deb ocaml optional arch=any
Checksums-Sha1:
 50788a57cac7012a204cda8c5daba6654f9785dd 18882 coq-record-update_0.3.7.orig.tar.gz
 c796b3f7faafd7666a29867c7c32ac1d87e79f66 2396 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz
Checksums-Sha256:
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 f091815988315010508d751de5b4ade58ec76091cbc0c8d1d6207525edd02f68 2396 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz
Files:
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 8f6f50077d79e0d6204c9d4ac9f01e3b 2396 coq-record-update_0.3.7-3+ocaml1.debian.tar.xz