bug-guix
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
bug#35178: Agda doesn't build
From
:
Andreas Enge
Subject
:
bug#35178: Agda doesn't build
Date
:
Mon, 27 May 2019 08:10:00 +0200
User-agent
:
Mutt/1.11.4 (2019-03-13)
So closing this bug. Thanks, Andreas
reply via email to
[
Prev in Thread
]
Current Thread
[Next in Thread]
bug#35178: Agda doesn't build
,
Pronaip
,
2019/05/25
bug#35178: Agda doesn't build
,
Andreas Enge
<=
Prev by Date:
bug#35915: Please provide an installer with non-free drivers
Next by Date:
bug#35904: Rx 580 and Guix
Previous by thread:
bug#35178: Agda doesn't build
Next by thread:
bug#33897: 'guix publish' is unable to serve narinfos for dead items
Index(es):
Date
Thread