Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - proofgeneral-git

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: proofgeneral-git r8647.2626ed5-1

Git Clone URL: https://aur-dev.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: GPL
Conflicts: proofgeneral
Provides: proofgeneral
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 1
Popularity: 0.000892
First Submitted: 2016-02-23 06:52
Last Updated: 2016-02-23 08:09

Required by (0)

Sources (1)