Processed: ITP: metamath -- Language for mathematical proofs

To: bartm@debian.org
Cc: gio@debian.org, wnpp@debian.org
Subject: Processed: ITP: metamath -- Language for mathematical proofs
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 26 Dec 2019 14:57:04 +0000
Message-id: <[🔎] handler.s.C.15773719814323.transcript@bugs.debian.org>
References: <E1ikUVZ-0005uw-28@quantz.debian.org>

Processing commands for control@bugs.debian.org:

> owner 947404 Giovanni Mascellani <gio@debian.org>
Bug #947404 [wnpp] ITP: metamath -- Language for mathematical proofs
Owner recorded as Giovanni Mascellani <gio@debian.org>.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
947404: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947404
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: Bug#920064: marked as done (O: comprez -- frontend to many compression programs)
Next by Date: Processed: ITP: metamath-databases -- Sample databases for Metamath
Previous by thread: Bug#920064: marked as done (O: comprez -- frontend to many compression programs)
Next by thread: Processed: ITP: metamath-databases -- Sample databases for Metamath
Index(es):
- Date
- Thread