Your message dated Fri, 21 Jan 2022 19:00:08 +0000
with message-id <e1naz8q-0007r0...@fasolo.debian.org>
and subject line Bug#990009: fixed in storm-lang 0.5.10-1
has caused the Debian Bug report #990009,
regarding ITP: progvis -- Program visualization tool for C/C++ (and others)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
990009: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=990009
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Gunnar Wolf <gw...@gwolf.org>
X-Debbugs-Cc: debian-de...@lists.debian.org, Filip Strömbäck <fi...@fprg.se>
* Package name : progvis
Version : 0.5.7
Upstream Author : Filip Strömbäck <fi...@fprg.se>
* URL :
https://storm-lang.org/index.php?q=06-Programs%2F01-Progvis.md
* License : LGPL-2.1
Programming Lang: C++
Description : Program visualization tool for C/C++ (and others)
A program visualization tool (written in Storm). Supports a subset of
C/C++, and other languages supported by Storm. Aimed at showing how
concurrent programs interact with pointers/references and other
fundamental programming concepts.
<<additional information>>
Progvis is an educational tool based on the Storm multi-language
toolbox that helps students visualize memory allocation, thread
interaction, synchronization, and several other things.
Progvis is built from the same sources as Storm (so, of course, this
packaging will include several bits of the Storm ecosystem). I will
also upload Filip's build system, called "mymake".
--- End Message ---
--- Begin Message ---
Source: storm-lang
Source-Version: 0.5.10-1
Done: Filip Strömbäck <fi...@fprg.se>
We believe that the bug you reported is fixed in the latest version of
storm-lang, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 990...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Filip Strömbäck <fi...@fprg.se> (supplier of updated storm-lang package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 9 Nov 2021 22:49:14 +0100
Source: storm-lang
Binary: progvis progvis-examples storm-lang storm-lang-crypto
storm-lang-crypto-dbgsym storm-lang-dbgsym storm-lang-graphics
storm-lang-graphics-dbgsym storm-lang-layout storm-lang-presentation
storm-lang-sound storm-lang-sound-dbgsym storm-lang-sql storm-lang-sql-dbgsym
storm-lang-ui storm-lang-ui-dbgsym
Architecture: source amd64
Version: 0.5.10-1
Distribution: unstable
Urgency: medium
Maintainer: Filip Strömbäck <fi...@fprg.se>
Changed-By: Filip Strömbäck <fi...@fprg.se>
Description:
progvis - Program visualization tool for C/C++ (and others)
progvis-examples - Set of example programs for progvis
storm-lang - Platform for extensible languages
storm-lang-crypto - Cryptographic library for Storm
storm-lang-graphics - Graphics library for Storm
storm-lang-layout - Layout library for Storm
storm-lang-presentation - Presentation library for Storm
storm-lang-sound - Sound playback library for Storm
storm-lang-sql - SQL library for Storm
storm-lang-ui - UI library for Storm (using Gtk3)
Closes: 990009
Changes:
storm-lang (0.5.10-1) unstable; urgency=medium
.
* First Debian release (Closes: #990009)
Checksums-Sha1:
19ce7f40606bc8bdb9643f5579b3f3526554a35c 1896 storm-lang_0.5.10-1.dsc
80236157e992bde224213094eab4c79aa731f2a3 16989254 storm-lang_0.5.10.orig.tar.gz
934310aad94d05bdee2078f38b6b7eb4b20b29a4 14892
storm-lang_0.5.10-1.debian.tar.xz
8c2eedd09bfc5fb44cfb86a91a061c73f303399d 18852
progvis-examples_0.5.10-1_amd64.deb
8bfe638a06f839bf266f9bb5ec6de2b37f04bea1 105660 progvis_0.5.10-1_amd64.deb
2bbedf5743e433f5e428d585f5ce951df7ea0aef 49760
storm-lang-crypto-dbgsym_0.5.10-1_amd64.deb
21fd53988ad3a746cd8a94edebd529f489b6bb2f 163688
storm-lang-crypto_0.5.10-1_amd64.deb
63365c0f1b7e144b8229f9236ffa969e44ee8f0d 263544
storm-lang-dbgsym_0.5.10-1_amd64.deb
b2965cd9d10028cec8a31eb6b0c9b5eba18a2390 44972
storm-lang-graphics-dbgsym_0.5.10-1_amd64.deb
2d2bbcff1b7d136d88ac63913736adc5a136190b 156224
storm-lang-graphics_0.5.10-1_amd64.deb
7af5364c94d43dfc7cf7e4f32804ae0eb15cd7c3 15944
storm-lang-layout_0.5.10-1_amd64.deb
8d932a35bb28620088c5722812c075f6da824f0b 34380
storm-lang-presentation_0.5.10-1_amd64.deb
a78d4c8644b54e4ff8a7efbd9ed4bd9d8da5e9e6 50736
storm-lang-sound-dbgsym_0.5.10-1_amd64.deb
f6546a90001535bdd0794ebbb99cffc7c84737f1 176464
storm-lang-sound_0.5.10-1_amd64.deb
dcdd6b73fd417ffed86697e1768a49fecb0d73a5 64056
storm-lang-sql-dbgsym_0.5.10-1_amd64.deb
04102243b371317c75d526d021a304922d85627c 642420
storm-lang-sql_0.5.10-1_amd64.deb
362098a320347fda13e6a21f20bcd61a94de6715 83212
storm-lang-ui-dbgsym_0.5.10-1_amd64.deb
ddc2170672cedea78d6daf290e221d0c987a41cd 298476
storm-lang-ui_0.5.10-1_amd64.deb
32962617521d09524b5119398b629ffe3a82f924 19870
storm-lang_0.5.10-1_amd64.buildinfo
a2e7193a77fd9bd2baee2a3126f61faad7176b92 1241092 storm-lang_0.5.10-1_amd64.deb
Checksums-Sha256:
a538133476db4950a1b9479deca1e7480fa04a206d995c6818bd30eb2e7ef699 1896
storm-lang_0.5.10-1.dsc
ad17af915ad99695bf70d2d36f98f1a98ed84351781dfb58526490baee565c97 16989254
storm-lang_0.5.10.orig.tar.gz
29dafba8786973a733b4da71e0bde57a1b0c950e185b62a994c13f9f30a71ef1 14892
storm-lang_0.5.10-1.debian.tar.xz
2679684ffcf580649aa0e0bbfa4fcd8f4ed59ff7bb71900251bd01dc260abece 18852
progvis-examples_0.5.10-1_amd64.deb
2dc6ff37ab290ca0f0a2ca34c5bfe7839aa5cdc5898acdad563c5e9d0d1e7feb 105660
progvis_0.5.10-1_amd64.deb
da56432cda59f71db85e21ebb9dca8d806d4ddf4271be7c1c053cdb13f769943 49760
storm-lang-crypto-dbgsym_0.5.10-1_amd64.deb
bab4b680149da3f4988ba84e179b3a3c957e435ddbd5bbe8a1a8ea56ba2b4b5a 163688
storm-lang-crypto_0.5.10-1_amd64.deb
5cf4d06c27a3829969db6ed5374cdb643af09c649178c351f3290e322df51641 263544
storm-lang-dbgsym_0.5.10-1_amd64.deb
030c693d2125dfa4d4b94654b654a67a3b575496503aa9692774929bb5de9b0d 44972
storm-lang-graphics-dbgsym_0.5.10-1_amd64.deb
2f2b8dae9db3ea50fd7593c04ed90d4c4cf3076a08307afbf91d2141039ffebf 156224
storm-lang-graphics_0.5.10-1_amd64.deb
a5d7696e9d871dcac6871ef7f01f9dc2038f1600dac92a0dd6f1e2daec88387a 15944
storm-lang-layout_0.5.10-1_amd64.deb
01f8643850fd33bae4ce60a994c7b93257321c88f8c813e0631d56e38a064884 34380
storm-lang-presentation_0.5.10-1_amd64.deb
224790c0261c77ca96a89291651ac6801a7b5eab67b2b2fb32cfd45f7a7c41ec 50736
storm-lang-sound-dbgsym_0.5.10-1_amd64.deb
c515c143701d1b07a31e6854c2cef175bba6dfdc183886ac6a1d3d1784d63a72 176464
storm-lang-sound_0.5.10-1_amd64.deb
2ea5edff5ea85b5375d68997751a17d0e8e2d405873058b41577c7786f8421bc 64056
storm-lang-sql-dbgsym_0.5.10-1_amd64.deb
31280ec9207f56e5ecb2b87179aaa7944383633b9f5a51ac88d83311e964edab 642420
storm-lang-sql_0.5.10-1_amd64.deb
4070e867655f2a289472c6fb9d79a3e90727a62e5d141f139c6fc41b7d59ce11 83212
storm-lang-ui-dbgsym_0.5.10-1_amd64.deb
ebedc1fb306809d2518b0f8fa36281218157e8e0a854c88c76c56c59503d0ee6 298476
storm-lang-ui_0.5.10-1_amd64.deb
b33f8eec163a347182fccd24d408faa6302e76a82f18be0cefb77c4928160e1f 19870
storm-lang_0.5.10-1_amd64.buildinfo
70fbf7b803a55312ea02ada1e0e4f3f06864b24d8884cec9b09d6e0f52645227 1241092
storm-lang_0.5.10-1_amd64.deb
Files:
f762a62032033c860b562f864031c058 1896 devel optional storm-lang_0.5.10-1.dsc
5076fb832afc4657dea4a0afa03fd44d 16989254 devel optional
storm-lang_0.5.10.orig.tar.gz
229fc51a217983c11b699bea4a0ab9bc 14892 devel optional
storm-lang_0.5.10-1.debian.tar.xz
e1e4b52512dada529c53b8c22d548cbd 18852 education optional
progvis-examples_0.5.10-1_amd64.deb
51e0d974d1b643d147be37af346d3a90 105660 education optional
progvis_0.5.10-1_amd64.deb
56b4129611db0471b8fbe14d7b645c2d 49760 debug optional
storm-lang-crypto-dbgsym_0.5.10-1_amd64.deb
77e8eea0d9a2d2952dc10a84e9f2bc63 163688 devel optional
storm-lang-crypto_0.5.10-1_amd64.deb
a943bfbdebc62a6442d064e02ee63b9a 263544 debug optional
storm-lang-dbgsym_0.5.10-1_amd64.deb
8935595878261494d33b852eec84ef52 44972 debug optional
storm-lang-graphics-dbgsym_0.5.10-1_amd64.deb
ca1c53c0b19324be13e25366cdfb9808 156224 devel optional
storm-lang-graphics_0.5.10-1_amd64.deb
836dd01057779c5caecf9df3d1775257 15944 devel optional
storm-lang-layout_0.5.10-1_amd64.deb
9a343536f77496b6cf8e144395ae2a88 34380 devel optional
storm-lang-presentation_0.5.10-1_amd64.deb
c0c63a6fc75ab62e12e77d4150180f49 50736 debug optional
storm-lang-sound-dbgsym_0.5.10-1_amd64.deb
b75080ee5e3b27cbca423968bf8e7fb3 176464 devel optional
storm-lang-sound_0.5.10-1_amd64.deb
a8d1b3ebc0807e3f50b75e8ce61110a2 64056 debug optional
storm-lang-sql-dbgsym_0.5.10-1_amd64.deb
250dbcbb0605d63a8a6d958b98edd5a0 642420 devel optional
storm-lang-sql_0.5.10-1_amd64.deb
cb3cfc02e174cabd96786416ca0ed57f 83212 debug optional
storm-lang-ui-dbgsym_0.5.10-1_amd64.deb
5e19e4fd8bdc066c294050e363552258 298476 devel optional
storm-lang-ui_0.5.10-1_amd64.deb
86d0b2597a8ca471888ee84e699e9814 19870 devel optional
storm-lang_0.5.10-1_amd64.buildinfo
17dfe3a9704a40e531a919836aaaef1c 1241092 devel optional
storm-lang_0.5.10-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iHUEARYIAB0WIQRgswk9lhCOXLlxQu/i9jtDU/RZiQUCYel7jAAKCRDi9jtDU/RZ
ib8uAQCJY8ZpbWRmevbNGP0cPJT8A6McZFjv4dApxNXeur/8UwEAi1D53NejQs2w
BBlRwOI9el04cZecGf/PAzX5NC/W7gs=
=wHH8
-----END PGP SIGNATURE-----
--- End Message ---
