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.8.orig.tar.gz
sha1: f76fddba5e33d6c43ce07a437f9916fecfc41a08
size: '37247'
- name: coq-libhyps_2.0.8-4.debian.tar.xz
sha1: 15376e8c2d5ed98b43d6e4340a4fa4e8cb00b6d0
size: '2216'
Checksums-Sha256:
- name: coq-libhyps_2.0.8.orig.tar.gz
sha256: e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2
size: '37247'
- name: coq-libhyps_2.0.8-4.debian.tar.xz
sha256: 337ed33419b697484c371e2ea75df9acc22694530d4389f85820623505389ee9
size: '2216'
Dgit: b13d6267b3581243ac01cf099a44062cdd9882ad debian archive/debian/2.0.8-4 https://git.dgit.debian.org/coq-libhyps
Files:
- md5sum: ca5263992fcd5f55211991f55a2d3c73
name: coq-libhyps_2.0.8.orig.tar.gz
size: '37247'
- md5sum: c7a738f91e5a62f37f4065607c3d6dd8
name: coq-libhyps_2.0.8-4.debian.tar.xz
size: '2216'
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.2
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.8-4
name: coq-libhyps
type: dpkg
version: 2.0.8-4