summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorPedroHLC2020-04-09 18:52:22 -0300
committerPedroHLC2020-04-09 18:52:22 -0300
commit085952a28580d1f5cd3abc1553ff8a2109d86033 (patch)
tree553a6f240159751debc01e109401f9016a56ac32 /.SRCINFO
parentad4534ab8ce309a7a8061da23288c2538fef52cd (diff)
downloadaur-085952a28580d1f5cd3abc1553ff8a2109d86033.tar.gz
Add docs
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 3 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ba14f55e06e8..fe5847d1e8ed 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -14,5 +14,7 @@ pkgbase = bluespec
source = https://s3.wasabisys.com/bluespec/downloads/Bluespec-2019.05.beta2/Bluespec-2019.05.beta2-centos7-amd64.tar.gz
sha256sums = 99bc63f992f80d983b22f50e660a39268a997caed1f484b97161949c7ccf13e4
-pkgname = bluespec
+pkgname = bluespec-tools
+
+pkgname = bluespec-docs