[ubuntu/bionic-proposed] mcrl2 201409.0-1ubuntu3 (Accepted)

[Steve Langasek]

mcrl2 (201409.0-1ubuntu3) bionic; urgency=medium

  * No-change rebuild against libgl2ps1.4

Date: Sat, 11 Nov 2017 06:27:49 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mcrl2/201409.0-1ubuntu3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 11 Nov 2017 06:27:49 +0000
Source: mcrl2
Binary: mcrl2
Architecture: source
Version: 201409.0-1ubuntu3
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 mcrl2      - formal specification language toolset
Changes:
 mcrl2 (201409.0-1ubuntu3) bionic; urgency=medium
 .
   * No-change rebuild against libgl2ps1.4
Checksums-Sha1:
 36187e3ce0d47be36921332bb9305cd4a859fa96 2163 mcrl2_201409.0-1ubuntu3.dsc
 69a708c6f1d3defe5caf759ca73200882fad04b9 6952 mcrl2_201409.0-1ubuntu3.debian.tar.xz
 3158125f94ee0600ee84484bcfa811cf0e1cc6fe 10903 mcrl2_201409.0-1ubuntu3_source.buildinfo
Checksums-Sha256:
 e841244ce217ba5eeddf76b9a1abe8dea07c9c46f2bb03c273329ce78ef33327 2163 mcrl2_201409.0-1ubuntu3.dsc
 1aee145056a4cdb28f90871b5fab562f4e6d092688540a3018283757e1d133c8 6952 mcrl2_201409.0-1ubuntu3.debian.tar.xz
 62fb2ee626d64b9ba82265a6774d06479be651846d67650328292dd2307d3491 10903 mcrl2_201409.0-1ubuntu3_source.buildinfo
Files:
 50dc31ad8e74f07184e7a46bee0c4c3f 2163 math extra mcrl2_201409.0-1ubuntu3.dsc
 bdf3c0565bda758ca1d598dfb86d4675 6952 math extra mcrl2_201409.0-1ubuntu3.debian.tar.xz
 31d79f4432a07a5f09e4793f592f48ef 10903 math extra mcrl2_201409.0-1ubuntu3_source.buildinfo
Original-Maintainer: Sjoerd Cranen <scranen at win.tue.nl>

-----BEGIN PGP SIGNATURE-----

iQI3BAEBCgAhBQJaBphtGhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM97d4QAJiygwWCCznFe7zO/FgG4fDquUCoSIUgkz3wTnfI65rNGB4/EN1c
kncbwEFeCz5Y0kAyWy6Ibqug9xdV21wlsWZitWw7EWBuLotzb/4GyluNsKaPjIO/
2U7RAeyZPj38y4lLcT/9ZcDX5g6igr69HecZiYRioOEf6TP/yXd/BoK3qEUmzkcJ
XZbsU9wTNtn0prv0DCttyhWgKsyvq1zURq0Y+LtT8gax0460xtDfivQpGbFIEu+0
/gLRzjLHxJvYO7K1BLCkiDRMCNrWvrx7G3b8ceJXCzWCNUgFkZ16AMQMdXfmav2O
tLhi6lNf2+HHHK33njW6FH6m07k4RdwgycZON1lLNSV7lN1WjKZq45FeH8EkCPv+
7FhlHwc9LACCI3FocL/0cpa8KfBSqGhvxJT9cUAuFvcWYV6m51QD7g7sNAa3ME1E
LptUpopzCKGhRBmGAlSBox5ZK7AMujZR9lUYt3L4RG0QV/vV1Mk0zCVsb4FxY2oD
fyypQ961ZfRs3ttCiKZul9EIX/IBmhtoQEt4AK4ghTRgA0VqFMoAYITlZGsIceBG
1qw5dbirasUam8ZvP0BYvOPIHgxcHeW1wRiX1FJgTBdTvX5o1GobQsdVe+4l+NEM
Zg78LU3XLS7nxwQpumUKaQRqkc9/Dnk8rQw8Euv33+zAvrXJZ7Wa2Y8J
=h4aE
-----END PGP SIGNATURE-----