guix-patches
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
bug#34747: [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
From
:
Julien Lepiller
Subject
:
bug#34747: [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
Date
:
Mon, 4 Mar 2019 21:14:16 +0100
Pushed as 3d03fed47fc9a9af784a026a8ac76418f609b639. Thank you!
reply via email to
[
Prev in Thread
]
Current Thread
[Next in Thread]
[bug#34747] [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
,
Dan Frumin
,
2019/03/04
bug#34747: [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
,
Julien Lepiller
<=
Prev by Date:
[bug#34280] [PATCH] gnu: Remove Go 1.9.
Next by Date:
bug#34470: [PATCH 4/8] gnu: gdm: Use absolute path for gnome-session.
Previous by thread:
[bug#34747] [PATCH] gnu: coq-coquelicot: Update to 3.0.2.
Next by thread:
[bug#34748] [PATCH core-updates] gnu: Use OpenSSL 1.1 as the default OpenSSL package.
Index(es):
Date
Thread