Package Details: openjml-bin 0.8.44-2

Git Clone URL: (read-only, click to copy)
Package Base: openjml-bin
Description: Java Software Verification Tool
Upstream URL:
Licenses: unknown
Submitter: csicar
Maintainer: None
Last Packager: csicar
Votes: 0
Popularity: 0.000000
First Submitted: 2018-12-05 16:05 (UTC)
Last Updated: 2020-05-02 08:16 (UTC)

Dependencies (2)

Required by (0)

Sources (2)

Latest Comments

rookiefkq commented on 2023-06-07 20:00 (UTC)

Hi, this package does not work, saying there's a linkage error, I have installed openjdk java 8, 11 and 20, using the binary from openjml's github/releases seems to work properly, if you want I could try to update the script, probably the only thing that needs to be updated is the link.