blob: d874b56814f6347c82ca35db3a17719dfdd4c2f2 (
plain)
1
2
3
4
5
6
7
8
|
#!/usr/bin/env bash
set -euo pipefail
guix environment --ad-hoc nss-certs git -- git clone https://git.tojo.tokyo/acl2-theorems.git .
guix environment --ad-hoc nss-certs git -- git log -n 1
echo "Source: https://git.tojo.tokyo/acl2-theorems.git/commit/?id=$(guix environment --ad-hoc nss-certs git -- git rev-parse HEAD)"
|