-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 4 Aug 2003 21:03:47 -0500 Source: time Binary: time Architecture: source i386 Version: 1.7-16 Distribution: unstable Urgency: low Maintainer: Dirk Eddelbuettel <edd@debian.org> Changed-By: Dirk Eddelbuettel <edd@debian.org> Description: time - The GNU time command. Closes: 201021 203804 Changes: time (1.7-16) unstable; urgency=low . * time.c: When time exits in a non-normal way, return 128 plus the number of the signal which caused time to stop or abort. Thanks to Steve Greenland and Herbert Xu for some clarification in this matter. * debian/time.1: Corrected typo, thanks Justin Pryzby (Closes: #201021) * debian/time.1: Documented exit code, and change above (Closes: #203804) * debian/time.1: Documented that bash users want /usr/bin/time * debian/rules: Converted to cdbs * debian/control: Added cdbs to Build-Depends, increased debhelper version * debian/control: automake Build-Depends changed to automaken * debian/control: Increase Standards-Version to 3.6.0 Files: c19f8ea73c89fcbc0c4c5a08977eeac1 585 utils standard time_1.7-16.dsc dd8896dcad326b986f4b9924e6212513 35661 utils standard time_1.7-16.diff.gz b937701f85796f392e1e68993a0563f6 30374 utils standard time_1.7-16_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/LxDRCZSR95Gw07cRAkrOAKCQqT2ltdKplvjvDbCV6t0nd8HUFACdGgbx qv5IVTf/wdOzKs20WVdvD8w= =GGDQ -----END PGP SIGNATURE----- Accepted: time_1.7-16.diff.gz to pool/main/t/time/time_1.7-16.diff.gz time_1.7-16.dsc to pool/main/t/time/time_1.7-16.dsc time_1.7-16_i386.deb to pool/main/t/time/time_1.7-16_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
