Package Details: key-project 2.12.0-1

Git Clone URL: https://aur.archlinux.org/key-project.git (read-only, click to copy)
Package Base: key-project
Description: A program to use formal verification with Java programs
Upstream URL: https://www.key-project.org/
Licenses: GPL
Submitter: Mikescher
Maintainer: Mikescher
Last Packager: Mikescher
Votes: 1
Popularity: 0.000000
First Submitted: 2022-07-13 22:26 (UTC)
Last Updated: 2023-09-15 12:27 (UTC)

Dependencies (1)

Required by (0)

Sources (6)