aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-12-23 18:15:27 +0100
committerLudovic Courtès <ludo@gnu.org>2018-12-23 22:14:15 +0100
commitf5301f005ac18dcc2cb671ee7ada7ccefb320f5e (patch)
tree0c7f64d33aecd08fb48f250ec201949c157b69b7 /gnu/packages/idris.scm
parent62b845c5e2c28a360102f095548e3dc3e9cf3200 (diff)
downloadguix-f5301f005ac18dcc2cb671ee7ada7ccefb320f5e.tar.gz
guix-f5301f005ac18dcc2cb671ee7ada7ccefb320f5e.zip
gnu: Remove conkeror.
* gnu/packages/conkeror.scm: Remove. * gnu/local.mk (GNU_SYSTEM_MODULES): Remove it. * gnu/packages/gnuzilla.scm (conkeror): New variable.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions