-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 26 Nov 2023 23:38:10 +0100 Source: simgrid Binary: libsimgrid-dev libsimgrid-dev-dbgsym libsimgrid3.35 libsimgrid3.35-dbgsym python3-simgrid Architecture: source amd64 Version: 3.35-1 Distribution: unstable Urgency: medium Maintainer: Martin Quinson <mquinson@debian.org> Changed-By: Martin Quinson <mquinson@debian.org> Description: libsimgrid-dev - Development files for the SimGrid Toolkit libsimgrid3.35 - Toolkit for scalable simulation of distributed applications python3-simgrid - Python3 bindings for the SimGrid Toolkit Changes: simgrid (3.35-1) unstable; urgency=medium . * New upstream release: "Thanks Giving up stateful model-checking" - Maint: liveness checking is gone. It was fragile and buggy. Stateless model checking remains and gets further improved. - API: ActivitySet make it easier to manage sets of activities. - Plugins chiller, photovoltaic and battery revamped and improved. - Performance improvements, both in time and memory. - (+ internal refactoring, usability improvements and bug fixes) * Drop d/p/commit-2beb5fe which was picked upstream for #1042217. * d/copyright: update according to recent upstream changes. Checksums-Sha1: 7fa1abf9e5ceb58e54576280fb93f25fb7dcb048 2212 simgrid_3.35-1.dsc 86d84c7e57b56a26b6bf701f393d12067c235d3a 12026972 simgrid_3.35.orig.tar.xz a092920fdd045e2dfdb547d36e6edb58936d5aa0 15372 simgrid_3.35-1.debian.tar.xz ff56a4433508786dbdfbcad882fa72a40d0bd2b6 353760 libsimgrid-dev-dbgsym_3.35-1_amd64.deb 7281992476deb26b6df8600bf8efcc1702ab2eb4 248512 libsimgrid-dev_3.35-1_amd64.deb 464dda9ae1359d961f4f7d8b089ea5236b03f342 31820724 libsimgrid3.35-dbgsym_3.35-1_amd64.deb 075d51ff380e41e2298442ec276d1bbb3f5c3152 2013264 libsimgrid3.35_3.35-1_amd64.deb f9c0b09564ec82dd29fab1da18dff6955ddda0ac 348732 python3-simgrid_3.35-1_amd64.deb 364f1c336225732b7402325bd5bbb02285c5fe39 9836 simgrid_3.35-1_amd64.buildinfo Checksums-Sha256: 37df50712b59ab32387cc59b275f9660dd15cf2f8eb33e7113715e28d2a79fb8 2212 simgrid_3.35-1.dsc 34f0e394861d4ee4edd1b937bd159797f13e9c5a7a9f35159879caf0ad84055d 12026972 simgrid_3.35.orig.tar.xz 5550cbc532cffef81e02f59296139b301b6dc3dbdbb3e10a31afa3efc5f035b4 15372 simgrid_3.35-1.debian.tar.xz 65e8f25020f38892333caf7fdae53cf805c22ec69a3e79c11a5e4cddbc6b35b3 353760 libsimgrid-dev-dbgsym_3.35-1_amd64.deb d4fba7ec9e8c8bf98b6a57ff7bbfbca19c779e6759193cc7f092363bedec351b 248512 libsimgrid-dev_3.35-1_amd64.deb 8931ca3629564d982c0b1e54fbc4ace58c1834e8e25a192b41072890dc531b66 31820724 libsimgrid3.35-dbgsym_3.35-1_amd64.deb f350d1b0dbf0c6f0f20057d448cd8e71203fbcea468155323b9c12b780a75666 2013264 libsimgrid3.35_3.35-1_amd64.deb 7f2be16c628da67ee1c4baa3f00aeadd9b982cfbff2ba1956dcf60d0908d214f 348732 python3-simgrid_3.35-1_amd64.deb 7f370e33cd41c6bbdcde41a31eeac8ee2bb435198aa5bef3fa73d6959057759a 9836 simgrid_3.35-1_amd64.buildinfo Files: cd3127d4d8777a62ac98cb072e707eae 2212 science optional simgrid_3.35-1.dsc 764d4c889ac7f3cefec0071a1b5106fc 12026972 science optional simgrid_3.35.orig.tar.xz 642d0761193c379891ce97fab733ad0d 15372 science optional simgrid_3.35-1.debian.tar.xz 416797794872f886bdc5030d5bb9d71e 353760 debug optional libsimgrid-dev-dbgsym_3.35-1_amd64.deb 224c694ad75c7ee0332c6a5a11e6416a 248512 libdevel optional libsimgrid-dev_3.35-1_amd64.deb 09355c51dcf03e920b0b2491dbc93bb8 31820724 debug optional libsimgrid3.35-dbgsym_3.35-1_amd64.deb 16d893c746f03099b6924a448fa3198b 2013264 libs optional libsimgrid3.35_3.35-1_amd64.deb df0d527f192588930e61afaae5546b2d 348732 python optional python3-simgrid_3.35-1_amd64.deb d9b9b2c2e1a74ab9a8214e0f61769f18 9836 science optional simgrid_3.35-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEET76cTupS7xPVQWYSmL2XJE9zvqcFAmVnwqQUHG1xdWluc29u QGRlYmlhbi5vcmcACgkQmL2XJE9zvqeBTw/9E9NHc4peqcYzuSR22nmhsGsTL/1d a2I6d5hsSQge30+54QhvnOysjiI0XPObc4g9eXSLPTJs/z48r/WOSOwqvqrZ6rmi 7FgXPbnB5DV1hRrg5dE9AOW3lSeugofiA61iyMb62gQ1HQT9BNQFakmlRIqLARvk 1qjZo0Er42OXt7NRZkWJ7/qR21n7FlGTItJAmepXlOf32GgoYkJ5b4E4iMmnJKJf kcVcELzwHLlTuWWUgpcm37aHLnD4o3Erg/ba5L/ccSlzQdK4XmGNyinHl92lcGGA NBgFF644IhVS3HxDHCNvRLGT6eBpE12u9KnzGj1g+6voP1DCYY6MhjVo9JRi6yDU uov1L5iItg4uhcQCp+O37Cfi3RVjPhol3PPXxHgKx+ycBeM1WOful6V6m7pPx56p D278/MU4y3M7dG7wVyM0EFxebz2BIqx9+2RJAiFheJAv3GPDDtVKWQhDMxbYrCcw diOd6cRhAGZGp8CsiIa8FsSWMFuWmpPS2ugbGcoO0nrZqMQdlldgQUMjWjKKCXuV YXqgNp1/tuSF/VadY+oLEiSy5U00ycgQkfTcGfirR0Z3DZ4ZVmcEijCrpf5aDK54 Okeynt6tvbUQg1XkxAdOBAjg/jzDnqOfmMegZnfzFU32q/cLBcZOEpQOh78VdxqB e7QXgvyJ7WEhX04= =xrod -----END PGP SIGNATURE-----