Metadata-Version: 1.0
Name: hacspec
Version: 0.0.1.dev3
Summary: hacspec is a new specification language for crypto primitives that is succinct, that is easy to read and implement, and that lends itself to formal verification.
Home-page: https://github.com/HACS-workshop/hacspec
Author: Franziskus Kiefer et al.
Author-email: franziskuskiefer@gmail.com
License: MIT
Description: UNKNOWN
Platform: UNKNOWN
