summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-03-18 21:45:03 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2019-03-18 22:17:36 +0100
commitd1ef0e024fb95207d4e0589074c4334799ea246f (patch)
tree258d80c1721ac1ed6681830eff1c2ab6129841d3 /gnu/packages/coq.scm
parent0e36b2b7d03b7901e33cfcca6e65bdb9b344aa73 (diff)
downloadguix-d1ef0e024fb95207d4e0589074c4334799ea246f.tar.gz
gnu: bitlbee-discord: Don't use unstable tarball.
* gnu/packages/messaging.scm (bitlbee-discord)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions