1 2 3 4 5 6 7 8 9 10 11 12 13
pkgbase = fuzz-git pkgdesc = The fuzz type checker for Z pkgver = r2.d19ffd9 pkgrel = 2 url = https://spivey.oriel.ox.ac.uk/corner/Fuzz_typechecker_for_Z arch = x86_64 license = MIT depends = texlive-core source = fuzz-git::git://github.com/Spivoxity/fuzz.git md5sums = SKIP pkgname = fuzz-git