-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 31 Jan 2024 08:58:16 +0000 Source: gecode Architecture: source Version: 6.2.0-5.1~exp1 Distribution: experimental Urgency: medium Maintainer: Kari Pahula <kaol@debian.org> Changed-By: Lukas Märdian <slyon@debian.org> Changes: gecode (6.2.0-5.1~exp1) experimental; urgency=medium . * Non-maintainer upload. * Rename libraries for 64-bit time_t transition. Checksums-Sha1: 6117a8c9de87843652087861ddff38f1c0151766 2198 gecode_6.2.0-5.1~exp1.dsc 975bf4fe4088d7cc665927bb3362014c3ccb0c7b 16692 gecode_6.2.0-5.1~exp1.debian.tar.xz 0d1f3f90534e3e01524c4fd62f660c42cf107a6e 10750 gecode_6.2.0-5.1~exp1_source.buildinfo Checksums-Sha256: 6e1a6e97529cfb2b5fa2baf3e90af23d38bb0b86683400cfd3861b91626b0ccf 2198 gecode_6.2.0-5.1~exp1.dsc ed9b50516ea18fd313be3b89bf31a1e64b906fe410e9962e1f35344666998cbd 16692 gecode_6.2.0-5.1~exp1.debian.tar.xz b2c483dde90fb9d7077dbab210261848c7161e5e0a8f240301cf21bd5fc40932 10750 gecode_6.2.0-5.1~exp1_source.buildinfo Files: c1169f5791b4a3495668ec483f8bcf73 2198 libs optional gecode_6.2.0-5.1~exp1.dsc 8a5301472c5ca1782cfff06e50b4cbe2 16692 libs optional gecode_6.2.0-5.1~exp1.debian.tar.xz fd1611cfa6f97a6e3653ca50fb9ca218 10750 libs optional gecode_6.2.0-5.1~exp1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEE496GmCL5m2y8NfJ5v322IrMDrIsFAmW6C9ARHHNseW9uQGRl Ymlhbi5vcmcACgkQv322IrMDrItb2RAAyE1lyg5rNOafAZTrQexksKVEpK1ri2tp 9/bAUrtij/8GfWWERpbzvsWFVARQgPe4XWGcHvSFu7o2a7JhVuaFUPT4JctbTImd BxP6yUkzhEbRqBGfPpezk69ECQGoQM1JjYtKluf1/anXMfzZZn+yIbveO+rRfWct S1wyoAbCOs+c/DLta7OiFbVA0vrSG5O01SgyRNukv/wM84OIXOo3EYRrmhubdLzu DspyJpO1mNT1c6dh7SlCV1s5gmXy/vW6nWiB439DFdmdotfkqraOjY1swNKIoLWJ TZfEH22YrtNYBa3ZcdhIwH0K6+K+yUQwbKRJ0yrBpS/QFLCF8RpP6it6ZSpIx9zc U7THMC0ogMzyNIbNN9/Pg7hcsQcQiFxNfXiK+uG7xJiVxQ+DaKzOJykYorrrE7+k 4Pn16+yrlR6ZFxrKECWYKnFZZzZayNBewOJ8QuuUlbuju6mkeGSWkkBLsbd8IZik 4gur7r/WShtEOc29pux1mUbBzwiS56KY01MoYrq/TM977Z0iZDrQcQCs1DNspc/X Ogu3fCMA6otEQIi16Kv4k1G/JC9Uu7XIy2sWA7tH7Y4ycJxSTIM+rjv9b4irsE59 oXSVKinWAkh7NChFox3MuLyfzXXkAxHzGtIWOR50lwxh/DwDTS+cP6o34PObc81L s+gYnRf6Msw= =jVdE -----END PGP SIGNATURE-----