Package Details: verifast-bin 19.12-2

Git Clone URL: https://aur.archlinux.org/verifast-bin.git (read-only, click to copy)
Package Base: verifast-bin
Description: research prototype of a tool for formal verification of C and Java programs
Upstream URL: https://github.com/verifast/verifast
Licenses: MIT
Submitter: sandervb
Maintainer: sandervb
Last Packager: sandervb
Votes: 0
Popularity: 0.000000
First Submitted: 2018-10-10 19:54 (UTC)
Last Updated: 2023-11-06 09:26 (UTC)

Latest Comments

xiota commented on 2023-11-06 10:28 (UTC)

You're not the only one. I don't use this package. Found the issue while searching for other packages.

Also noticed that last release was 21.04, so would be good to update that too.

sandervb commented on 2023-11-06 09:30 (UTC)

That's embarrassing... Fixed it.

Side note: I haven't used verifast in years. If you're using it and you'd like to take over ownership, let me know.