Package Details: proofgeneral-git 4.5.r9313.c304d73e-1

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)