checker-framework-java (3.0.1+ds2-1~exp1) experimental; urgency=medium * Ephemeral upload to experimental to clear NEW (Closes: #959832) * Remove additional problematic source file -- Olek Wojnar Sun, 25 Oct 2020 21:05:33 -0400 checker-framework-java (3.0.1+ds1-1) unstable; urgency=medium * Correct additional licensing concerns identified by FTP Team -- Olek Wojnar Thu, 22 Oct 2020 14:17:16 -0400 checker-framework-java (3.0.1+ds-1) unstable; urgency=medium * Initial release (Closes: #959832) * Provide additional information about authors * Restore Gradle build system * Backport license clarifications from upstream in d/copyright - https://github.com/typetools/checker-framework/issues/3429 -- Olek Wojnar Wed, 15 Jul 2020 16:06:07 -0400