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

Bug#914691: marked as done (RFA: agda-stdlib -- standard library for Agda)

Your message dated Thu, 24 Oct 2024 11:04:41 +0000
with message-id <E1t3vdx-000mxE-Ur@fasolo.debian.org>
and subject line Bug#914691: fixed in agda-stdlib 2.1-3
has caused the Debian Bug report #914691,
regarding RFA: agda-stdlib -- standard library for Agda
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.)


-- 
914691: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=914691
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: normal

Hi there,

I'm not involved in this area any more. I've been basically ignoring the
package and people from the Haskell team have been kindly uploading it
in my absence.

I'd like it if someone were to take it off my hands. That will probably
be the Haskell team, but Sean points out to me that there would be no
human uploaders if the team were to take it over directly. So ideally
someone in the team would sign up to be an Uploader and make pkg-haskell
the Maintainer.

Cheers, and happy type safety,

-- 
Iain Lane                                  [ iain@orangesquash.org.uk ]
Debian Developer                                   [ laney@debian.org ]
Ubuntu Developer                                   [ laney@ubuntu.com ]

--- End Message ---
--- Begin Message --- 
Source: agda-stdlib
Source-Version: 2.1-3
Done: Ilias Tsitsimpis <iliastsi@debian.org>

We believe that the bug you reported is fixed in the latest version of
agda-stdlib, 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 914691@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ilias Tsitsimpis <iliastsi@debian.org> (supplier of updated agda-stdlib 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@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 24 Oct 2024 13:25:31 +0300
Source: agda-stdlib
Architecture: source
Version: 2.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <iliastsi@debian.org>
Closes: 914691
Changes:
 agda-stdlib (2.1-3) unstable; urgency=medium
 .
   * Remove Iain Lane from uploaders. Thank you Iain (Closes: #914691)
Checksums-Sha1:
 923c90a990c2e59dd2d0c3d9f1205ac9f8cfab18 2224 agda-stdlib_2.1-3.dsc
 d8329a7ff1ceb826c65b8d4f620b7288cb9e6165 6020 agda-stdlib_2.1-3.debian.tar.xz
 d242c3fa98678a6f4e4948be8f768f9206069131 9463 agda-stdlib_2.1-3_amd64.buildinfo
Checksums-Sha256:
 ca11d34bf5030195a3ab0379d862fe9da937548283ec2da25296d2b0a0196a83 2224 agda-stdlib_2.1-3.dsc
 8dfb0383c3cf6ee06b659d62433020730272ac960c01ef4388b7beedb01eaf88 6020 agda-stdlib_2.1-3.debian.tar.xz
 a2fee5af2e570d65211af4521b6992b170bfe9ab3d039041d00b8a6d7e0eb950 9463 agda-stdlib_2.1-3_amd64.buildinfo
Files:
 b70a9072cb671862d2fd7d3b70f164b3 2224 libs optional agda-stdlib_2.1-3.dsc
 cf41efe03450433e0b7e04542a160587 6020 libs optional agda-stdlib_2.1-3.debian.tar.xz
 ca2a6d923a007e039d9e03499e8ef8f3 9463 libs optional agda-stdlib_2.1-3_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmcaJzoUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDyH/A/+PqKoTVCpx1tU2mgI6C+i7BEjnwcZ
SuyZSfLX7301TUqu6UYNLiFViUc6YgcxmqH+DBVNEkbqjYEokvgITh89NosCRI7N
oYp3n83vjextd4l3vo4pFykPK1R6sbF0j9Th1MjR6oHOWhBlxNJDHdKvSmj3xj6y
EMcc4IotVhIAOe1xrFkTNyoU7nIc3zb+lQNSnQf3+m6UkdgR+zSGjBv/WyRKxwgv
ekOwQYQckthQmpRXUmuQpyJwHxXDBl/WB1WzS1z+E7HsuIrUyf/mwb2Bs+64iWUg
LrTB7F97tU4/3s4BrcUlCDM0oE34kWrxjVfarl8ao/5xRHEX02WcQ3/SSDXeKAj4
TBvN0pbi81fp3kHELZdMqytNur++k/KlQBnQ7K4fnFfv1cWdgFO+jN9Fixkjc81G
MTzfTesaDZVa+6Q06BelfulZpgB6rmkVzj9CCGfO843hHzfInbyxcKA1MibYbfZn
slZxuNfYUw185hV7Nb7emF5Irxx9oG5ow5rStoJERwFKqinlzgmStXyRhp33ouEZ
5FYZK752MzF2o5f2Ha4ug6wYn6GpoEdjJ8bFTJ3vdx8JbEcFMJFKXp7/mNsT9/pY
pvdiblNhWs1Fny/4EdJ7lgCMOIfO2FY8lcymAhTo373mBxkEorcKVGjuwUCsRPw2
VpMuxQVX/uFEBPg=
=U5Yg
-----END PGP SIGNATURE-----

Attachment: pgpVMbyQbKq6s.pgp
Description: PGP signature


--- End Message ---
Reply to: