[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#56356] [WIP PATCH] gnu: dedukti: Update to 1.7.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#56356] [WIP PATCH] gnu: dedukti: Update to 1.7. |
|
Date: |
Sun, 17 Jul 2022 20:30:38 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Saluton! :-)
Julien Lepiller <julien@lepiller.eu> skribis:
> From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00 2001
> From: Julien Lepiller <julien@lepiller.eu>
> Date: Sat, 2 Jul 2022 13:36:08 +0200
> Subject: [PATCH] gnu: dedukti: Update to 2.7.
>
> * gnu/packages/ocaml.scm (dedukti): Update to 2.7.
If it works for both of you, I’d say go for it!
Ludo’.