Re: jflex package

2020-04-25 Thread Gilles Filippini
Markus Koschany a écrit le 25/04/2020 à 23:46 : > Hi, > > Am 25.04.20 um 17:51 schrieb Gilles Filippini: >> Hi, >> >> Is the jflex package still maintained? It has no upload since 2018 and >> new releases are out, the last one being 1.8.1. >> BTW I wonder why the source package is built from the u

Re: jflex package

2020-04-25 Thread Markus Koschany
Hi, Am 25.04.20 um 17:51 schrieb Gilles Filippini: > Hi, > > Is the jflex package still maintained? It has no upload since 2018 and > new releases are out, the last one being 1.8.1. > BTW I wonder why the source package is built from the upstream binary > distribution tarball instead of the sourc

jflex package

2020-04-25 Thread Gilles Filippini
Hi, Is the jflex package still maintained? It has no upload since 2018 and new releases are out, the last one being 1.8.1. BTW I wonder why the source package is built from the upstream binary distribution tarball instead of the source one. The latter ships jflex-maven-plugin which could be packag