Accepted: jflex_1.4.1-3.diff.gz to pool/main/j/jflex/jflex_1.4.1-3.diff.gz jflex_1.4.1-3.dsc to pool/main/j/jflex/jflex_1.4.1-3.dsc jflex_1.4.1-3_all.deb to pool/main/j/jflex/jflex_1.4.1-3_all.deb Announcing to debian-devel-changes at lists.debian.org Closing bugs: 352980 Thank you for your contribution to Debian.