Package Details: key-project 2.12.3-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: 2
Popularity: 0.64
First Submitted: 2022-07-13 22:26 (UTC)
Last Updated: 2025-05-03 17:51 (UTC)

Dependencies (1)

Required by (0)

Sources (6)