dsc_fields:
Architecture: any
Binary: libcoq-reglang
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, dune, libcoq-mathcomp-ssreflect,
libcoq-core-ocaml-dev, libcoq-stdlib
Checksums-Sha1:
- name: coq-reglang_1.1.3.orig.tar.gz
sha1: 851f2a363f8ff7103b18844f6dbcfb348ba3e2e3
size: '67023'
- name: coq-reglang_1.1.3-2.debian.tar.xz
sha1: 1fb8e9e36bfe6fa4ad9105cca51dde8a3399dd52
size: '8392'
Checksums-Sha256:
- name: coq-reglang_1.1.3.orig.tar.gz
sha256: eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f
size: '67023'
- name: coq-reglang_1.1.3-2.debian.tar.xz
sha256: a5476d0f96f5486e858d61b99163c88a59c436d66ba4260e2cca17bfa9dcd003
size: '8392'
Files:
- md5sum: 36011415d0f49a7dddcb02b89dffd288
name: coq-reglang_1.1.3.orig.tar.gz
size: '67023'
- md5sum: f114c053e00795b791619d7a19a62bde
name: coq-reglang_1.1.3-2.debian.tar.xz
size: '8392'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/reglang
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-reglang deb ocaml optional arch=any
Source: coq-reglang
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-reglang
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-reglang.git
Version: 1.1.3-2
name: coq-reglang
type: dpkg
version: 1.1.3-2