summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-11-03 21:57:20 +0100
committerErich Eckner <git@eckner.net>2022-11-03 21:57:20 +0100
commitbce5e484645e949147c5d93a9c88f36c3fabdccf (patch)
treef63f8a2c81f51e2fa4237f7839a4481107bf9c91
parent207699e55471970d943bd94d3ee4d3b120a652ac (diff)
downloadcrux-ports-bce5e484645e949147c5d93a9c88f36c3fabdccf.tar.xz
topal: 80 -> 82
-rw-r--r--manualPorts/topal/.md5sum2
-rw-r--r--manualPorts/topal/.signature6
-rw-r--r--manualPorts/topal/Pkgfile8
-rwxr-xr-xmanualPorts/topal/lastVersion.sh2
4 files changed, 8 insertions, 10 deletions
diff --git a/manualPorts/topal/.md5sum b/manualPorts/topal/.md5sum
index da62fc9..e69de29 100644
--- a/manualPorts/topal/.md5sum
+++ b/manualPorts/topal/.md5sum
@@ -1,2 +0,0 @@
-07800cb8e7d9a19bf8059519eb665b9b topal-package-80.tgz
-9737bc3e345389d0152dfa9214015500 topal-package-80.tgz.asc
diff --git a/manualPorts/topal/.signature b/manualPorts/topal/.signature
index eff6b87..ab686bb 100644
--- a/manualPorts/topal/.signature
+++ b/manualPorts/topal/.signature
@@ -1,6 +1,4 @@
untrusted comment: verify with /etc/ports/deepthought.pub
-RWQxCptPusLGGpqWY/s+S3LmoA1i1azhQGz3C6wXffh6JgWMDKf81teJ1u2To/ZHyCEXikMSXvEDZAt4YZaCvQ+1lVLTu1uc7gs=
-SHA256 (Pkgfile) = 970e44cf07eca85b3c65aa2221610475aada11680418abfed7329065d8cc95b1
+RWQxCptPusLGGvFKwoqBedc1tbl1l+KUoLSifTqqmvUdMhJsepaEp2Hv7T5vtJIKrro2KFzXt3YaDGv/jiOA3uVf5WlXH1tRPA4=
+SHA256 (Pkgfile) = 22a2bae3ab266005c1e4c5a6532757db3183eb398a7fae5d83d617e9bfd58914
SHA256 (.footprint) = cf84cc86617150dbc7302db00a4ac71cb1aad46b3dac5f7d2e5743e1354bd50a
-SHA256 (topal-package-80.tgz) = 883f299f00ba8e26d0384cad80e948270b94faed399dcdfffb800016533b5be1
-SHA256 (topal-package-80.tgz.asc) = 8d14600e32a438f3c3a78e24b23269f46f4be86af19b842736ae64a58ec057ce
diff --git a/manualPorts/topal/Pkgfile b/manualPorts/topal/Pkgfile
index 73759be..2de7035 100644
--- a/manualPorts/topal/Pkgfile
+++ b/manualPorts/topal/Pkgfile
@@ -4,12 +4,14 @@
# Depends on: gcc-ada
name=topal
-version=80
+version=82
release=1
-source=("https://zircon.org.uk/topal/rel-${version}/topal-package-${version}.tgz"{,.asc})
+source=()
build() {
- cd "$SRC/${name}-${version}"
+ git clone https://dl.green-pike.co.uk/topal.git/
+ cd topal
+ git checkout rel$version
# Remove PDF build stuff
sed -i 's/binary topal.pdf/binary/' Makefile
diff --git a/manualPorts/topal/lastVersion.sh b/manualPorts/topal/lastVersion.sh
index f156744..3cb8efb 100755
--- a/manualPorts/topal/lastVersion.sh
+++ b/manualPorts/topal/lastVersion.sh
@@ -2,7 +2,7 @@
curl -Ss 'https://zircon.org.uk/topal/' \
| sed '
- s,^.*<a href="rel-\([0-9.]\+\)">rel-\1</a>.*$,\1,
+ s,^The current release of Topal is <b>\([0-9.]\+\)</b> .*$,\1,
t
d
' \