aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-04-08 23:36:05 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2019-04-10 20:54:17 +0200
commit40cc1884efa2aab5441c396166d97a33568849ae (patch)
treed96abbd0d3883a270e66fdce559b3bafa6ae277b /gnu/packages/agda.scm
parent8219da2c7fbb7e121ffec9cbd8ea12cc92ea70a0 (diff)
downloadguix-40cc1884efa2aab5441c396166d97a33568849ae.tar.gz
guix-40cc1884efa2aab5441c396166d97a33568849ae.zip
gnu: emacs-helm-gtags: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-gtags)[source]: Use GIT-FETCH and GIT-FILE-NAME.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions