Why Gemfury? Push, build, and install  RubyGems npm packages Python packages Maven artifacts PHP packages Go Modules Debian packages RPM packages NuGet packages

vendefoulwolf / app-install-data deb

Repository URL to install this package:

Version: 
15.12  ▾
Details    
app-install-data / usr / share / app-install / desktop / proofgeneral:proofgeneral.desktop
Size: Mime: 
[Desktop Entry]
X-AppInstall-Package=proofgeneral
X-AppInstall-Popcon=5
X-AppInstall-Section=universe

Type=Application
Version=1.0
Name=Proof General
GenericName=Theorem proving environment
Comment=Organise your proofs!
Icon=proofgeneral
TryExec=proofgeneral
Exec=proofgeneral %F
Terminal=false
Categories=Application;IDE;Development;TextEditor;Math
StartupWMClass=Emacs

X-Ubuntu-Gettext-Domain=app-install-data

Products

About

Resources

Contact Gemfury