comby-tools/comby

Opam release prep

Closed this issue · 6 comments

Gotta get rid of the opam pin dependencies. Will try upstream some changes for future releases, otherwise we're just going to have to copy these into comby.

Later:

  • Add .mli file for better library use
  • split comby-server and comby-interactive into separate opam files.
aryx commented

subscribe :)

Also subscribing! +1!

Alright, comby should be available on opam soon! Most platforms and targets compile on the PR in opam-repository ocaml/opam-repository#18255

comby is now available on opam :-) There's still some work for me to do to make it more usable as a library (a straightforward .mli would be nice), and I'll try do this soon.

aryx commented

Fantastic! Yes .mli would be nice. Also, would be great if there was a way to use $XXX instead of the [:a] syntax for metavariables.

@aryx yes stay tuned :-)