aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRobert Vollmert <rob@vllmrt.net>2019-08-29 21:29:12 -0400
committerTimothy Sample <samplet@ngyro.com>2019-08-31 09:25:48 -0400
commit1ba35ab7237851c740400ece0f62d455d967a2c0 (patch)
treebf7db08dcbce8c822b1834fb17f1c42dc29fedc9 /gnu/packages/agda.scm
parent62e42dfa236a14dcf30994602f2841ac16f26c08 (diff)
downloadpatches-1ba35ab7237851c740400ece0f62d455d967a2c0.tar
patches-1ba35ab7237851c740400ece0f62d455d967a2c0.tar.gz
gnu: cabal-doctest: Move to haskell-check.scm.
* gnu/packages/haskell.scm (cabal-doctest): Move variable from here... * gnu/packages/haskell-check.scm: ...to here. Co-authored-by: Timothy Sample <samplet@ngyro.com>
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions