diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-02-19 21:19:39 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-02-19 21:19:39 +0100 |
| commit | 1a060eabf8d30d1d1f5f9c551a7d3840e07651d1 (patch) | |
| tree | 5e0be72fca958b0de1f20dca78731a8bb4332231 /gnu/packages/agda.scm | |
| parent | a3d80e6212861ac9468e9163e8f05ccc3035a4a4 (diff) | |
| download | patches-1a060eabf8d30d1d1f5f9c551a7d3840e07651d1.tar patches-1a060eabf8d30d1d1f5f9c551a7d3840e07651d1.tar.gz | |
gnu: r-tolerance: Update to 2.0.0.
* gnu/packages/cran.scm (r-tolerance): Update to 2.0.0.
[propagated-inputs]: Add r-mass.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions