diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-07-23 16:48:31 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-07-23 23:51:22 +0200 |
| commit | 4ba0f3b597f7099c5a780cad45b86c2e384507ea (patch) | |
| tree | e56d0504449b6b6364f90e32d3b65ebb665e70ff /gnu/packages/agda.scm | |
| parent | e61b3bcd79a85babde19101118e9d51cd769fbbb (diff) | |
gnu: parallel: Update to 20200722.
* gnu/packages/parallel.scm (parallel): Update to 20200722.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions