/gnu/store/kzzgp426prbq0jj50awk3jx5jq0sx3qi-coq-equations-1.2.4-checkout.drv