Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: zz-git 0.1.1.235.ga1557a5-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/zz-git.git (read-only, click to copy)
Package Base:	zz-git
Description:	ZetZ a zymbolic verifier and tranzpiler to bare metal C
Upstream URL:	https://github.com/zetzit/zz
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)

z3 (z3-git^AUR)
cargo (rustup-git^AUR, rust-nightly-bin^AUR, rust-git^AUR, rust-beta-bin^AUR, rustup-stub^AUR, rust, rustup) (make)
git (git-git^AUR, git-gl^AUR) (make)

Required by (0)

Sources (1)

zz-git