Re: ITP Jasmin and EasyCrypt, would like to join the OcamlTaskForce
Dear Marcel,
Le 23/07/2021 à 17:19, Marcel Fourné a écrit :
> I maintain some packages for the Debian Haskell Group and I am beginning to package Jasmin and EasyCrypt, which are both implemented in Ocaml (and Coq), so I'd like to hear about your best practices, learn from them and put the packages under my own and team maintenance when they are done. I am only a Debian Maintainer, so I will need a sponsor if you deem the packages good enough.
> In general, I'd like to join the group to help maintaining the Debian Coq environment, since I'm interested in formal proofs and have started with Coq.
Thank you for your interest in contributing to Debian!
Even though it is a bit outdated, you should start by reading our policy
in the dh-ocaml package. It documents our practices before the advent of
dune, and can help in understanding how OCaml-related Debian packages
are structured.
In general, for creating a new package, I would suggest looking at a
similar existing package (in ocaml-team on salsa).
For Coq theories, there are not many packages so practices specific to
this area are yet to be defined :-) I am aware of ssreflect and
coq-float (which is in bad shape).
Feel free to ask more specific questions, or send your sponsoring
requests to this mailing-list.
Cheers,
--
Stéphane
Reply to: