Source: golang-github-mit-plv-fiat-crypto
Section: golang
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Uploaders:
 Simon Josefsson <simon@josefsson.org>,
Build-Depends:
 debhelper-compat (= 13),
 dh-sequence-golang,
 dpkg-build-api (= 1),
 golang-any,
Testsuite: autopkgtest-pkg-go
Standards-Version: 4.7.3
Vcs-Browser: https://salsa.debian.org/go-team/packages/golang-github-mit-plv-fiat-crypto
Vcs-Git: https://salsa.debian.org/go-team/packages/golang-github-mit-plv-fiat-crypto.git
Homepage: https://github.com/mit-plv/fiat-crypto
XS-Go-Import-Path: github.com/mit-plv/fiat-crypto

Package: golang-github-mit-plv-fiat-crypto-dev
Architecture: all
Multi-Arch: foreign
Depends:
 ${misc:Depends},
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.