Format: 1.8 Date: Thu, 12 Sep 2019 10:01:49 +0200 Source: drmips Binary: drmips Architecture: all Version: 2.0.1-2.1 Distribution: focal-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Emmanuel Bourg Description: drmips - Educational MIPS simulator Closes: 912230 Changes: drmips (2.0.1-2.1) unstable; urgency=medium . * Non-maintainer upload. * Fixed the build failure with Java 11 (Closes: #912230) Checksums-Sha1: 9dcd8157b27abc6ac0d55b795afed349181afad5 2839780 drmips_2.0.1-2.1_all.deb 979d8ddec3a9538e607d34c8ddaf445df6e878fd 8413 drmips_2.0.1-2.1_amd64.buildinfo Checksums-Sha256: 20ec5eda6b72f51911cf10fad465c231830a6c0346961a1bc2628f13bf6c3d59 2839780 drmips_2.0.1-2.1_all.deb c9308f9c2373fcfe43f8bb4cd7431676de772250796da43e70fc48cd7f9d4eef 8413 drmips_2.0.1-2.1_amd64.buildinfo Files: 196b1f76b8e9d7f77cf8a0595a9cf20a 2839780 electronics optional drmips_2.0.1-2.1_all.deb a7324a73c4f7c4ac716b8af49816f47f 8413 electronics optional drmips_2.0.1-2.1_amd64.buildinfo