Sisyphus repository
Last update: 2018-10-20 23:10:32 +0400 | SRPMs: 18682 | Sign in or Sign up
en ru uk br
ALT Linux repositories
hide window
Sisyphus: 3.7.1-alt1
p8: 3.7.1-alt1
p7: 3.7.1-alt1
t7: 3.7.1-alt1
Platform6: 3.7.1-alt1
t6: 3.7.1-alt1
Platform5: 3.7.1-alt1
5.1: 3.7.1-alt1

Group :: Sciences/Mathematics
Source RPM: ProofGeneral

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR (0/0)   Repocop 

Raw spec file

Name: ProofGeneral
Version: 3.7.1
Release: alt1

Group: Sciences/Mathematics
Summary: Emacs interface for Proof Assistants
License: LFCS, University of Edinburgh
Source:  ProofGeneral-%version.tgz
Patch: ProofGeneral-3.3-perl.patch
BuildArch: noarch
Requires: perl
AutoReqProv: no
Packager: Ilya Mashkin <oddity at>


 Proof General is a generic Emacs interface for proof assistants,
 suitable for use by pacifists and Emacs militants alike.
 It is supplied ready-customized for LEGO, Coq, and Isabelle.

#%patch0 -p1


%define _compress_method skip

mkdir -p $RPM_BUILD_ROOT/etc/emacs/site-start.d/
mkdir -p $RPM_BUILD_ROOT/usr/share/emacs/site-lisp/proofgeneral/

cat <<EOF >$RPM_BUILD_ROOT/etc/emacs/site-start.d/proofgeneral.el
(load-file "/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el")

tar -cf - . | (cd $RPM_BUILD_ROOT/usr/share/emacs/site-lisp/proofgeneral; tar -xf -)



* Wed Oct 22 2008 Ilya Mashkin <oddity at> 3.7.1-alt1
- 3.7.1
- fix url

* Thu Oct 24 2002 Vitaly Lugovsky <vsl at> 3.4-alt1
- new version

* Wed Jun 26 2002 Vitaly Lugovsky <vsl at> 3.3-alt2
- paths fixed

* Tue Jun 25 2002 Vitaly Lugovsky <vsl at>
- First RPM release

© 2009–2018 Igor Zubkov