LogoopenSUSE Build Service > Projects
Sign Up | Log In

emacs-common-proofgeneral

emacs-common-proofgeneral package from fedora repository

Source Files

Filename Size Changed Actions
ProofGeneral-4.2.tgz 1.54 MB almost 2 years ago Download File
ProofGeneralPortrait.eps.gz 1.57 MB almost 2 years ago Download File
emacs-common-proofgeneral.spec 9.11 KB almost 2 years ago Download File
pg-4.2-Makefile.patch 517 Bytes almost 2 years ago Download File
pg-4.2-desktop.patch 526 Bytes almost 2 years ago Download File
pg-4.2-texinfo.patch 1.19 KB almost 2 years ago Download File
proofgeneral.appdata.xml 3.1 KB almost 2 years ago Download File

Comments for home:bayrepo (0)