Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CoqIDE sous MacOSX PowerPC

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqIDE sous MacOSX PowerPC


chronological Thread 
  • From: avavrin <avavrin AT gmail.com>
  • To: coq-club AT pauillac.inria.fr
  • Subject: [Coq-Club] CoqIDE sous MacOSX PowerPC
  • Date: Mon, 24 Sep 2007 22:48:22 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=LF+NByShttul4kBIvmZ7ADw53cfL6G3B/0joKs7j7NrUQr+3u3vwZVY/EB0HtJoapydKmA0MkUMAwNp2sKRhRBRWRKT3YbFtU1SH+JCTT37qnoZNeN0zUQb90BOEgEqUCo7oCQBo/tTztE9ljfp/xa4bWi/n4Glk7S5Ra2L3e8c=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Bonjour,

Je voulais savoir si il était possible de compiler la version actuel de CoqIDE pour i386 en Universal Binary.
Je suis étudiant en M2 et je vais faire pas mal de coq cette année.

Je vous remercie.

Sylvain HERAUD

Archive powered by MhonArc 2.6.16.

Top of Page