coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] OASIS for Coq?

From: Bas Spitters <spitters AT cs.ru.nl>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] OASIS for Coq?
Date: Tue, 1 Feb 2011 15:08:29 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type; b=axGjHSmDPFd9wjjxQoPH+UDQkjoXLpc16GfpAHI0A3lGY5rDtLcCzJJmsrvg1q2eEk HK42nzgR8DBd1rkRSQa3MEyyAK4AAa67l4Y3Wa49+SFv9W6Up2EkOrXnUaE6S2J6AIxs YU8tsfzJgrlf8PDUVlX85lWzGqv0hctuG6Z2k=

OASIS:
http://oasis.forge.ocamlcore.org/quickstart.html
---
OASIS is a tool to integrate a configure, build and install system in
your OCaml project. It helps to create standard entry points in your
build system and allows external tools to analyse your project easily.
---

It is like hackage for haskell or CPAN python.

Would this be a way to organize the user contribs?
Any experiences in this direction?

Bas

PS: I want a pony too.

[Coq-Club] OASIS for Coq?, Bas Spitters
- Re: [Coq-Club] OASIS for Coq?, Andrej Bauer
  - Re: [Coq-Club] OASIS for Coq?, Andrej Bauer