dsc_fields:
Architecture: any
Binary: libcoq-libhyps
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib
Checksums-Sha1:
- name: coq-libhyps_2.0.6.orig.tar.gz
sha1: 5301821de901af71826df0fc98a25e982a496f9e
size: '36241'
- name: coq-libhyps_2.0.6-2.debian.tar.xz
sha1: 30bd58cb605223f91827d07b95afde8520082414
size: '1916'
Checksums-Sha256:
- name: coq-libhyps_2.0.6.orig.tar.gz
sha256: ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e
size: '36241'
- name: coq-libhyps_2.0.6-2.debian.tar.xz
sha256: a64794b940c5d2887231f8bc4c140564c0403c0392465fb78e4a0f691cf92d45
size: '1916'
Files:
- md5sum: 9aecf3f2e2a19b58ad130d6895731342
name: coq-libhyps_2.0.6.orig.tar.gz
size: '36241'
- md5sum: 3af42417a0ab03991e5a2de71fed2812
name: coq-libhyps_2.0.6-2.debian.tar.xz
size: '1916'
Format: 3.0 (quilt)
Homepage: https://github.com/Matafou/LibHyps
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-libhyps deb ocaml optional arch=any
Source: coq-libhyps
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-libhyps
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-libhyps.git
Version: 2.0.6-2
name: coq-libhyps
type: dpkg
version: 2.0.6-2