name: github.com/mit-plv/fiat-crypto/fiat-go
description: Cryptographic Primitive Code Generation by Fiat
license_spdx: Apache-2.0 or MIT
version: v0.0.0-20210313234939-bf8a76e1ba4c
spec_version: 1.0
home_url: https://github.com/mit-plv/fiat-crypto
news_url: https://libraries.io/go/github.com%2Fmit-plv%2Ffiat-crypto%2Ffiat-go/versions.atom
date: 2021-03-13
about_resource: NONE
libraries_io_url: https://libraries.io/go/github.com%2Fmit-plv%2Ffiat-crypto%2Ffiat-go?number=v0.0.0-20210313234939-bf8a76e1ba4c
vcs_tool: git
vcs_repository: https://github.com/mit-plv/fiat-crypto
vcs_branch: master
