Your message dated Sat, 06 Aug 2022 17:20:06 +0000
with message-id <[email protected]>
and subject line Bug#1003318: fixed in agda 2.6.2.2-1
has caused the Debian Bug report #1003318,
regarding agda: Please package agda 2.6.2.1
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 [email protected]
immediately.)
--
1003318: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003318
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: agda
Version: 2.6.1-1
Severity: wishlist
X-Debbugs-Cc: [email protected]
It would be nice if you could package the latest upstream version (2.6.2.1 at
the time of writing). The currently packaged version is almost 2 years old and
many useful improvements have ben brought since then.
Thanks!
-- System Information:
Debian Release: bookworm/sid
APT prefers testing
APT policy: (900, 'testing'), (800, 'unstable'), (500, 'stable'), (1,
'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.10.0-8-amd64 (SMP w/8 CPU threads)
Kernel taint flags: TAINT_USER
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8),
LANGUAGE=en_US:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages agda depends on:
ii agda-bin 2.6.1-1+b3
ii agda-stdlib 1.3-2
ii agda-stdlib-doc 1.3-2
ii elpa-agda2-mode 2.6.1-1
ii libghc-agda-dev 2.6.1-1+b3
agda recommends no packages.
agda suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: agda
Source-Version: 2.6.2.2-1
Done: Ilias Tsitsimpis <[email protected]>
We believe that the bug you reported is fixed in the latest version of
agda, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ilias Tsitsimpis <[email protected]> (supplier of updated agda 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 06 Aug 2022 16:14:08 +0300
Source: agda
Architecture: source
Version: 2.6.2.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group
<[email protected]>
Changed-By: Ilias Tsitsimpis <[email protected]>
Closes: 992448 1003318 1008809
Changes:
agda (2.6.2.2-1) unstable; urgency=medium
.
* New upstream release (Closes: #1003318)
* Declare compliance with Debian policy 4.6.1
* Install missing files (Closes: #1008809, #992448)
Checksums-Sha1:
6809a1b1e1db11afbb1998abc1ede83396ae77b1 4447 agda_2.6.2.2-1.dsc
45d4df07f49602a6ce42b3e6a9152651e5d0716c 1690635 agda_2.6.2.2.orig.tar.gz
94446009af7881008f4c424bff2d0b12187ade12 10192 agda_2.6.2.2-1.debian.tar.xz
8db9a231ce6b44bcddaa1a8f0a96c890968879e5 16197 agda_2.6.2.2-1_amd64.buildinfo
Checksums-Sha256:
74e075e94f84246a2d2b793f2405eab3a14b07b7de6831da6b260a5d1f952420 4447
agda_2.6.2.2-1.dsc
e5be3761717b144f64e760d8589ec6fdc0dda60d40125c49cdd48f54185c527a 1690635
agda_2.6.2.2.orig.tar.gz
a2e1abb25a2896188ed10f90394ca25cc29ee38b017a2bbd1169fbcc7795b51f 10192
agda_2.6.2.2-1.debian.tar.xz
49d80f432297a1dc9fc400055d7b4ff647289c1f261957d0871ab592ef5720ee 16197
agda_2.6.2.2-1_amd64.buildinfo
Files:
3974e1136f1b1f4528ccb9db9e4b1642 4447 haskell optional agda_2.6.2.2-1.dsc
645087903c92b4cf387d62f3a4b47d08 1690635 haskell optional
agda_2.6.2.2.orig.tar.gz
c4eb7ea0d037042e80480403d06bf13a 10192 haskell optional
agda_2.6.2.2-1.debian.tar.xz
d1f3dc758ed1ea0fe7f17beb5a811743 16197 haskell optional
agda_2.6.2.2-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmLunxoUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDw+/w/9EDMfx/Xk1iJxI0KTEUmvWq6TKknM
PBn799rEwdu63Gh80kk68w4/3nu4M0YTfte4WXRwtsdAWsp+s7/R8ZWT3WaAHPsG
yTyrbX4Y5RCsSt193IUd6UlAj+gWxW32RWicPFBe9AW3SGCp2Pq7EuWTdQ1I3X/C
RMCf1ME/8FQBuga7anHlOELaMryyvTfjtxFEcVhhduGu21N77x4PjssUTaBEURCy
DkZa8wnlRkVxUSaMvW31sC/Oup4O03hkATq8tzhfJG2pfMUsRDB3x31rYcv6EiC6
PvUJZ1GPj0M4kSHmKkIwQbx27LIbpgJbwfoz6vgO/ZHlnqFp4rwXqVFRLcqkfGoh
JrxQDni6mg7OmTZ+YIXfMhowWzFPGXdVIKxzGy5q0+71pae8F+russG9v1H5D+y1
ZSKIINyx/xSE0zW4liv/vLlc3p0mNP/nHie5ECzOdYoplKadFpSzaLBAurD8pYWM
KWKW+Z1CFVGOe9gpkVd/sA9jySDlhAn+fJVNqrMs9DQ989LRtF1H5fnbQodbwqGi
dTIFPR58Isl+lZ9RYdi/kWlaNunk+iClobX6tEibdqm34noBvi07+dIjVnP8SrW2
2TRyWbjujHT5QnxZFmH5iKnJsNdqjb8t7XXezfB/VNY1t0kZY+EugBqwwNd3WR6R
/WCWEf4Ky89wZTw=
=/fVd
-----END PGP SIGNATURE-----
--- End Message ---
