coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Beta Ziliani <beta AT mpi-sws.org>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] opam dev version
- Date: Wed, 10 Jun 2015 21:19:25 -0300
Hi list,
Is there a way to install coq:dev with opam so that I can also #trace it?
Thanks,
Beta
- [Coq-Club] opam dev version, Beta Ziliani, 06/11/2015
- Re: [Coq-Club] opam dev version, Philipp Haselwarter, 06/12/2015
Archive powered by MHonArc 2.6.18.