Search Criteria
Package Details: proofgeneral-git 4.5.r9313.c304d73e-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/proofgeneral-git.git (read-only, click to copy) |
|---|---|
| Package Base: | proofgeneral-git |
| Description: | Generic interface for proof assistants |
| Upstream URL: | https://github.com/ProofGeneral/PG |
| Licenses: | GPLv3+ |
| Conflicts: | proofgeneral |
| Provides: | proofgeneral |
| Submitter: | aspirogrammer |
| Maintainer: | gilcu3 |
| Last Packager: | gilcu3 |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-02-23 06:52 (UTC) |
| Last Updated: | 2022-09-26 07:45 (UTC) |
Dependencies (2)
- emacs (emacs-native-comp-gitAUR, emacs-ng-gitAUR, emacs-ngAUR, emacs-lucid-gitAUR, emacs28AUR, emacs28-nativecompAUR, emacs28-noxAUR, emacs-gitAUR, emacs29-gitAUR, emacs-pretestAUR, emacs-pgtk-gitAUR, emacs-lucidAUR, emacs-lucid-nativecompAUR, emacs29-lucid-native-comp-gitAUR, emacs-nativecomp, emacs-nox, emacs-wayland)
- git (git-gitAUR, git-glAUR) (make)