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: quininer
Last Packager: quininer
Votes: 0
Popularity: 0.000000
First Submitted: 2020-04-30 18:00
Last Updated: 2020-04-30 18:00

Required by (0)

Sources (1)