Package: proofgeneral
Binary: proofgeneral, proofgeneral-doc
Version: 4.5-1
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: debhelper-compat (= 13), texinfo, texlive-latex-recommended, texlive-plain-generic, texlive-fonts-recommended, emacs | emacs-nox, dh-elpa
Architecture: all
Standards-Version: 4.6.2
Format: 3.0 (quilt)
Files: dabeff72523dc0309a19cecd51e28867 2000 proofgeneral_4.5-1.dsc
 7fc03264e924f8020e717cc4cff67197 1198535 proofgeneral_4.5.orig.tar.gz
 714d5a5165863f4996d0a4234bc182f9 17188 proofgeneral_4.5-1.debian.tar.xz
Checksums-Sha256: 4651b53639ce9c1a02ea50468d9bc4467e51e5aaf4c3fd74c5b695cb118dd781 2000 proofgeneral_4.5-1.dsc
 b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2 1198535 proofgeneral_4.5.orig.tar.gz
 4a83de48314f2892c6c9e9b9b45b8ef79fcd41a06cf737fe5e8736d72d39c182 17188 proofgeneral_4.5-1.debian.tar.xz
Homepage: https://proofgeneral.github.io/
Package-List: proofgeneral deb editors optional arch=all
 proofgeneral-doc deb doc optional arch=all
Directory: pool/main/p/proofgeneral
Priority: source
Section: editors

Package: proofgeneral
Version: 4.5-1
Installed-Size: 2140
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: all
Replaces: proofgeneral-coq, proofgeneral-misc
Depends: emacs
Suggests: proofgeneral-doc, prooftree
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Description: generic frontend for proof assistants
Homepage: https://proofgeneral.github.io/
Description-md5: d9db6f28a37c20061313aac90898d734
Tag: field::mathematics, implemented-in::lisp, interface::graphical,
 interface::text-mode, interface::x11, role::plugin, role::program,
 suite::emacs, use::editing, x11::application
Section: editors
Priority: optional
Filename: pool/main/p/proofgeneral/proofgeneral_4.5-1_all.deb
Size: 640484
MD5sum: 93ede548a58e5e32f21e46ffa6dfb79c
SHA256: 42faa8180676f680bdab4b2bd56d71d2fbc174fe50d9c5682f5fc5ac0159767f