diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-11-30 03:37:14 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-12-05 17:59:01 +0100 |
| commit | d7316c774386a79559d557a5cec7f98e345561c6 (patch) | |
| tree | da36f187013373288c2decdffb861839fabcbe3e /gnu/packages/agda.scm | |
| parent | f7511ff1109868d215f5668d8e07e539ef77bd7b (diff) | |
| download | patches-d7316c774386a79559d557a5cec7f98e345561c6.tar patches-d7316c774386a79559d557a5cec7f98e345561c6.tar.gz | |
gnu: readline: Update to 8.0.1.
* gnu/packages/readline.scm (%patch-series-8.0): New variable.
(readline)[version]: Adjust accordingly.
[source](patches): Add %PATCH-SERIES-8.0.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions