hacspec-attributes

Crates.iohacspec-attributes
lib.rshacspec-attributes
version0.1.0-beta.1
sourcesrc
created_at2020-12-29 19:29:24.01915
updated_at2020-12-29 19:29:24.01915
descriptionhacspec attributes
homepage
repositoryhttps://github.com/hacspec/hacspec
max_upload_size
id328917
size7,047
Denis Merigoux (denismerigoux)

documentation

README

hacspec attributes

crates.io Docs Build & Test Status

This crate holds implements hacspec attributes used in the hacspec library.

It should never be necessary to use this outside of the hacspec repository.

Commit count: 1414

cargo fmt