Pin ASLp to upstream now that UQ-PAC/aslp#152 has landed

The symbolic-EXTR lift fix merged upstream (UQ-PAC/aslp#152), so asli no longer
needs the fork. Pin it to the upstream merge commit (not yet in a tagged
release). Regenerated specs are byte-identical.

Author: mmcloughlin

cranelift/isle/veri/setup/install-aslp.sh

@@ -4,11 +4,9 @@ set -euxo pipefail
 
 # Pinned package sources.
 #
-# asli is pinned to a fork branch carrying the symbolic-EXTR lift fix from
-# UQ-PAC/aslp PR #152, which no upstream ASLp release includes yet. When the
-# fix is available upstream, point this at that release instead
-# (e.g. "https://github.com/UQ-PAC/aslp.git#<version>").
-aslp="https://github.com/mmcloughlin/aslp.git#extr-fix"
+# asli is pinned to a commit, not a release: the symbolic-EXTR fix (PR #152) is
+# merged upstream but not yet in a tagged release.
+aslp="https://github.com/UQ-PAC/aslp.git#3b302bd1be7c860888471fdbdf735a5462970d9a"
 aslp_rpc="https://github.com/UQ-PAC/aslp-rpc.git#v0.1.4"
 
 switch="${ASLP_SWITCH:-aslp}"