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 ownand 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.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 296 |
Nodes: | 16 (2 / 14) |
Uptime: | 87:16:06 |
Calls: | 6,658 |
Files: | 12,203 |
Messages: | 5,333,879 |