GNU bug report logs - #56356
[WIP PATCH] gnu: dedukti: Update to 1.7.

Previous Next

Full log

Message #16 received at 56356-done <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Gabriel Hondet <gabrielhondet <at> gmail.com>, 56356-done <at> debbugs.gnu.org
Subject: Re: bug#56356: [WIP PATCH] gnu: dedukti: Update to 1.7.
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 <ludo <at> gnu.org> a écrit :

> Saluton! :-)
> 
> Julien Lepiller <julien <at> lepiller.eu> skribis:
> 
> > From cd89e04ea72c18d59a01baccc9311b5070c845a4 Mon Sep 17 00:00:00
> > 2001 From: Julien Lepiller <julien <at> 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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.