Bug#426048: fuppes

To: 426048@bugs.debian.org
Subject: Bug#426048: fuppes
From: Eva Ramon <debian@empanadilla.net>
Date: Tue, 5 Jan 2010 00:30:42 +0100
Message-id: <[🔎] 4f1f47571001041530i482e3f8bl48174990a95a34bb@mail.gmail.com>
Reply-to: Eva Ramon <debian@empanadilla.net>, 426048@bugs.debian.org

Hallo Michael,

I am almost ready to upload the fuppes package. Is it ok for you if I go on with it? Do we really need to set up a group for it?

Thank you.

Regards,

Eva

Reply to:

Follow-Ups:
- Bug#426048: fuppes
  - From: Michael Schultheiss <schultmc@debian.org>
- Bug#426048: fuppes
  - From: Moritz Muehlenhoff <jmm@inutil.org>

Prev by Date: Bug#559245: marked as done (ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.)
Next by Date: Bug#549400: work in progress
Previous by thread: Bug#559245: marked as done (ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.)
Next by thread: Bug#426048: fuppes
Index(es):
- Date
- Thread