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

Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: coqword Version : 0 Upstream Author : Pierre-Yves Strub * URL : https://github.com/jasmin-lang/coqword * License : CECILL-B Programming Lang

Bug#991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs

Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: easycrypt Version : 1.0 Upstream Author : Easycrypt-club mailing list * URL : https://www.easycrypt.info * License : CECILL-C, parts under

Bug#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.

Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: jasmin-lang Version : 0.1 Upstream Author : jasmin-users and developers mailing list * URL : https://github.com/jasmin-lang/jasmin/wiki * License

Bug#787200: ITP: haskell-yi-language -- Collection of language-related Yi libraries.

Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-yi-language Version : 0.1.1.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/yi-language * License : GPL-2 Programming Lang

Bug#787198: ITP: haskell-word-trie -- Implementation of a finite trie over words.

Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-word-trie Version : 0.3.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/word-trie * License : GPL-2 Programming Lang

Bug#787204: ITP: haskell-yi-rope -- Rope data structure used by Yi

Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-yi-rope Version : 0.7.0.1 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/yi-rope * License : GPL-2 Programming Lang: Haskell

Bug#787196: ITP: haskell-oo-prototypes -- Support for OO-like prototypes

Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-oo-prototypes Version : 0.1.0.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/oo-prototypes * License : GPL-2 Programming

Bug#787194: ITP: haskell-charsetdetect-ae -- Charset detection using Mozilla's Universal Character Set Detector

Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-charsetdetect-ae Version : 1.0.1 Upstream Author : Max Bolingbroke batterseapo...@hotmail.com * URL : https://hackage.haskell.org/package/charsetdetect-ae * License

Bug#787195: ITP: haskell-dynamic-state -- Optionally serializable dynamic state keyed by type

Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-dynamic-state Version : 0.1.1.0 Upstream Author : Carter Charbonneau zcart...@gmail.com * URL : https://hackage.haskell.org/package/dynamic-state * License