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

Comments for home:bayrepo (0)

Login required, please login or signup in order to comment