Package Details: zz-git

Git Clone URL: (read-only, click to copy)
Package Base: zz-git
Description: ZetZ a zymbolic verifier and tranzpiler to bare metal C
Upstream URL:
Licenses: MIT, Apache
Conflicts: zz
Provides: zz
Submitter: quininer
Maintainer: None
Last Packager: quininer
Votes: 0
Popularity: 0.000000
First Submitted: 2020-04-30 18:00 (UTC)
Last Updated: 2020-04-30 18:00 (UTC)

Dependencies (3)

Required by (0)

Sources (1)