-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 10 Jan 2020 13:53:50 +0200 Source: minizinc Architecture: source Version: 2.4.2-1 Distribution: unstable Urgency: medium Maintainer: Kari Pahula <kaol@debian.org> Changed-By: Kari Pahula <kaol@debian.org> Closes: 923525 Changes: minizinc (2.4.2-1) unstable; urgency=medium . * New upstream release (Closes: #923525) Checksums-Sha1: 1a4f042fa1f11ca03e6a1a7909297ea72a594323 1798 minizinc_2.4.2-1.dsc dbaf6b62cbdad5159c84d3451d5ea235ee81f2be 1535346 minizinc_2.4.2.orig.tar.gz e0e693c623ce02906ab3cb563f11bb19588e3495 8728 minizinc_2.4.2-1.debian.tar.xz 05473e955777ec7d13af7aee63958aecf94cdafb 12083 minizinc_2.4.2-1_source.buildinfo Checksums-Sha256: d02bdd46232a5c05ce77c017e2bdc8b82261ad10abc8acfee52989c847aa44e9 1798 minizinc_2.4.2-1.dsc 1295f2399cafed2c0287e630d8a03cdbbf071ed9d01e6110e26191852f5aff8a 1535346 minizinc_2.4.2.orig.tar.gz 59dcf2eae503c8df7aea42897cb336d28fb8863f163fab5f6c0efceea156257e 8728 minizinc_2.4.2-1.debian.tar.xz c978fc36ef13f03837a267040198fe5e086a6f77631dd54c164f88318a914eab 12083 minizinc_2.4.2-1_source.buildinfo Files: d657bed3016f575277571e1627d42c0b 1798 devel optional minizinc_2.4.2-1.dsc 229f23e16eb98dcb8dcc3063a5a9d76c 1535346 devel optional minizinc_2.4.2.orig.tar.gz 57b67f4aaed3f3a61a1b00318cad2d81 8728 devel optional minizinc_2.4.2-1.debian.tar.xz 3a1df0337ec21443f1602f94f642be2b 12083 devel optional minizinc_2.4.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAl4YfAgACgkQhAhn7p2P Jly69xAAxIi78ERkHe5/jh3wxHuETzcCL+sMgjiajEYpnMG5pSHEavqrNWSVFVTK 1GcqRuqRLIK6/BFpqZurGXscrGg6Ojp+rOLJOYDwu88sgY+Y/fk421kkOBBEQdDX 5CzqaYafUvpxQy4R62vH9Tfw8HXHYsoWPVjXtrPvOCpdfjy6vGBpgyJOGQuSe2gX dxw6LIC0UTKyTvks4XGeHptCiitdQ2JXG9+cw/c53S1f+SmrndTxkWEP2jUL97Y3 2GWY974u/bdspvTo9sHaOe0Ow+jDGlN1qCOE0KvwpEgGOHd0job/q+05PHEyjToR TZDKksrUzautdigLIjtyJEO9qQwgxNP0WmGJu4ygJafxMfm1n4k4TxllxP+pInU9 pWi1TZqN/hFlcTyv6zUAsHjttCexD4oyu83RDB6YkgTWeOWnHUNATJmbtXmT0QMS iWIeWnQK2QSP3zi+DfhfRpmYEYLf4QQb3Tec/1eSX+5l7BZAUNgQkhh52Ju5rHmf RzmpHprVgBdE/t45SuvCXLvAa1AAvmtWwgxmaoDXROMj8wMZTrfmOX2QPWnpQZHR DayVksyROehjXL4hTXSbpBIloc6Eiq5yiNbWXBshORuVcSRD6fUXXGbfLULfIE7U 7ukKKJtL8wJx9ytKcirI5yqPCBrBYEUqw6m5UdioHPfu8FQ/45Y= =XzRw -----END PGP SIGNATURE-----