libjpfcodegen-java binary package in Ubuntu Trusty 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 | ||
---|---|---|---|---|---|---|---|---|---|
2014-01-29 18:43:25 UTC | Published | Ubuntu Trusty arm64 | release | universe | java | Extra | 0.4+dfsg1-1 | ||
|
|||||||||
Deleted | Ubuntu Trusty arm64 | proposed | universe | java | Extra | 0.4+dfsg1-1 | |||
|
|||||||||
2014-01-29 18:48:09 UTC | Superseded | Ubuntu Trusty arm64 | release | universe | java | Extra | 0.4+dfsg-4 | ||
|