Your message dated Sat, 05 Sep 2009 17:49:10 +0000
with message-id <e1mjznu-00025z...@ries.debian.org>
and subject line Bug#494488: fixed in polyml 5.2.1-1
has caused the Debian Bug report #494488,
regarding ITP: polyml -- Standard ML implementation
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.)
--
494488: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=494488
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: bruc...@member.fsf.org
* Package name : polyml
Version : 5.2
Upstream Author : David Matthews <pol...@polyml.org>
* URL : http://www.polyml.org/index.html
* License : GPLv2
Programming Lang: Standard ML
Description : Standard ML implementation
Poly/ML supports the full version of the language as given in the
"Definition of Standard ML (Revised)", generally known as ML97. As
well as being extremely fast and efficient implementation of Standard
ML Poly/ML provides several additional features. There is a foreign
language interface which allows dynamically linked libraries to be
loaded and functions within them called from ML. An X11
interface using Motif is available. There is also a symbolic debugger
for Poly/ML.
Separation into packages:
polyml - toplevel interpreter
This package provides the toplevel interpreter with integrated make
system which is needed to build large ML programs.
libpolyml-dev - development file
This package provides the files needed to compile stand-alone executables
with Poly/ML.
libpolyml1 - runtime files
This package provides the files needed to run stand-alone executables
built with Poly/ML.
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.25-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_LU.UTF-8, LC_CTYPE=fr_LU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
--- End Message ---
--- Begin Message ---
Source: polyml
Source-Version: 5.2.1-1
We believe that the bug you reported is fixed in the latest version of
polyml, which is due to be installed in the Debian FTP archive:
libpolyml-dev_5.2.1-1_amd64.deb
to pool/main/p/polyml/libpolyml-dev_5.2.1-1_amd64.deb
libpolyml1_5.2.1-1_amd64.deb
to pool/main/p/polyml/libpolyml1_5.2.1-1_amd64.deb
polyml_5.2.1-1.diff.gz
to pool/main/p/polyml/polyml_5.2.1-1.diff.gz
polyml_5.2.1-1.dsc
to pool/main/p/polyml/polyml_5.2.1-1.dsc
polyml_5.2.1-1_amd64.deb
to pool/main/p/polyml/polyml_5.2.1-1_amd64.deb
polyml_5.2.1.orig.tar.gz
to pool/main/p/polyml/polyml_5.2.1.orig.tar.gz
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 494...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Lionel Elie Mamane <lmam...@debian.org> (supplier of updated polyml 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...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160
Format: 1.8
Date: Thu, 03 Sep 2009 15:08:33 +0200
Source: polyml
Binary: polyml libpolyml-dev libpolyml1
Architecture: source amd64
Version: 5.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Lionel Elie Mamane <lmam...@debian.org>
Description:
libpolyml-dev - development files for Poly/ML, a compiler for the Standard ML
libpolyml1 - runtime files for Poly/ML, a compiler for the Standard ML
polyml - interpreter and interactive compiler for the Standard ML programm
Closes: 494488
Changes:
polyml (5.2.1-1) unstable; urgency=low
.
[ Achim D. Brucker ]
* Initial upload to Debian (Closes: #494488)
* new upstream version
.
[ Lionel Elie Mamane ]
* Various packaging fixes
* Bump up Standards-Version to 3.8.2
Checksums-Sha1:
e889bdfa35fd8fe055181a6577013c7369cf7e87 1330 polyml_5.2.1-1.dsc
39cc9451113d41ca9c491167cf3973dfd55b7446 4114551 polyml_5.2.1.orig.tar.gz
5688148bea49566f9ef03b4d700681f52506f452 469390 polyml_5.2.1-1.diff.gz
eb175db922204e81828408fc1df17299756c3508 1325728 polyml_5.2.1-1_amd64.deb
af51bf5ddb90ecee1ce38ce94f14a94f586445f5 207138 libpolyml-dev_5.2.1-1_amd64.deb
22de571190963d998b72d37ca69383cfd6b2f3a1 153258 libpolyml1_5.2.1-1_amd64.deb
Checksums-Sha256:
af162e8e1a42b9a75b4c01b0114c9970adb343ce6aa3aaa13cdffc24d20ef4e6 1330
polyml_5.2.1-1.dsc
c84148ae9a28e782f48208bcb8c5b82ee7bfdc178784fe81694cf1f0789ae62e 4114551
polyml_5.2.1.orig.tar.gz
212907e18bc5d7628c7b9cc7bcbd253442d3b017fe979a2971b0abc2aca8d005 469390
polyml_5.2.1-1.diff.gz
bd1b12a3eccfb685cf8cedf8037601a496adf3d0f386f8bfb0ece5cd66dd4466 1325728
polyml_5.2.1-1_amd64.deb
7763076ba0d1789631bb710a966c2e3cd0e0a5e0897d7c8d0c3e7146f843e95d 207138
libpolyml-dev_5.2.1-1_amd64.deb
4aabdc2d9e090720fd6c17099dfbbb01f8407b68e1bf7c8acd265fe81cded247 153258
libpolyml1_5.2.1-1_amd64.deb
Files:
1019c2790abaa1e06b482533c026aad3 1330 interpreters extra polyml_5.2.1-1.dsc
303ba7d26c262999685ddd54b36dd16b 4114551 interpreters extra
polyml_5.2.1.orig.tar.gz
d65262325429baf189b7a0c3d60df5fd 469390 interpreters extra
polyml_5.2.1-1.diff.gz
6b7b48d2dc6b9565dd08250ddbb1c3c5 1325728 interpreters extra
polyml_5.2.1-1_amd64.deb
df274471e08ff153a2c208f981ae0bc5 207138 libdevel extra
libpolyml-dev_5.2.1-1_amd64.deb
a3419ddb57335a060b76e8a7b48f75f9 153258 libs extra libpolyml1_5.2.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREDAAYFAkqf6rIACgkQscRzFz57S3M2DwCfV1cdkwosbq5GoE6JgF6YAueO
LXIAoMFux5lizm9ljgvsqkdJSa/jmp5o
=Dlmt
-----END PGP SIGNATURE-----
--- End Message ---
