dsc_fields:
Architecture: any
Binary: libcoq-gappa
Build-Depends: debhelper-compat (= 13), dh-ocaml, dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev,
libcoq-stdlib, ocaml-findlib
Checksums-Sha1:
- name: coq-gappa_1.5.5.orig.tar.bz2
sha1: a51d09d7080db15646e0183a35da5247f372ee26
size: '73595'
- name: coq-gappa_1.5.5-2.debian.tar.xz
sha1: 94399007a0601e4b1bbf147628337c1949883339
size: '2356'
Checksums-Sha256:
- name: coq-gappa_1.5.5.orig.tar.bz2
sha256: 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49
size: '73595'
- name: coq-gappa_1.5.5-2.debian.tar.xz
sha256: 66a1e584a1a94f108db1f6673c6b16dca27c69f4651fb9eda2a292ea7815b5e8
size: '2356'
Dgit: b947793bc5527909b745852d7358e7cf0a281f74 debian archive/debian/1.5.5-2 https://git.dgit.debian.org/coq-gappa
Files:
- md5sum: eb267ad716104e8da16998d5bee08042
name: coq-gappa_1.5.5.orig.tar.bz2
size: '73595'
- md5sum: e7ce38c975ae3d0bfe73cc91225defe9
name: coq-gappa_1.5.5-2.debian.tar.xz
size: '2356'
Format: 3.0 (quilt)
Homepage: https://gappa.gitlabpages.inria.fr
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-gappa deb math optional arch=any
Source: coq-gappa
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-gappa
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-gappa.git
Version: 1.5.5-2
name: coq-gappa
type: dpkg
version: 1.5.5-2