Accepted proofgeneral 3.7-3 (source all)

: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: proofgeneral - generic interface for proof assistants - common package proofgeneral-coq - generic interface for proof assistants - coq support proofgeneral-doc - generic interface for proof

Accepted proofgeneral 3.7-2 (source all)

: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: proofgeneral - generic interface for proof assistants - common package proofgeneral-coq - generic interface for proof assistants - coq support proofgeneral-doc - generic interface for proof

Accepted proofgeneral 3.7-1 (source all)

: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: proofgeneral - A generic interface for proof assistants proofgeneral-coq - ProofGeneral support for coq proofgeneral-doc - Documentation for ProofGeneral in html format proofgeneral-minlog

Accepted proofgeneral 3.5-6 (source all)

: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: proofgeneral - A generic interface for proof assistants proofgeneral-coq - ProofGeneral support for coq proofgeneral-doc - Documentation for ProofGeneral in html format proofgeneral-minlog

Accepted proofgeneral 3.5-4 (source all i386)

Maintainer: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: proofgeneral - A generic interface for proof assistants proofgeneral-coq - ProofGeneral support for coq proofgeneral-doc - Documentation for ProofGeneral in html format proofgeneral-minlog

Accepted proofgeneral 3.5-1 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 20 Aug 2004 13:40:30 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.5-2 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 20 Aug 2004 14:18:46 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-2 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.5-3 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 20 Aug 2004 14:38:30 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-3 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted qtpixmap 0.28-1 (i386 source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 17 May 2004 20:28:44 +0200 Source: qtpixmap Binary: gtk2-engines-qtpixmap gtk-engines-qtpixmap Architecture: source i386 Version: 0.28-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski [EMAIL PROTECTED] Changed

Accepted proofgeneral 3.4-14 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 30 Aug 2003 13:46:20 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-14 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.4-13 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 25 Aug 2003 13:00:21 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-13 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.26-2 (all source)

: 0.26-2 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk-engines-thingeramik - ThinGeramik GTK1.x

Accepted qtpixmap 0.26-1 (i386 source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 6 Aug 2003 21:14:25 +0200 Source: qtpixmap Binary: gtk2-engines-qtpixmap gtk-engines-qtpixmap Architecture: source i386 Version: 0.26-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski [EMAIL PROTECTED] Changed

Accepted geramik 0.26-1 (all source)

: 0.26-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk-engines-thingeramik - ThinGeramik GTK1.x

Accepted geramik 0.25-2 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 6 Aug 2003 21:06:36 +0200 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all Version: 0.25-2 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted qtpixmap 0.25-1 (i386 source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 19 Jul 2003 00:10:18 +0200 Source: qtpixmap Binary: gtk2-engines-qtpixmap gtk-engines-qtpixmap Architecture: source i386 Version: 0.25-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski [EMAIL PROTECTED

Accepted geramik 0.25-1 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 18 Jul 2003 23:47:05 +0200 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all Version: 0.25-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.24-2 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 4 Jul 2003 22:43:18 +0200 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.24-2 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted blt 2.4z-0.3 (i386 source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 2 Apr 2003 16:23:54 +0200 Source: blt Binary: blt-common blt blt-dev blt-demo Architecture: source i386 Version: 2.4z-0.3 Distribution: unstable Urgency: low Maintainer: Debian QA Group [EMAIL PROTECTED] Changed-By: Stefan

Accepted geramik 0.24-1 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 2 Apr 2003 22:12:50 +0200 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.24-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.23-1 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 7 Mar 2003 17:24:16 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.23-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.21-1 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 5 Mar 2003 12:55:41 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.21-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.20-1 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 2 Mar 2003 21:30:46 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.20-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.19-3 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 26 Feb 2003 21:56:02 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.19-3 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.19-2 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sat, 22 Feb 2003 19:28:18 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.19-2 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.19-1 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 20 Feb 2003 21:28:13 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.19-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted geramik 0.18-1 (i386 source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 20 Feb 2003 11:51:08 +0100 Source: geramik Binary: gtk2-engines-geramik gtk-engines-geramik gtk-engines-geramik-data Architecture: source all i386 Version: 0.18-1 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.4-12 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 30 Sep 2002 21:43:08 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-12 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.4-10 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 26 Sep 2002 02:18:52 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-10 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.4-9 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 24 Sep 2002 19:21:48 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-9 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski

Accepted proofgeneral 3.4-8 (all source)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 22 Sep 2002 12:56:37 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.4-8 Distribution: unstable Urgency: low Maintainer: Stefan Schimanski