#993313 ITP: coqword -- Coq Library for Machine Words

Package:
wnpp
Source:
wnpp
Submitter:
Marcel Fourné
Date:
2025-11-29 16:49:17 UTC
Severity:
wishlist
#993313#5
Date:
2021-08-30 15:43:07 UTC
From:
To:
* 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.