summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorBjörn Höfling <bjoern.hoefling@bjoernhoefling.de>2020-03-05 09:54:30 +0100
committerBjörn Höfling <bjoern.hoefling@bjoernhoefling.de>2020-03-05 10:11:34 +0100
commitc5bb55a8446f94098d4484e47c1cf976b726ef14 (patch)
treebb1773d7a776e9fe01d53f952a90d959b8d5639d /gnu/packages/coq.scm
parent1ac624cd5b0a692318476c7917dc4dc6feb6dc5b (diff)
downloadpatches-c5bb55a8446f94098d4484e47c1cf976b726ef14.tar
patches-c5bb55a8446f94098d4484e47c1cf976b726ef14.tar.gz
gnu: squashfs-tools: Update home page URI.
* gnu/packages/compression.scm (squashfs-tools)[home-page]: Update URI.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions