aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorNadya Voronova <voronovank@gmail.com>2018-03-28 03:42:15 +0300
committerLudovic Courtès <ludovic.courtes@inria.fr>2018-03-28 17:13:00 +0200
commit910deec66cac3f7f0cb881c6567f19bc92dbae64 (patch)
treea0d74d91474ed3c2da4f3dc0319690cb8d7a10b6 /gnu/packages/idris.scm
parentc5e7bca248bf5f390265e481e194ff41a58fcc18 (diff)
downloadguix-910deec66cac3f7f0cb881c6567f19bc92dbae64.tar
guix-910deec66cac3f7f0cb881c6567f19bc92dbae64.tar.gz
gnu: Add tcalc.
* gnu/packages/maths.scm (tcalc): New variables. Signed-off-by: Ludovic Courtès <ludovic.courtes@inria.fr>
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions