Package: wnpp Severity: wishlist Owner: Marcel Fourné <deb...@marcelfourne.de> X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name : coqword Version : 0 Upstream Author : Pierre-Yves Strub <pierre-y...@strub.nu> * URL : https://github.com/jasmin-lang/coqword * License : CECILL-B Programming Lang: Coq Description : Coq Library for Machine Words This library can be used for code which needs to interact with machine words from Coq. Main usage is in the the EasyCrypt integration of the Jasmin programming language. The package is used when extracting proofs from and therefore a dependency of the Jasmin programming language compiler to EasyCrypt and as such is relevant to implementors as well as researchers in cryptography. I plan to maintain the packages myself, but I am also very open to team maintenance for example among the Debian Ocaml Group. Since I am not a Debian Developer, I need a sponsor.