Information about the apt package "libjpfcodegen-java".

Package

libjpfcodegen-java

Version

0.4+dfsg1-1

Priority

extra

Section

universe/java

Origin

Ubuntu

Maintainer

Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>

Original Maintainer

Debian Java Maintainers <pkg-java-maintainers@lists.alioth.debian.org>

Bugs

https://bugs.launchpad.net/ubuntu/+filebug

Installed Size

259 kB

Homepage

http://page.mi.fu-berlin.de/oezbek/jpf/

Download Size

65.7 kB

APT Manual Installed

yes

APT Sources

http://archive.ubuntu.com/ubuntu artful/universe amd64 Packages

Description

tool for generating classes from JPF plug-ins

Install Info

artful,now 0.4+dfsg1-1 all

Installed Automatically

False

Files

/./
/usr/
/usr/share/
/usr/share/doc/
/usr/share/doc-base/
/usr/share/doc-base/libjpfcodegen-java
/usr/share/doc/libjpfcodegen-java/
/usr/share/doc/libjpfcodegen-java/changelog.Debian.gz
/usr/share/doc/libjpfcodegen-java/copyright
/usr/share/doc/libjpfcodegen-java/index.html
/usr/share/doc/libjpfcodegen-java/resources/
/usr/share/doc/libjpfcodegen-java/resources/plugin_1_0.dtd
/usr/share/doc/libjpfcodegen-java/resources/templates/
/usr/share/doc/libjpfcodegen-java/resources/templates/Plugin.vm
/usr/share/doc/libjpfcodegen-java/resources/templates/_Plugin.vm
/usr/share/doc/libjpfcodegen-java/resources/templates/macro.vm
/usr/share/doc/libjpfcodegen-java/resources/website/
/usr/share/doc/libjpfcodegen-java/resources/website/sh_ide-eclipse.css
/usr/share/doc/libjpfcodegen-java/resources/website/sh_java.js
/usr/share/doc/libjpfcodegen-java/resources/website/sh_nedit.css
/usr/share/doc/libjpfcodegen-java/tutorials/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/build.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/index.html
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/core/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/core/build.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/core/plugin.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/build.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/plugin.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/plugin1/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/plugin1/Plugin1Panel.java
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/build.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/plugin.xml
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/example/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/example/plugin2/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/example/plugin2/Plugin2Panel.java
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/example/
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/example/Main.java
/usr/share/java/
/usr/share/java/JPFCodeGenerator-0.4-rt.jar
/usr/share/java/JPFCodeGenerator-0.4.jar
/usr/share/java/JPFCodeGenerator-rt.jar -> JPFCodeGenerator-0.4-rt.jar
/usr/share/java/JPFCodeGenerator.jar -> JPFCodeGenerator-0.4.jar