~ruther/guix-local

ref: dbfb1a596ae75554fd9bc3f9ff5024789e790091 guix-local/bootstrap -rwxr-xr-x 69 bytes
dbfb1a59 — Julien Lepiller gnu: Add coq-bignums. 9 years ago 
                                                                                
1
2
3
4
5

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

set -e -x
exec autoreconf -vfi