diff options
author | William J. Bowman | 2016-10-14 17:36:11 -0400 |
---|---|---|
committer | William J. Bowman | 2016-10-14 17:38:39 -0400 |
commit | c9d3004145ca5bc515660c789171791700bbda91 (patch) | |
tree | a659544be7dc475b05a342a5e98bdb3dde6c42ea /.SRCINFO | |
parent | 6807f93a02153b5cac1f57b26e66e8272dbff167 (diff) | |
download | aur-c9d3004145ca5bc515660c789171791700bbda91.tar.gz |
Updated to 4.4-1
* Updated upsteam URL
* Updated release URL
* Updated install/build paths
* Removed obsolete Makefile patch.
* Updated sums
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 20 |
1 files changed, 9 insertions, 11 deletions
@@ -1,21 +1,19 @@ +# Generated by mksrcinfo v8 +# Fri Oct 14 21:38:30 UTC 2016 pkgbase = proofgeneral pkgdesc = Generic interface for proof assistants. - pkgver = 4.2 - pkgrel = 2 - url = http://proofgeneral.inf.ed.ac.uk/ + pkgver = 4.4 + pkgrel = 1 + url = https://proofgeneral.github.io/ install = proofgeneral.install arch = i686 arch = x86_64 license = GPL depends = emacs>=24.3 - source = http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz - source = Makefile.patch - md5sums = c9f7eac10ed7a04c96b90abcbf964427 - md5sums = e8a2c065a928f641564174c1342cfa60 - sha256sums = 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 - sha256sums = 13c927009152da17ac5b91abc76e45190e60928a1df1e8b202df9390842c9931 - sha512sums = 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab - sha512sums = 6ad406d0528db5dc9db47c6f25fc8280d91a31619450c574f7a65018577cccbb0f67c726e14db62d9d6816d1d3868cb72ea85999496115f79664495a44854f09 + source = https://github.com/ProofGeneral/PG/archive/v4.4.tar.gz + md5sums = 4a80e31f88cb22d7caa6f28ba83dcc06 + sha256sums = 1ba236d81768a87afa0287f49d4b2223097bc61d180468cbd997d46ab6132e7e + sha512sums = 8be7f78b61a225fa4770698bbbb251424a0afe093efc3229f74f3a764317dc8cc00a72cb29e751f755dc5fdab59983906c9185f7828a1644a87d160265f12061 pkgname = proofgeneral |