Format: 1.8
Date: Sat, 11 Nov 2017 06:27:49 +0000
Source: mcrl2
Binary: mcrl2
Architecture: amd64
Version: 201409.0-1ubuntu3
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy01-amd64-022.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 mcrl2      - formal specification language toolset
Changes:
 mcrl2 (201409.0-1ubuntu3) bionic; urgency=medium
 .
   * No-change rebuild against libgl2ps1.4
Checksums-Sha1:
 2561552e9c1d8ef4b6fe2b2122a66a35a52cd662 655460 mcrl2-dbgsym_201409.0-1ubuntu3_amd64.ddeb
 fa3c185dac9df6b01c25bbbbeb2ecd202696a127 10531 mcrl2_201409.0-1ubuntu3_amd64.buildinfo
 a25f045859f040740efba6a7a5e44c5b38a7f0a3 7543524 mcrl2_201409.0-1ubuntu3_amd64.deb
Checksums-Sha256:
 e7c147b984536bb3577b16a2bdd8a22d193f8a640c9290156901350ee22438d0 655460 mcrl2-dbgsym_201409.0-1ubuntu3_amd64.ddeb
 4440d27b9c7e661e02144a93162cdf9812d1c96f0a357ee2084808f3865ade0e 10531 mcrl2_201409.0-1ubuntu3_amd64.buildinfo
 7137401f9b9b3a9a9f9afc1b5f34839de74f9b2cd277759e8bfb6ba22f044b9b 7543524 mcrl2_201409.0-1ubuntu3_amd64.deb
Files:
 8d13c13776f4e1414dac90ec5e10ee71 655460 debug optional mcrl2-dbgsym_201409.0-1ubuntu3_amd64.ddeb
 9680e6c1cdee45bad35801be9275dad5 10531 math extra mcrl2_201409.0-1ubuntu3_amd64.buildinfo
 1098fbf61ec0cc65231667290532357e 7543524 math extra mcrl2_201409.0-1ubuntu3_amd64.deb
Original-Maintainer: Sjoerd Cranen <scranen@win.tue.nl>