Skip to Content.
Sympa Menu

coq-club - [Coq-Club] opam dev version

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] opam dev version


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page