-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 14 Sep 2024 16:48:17 +0200 Source: simgrid Architecture: source Version: 3.36-2 Distribution: unstable Urgency: medium Maintainer: Martin Quinson <mquinson@debian.org> Changed-By: Martin Quinson <mquinson@debian.org> Changes: simgrid (3.36-2) unstable; urgency=medium . * Enable the model-checking part of this package now that it's quite usable. * Enable the json bindings. Checksums-Sha1: e8f37f1ecdc37e47174c338ac59651ad45107286 2243 simgrid_3.36-2.dsc a9dcf90206a1388a47bddfedad4fe8324657c18d 15744 simgrid_3.36-2.debian.tar.xz a642cc40aff97e296891f8d4db5664581be8b358 10788 simgrid_3.36-2_amd64.buildinfo Checksums-Sha256: e103769604400fb77a7288acf53fc44b7ebab65bb01be098efbcf06ae3e86705 2243 simgrid_3.36-2.dsc 145f659c46afee7ee9152a479b482f841d84dcc68b4b540923b78365061940b4 15744 simgrid_3.36-2.debian.tar.xz 7b86a2ef52441dd8cb1fb797cdb7051b218cad930c322052d096b8f5c37fe356 10788 simgrid_3.36-2_amd64.buildinfo Files: dac04c01de3930dce44fbd44b6c306b3 2243 science optional simgrid_3.36-2.dsc ed79370c379e0fb2e7cb7f559c766546 15744 science optional simgrid_3.36-2.debian.tar.xz d2c928df547f3b9b24a7c032d390951c 10788 science optional simgrid_3.36-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEET76cTupS7xPVQWYSmL2XJE9zvqcFAmblw/QUHG1xdWluc29u QGRlYmlhbi5vcmcACgkQmL2XJE9zvqcogg/8Do2k0lu3bK7UGYccNgApt4vaQtiS lBGzwaZD2s3iWuDsHZcuWASKlfcpMPhb35riMFLEXrKJCHfXvZFLnPSq2KgFZEQr WGKZqcRWDstrgCnZqnqooCOmAHW4IeLUXQphB96FNN7HVDJ/8gF1NYM2du9wzPMM iZUc0u3FccgX3FzPl0qZ5Ipwp9ojxMYNUi6ho58evdjRkv3QcUTa68NYg5J602dw DAS6X7i6NFRbrNCU/SHs9ddx7eANVxphkYAisYQfR8Xhofo9d6awBVGRpQId7+j3 bxbRMgIQGIo3xD1EeAK5UcKwhofs5LxSvUUkCdgHFnWBuERWqWHgPfIV+aUe6As2 d9JFVIHVNsryJDiCe4K/sstfnLceZmUS5Ttm8QAwlRx0sbfUPBY5pJZPQxQ/RWfN e2UMCIDqF8Tr3riBMQX4L1HVGkCF3acF5B2pqP5h5bCGXO4kO9aEEV7j+rEIT4UB BnoDO5PV/MGGkIBWzyF8eLL0QuBf7K6Z5I72t0w86enJ1RHph2nHLHMnaHJfyIZx Nn33ahpa1KAhJNpBQZ6uSQIs2F/581KjnfHRiCcsd7Z4Kx9PGcFA5Aqtm26T8i7U NRSkxdX7Uga+MnvVf2WbgEhUIPT1RJ4YGUsFs3mr5n280mnVn1Z7+gFf6z7/Iyat ag0qUGOpm3qUEbk= =CrEZ -----END PGP SIGNATURE-----
