Source package proofgeneral/4.4.1~pre170114-1.2 in crimson @ pureos

proofgeneral - 4.4.1~pre170114-1.2 main

Versions in crimson: 4.4.1~pre170114-1.2
Maintainer: Hendrik Tews <hendrik [꩜] askra.de>

Format: 3.0 (quilt)
Standards Version: 3.9.8
Architectures: all

Homepage Build Jobs

Owned Binaries

proofgeneral all
proofgeneral-doc all

Build Dependencies

debhelper (>= 9)
texinfo
texlive-latex-recommended
texlive-plain-generic
texlive-fonts-recommended
emacs-gtk

Files

Filename	Size	Checksum (SHA256)
proofgeneral_4.4.1~pre170114-1.2.dsc	2.0 kB	`c466855c5f38e46b3b8eed4cd8e83817ce16de4a6330c8d2fc8503d7f8a4d05a`
proofgeneral_4.4.1~pre170114.orig.tar.xz	9.3 MB	`bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d`
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz	19.9 kB	`184d07cc7aaa1dc58928b30639668d87d996c64c1e508f4f7259613acc298cd5`