Accepted storm-lang 0.6.2-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted storm-lang 0.6.2-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 18 Jan 2023 00:30:13 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: storm-lang_0.6.2-1_source.changes
- Debian-source: storm-lang
- Debian-suite: unstable
- Debian-version: 0.6.2-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=SXr1d/wdVXqsVQoFvqeTlXwAcKs5jiJXaO+mj6OX5/Q=; b=iBrd2MR05SRWAT8JmRWoRJqXd7 x/jHXIZfEy2teGO7I2vMPRSNDv+/MYvhfH7DGlyTCPoXLITejWiivB7QwljYb9x5rH7csxlEVCudJ 1DMRv5JIsAZaXEYp4wltrj1MmBsEzZ1iVK/R2VTYajl7K4qCIJtU8EUN1ID5UbDRdqhJdUERZ4VVz uOHRNuiXkqSFHqcH4SzLsUeu8yNtMDV60Ar4sjVDBly5gZE2tG63GTULPVjIGEsX2aXEWuPyEsfcs ovBYvd5u26bAtq8nMl+kvFLoASI+2LDahgJ2NP8g4c2K4orqEVkqpdeNs/ff54u5PkGdXQM5a/i0z TmQbfOug==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pHwLF-005Lt4-3n@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----