Bug#993313: ITP: coqword -- Coq Library for Machine Words
Package: wnpp
Severity: wishlist
Owner: Marcel Fourné <debian@marcelfourne.de>
X-Debbugs-Cc: debian-devel@lists.debian.org
* Package name : coqword
Version : 0
Upstream Author : Pierre-Yves Strub <pierre-yves@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.
Reply to: