dsc_fields:
Architecture: any
Binary: libcoq-ext-lib
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-ext-lib_0.11.7.orig.tar.gz
sha1: bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc
size: '82956'
- name: coq-ext-lib_0.11.7-2.debian.tar.xz
sha1: 3b754441413c3f212ebe97f68946ff591fcc7087
size: '2036'
Checksums-Sha256:
- name: coq-ext-lib_0.11.7.orig.tar.gz
sha256: 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1
size: '82956'
- name: coq-ext-lib_0.11.7-2.debian.tar.xz
sha256: f102bc89b78836fece9be63eb0ffbc1451369aee659427f81ffc21483776c263
size: '2036'
Files:
- md5sum: a71175b8e2b9c005d4e333a25ace42ba
name: coq-ext-lib_0.11.7.orig.tar.gz
size: '82956'
- md5sum: 420d7e78ab9827de4f506d430d96ee01
name: coq-ext-lib_0.11.7-2.debian.tar.xz
size: '2036'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/coq-ext-lib
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-ext-lib deb ocaml optional arch=any
Source: coq-ext-lib
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-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Version: 0.11.7-2
name: coq-ext-lib
type: dpkg
version: 0.11.7-2