Search Criteria
Package Details: proofgeneral-git r8647.2626ed5-1
Git Clone URL: | https://aur.archlinux.org/proofgeneral-git.git (read-only) |
---|---|
Package Base: | proofgeneral-git |
Description: | Generic interface for proof assistants |
Upstream URL: | http://proofgeneral.inf.ed.ac.uk/ |
Licenses: | |
Conflicts: | |
Provides: | |
Submitter: | kaptoxic |
Maintainer: | kaptoxic |
Last Packager: | kaptoxic |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2016-02-23 06:52 |
Last Updated: | 2016-02-23 08:09 |
Dependencies (2)
- emacs>=24.3 (emacs-git-gtk2, guile-emacs-git, emacs-nox-24bit, emacs25-git, emacs-git-shallow, emacs-24bit, emacs-lucid, emacs26-git, emacs-pretest, emacs-gtk2, emacs-lucid-git, emacs-git, emacs-nox)
- git (git-git) (make)