Package Details: key-project 2.10.0-2

Git Clone URL: (read-only, click to copy)
Package Base: key-project
Description: A program to use formal verification with Java programs
Upstream URL:
Licenses: GPL
Submitter: Mikescher
Maintainer: Mikescher
Last Packager: Mikescher
Votes: 1
Popularity: 0.006385
First Submitted: 2022-07-13 22:26 (UTC)
Last Updated: 2022-07-14 18:22 (UTC)

Dependencies (1)

Required by (0)

Sources (6)