[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34701: [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.
From: |
Julien Lepiller |
Subject: |
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!