coq-pipes icon indicating copy to clipboard operation
coq-pipes copied to clipboard
verified publisher icon jwiegley

An OPAM package for coq-pipes

Open clarus opened this issue 9 years ago • 3 comments

Would it makes sense to distribute coq-pipes on the OPAM repository for Coq? The OPAM package manager makes it easier to install Coq libraries, by automatically downloading and installing the right dependencies.

clarus avatar Jan 30 '16 17:01 clarus

Hi @clarus! I've actually been trying to reach you by e-mail, to ask you questions about algebraic effects in Coq.

As for coq-pipes, maybe? I'm not sure what the actual utility of it is...

jwiegley avatar Jan 30 '16 20:01 jwiegley

Ah OK, that is you for the email, the world is small :)

In one word I would say that OPAM for Coq is like Cabal / Hackage for Haskell. Since coq-pipes is one of the most starred Coq library, I though this could be cool to have it on OPAM for people interested in using it for their projects.

clarus avatar Jan 30 '16 20:01 clarus

@clarus I really have no idea how to prepare a package for OPAM. If you want to prepare what is needed, I'd be happy to merge it.

jwiegley avatar Jan 20 '17 02:01 jwiegley