Package Details: fuzz-git r2.d19ffd9-2

Git Clone URL: https://aur.archlinux.org/fuzz-git.git (read-only, click to copy)
Package Base: fuzz-git
Description: The fuzz type checker for Z
Upstream URL: https://spivey.oriel.ox.ac.uk/corner/Fuzz_typechecker_for_Z
Licenses: MIT
Submitter: Sciencentistguy
Maintainer: Sciencentistguy
Last Packager: Sciencentistguy
Votes: 0
Popularity: 0.000000
First Submitted: 2021-01-21 21:00
Last Updated: 2021-01-21 21:30

Required by (0)

Sources (1)