WNPP bugs submitted by debian@marcelfourne.de
- #991435: ITP: jasmin-lang -- Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure. (1002 day(s) old)
- #991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs (1002 day(s) old)
- #993313: ITP: coqword -- Coq Library for Machine Words (964 day(s) old)
WNPP bugs owned by debian@marcelfourne.de
- #991435: ITP: jasmin-lang -- Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure. (1002 day(s) old)
- #991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs (1002 day(s) old)
- #993313: ITP: coqword -- Coq Library for Machine Words (964 day(s) old)