summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorDavid Barri2019-03-22 22:03:32 +1100
committerDavid Barri2019-03-22 22:03:32 +1100
commitf8c66829e2a09c3987eaf5b45258144775a33bd3 (patch)
tree5144eaba0a3c6cf8c0467d2fda8236090bd54a42 /.SRCINFO
parent72b79c27fb01ac1924ea43e9cb2b0caa75290f3a (diff)
downloadaur-f8c66829e2a09c3987eaf5b45258144775a33bd3.tar.gz
Fix installation
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO2
1 files changed, 2 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c18792514731..3a1ff3540eeb 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -12,6 +12,7 @@ pkgbase = tla-tools
source = pcal
source = tla2sany
source = tla2tex
+ source = tla-tools
source = tlc
source = tlc-colour
source = tlc-dist-fp
@@ -22,6 +23,7 @@ pkgbase = tla-tools
sha256sums = 06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e
sha256sums = 5517975359e764114cb231e3c80862dc24b800d5f11444b9c99cccaa5df11195
sha256sums = 1ed9e18cf3036f71ffb5f66ba53d4b13a46535ec6687185dd2b2f25a3aa2c051
+ sha256sums = 8b87025166b15e93fd90803ba5165e505a4ee5e67d8f5e462276badd2443a16c
sha256sums = 1a0dcaebefe29e330aaf6ac42da41cd8ad5059d5f10411abf2063d2ef68c87af
sha256sums = bb661b1c30aa343f1c34e9cf9a19f9abaf974e1b124a2c1311c470ba79bf5935
sha256sums = 3ae8122f331b3aa9cd1952571d4bbc58d98246ec2e6f58bdfa9ce973fa7afc87