Bug#880856: marked as done (picosat: new upstream version 965)

[Debian Bug Tracking System]

Your message dated Mon, 15 Feb 2021 18:39:32 +0530
with message-id <ad048f34-c369-c095-8b93-de3f83cd3ebd at debian.org>
and subject line Re: picosat: new upstream version 965
has caused the Debian Bug report #880856,
regarding picosat: new upstream version 965
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 at bugs.debian.org
immediately.)


-- 
880856: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=880856
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Thomas Krennwallner <tk at postsubmeta.net>
Subject: picosat: new upstream version 965
Date: Sun, 05 Nov 2017 06:45:14 +0000
Size: 2111
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20210215/0955dd61/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Nilesh Patra <nilesh at debian.org>
Subject: Re: picosat: new upstream version 965
Date: Mon, 15 Feb 2021 18:39:32 +0530
Size: 3247
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20210215/0955dd61/attachment-0001.mht>