Bug#768073: Status.

To: 768073@bugs.debian.org
Subject: Bug#768073: Status.
From: Deepak Tripathi <deepak@gnumonk.com>
Date: Tue, 15 Dec 2015 18:32:50 +0530
Message-id: <[🔎] CALwipoxDO0hNF3AvtEhGizgUY9sYw54cZx0oDthQOLRGP7+WJw@mail.gmail.com>
Reply-to: Deepak Tripathi <deepak@gnumonk.com>, 768073@bugs.debian.org

Daniel,

Any update on this? I have sent PM earlier ?

Let me know if you are willing to share to progress and if you stuck somewhere we will work together.

--

Deepak

Reply to:

Prev by Date: Bug#808028: O: p9m4 -- GUI for Prover9 and Mace4
Next by Date: Bug#808048: O: live-build
Previous by thread: Bug#808028: O: p9m4 -- GUI for Prover9 and Mace4
Next by thread: Bug#808048: O: live-build
Index(es):
- Date
- Thread