blob: b6f018a8d4874eaf60d626f304503d97425e8c5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = proofgeneral
pkgdesc = Generic interface for proof assistants.
pkgver = 4.5
pkgrel = 4
url = https://proofgeneral.github.io/
install = proofgeneral.install
arch = any
license = GPL
depends = emacs>=25.2
replaces = proofgeneral-nox
source = https://github.com/ProofGeneral/PG/archive/refs/tags/v4.5.tar.gz
sha512sums = ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366
pkgname = proofgeneral
|