summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-05-05 23:39:30 +0200
committerRicardo Wurmus <rekado@elephly.net>2019-05-06 00:14:37 +0200
commit5498cc46b3382369fd90f36011ae594599583b82 (patch)
tree296fca1eab7aa3cce9069973a7117ddf083213ab /gnu/packages/agda.scm
parent24aabd8fd9cfb32b6c493327ecd616257ff07a2e (diff)
downloadpatches-5498cc46b3382369fd90f36011ae594599583b82.tar
patches-5498cc46b3382369fd90f36011ae594599583b82.tar.gz
gnu: r-mzr: Update to 2.18.0.
* gnu/packages/bioinformatics.scm (r-mzr): Update to 2.18.0.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions