Subject: [bug#56356] [WIP PATCH] gnu: dedukti: Update to 1.7.

From: Ludovic Courtès <[email-masked]>
Date: Sun, 17 Jul 2022 20:30:38 +0200

Saluton! :-)

Julien Lepiller <[email-masked]> skribis:

> From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00 2001
> From: Julien Lepiller <[email-masked]>
> 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’.