guix-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Packaging Coq

From: Nikita Karetnikov
Subject: Packaging Coq
Date: Thu, 04 Dec 2014 05:02:27 +0400 
Does anyone know how to proceed?

Attachment: coq.scm
Description: Text document

Attachment: pgpftc6JA2_4_.pgp
Description: PGP signature

reply via email to
[Prev in Thread] Current Thread [Next in Thread]