dsc_fields:
Architecture: any
Binary: libcoq-coqeal
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra,
libcoq-mathcomp-multinomials, libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev,
libcoq-paramcoq, libcoq-stdlib
Checksums-Sha1:
- name: coqeal_1.1.1.orig.tar.gz
sha1: 6b1c030d4f07a4b758621882dcad83763b729492
size: '218742'
- name: coqeal_1.1.1-3.debian.tar.xz
sha1: 586d23b3e896befea0c69ada79096c2b2c18d101
size: '2160'
Checksums-Sha256:
- name: coqeal_1.1.1.orig.tar.gz
sha256: 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046
size: '218742'
- name: coqeal_1.1.1-3.debian.tar.xz
sha256: cb431c609ca2860608ab436231bd971b4d1b5b550ed1e3e33369a708b17765f1
size: '2160'
Files:
- md5sum: d9d9be9f5b316207d10b8c51f0248889
name: coqeal_1.1.1.orig.tar.gz
size: '218742'
- md5sum: 66e77cd5c0e97c568cad6d7b28857671
name: coqeal_1.1.1-3.debian.tar.xz
size: '2160'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/coqeal
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-coqeal deb ocaml optional arch=any
Source: coqeal
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-coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-coqeal.git
Version: 1.1.1-3
name: coqeal
type: dpkg
version: 1.1.1-3