Bug#909826: marked as done (ITP: theme-d - a Scheme-like language implementing static typing)
Your message dated Mon, 12 Nov 2018 16:00:12 +0000
with message-id <E1gMEdI-0004eK-K4@fasolo.debian.org>
and subject line Bug#909826: fixed in theme-d 1.1.11-1
has caused the Debian Bug report #909826,
regarding ITP: theme-d - a Scheme-like language implementing static typing
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 owner@bugs.debian.org
immediately.)
--
909826: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909826
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: ITP: theme-d - a Scheme-like language implementing static typing
- From: Tommi Höynälänmaa <tommi.hoynalanmaa@gmail.com>
- Date: Sat, 29 Sep 2018 12:46:36 +0300
- Message-id: <5020457b-66ff-ec31-57c3-addf3a10f3c8@gmail.com>
Package: wnpp
Severity: wishlist
Package name : theme-d
Version : 1.1.6
Upstream Author : Tommi Höynälänmaa <tommi.hoynalanmaa@iki.fi>
URL : http://www.iki.fi/tohoyn/theme-d/
License : GPL, LGPL, and FDL
Programming Lang: Scheme
Description : A Scheme-like programming language implementing
static typing
Properties of Theme-D:
* Static type system
* A simple object system
* Multi-methods dispatched runtime (and also compile-time)
* Parametrized (type parameters) classes, types, and procedures
* Signature types resembling Java interfaces but multiply dispatched
* A module system
* Two kinds of variables: constants and mutable variables
* Compilation to Guile Tree-IL or Scheme
* Possible to compile files to Guile bytecode.
I am going to maintain Theme-D myself. I need a sponsor.
--- End Message ---
--- Begin Message ---
Source: theme-d
Source-Version: 1.1.11-1
We believe that the bug you reported is fixed in the latest version of
theme-d, 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 909826@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Tommi Höynälänmaa <tommi.hoynalanmaa@iki.fi> (supplier of updated theme-d 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Nov 2018 10:37:42 +0200
Source: theme-d
Binary: theme-d-translator theme-d-rte theme-d-stdlib theme-d-doc libthemedsupport th-scheme-utilities
Architecture: source amd64 all
Version: 1.1.11-1
Distribution: sid
Urgency: medium
Maintainer: Tommi Höynälänmaa <tommi.hoynalanmaa@iki.fi>
Changed-By: Tommi Höynälänmaa <tommi.hoynalanmaa@iki.fi>
Description:
libthemedsupport - Theme-D support library
th-scheme-utilities - TH Scheme Utilities library
theme-d-doc - Documentation for programming language Theme-D
theme-d-rte - Theme-D runtime environment
theme-d-stdlib - Theme-D Standard Library
theme-d-translator - Programming language extending Scheme with static typing
Closes: 909826
Changes:
theme-d (1.1.11-1) unstable; urgency=medium
.
* Initial release. Closes: #909826
Checksums-Sha1:
60718b96000db8e27b7336f77428e286ca380e61 2446 theme-d_1.1.11-1.dsc
aead2ddd30f43ed9e6a794bcc1043e258e4877b2 2216891 theme-d_1.1.11.orig.tar.gz
7c73910252b8942c5fbac851cc290df17258e1f2 310 theme-d_1.1.11.orig.tar.gz.asc
9cbbe9c8b1b4979c36902d1752916151d58b73c3 5108 theme-d_1.1.11-1.debian.tar.xz
516834305d23a7b0ba2bbab6ae23de828d8b28ff 17560 libthemedsupport-dbgsym_1.1.11-1_amd64.deb
c748033899a6ac69be57b098466c2a1a04e5402a 11788 libthemedsupport_1.1.11-1_amd64.deb
75ccc7e4afe04b6249937115c330817b2acb94a8 9600 th-scheme-utilities_1.1.11-1_all.deb
b0a302fc9e1879b44cda6b66cc706e15b4fa93ac 1118552 theme-d-doc_1.1.11-1_all.deb
bd802ba464491a990704ad040d67de50e4d56eea 98464 theme-d-rte_1.1.11-1_amd64.deb
38355ddab9ad27feee1e5b6448c3f26e9fc38958 249900 theme-d-stdlib_1.1.11-1_all.deb
94e671f26017a8253e9b25822d9f4f291b81cf29 539232 theme-d-translator_1.1.11-1_amd64.deb
a6b1724308e55688c92ba8e275533042c5d79252 7809 theme-d_1.1.11-1_amd64.buildinfo
Checksums-Sha256:
0e0c81a0b62e4facebae054c41e6ab0546ee23b08bb3ac904874c249a280e98a 2446 theme-d_1.1.11-1.dsc
8f18d6a68df1723fb6739518324311c65c4a704842f956857e6ee884711327f8 2216891 theme-d_1.1.11.orig.tar.gz
73e36be77087fa4b2ff7f60f6f6e2227e8b4d0834382f9871a25b2e18c4042c8 310 theme-d_1.1.11.orig.tar.gz.asc
19a288ffb7735f5ab6a6bf6adaa85bf4d5d8531f7161119985ac790da99865c1 5108 theme-d_1.1.11-1.debian.tar.xz
846f67b9b6b9a557b4dd4a05bf4cbe0bd0831e0985025758ebad1d44da15eb05 17560 libthemedsupport-dbgsym_1.1.11-1_amd64.deb
e563c518117ec3c6023f313ace8609eba05662a27592a9c49f8f5feeae15dca8 11788 libthemedsupport_1.1.11-1_amd64.deb
87e626e974ab8b086a8a8af5c52cead9d1086f14b4a70376215bfd1a98f127b3 9600 th-scheme-utilities_1.1.11-1_all.deb
666c5b3194099ba3c4ceb1c6c7d4cfdada767cef6618aa725074a018ad647769 1118552 theme-d-doc_1.1.11-1_all.deb
1f80961d7bd076bc3b99bae653a247fd4a9be6ba9469387bcda0971b52a72619 98464 theme-d-rte_1.1.11-1_amd64.deb
414d93ded073946d1f14cf51dcf2377ab2447e053344f1aa5be23c7774f2550b 249900 theme-d-stdlib_1.1.11-1_all.deb
990b46e6045ec62ce189dfec287563f67c114d9427600e1e9c9452b9126af9ec 539232 theme-d-translator_1.1.11-1_amd64.deb
53f072353d8cc7ece29463962f0ce3b98cea3f935fd97b3b1a5f2292d66bc5be 7809 theme-d_1.1.11-1_amd64.buildinfo
Files:
06c7c1ae95f27dfbc429691446cd7d68 2446 lisp optional theme-d_1.1.11-1.dsc
4723df726100c7cd014c7d6fef4307db 2216891 lisp optional theme-d_1.1.11.orig.tar.gz
6c8f9f31bf5ec77c80d9c5ecddd27614 310 lisp optional theme-d_1.1.11.orig.tar.gz.asc
e4ca8e92ec098422d523daa33ffc46c4 5108 lisp optional theme-d_1.1.11-1.debian.tar.xz
12981ec18cea28b24269f73c2c36fc69 17560 debug optional libthemedsupport-dbgsym_1.1.11-1_amd64.deb
83a3e0667d9bb830966ef99f8b2e9c2f 11788 lisp optional libthemedsupport_1.1.11-1_amd64.deb
fdf4f5b6ac066dd35666ea0e8e7da242 9600 lisp optional th-scheme-utilities_1.1.11-1_all.deb
2de28f0d8fe6dedebf24493c317708c2 1118552 doc optional theme-d-doc_1.1.11-1_all.deb
78201ff05987516b122b35b8e01d4e95 98464 lisp optional theme-d-rte_1.1.11-1_amd64.deb
876c831f8e57dd54976b1528ad79a77f 249900 lisp optional theme-d-stdlib_1.1.11-1_all.deb
d612526c09480029609417f11e71730b 539232 lisp optional theme-d-translator_1.1.11-1_amd64.deb
ab5f152848b592db33e8d70a48759e70 7809 lisp optional theme-d_1.1.11-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQKTBAEBCgB9FiEEYgH7/9u94Hgi6ruWlvysDTh7WEcFAlvoeK9fFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDYy
MDFGQkZGREJCREUwNzgyMkVBQkI5Njk2RkNBQzBEMzg3QjU4NDcACgkQlvysDTh7
WEdu7Q/9FSxL9VvyI0QRvDmHhqLw60bXqsXEXzhFmxCXMbgv5IK9iWwbFuVbu31k
BCa+M14TGvedBDofNYR5+sCJblB8N++uegR6YJck/W5bFqM1MiPecdDRVxq483Ml
R8cfCA/kQG/hAN75RaXBjO26yBdNSSR7MGyX8DcGK8+ppMJqtkfYw+9jQdNHuGtc
VVVfUzSEu55ohJALgnpkt8eFhNXWNsQIlQqwE+U5NbCOduaDWiqB+2HKYXl8H1AM
Fjy85s/DwA0E/fIJABrM/AlS0CSled9NcQppVPaQodt3+nXG2gHBym80KVgDoX6E
koqbmVfBIlJHw/HrrhPAztl97QKWKYC8LgQqBO6HdcJQdmCgjlNGhKj8KcWwyqR+
EsSA3wamvoi5lUr1M8hQC2N8wdazB08h81e0SYwAeSjG25tEXfP3x3iy9NqpW4cf
pQjOpKsQgvSnk8rjr1Y7gkKHqlrJlpqrgzy8qarx2tzJKPDYKHZXWbtmyw1WloV6
b0WjEaYJykd08MIiFLmz4Kg1sTxpmuDcr+4Jw0g3qxiq8D5GUSQm1rgxDpEs+6Km
lvQ1ehHNCg35NbNp33nTlQLU9X81AiXXnGUPdvllhrmSLqPtJ0acLmsslPYKinel
jfwcxfsbfHFlbzSNqkSqcG4+KAmnHIlG9zPgfo9k6q/Gh7yvjXM=
=06kU
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: