-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 22 Oct 2020 19:25:30 +0300 Source: minizinc Architecture: source Version: 2.5.1-1 Distribution: unstable Urgency: medium Maintainer: Kari Pahula <kaol@debian.org> Changed-By: Kari Pahula <kaol@debian.org> Changes: minizinc (2.5.1-1) unstable; urgency=medium . * New upstream release. * Remove Bison patches. Checksums-Sha1: 0ae4074fa3349cc53f476034b8c7d578f6dda6f9 1798 minizinc_2.5.1-1.dsc aeaba00fb34273bf69a353f54ddea332fa1c78ed 1585207 minizinc_2.5.1.orig.tar.gz 445e7862d1ad2c59154224f13f8f353071f0bfb4 8972 minizinc_2.5.1-1.debian.tar.xz a1ab8612d85f1875b6a3dbaebb0c0b654fd6f038 12246 minizinc_2.5.1-1_source.buildinfo Checksums-Sha256: 5a54b5949aeea72b0eaa37e1edddc5efa4c0a2ae0e8beab3cefb797d8f9cef21 1798 minizinc_2.5.1-1.dsc 630d4c30100c3e765bca5272841dc9e8d31954e662b5bab181eac09cfaec410b 1585207 minizinc_2.5.1.orig.tar.gz dd3493210bf862604bf669fee21b52870d82c6d685339bbb264942d97c76fa93 8972 minizinc_2.5.1-1.debian.tar.xz a1264eba75cb54edebdad5c050a81f25f418443b71b19e713ccadca857455aeb 12246 minizinc_2.5.1-1_source.buildinfo Files: 41d238eec7952b1d0c40dd6b855b1690 1798 devel optional minizinc_2.5.1-1.dsc 17f88180144686bc4cd994612f902fb3 1585207 devel optional minizinc_2.5.1.orig.tar.gz 7f11ebf6f469cba098e66a1ea022c5e1 8972 devel optional minizinc_2.5.1-1.debian.tar.xz e058db5e57d236e77f6296a8eb960827 12246 devel optional minizinc_2.5.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl+RtmoACgkQhAhn7p2P Jly0tQ//aXsp7hmrqIAhlau2V6Av5zwIB+hNiYCclHlLHjzvW/RmoNkApTOq2thw NNMXOXEr1DJCRTkRLZzgm3Wt/Yd2W8AqtLtd3mXvqsDQfD3jHkRAWSWLIUwcNhlW omH0u10bNJh9oAoklfZYL5VCqF/qMLaNTwh6S0V/frMly1vBC1HlEvjj7BxHxITr eZHVtG9jlJ82WRN+gQyl1b6x54p8+LNkRhTvPJrjVosR+z1rNuEVXBQvzjzj4yxv J+OWndsLlD00lvEnwGMPS+jm9n0lbWrzjt4Vj6fJG6G+cgkVbr+M2BGywU/WmryF K9C62hXl0k17clhb2MCba7v98uvBB4Tdb/fSD+8hJJwujEUNSERUbgtBU5+0lPI9 eROD7yc78AXsPrwkWwRMmMXIWILm9lm0g8PnfyH84cObmJDX1zxXSjH0NcvX+Kqw VC1ctx71kGkFotUp6cRo6WFfth37DtbMkMEMexhZnYct56Ob79bDpqSNzzCzd6bY qjRxBL8RPmTZIk1NvmBFZQR5DjA1NmpzzfO4HByrZAXTjXVWHhDnUkO5C0BCCkWn JsJRSoIh8Gqwj7NA4tYPdnKB1sETXQdRV87oPqB+ZtLIazZD1BkTHH5/n6mPxBJY /jJajJsfgIH9eHeCfHtg3Fze9PeuCFp/cnsqjsZcZ/ZPsFXL4GI= =zMZN -----END PGP SIGNATURE-----