-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jan 2026 16:05:15 +0100
Source: storm-lang
Architecture: source
Version: 0.7.4-1
Distribution: unstable
Urgency: medium
Maintainer: Filip Strömbäck <filip@fprg.se>
Changed-By: Filip Strömbäck <filip@fprg.se>
Changes:
storm-lang (0.7.4-1) unstable; urgency=medium
.
* New Progvis version (0.6.8). Bugfixes to the model checker
and quicker loading of programs.
* Fixed a bug in the implementation vector cross product.
* Fixed a bug that caused close() to misbehave when called
from a different threads when using io_uring.
Checksums-Sha1:
24a3575a616f252ce97b90bf32c2cabad4ec803b 2926 storm-lang_0.7.4-1.dsc
d2ce6a4dcfc9199cfa7f7fa8cd473bd3ce316f24 18699291 storm-lang_0.7.4.orig.tar.gz
cc1abc69599c24399e295ceb45907991c96e32d9 23868 storm-lang_0.7.4-1.debian.tar.xz
871e5544ea3b2059ba3727470b35c6defde3efa4 15458 storm-lang_0.7.4-1_source.buildinfo
Checksums-Sha256:
ee4aa46ed482582a3d2ab19baeac09cfd257e15ce85c15cc4f605b5d7f18de6b 2926 storm-lang_0.7.4-1.dsc
8770b37f0a5d898203a4e1a74d8193e123f580f8cb39785bc751867caef1d7ed 18699291 storm-lang_0.7.4.orig.tar.gz
916de4e9bd423443d22fb166f107d7b3c71feaf6f2306a46e03264ba77aa2f72 23868 storm-lang_0.7.4-1.debian.tar.xz
03664786fc957731a1d4306490b4c77dae86500e5549f4092d1ae4a5f5ad48e3 15458 storm-lang_0.7.4-1_source.buildinfo
Files:
5594391c7b00a2d9ba10442f1a2d7d36 2926 devel optional storm-lang_0.7.4-1.dsc
2f9efa5349895ba4553f2bc2c8d23a7d 18699291 devel optional storm-lang_0.7.4.orig.tar.gz
374602af6af876ec080f217f7d25b8f8 23868 devel optional storm-lang_0.7.4-1.debian.tar.xz
604cc583157ff5d158e752f4b2cbe38d 15458 devel optional storm-lang_0.7.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJCBAEBCgAsFiEE6ipyoX+1mPF5/vzzCDVRpSip4F0FAmlmZO0OHGZpbGlwQGZw
cmcuc2UACgkQCDVRpSip4F2oYxAAxXw0hUwIox6Y3nELmaCdO2czAjrH9p6iv7aC
qUJPfR3Fe6+skSZhB6S6YX+mh6YpTqTBmw7MZgqYhyXCcB+4RVxTMzYhG4Jo4elr
GLroyaZHdFnOP5s6fknwoPtO8wkTJZSMvPJqzqvGCClyiRBJD97oKoUi75uFQH/Y
21cldsbbXy6BJjYRhVx5TcA7fMpJDcBey4bmZPanU407K/b8vLgJvKycbC5ajh76
oDW0Yo2DzKCtGKF2eOsVenMADeaQfW1CL6x6D2CAxtmS87TU6xXiINryvAW+eLk2
PXmHoPEOrQh886X2X8m/Ba+50FZUf8Roag2J99k7qr2KarSyQgzhzSWhZG+Hr641
YfFpZQ/ip+vTcYY2VLgm8PYakCWw0kHDCpdPAZnRMT30RlTu/w25eo6jAvmmp0Y0
08fq8loJS07yrK0gy68doOo/SRmDM5Y+FoAqEGO+icmqW8e9a/PDagJGfs/Vl3F9
Hr/X9MNxhODk4iysMzeQxBpAYYbUjoZGPGlWTVGeNrig739htlEL8neSif6kM5nx
35y5afK13/zpafGkloE/inw8s/2fd5yO7ty0GihLhembo5TQyK5tQZTkwb+KgyFf
vWBc6P0Wgp2/mJOsFxE6vJyB072PE1HXBVXmQPszTX9SXO7EUQuroD4nhem35m+e
6njyHxI=
=tg4C
-----END PGP SIGNATURE-----
Attachment:
pgpf1dB0eIJYa.pgp
Description: PGP signature