Package Details: jjbmc 1.0-1

Git Clone URL: https://aur.archlinux.org/jjbmc.git (read-only, click to copy)
Package Base: jjbmc
Description: Java Software Verification Tool
Upstream URL: https://github.com/JonasKlamroth/JJBMC
Licenses: unknown
Submitter: SeineEloquenz
Maintainer: SeineEloquenz
Last Packager: SeineEloquenz
Votes: 0
Popularity: 0.000000
First Submitted: 2021-03-26 20:23
Last Updated: 2021-03-26 20:23