diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2021-09-26 20:11:12 +0000 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-10-02 10:54:40 +0000 |
| commit | b3d4aeb7c1f02c1943f4f8d892fdc0f3886f5b42 (patch) | |
| tree | 7c28239320b5e2cfb8bce79f32daf4e97a4ee90b /gnu/packages/agda.scm | |
| parent | 129875d648b2c263404e09b90911ca4f68eed554 (diff) | |
| download | guix-b3d4aeb7c1f02c1943f4f8d892fdc0f3886f5b42.tar guix-b3d4aeb7c1f02c1943f4f8d892fdc0f3886f5b42.tar.gz | |
gnu: gnome-mines: Update to 40.0.
* gnu/packages/gnome.scm (gnome-mines): Update to 40.0.
[source]: Fix the URI.
[arguments]: Remove a trailing #t.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions