Search Criteria
Package Details: proofgeneral 4.5-4
Package Actions
| Git Clone URL: | https://aur.archlinux.org/proofgeneral.git (read-only, click to copy) |
|---|---|
| Package Base: | proofgeneral |
| Description: | Generic interface for proof assistants. |
| Upstream URL: | https://proofgeneral.github.io/ |
| Licenses: | GPL |
| Replaces: | proofgeneral-nox |
| Submitter: | None |
| Maintainer: | gilcu3 |
| Last Packager: | gilcu3 |
| Votes: | 23 |
| Popularity: | 0.000000 |
| First Submitted: | 2007-10-01 23:36 (UTC) |
| Last Updated: | 2022-09-26 07:42 (UTC) |
Dependencies (1)
- 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)
Latest Comments
« First ‹ Previous 1 2 3 4
npouillard commented on 2010-11-08 09:38 (UTC)
« First ‹ Previous 1 2 3 4