Package - libjpfcodegen-java

Package:  libjpfcodegen-java
apt-get install libjpfcodegen-java
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg1-2_all.deb (Size: 65.2KiB)

PropertyValue
Packagelibjpfcodegen-java
Version0.4+dfsg1-2
Installed-Size186
MaintainerDebian Java Maintainers
Architectureall
Descriptiontool for generating classes from JPF plug-ins
Description-md5f59af66d45cad70b3a719390643c1e98
Homepagehttps://github.com/magsilva/jpfcodegen
Tagdevel::code-generator
Sectionjava
Priorityoptional
Filenamepool/main/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg1-2_all.deb
Size66744
MD5sum8b85a199f71e8644dbf8780697829418
SHA2569fd04d59b972e91e7e4dcef62c6ac6a0be83662b599146eb68435da7b606ee2b

Files in package

  • /usr/share/doc-base/libjpfcodegen-java.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/plugin_1_0.dtd
  • /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/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/basic/build.xml
  • /usr/share/doc/libjpfcodegen-java/tutorials/basic/index.html
  • /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/build.xml
  • /usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/plugin.xml
  • /usr/share/doc/libjpfcodegen-java/tutorials/basic/plugins/plugin1/src/com/example/plugin1/Plugin1Panel.java
  • /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/com/example/plugin2/Plugin2Panel.java
  • /usr/share/doc/libjpfcodegen-java/tutorials/basic/src/com/example/Main.java
  • /usr/share/java/JPFCodeGenerator-0.4-rt.jar
  • /usr/share/java/JPFCodeGenerator-0.4.jar
  • /usr/share/java/JPFCodeGenerator-rt.jar
  • /usr/share/java/JPFCodeGenerator.jar