dsc_fields:
Architecture: any
Binary: libcoq-equations
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev,
libcoq-stdlib, libocamlgraph-ocaml-dev
Checksums-Sha1:
- name: coq-equations_1.3.1-8.20.orig.tar.gz
sha1: 719ca21fb558dfa59ff3577ac7f9ab889ef8b12e
size: '1104362'
- name: coq-equations_1.3.1-8.20-1.debian.tar.xz
sha1: 0627f9dcf6113001230dfb217d78fe6760087166
size: '2748'
Checksums-Sha256:
- name: coq-equations_1.3.1-8.20.orig.tar.gz
sha256: 6df5b2b25ff94988611e0a5c6c56d3f8b83272ff27f75e5c161b0f1c9b120493
size: '1104362'
- name: coq-equations_1.3.1-8.20-1.debian.tar.xz
sha256: eb0b8aced113d6453b8e415e6169495156a84bb871632d5c2111f237a967939c
size: '2748'
Files:
- md5sum: 5cfe3dc4c2232a559e866a492917975f
name: coq-equations_1.3.1-8.20.orig.tar.gz
size: '1104362'
- md5sum: 2001ed02a9faaca50dab83c2e25672b3
name: coq-equations_1.3.1-8.20-1.debian.tar.xz
size: '2748'
Format: 3.0 (quilt)
Homepage: https://github.com/mattam82/Coq-Equations
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-equations deb ocaml optional arch=any
Source: coq-equations
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-equations
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-equations.git
Version: 1.3.1-8.20-1
name: coq-equations
type: dpkg
version: 1.3.1-8.20-1