About

This package is 64.2 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg1-1_all.deb .

View its full control file here: debian/control.

Description

tool for generating classes from JPF plug-ins

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libjpfcodegen-java 0.4+dfsg1-1 is in ubuntu - trusty / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/libjpfcodegen-java text/plain root:root 0o644 260 bytes
/usr/share/doc/libjpfcodegen-java/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/changelog.Debian.gz application/gzip root:root 0o644 886 bytes
/usr/share/doc/libjpfcodegen-java/copyright text/plain root:root 0o644 1.7 KB
/usr/share/doc/libjpfcodegen-java/index.html text/xml root:root 0o644 12.3 KB
/usr/share/doc/libjpfcodegen-java/resources/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/resources/plugin_1_0.dtd text/plain root:root 0o644 11.6 KB
/usr/share/doc/libjpfcodegen-java/resources/templates/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/resources/templates/macro.vm text/plain root:root 0o644 5.2 KB
/usr/share/doc/libjpfcodegen-java/resources/templates/_Plugin.vm text/plain root:root 0o644 2.2 KB
/usr/share/doc/libjpfcodegen-java/resources/templates/Plugin.vm text/plain root:root 0o644 2.0 KB
/usr/share/doc/libjpfcodegen-java/resources/website/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/resources/website/sh_ide-eclipse.css text/plain root:root 0o644 982 bytes
/usr/share/doc/libjpfcodegen-java/resources/website/sh_java.js text/plain root:root 0o644 6.2 KB
/usr/share/doc/libjpfcodegen-java/resources/website/sh_nedit.css text/plain root:root 0o644 1.2 KB
/usr/share/doc/libjpfcodegen-java/tutorials/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/build.xml text/xml root:root 0o644 2.5 KB
/usr/share/doc/libjpfcodegen-java/tutorials/basic/index.html text/xml root:root 0o644 17.0 KB
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/core/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/core/build.xml text/xml root:root 0o644 1.4 KB
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/core/plugin.xml text/xml root:root 0o644 1009 bytes
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/build.xml text/xml root:root 0o644 1.2 KB
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/plugin.xml text/xml root:root 0o644 618 bytes
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/plugin1/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/plugin1/Plugin1Panel.java text/plain root:root 0o644 279 bytes
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/build.xml text/xml root:root 0o644 1.2 KB
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/plugin.xml text/xml root:root 0o644 596 bytes
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/example/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/example/plugin2/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin2/src/com/example/plugin2/Plugin2Panel.java text/plain root:root 0o644 279 bytes
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/example/ root:root 0o755
/usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/example/Main.java text/x-c root:root 0o644 2.5 KB
/usr/share/java/ root:root 0o755
/usr/share/java/JPFCodeGenerator-0.4.jar application/java-archive root:root 0o644 53.4 KB
/usr/share/java/JPFCodeGenerator-0.4-rt.jar application/java-archive root:root 0o644 14.2 KB
/usr/share/java/JPFCodeGenerator.jar root:root 0o777
/usr/share/java/JPFCodeGenerator-rt.jar root:root 0o777