drmips (2.0.1-2.1) unstable; urgency=medium * Non-maintainer upload. * Fixed the build failure with Java 11 (Closes: #912230) -- Emmanuel Bourg <email address hidden> Thu, 12 Sep 2019 10:01:49 +0200