diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2020-03-30 15:22:03 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-02 16:07:10 +0200 |
| commit | b30b55b3eeeac78b287ffbd62e15650932763c86 (patch) | |
| tree | e3bc39b676a38cfc0d100d788124dbdab4ecb3d4 /gnu/packages/coq.scm | |
| parent | 204deed748e586fb115b9a163199f3a004a2dc8d (diff) | |
| download | guix-b30b55b3eeeac78b287ffbd62e15650932763c86.tar.gz guix-b30b55b3eeeac78b287ffbd62e15650932763c86.zip | |
gnu: mate-calc: Update to 1.24.0.
* gnu/packages/mate.scm (mate-calc): Update to 1.24.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions