name: cryptol
description: Cryptol: The Language of Cryptography
license_spdx: BSD-3-Clause
version: 2.12.0
spec_version: 1.0
download_url: http://hackage.haskell.org/package/cryptol-2.12.0/cryptol-2.12.0.tar.gz
home_url: 
                http://www.cryptol.net/
              
news_url: https://libraries.io/hackage/cryptol/versions.atom
date: 2021-10-05
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/cryptol?number=2.12.0
vcs_tool: git
vcs_repository: https://github.com/GaloisInc/cryptol
vcs_branch: master
