Search Criteria
Package Details: fuzz-git r2.d19ffd9-2
Package Actions
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: | None |
Last Packager: | Sciencentistguy |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2021-01-21 21:00 (UTC) |
Last Updated: | 2021-01-21 21:30 (UTC) |
Dependencies (1)
- texlive-core (texlive-installerAUR, texlive-fullAUR, texlive-basic)