[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#494488: marked as done (ITP: polyml -- Standard ML implementation)

Your message dated Sat, 05 Sep 2009 17:49:10 +0000
with message-id <E1MjzNu-00025z-V2@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 owner@bugs.debian.org
immediately.)


-- 
494488: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=494488
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: brucker@member.fsf.org

* Package name    : polyml
  Version         : 5.2
  Upstream Author : David Matthews <polyml@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 494488@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Lionel Elie Mamane <lmamane@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 ftpmaster@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-maintainers@lists.alioth.debian.org>
Changed-By: Lionel Elie Mamane <lmamane@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 ---
Reply to: