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.13.0.orig.tar.gz
sha1: 2014297759e8e54f2e5cb57ad6c096eacea5eab9
size: '85306'
- name: coq-ext-lib_0.13.0-1.debian.tar.xz
sha1: b77bb4f2bd32a9887982d677335b3c686b5593b9
size: '2368'
Checksums-Sha256:
- name: coq-ext-lib_0.13.0.orig.tar.gz
sha256: e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e
size: '85306'
- name: coq-ext-lib_0.13.0-1.debian.tar.xz
sha256: f337ec3e4af389333da7464cfe4af2b3d2c2a5fa6b3c1ec127699cff754ba777
size: '2368'
Files:
- md5sum: 0393eb00e923631c5316bfd49144c95b
name: coq-ext-lib_0.13.0.orig.tar.gz
size: '85306'
- md5sum: 7b8fbee3f9705f5a65b4ae6a9a540485
name: coq-ext-lib_0.13.0-1.debian.tar.xz
size: '2368'
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.7.0
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.13.0-1
name: coq-ext-lib
type: dpkg
version: 0.13.0-1