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

Bug#613986: marked as done (ITP: run -- tool for sampling time and memory usage)

Your message dated Fri, 15 Apr 2011 19:47:42 +0000
with message-id <E1QAozW-00037p-Lo@franck.debian.org>
and subject line Bug#613986: fixed in runlim 1.4-4
has caused the Debian Bug report #613986,
regarding ITP: run -- tool for sampling time and memory usage
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.)


-- 
613986: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=613986
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : run
  Version         : 1.4
  Upstream Author : Armin Biere <biere@jku.at> and Toni Jussila
* URL             : http://fmv.jku.at/run/
* License         : BSD
  Programming Lang: C
  Description     : tool for sampling time and memory usage

run is a tool for sampling time and memory usage of a program and its
children using the proc file system of Linux.  Time and space limits
are also supported. It is very helpful for benchmarking and running
competitions.  It also supports limits on wall clock time and thus can
control runs of multi-threaded programs on multi-core machines as
well.

--- End Message ---
--- Begin Message --- 
Source: runlim
Source-Version: 1.4-4

We believe that the bug you reported is fixed in the latest version of
runlim, which is due to be installed in the Debian FTP archive:

runlim_1.4-4.debian.tar.gz
  to main/r/runlim/runlim_1.4-4.debian.tar.gz
runlim_1.4-4.dsc
  to main/r/runlim/runlim_1.4-4.dsc
runlim_1.4-4_amd64.deb
  to main/r/runlim/runlim_1.4-4_amd64.deb
runlim_1.4.orig.tar.gz
  to main/r/runlim/runlim_1.4.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 613986@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Thomas Krennwallner <tkren@kr.tuwien.ac.at> (supplier of updated runlim 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: SHA1

Format: 1.8
Date: Tue, 22 Feb 2011 05:59:53 +0100
Source: runlim
Binary: runlim
Architecture: source amd64
Version: 1.4-4
Distribution: unstable
Urgency: low
Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description: 
 runlim     - tool for sampling time and memory usage
Closes: 613986
Changes: 
 runlim (1.4-4) unstable; urgency=low
 .
   * control: Renaming of run to runlim.
    - patches/runlim-manpages.patch: Renamed.
    - runlim.manpages: Renamed manpage to runlim.1.
    - patches/runlim-rename.patch: Output "runlim" instead of "run".
    - rules: Add overrides to move run to runlim.
   * copyright: Use DEP-5 and fix copyright years.
   * Filed ITP. (Closes: #613986).
Checksums-Sha1: 
 743b66d4d0e4bc19c1b681a80c0993cc0be1a0e9 1107 runlim_1.4-4.dsc
 24939a84c9ca8b3df5b88f6b6cd85860bc849a68 6861 runlim_1.4.orig.tar.gz
 b39cedd193c1c132165778f157aca4a644657bd2 5801 runlim_1.4-4.debian.tar.gz
 965ef632924c097147c3f363205e6e700cf3c59d 12562 runlim_1.4-4_amd64.deb
Checksums-Sha256: 
 57220d5df9a0711e4cff73ab69c51b23f9ee7ce9a8a5327dcc5e30ace3ab2c3d 1107 runlim_1.4-4.dsc
 2e4f4c35c7884228fbd399a9e1b70dec2ca022fb9f59f9006c5088de19f17fab 6861 runlim_1.4.orig.tar.gz
 75883520c6c4df196ef6870bdf8dacd1d975bcf55b4bb0d5552a2a7249983508 5801 runlim_1.4-4.debian.tar.gz
 5d3c18b8bd7969cc4b3af9149bad194539eb69f5cfba2b177ae42df08d706b90 12562 runlim_1.4-4_amd64.deb
Files: 
 1c70fcdecb131410d7d5bbdbc62442eb 1107 utils extra runlim_1.4-4.dsc
 c8407f89c1e4ae79077d95b3dd6e4623 6861 utils extra runlim_1.4.orig.tar.gz
 7b1b1e50a7bb07e1c1379427dd469038 5801 utils extra runlim_1.4-4.debian.tar.gz
 49abe7a360aa7d2d94ec35559e9b3191 12562 utils extra runlim_1.4-4_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk2PeIgACgkQvx6dH3bVKsSBTgCdFWcdXd0oOijhAG44CUQy9rn/
h00AoIpENCzEuVzCvWBVbwkG186Q3g/g
=6c+P
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: