libjpfcodegen-java - tool for generating classes from JPF plug-ins

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libjpfcodegen-java
Package version 0.4+dfsg1
Package release 1
Package architecture all
Package type deb
Installed size 253 B
Download size 64.24 KB
Official Mirror
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.


Package Version Architecture Repository
libjpfcodegen-java_0.4+dfsg1-1_all.deb 0.4+dfsg1 all Debian Main
libjpfcodegen-java - - -


Type URL
Binary Package libjpfcodegen-java_0.4+dfsg1-1_all.deb
Source Package libjpfcodegen-java

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libjpfcodegen-java deb package:
    # sudo apt-get install libjpfcodegen-java




2014-01-27 - gregor herrmann <>
libjpfcodegen-java (0.4+dfsg1-1) unstable; urgency=medium
* debian/get-orig-source: also remove sourceless minified Javascript
* Create new +dfsg1 "release" without those files.
Closes: #736866
* Drop debian/README.source which still talked about quilt.
* debian-libs.patch: update DEP3 headers.
* debian/control: use canonical URLs for Vcs-* fields.
* debian/copyright: switch formatting to Copyright-Format 1.0.
* Register documentation with doc-base system.
* Don't compress documentation.
* Bump debhelper compatibility level to 8. Drop unneeded version from
build dependencies.
* Declare compliance with Debian Policy 3.9.5.
2012-05-29 - tony mancill <>
libjpfcodegen-java (0.4+dfsg-4) unstable; urgency=low
[ gregor herrmann ]
* Update Vcs-* headers.
[ tony mancill ]
* Update Maintainer field for Java team maintenance.
* Add gregor to Uploaders.
2012-03-22 - tony mancill <>
libjpfcodegen-java (0.4+dfsg-3) unstable; urgency=low
* Bump debhelper Build-Dep to 7.0.8 to support --with.
* Bump Standards-Version to 3.9.3 (no changes)
* Remove needless Depends on JRE.
2010-08-03 - tony mancill <>
libjpfcodegen-java (0.4+dfsg-2) unstable; urgency=low
[ gregor herrmann ]
* debian/control: change build dependency from default-jdk-builddep to
[ tony mancill ]
* debian/control: 
add ${misc:Depends}
depend on javahelper; drop dependency on quilt
* Bump Standards-Version to 3.9.1: no changes
* Set debian/compat to 7; depend on debhelper 7.
* debian/rules: modify for debhelper 7 + javahelper
2009-09-02 - gregor herrmann <>
libjpfcodegen-java (0.4+dfsg-1) unstable; urgency=low
* Initial release (closes: #519125).

See Also

Package Description
libjpgalleg4-dev_4.4.2-5_amd64.deb development files for the JPG loading addon for Allegro 4
libjpgalleg4.4_4.4.2-5_amd64.deb JPG loading addon for Allegro 4
libjrosetta-java_1.0.4-4_all.deb JRosetta - Advanced graphical console engine
libjruby-joni-java_2.1.4-1_all.deb Java port of Oniguruma regexp library
libjs-angularjs_1.2.26-1_all.deb lets you write client-side web applications as if you had a smarter browser
libjs-arbiter_1.0-3_all.deb Lightweight publish/subscribe library for client-side JavaScript
libjs-asciimathml_2.0.2-1_all.deb a library to render high quality mathematical formulas in a browser
libjs-async_0.8.0-1_all.deb higher-order functions and common patterns for asynchronous Javascript
libjs-backbone_0.9.10-3_all.deb some Backbone for JavaScript applications - browser library
libjs-bignumber_1.3.0+dfsg-1_all.deb Arbitrary-precision decimal and non-decimal arithmetic (client)
libjs-bootstrap_3.2.0+dfsg-1_all.deb HTML, CSS and JS framework
libjs-chosen_0.9.11-2_all.deb select box enhancer for jQuery and Protoype
libjs-codemirror_2.23-1_all.deb JavaScript editor interface for code-like content
libjs-coffeescript_1.4.0-1.1_all.deb client-side interpreter for the CoffeeScript language
libjs-colors_0.6.2-1_all.deb Get color and style in your web application