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 over 1 year ago Download File
ProofGeneralPortrait.eps.gz 1.57 MB over 1 year ago Download File
emacs-common-proofgeneral.spec 9.11 KB over 1 year ago Download File
pg-4.2-Makefile.patch 517 Bytes over 1 year ago Download File
pg-4.2-desktop.patch 526 Bytes over 1 year ago Download File
pg-4.2-texinfo.patch 1.19 KB over 1 year ago Download File
proofgeneral.appdata.xml 3.1 KB over 1 year ago Download File

Comments for home:bayrepo (0)