Package: golang-github-mit-plv-fiat-crypto-dev
Source: golang-github-mit-plv-fiat-crypto
Version: 0.1.6-3
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Installed-Size: 11001
Section: golang
Priority: optional
Multi-Arch: foreign
Homepage: https://github.com/mit-plv/fiat-crypto
Description: Cryptographic Primitive Code Generation by Fiat (library)
 Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic
 Primitives
 .
 This package contains the Go library source code.
