GNU bug report logs - #68176
[PATCH 0/9] Update dune-* to 2.9.1.

Previous Next

Package: guix-patches;

Reported by: Felix Gruber <felgru <at> posteo.net>

Date: Sun, 31 Dec 2023 15:46:01 UTC

Severity: normal

Tags: patch

Done: Felix Gruber <felgru <at> posteo.net>

Bug is archived. No further changes may be made.

Full log

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

From: Felix Gruber <felgru <at> posteo.net>
To: 68176-done <at> debbugs.gnu.org
Subject: Re: [PATCH 0/9] Update dune-* to 2.9.1.
Date: Thu, 14 Nov 2024 20:25:47 +0000

This patchset has become obsolete with bug 74356 which updates the dune 
packages to version 2.10.0.
This bug report was last modified 187 days ago.

Previous Next

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