dsc_fields:
Architecture: all
Binary: proofgeneral, proofgeneral-doc
Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-plain-generic,
texlive-fonts-recommended, emacs-gtk
Checksums-Sha1:
- name: proofgeneral_4.4.1~pre170114.orig.tar.xz
sha1: e0fec0c4d6c6203c8a6325100073911e0db30d74
size: '9299752'
- name: proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
sha1: ebb27ec63fa5f6bb89725df5fdd3ee86c9ef9a28
size: '19908'
Checksums-Sha256:
- name: proofgeneral_4.4.1~pre170114.orig.tar.xz
sha256: bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d
size: '9299752'
- name: proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
sha256: 184d07cc7aaa1dc58928b30639668d87d996c64c1e508f4f7259613acc298cd5
size: '19908'
Files:
- md5sum: 56ff3a7d19e7062598664674aa890332
name: proofgeneral_4.4.1~pre170114.orig.tar.xz
size: '9299752'
- md5sum: f93803a132978a784df69075beb0b89a
name: proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz
size: '19908'
Format: 3.0 (quilt)
Homepage: https://proofgeneral.github.io/
Maintainer: Hendrik Tews <hendrik@askra.de>
Package-List: |2-
proofgeneral deb editors optional arch=all
proofgeneral-doc deb doc optional arch=all
Source: proofgeneral
Standards-Version: 3.9.8
Version: 4.4.1~pre170114-1.2
name: proofgeneral
type: dpkg
version: 4.4.1~pre170114-1.2