Sisyphus repository
Last update: 2018-10-20 23:10:32 +0400 | SRPMs: 18775 | 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 

 Choose a mirror:

· ProofGeneral-3.7.1-alt1.src.rpm (md5: 1c13becd88ed8e2fd8602d5d6ba2ea7e) 1.94 MB

noarch:
· ProofGeneral-3.7.1-alt1.noarch.rpm (md5: 7fc3721c5f2a4090e70ff18f072b0062) 1.09 MB
 
© 2009–2018 Igor Zubkov