Publishing details

• Removal requested on 2018-10-11.
• Superseded on 2018-10-10 by jflex - 1.7.0-1
• Published on 2018-05-01
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

jflex (1.6.1-3) unstable; urgency=medium

  * Use compat level 11.
  * Declare compliance with Debian Policy 4.1.3.
  * Use https for Format field. Update copyright years.
  * Change dependency from default-jre to default-jre-headless |
    java7-runtime-headless.
    Thanks to Kai-Chung Yan for the report. (Closes: #890345)
  * Change source/target to 1.7.

 -- Markus Koschany <email address hidden>  Tue, 13 Feb 2018 22:30:33 +0100

Builds

Package files

• jflex_1.6.1-3.debian.tar.xz (6.0 KiB)
• jflex_1.6.1-3.dsc (2.0 KiB)
• jflex_1.6.1-3_all.deb (1.3 MiB)
• jflex_1.6.1.orig.tar.xz (608.1 KiB)