guix-patches
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
bug#34466: [PATCH] gnu: Add coq-equations.
From
:
Julien Lepiller
Subject
:
bug#34466: [PATCH] gnu: Add coq-equations.
Date
:
Wed, 13 Feb 2019 22:22:54 +0100
Pushed as ec23bae682ab144179fad8d5ed6c2545d85384ad, thank you!
reply via email to
[
Prev in Thread
]
Current Thread
[Next in Thread]
[bug#34466] [PATCH] gnu: Add coq-equations.
,
Dan Frumin
,
2019/02/13
[bug#34466] [PATCH] gnu: Add coq-equations.
,
Julien Lepiller
,
2019/02/13
[bug#34466] [PATCH] gnu: Add coq-equations.
,
Dan Frumin
,
2019/02/13
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
,
Dan Frumin
,
2019/02/13
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
,
Julien Lepiller
,
2019/02/13
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
,
Danny Milosavljevic
,
2019/02/13
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
,
Julien Lepiller
,
2019/02/13
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
,
Danny Milosavljevic
,
2019/02/13
bug#34466: [PATCH] gnu: Add coq-equations.
,
Julien Lepiller
<=
Prev by Date:
[bug#34385] [PATCH v2 3/3] guix: ruby-build-system: Fix removal of extension related files.
Next by Date:
[bug#30448] [PATCH] gnu: librsync: Update to 2.0.2.
Previous by thread:
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations.
Next by thread:
bug#26582: [PATCH] gnu: pcre: Fix Check for Hurd systems.
Index(es):
Date
Thread