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

From: Julien Lepiller <[email-masked]>
Date: Thu, 3 Nov 2022 14:07:39 +0100

Pushed to master as e2802132e36ea8157da1c1c06217e4561b6cd79f, thanks!

Le Sun, 17 Jul 2022 20:30:38 +0200,
Ludovic Courtès <[email-masked]> a écrit :

> 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’.