GNU bug report logs - #34701
[PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0

Previous Next

Package: guix-patches;

Reported by: Dan Frumin <dfrumin <at> cs.ru.nl>

Date: Fri, 1 Mar 2019 16:18:01 UTC

Severity: normal

Tags: patch

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

Full log

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

From: Julien Lepiller <julien <at> lepiller.eu>
To: 34701-done <at> debbugs.gnu.org
Subject: Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and
 coq-interval to 3.4.0
Date: Fri, 1 Mar 2019 21:56:49 +0100

Pushed as 0b611996b9c41e7c33d30260bbce744a9141d999! I've slightly
adjusted the commit message, the rest is kept as is. It's ok to have
two packages updated in the same patch since an independent update to
one of these breaks. In general, you should send one patch per package
though.

Thank you!
This bug report was last modified 6 years and 79 days ago.

Previous Next

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