aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@reproducible-builds.org>2020-05-25 15:39:10 -0700
committerVagrant Cascadian <vagrant@debian.org>2020-05-25 17:27:06 -0700
commit0321c6ebeae35709cde65b2dccd0a3a6a5d6aeee (patch)
tree9724c35b348369110a6f21ba83c38310b77b784c /gnu/packages/idris.scm
parentd79c917f2dd7550c6737fede49c77679f0a83770 (diff)
downloadpatches-0321c6ebeae35709cde65b2dccd0a3a6a5d6aeee.tar
patches-0321c6ebeae35709cde65b2dccd0a3a6a5d6aeee.tar.gz
gnu: diffoscope: Update to 145.
* gnu/packages/diffoscope (diffoscope): Update to 145.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions