libjpfcodegen-java binary package in Ubuntu Xenial arm64
JPF Code Generator is a handy little tool that generates classes for
accessing the attributes and extensions of JPF plug-ins from plugin.xml
files. This has the advantage of providing a strongly typed access to the
plug-in and simplyfies working with plug-ins.
Publishing history
| Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
|---|---|---|---|---|---|---|---|---|---|
| 2015-10-22 15:20:22 UTC | Published | Ubuntu Xenial arm64 | release | universe | java | Extra | 0.4+dfsg1-1 | ||
|
|||||||||
