Package: wnpp Severity: wishlist Owner: Simon Josefsson <[email protected]>
* Package name : golang-github-mit-plv-fiat-crypto Version : 0.1.6-1 Upstream Author : Programming Languages and Verification Group at MIT CSAIL * URL : https://github.com/mit-plv/fiat-crypto * License : Expat or BSD-1-Clause or Apache-2.0 Programming Lang: Go Description : Cryptographic Primitive Code Generation by Fiat Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives https://salsa.debian.org/go-team/packages/golang-github-mit-plv-fiat-crypto /Simon
signature.asc
Description: PGP signature
