#!/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)"