~ruther/guix-local

ref: 1973183b636441a6ddb4d7dd4cb202796561bf32 guix-local/bootstrap -rwxr-xr-x 69 bytes
1973183b — Mark H Weaver gnu: Add coq. 11 years ago 
                                                                                
1
2
3
4
5

#!/bin/sh
# Create the build system.

set -e -x
exec autoreconf -vfi