#!/usr/bin/env bash
set -euo pipefail

guix pull --delete-generations
guix gc
guix pull
guix environment --ad-hoc acl2 -- echo acl2 ok