summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2022-11-14 15:37:21 +0200
committerEfraim Flashner <efraim@flashner.co.il>2022-11-14 15:43:41 +0200
commitaa5df43668b63993ef6153789b67ab1b040ddb84 (patch)
tree4b4a0cda4ea85691e0f23e10f9ed02a67feef7b0 /gnu/packages/coq.scm
parent2fc6d733f31e497f6a23cc8f14936bd66bc87831 (diff)
downloadguix-aa5df43668b63993ef6153789b67ab1b040ddb84.tar.gz
gnu: imposm3: Don't use autogenerated tarball.
* gnu/packages/geo.scm (imposm3)[source]: Download using git-fetch.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions