summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorWilliam J. Bowman2016-10-14 17:36:11 -0400
committerWilliam J. Bowman2016-10-14 17:38:39 -0400
commitc9d3004145ca5bc515660c789171791700bbda91 (patch)
treea659544be7dc475b05a342a5e98bdb3dde6c42ea /.SRCINFO
parent6807f93a02153b5cac1f57b26e66e8272dbff167 (diff)
downloadaur-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--.SRCINFO20
1 files changed, 9 insertions, 11 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7133781c558f..1b79646bf21f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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