diff options
| author | Michael Rohleder <mike@rohleder.de> | 2021-06-11 14:00:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-13 23:57:45 +0200 |
| commit | 9eabf4983f52260fe2f81104d4664a91feed2624 (patch) | |
| tree | dfaed229e41663a1a4514d5fe9a46990f968d898 /gnu/packages/coq.scm | |
| parent | ea0a33e8eeffcc2f9bed2a7e494a93db831c87ab (diff) | |
| download | guix-patches-9eabf4983f52260fe2f81104d4664a91feed2624.tar guix-patches-9eabf4983f52260fe2f81104d4664a91feed2624.tar.gz | |
gnu: ristretto: Update to 0.11.0.
* gnu/packages/xfce.scm (ristretto): Update to 0.11.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions