-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 4 Jan 2023 16:08:42 +0000 Source: storm-lang Architecture: source Version: 0.6.2-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.6.2-1) unstable; urgency=medium . * Added support for arm64. * Add support for detecting live-locks in the auto-grader in Progvis. * Fixed a bug in Progvis that would cause threads to step too far. * Throw exceptions on integer division by zero to avoid crashes in Progvis. * Added conversions between unsigned integers and floating point types. * Improved error messages for cases where a default constructor is missing. * Improved the presentation library to allow interactive components. * Improved the Geometry API. * New instruction in the intermediate representation: `test` Checksums-Sha1: 38a7d854d4f2572074ecdf5fe9303d39ab057ac5 1927 storm-lang_0.6.2-1.dsc c5017200ab25ae2051cc4b03755de3f766b64eaa 17527780 storm-lang_0.6.2.orig.tar.gz 2232cd74439f583639e0dc8569aa87b9913f7e7e 16408 storm-lang_0.6.2-1.debian.tar.xz a2f37324b22f5467acdad0796ab08949c94b6ea6 16365 storm-lang_0.6.2-1_source.buildinfo Checksums-Sha256: 0cc768cd7e30572fc709c81f28bd105f6ceb66d4ab5b5d73cd12a019d7efdbdb 1927 storm-lang_0.6.2-1.dsc 7f5f01e0acba016cabf0854729845189c52a3ec87a3d4ea1b12e46e6ca684223 17527780 storm-lang_0.6.2.orig.tar.gz cef569de711dfe7933415921de3239c1cd378c92bd295d03ccda05451bf5effa 16408 storm-lang_0.6.2-1.debian.tar.xz 7844be953ae65e2ac68673cdf10062370588c678609bdd829f726ac53a32b135 16365 storm-lang_0.6.2-1_source.buildinfo Files: ae090e7ca6f7826064d4c7c6c60976aa 1927 devel optional storm-lang_0.6.2-1.dsc 641aaf6be8e3f4c307c752b48a321404 17527780 devel optional storm-lang_0.6.2.orig.tar.gz 0bfbb0db168ba5b11669ab3d1807f11e 16408 devel optional storm-lang_0.6.2-1.debian.tar.xz 7e63fc926ff40784efe9250dbee24dc6 16365 devel optional storm-lang_0.6.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iHUEARYIAB0WIQRNFAUGU6QC1zaHBJ0kBMlUbhRTYAUCY8c03AAKCRAkBMlUbhRT YI+GAP9znVsPhUz6WgelGXr8B/0rLiStwQE3Yaj6YC6RvNPVWwD/d6uFiHATdfE2 SiOcYcM5wrAG6EEFGhkLwW4XgacfJQA= =Rc1l -----END PGP SIGNATURE-----
