Hi Stéphane, [...] > I've pushed a preliminary packaging to: > > http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-cil.git >
Do I need some specific permissions to be able to access that one? All I get is: warning: remote HEAD refers to nonexistent ref, unable to checkout. [...] > If anyone feels like continuing the work, please feel free to proceed... > but I won't dedicate much more efforts to this before months. > Somewhat complementary to your interests I mainly care about the interface to Cil via the cilly binary. I'd be happy to help in packaging at least that bit, if it helps. Best regards, Michael
pgpzVNg1yhspz.pgp
Description: PGP signature