bug#33745: (no subject)

bug-guix

From:	Dan Frumin
Subject:	bug#33745: (no subject)
Date:	Tue, 18 Dec 2018 12:38:02 +0100
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1

Well it looks like this has been resolved in 
8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9

Current Thread

[Next in Thread]

bug#33745: Unnecessary dependencies in Coq, Dan Frumin, 2018/12/14
- bug#33745: Unnecessary dependencies in Coq, Dan Frumin, 2018/12/14
- bug#33745: (no subject), Dan Frumin <=
  - bug#33745: Unnecessary dependencies in Coq, Gábor Boskovits, 2018/12/18