dsc_fields:
Architecture: all
Binary: proofgeneral, proofgeneral-doc
Build-Depends: debhelper-compat (= 13), texinfo, texlive-latex-recommended, texlive-plain-generic,
texlive-fonts-recommended, emacs | emacs-nox, dh-elpa
Checksums-Sha1:
- name: proofgeneral_4.5.orig.tar.gz
sha1: 8dc48a09217b386747815289590ca9c7c602ff92
size: '1198535'
- name: proofgeneral_4.5-2.debian.tar.xz
sha1: 6430e9a25e3702d2e41fa8fe4da3cd02f20714ad
size: '17372'
Checksums-Sha256:
- name: proofgeneral_4.5.orig.tar.gz
sha256: b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
size: '1198535'
- name: proofgeneral_4.5-2.debian.tar.xz
sha256: d58f44f1960e5fa8a681fe19c4e8fd92bcc471c797e513b87b8d6559c62191ea
size: '17372'
Files:
- md5sum: 7fc03264e924f8020e717cc4cff67197
name: proofgeneral_4.5.orig.tar.gz
size: '1198535'
- md5sum: 558481addd2c4efaa967bb456d6af6dd
name: proofgeneral_4.5-2.debian.tar.xz
size: '17372'
Format: 3.0 (quilt)
Homepage: https://proofgeneral.github.io/
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Package-List: |2-
proofgeneral deb editors optional arch=all
proofgeneral-doc deb doc optional arch=all
Source: proofgeneral
Standards-Version: 4.6.2
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/math-team/proofgeneral
Vcs-Git: https://salsa.debian.org/math-team/proofgeneral.git
Version: 4.5-2
name: proofgeneral
type: dpkg
version: 4.5-2