Accepted proofgeneral 3.7-3 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 2 Apr 2008 11:41:10 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc Architecture: source all Version: 3.7-3 Distribution: unstable Urgency: low Maintainer: 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 assistants - documentation proofgeneral-minlog - generic interface for proof assistants - Minlog support proofgeneral-misc - generic interface for proof assistants - theorem provers support Closes: 473893 Changes: proofgeneral (3.7-3) unstable; urgency=low . * Fix bin/proofgeneral script: - correct lowercase path to the lisp directory. Closes: 473893 - working -v and --version option which need the PGHOME to work. Files: 159d76907e2f32b9b10550b373560b82 714 science optional proofgeneral_3.7-3.dsc c9c3293fccf5f650cf0d0b32966a7811 21422 science optional proofgeneral_3.7-3.diff.gz 49a2e10a446833ed61ce41beec5cb5a0 483224 science optional proofgeneral_3.7-3_all.deb 00f974465c7337fd8c5bdfb832ef6bb6 71722 science optional proofgeneral-coq_3.7-3_all.deb da72effe1c91be608aa71f9b61decef0 19598 science optional proofgeneral-minlog_3.7-3_all.deb 46e0b8972f93c78a94f4908e76210fe2 141588 science optional proofgeneral-misc_3.7-3_all.deb 1d0af303efb9c26502548e94a5a82f26 90102 doc optional proofgeneral-doc_3.7-3_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH81hkHUDhE+YrLEURAucNAJ0f9jAPeph65xtWDq3dk0phsdMPZgCg1yyN b/vtJuesgEXZdetN5SvtiSI= =VZvu -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.7-3_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.7-3_all.deb proofgeneral-doc_3.7-3_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.7-3_all.deb proofgeneral-minlog_3.7-3_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-3_all.deb proofgeneral-misc_3.7-3_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.7-3_all.deb proofgeneral_3.7-3.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.7-3.diff.gz proofgeneral_3.7-3.dsc to pool/main/p/proofgeneral/proofgeneral_3.7-3.dsc proofgeneral_3.7-3_all.deb to pool/main/p/proofgeneral/proofgeneral_3.7-3_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted proofgeneral 3.7-2 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 19 Mar 2008 19:25:44 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc Architecture: source all Version: 3.7-2 Distribution: unstable Urgency: low Maintainer: 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 assistants - documentation proofgeneral-minlog - generic interface for proof assistants - Minlog support proofgeneral-misc - generic interface for proof assistants - theorem provers support Closes: 450681 451163 451170 451280 451761 451832 452809 452951 453317 453650 Changes: proofgeneral (3.7-2) unstable; urgency=low . * Debconf templates and debian/control reviewed by the debian-l10n- english team as part of the Smith review project. Closes: #450681 * [Debconf translation updates] - Galician. Closes: #451163 - Portuguese. Closes: #451170 - Finnish. Closes: #451280 - German. Closes: #451761 - Czech. Closes: #451832 - French. Closes: #452809 - Dutch. Closes: #452951 - Russian. Closes: #453317 - Vietnamese. Closes: #453650 * [Lintian] Insert correct copyright in debian/copyright Files: 5e954db7137bfd2774a5aecc9e5704f9 714 science optional proofgeneral_3.7-2.dsc 64466af5b3c4db0408b0f4cddeb1b8d3 21003 science optional proofgeneral_3.7-2.diff.gz 2d0579f754cf65e961b84171a0fc4c2f 483226 science optional proofgeneral_3.7-2_all.deb 163338c7994c484a9c32e80206b96576 71690 science optional proofgeneral-coq_3.7-2_all.deb 43bfa692d88f63c4e2a41cca74670f39 19558 science optional proofgeneral-minlog_3.7-2_all.deb 8826c8ccf491b7b3f4819f946348a161 141548 science optional proofgeneral-misc_3.7-2_all.deb 75798d52518f07cb05494a1d8c371fd3 90056 doc optional proofgeneral-doc_3.7-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4WCnHUDhE+YrLEURAr6mAJ9sb0Fgy+fiXJO7RKbGfvXYTNE5AACgij9X Sv2UNOpTXFEBos95Pan+Rag= =8YlP -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.7-2_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.7-2_all.deb proofgeneral-doc_3.7-2_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.7-2_all.deb proofgeneral-minlog_3.7-2_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-2_all.deb proofgeneral-misc_3.7-2_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.7-2_all.deb proofgeneral_3.7-2.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.7-2.diff.gz proofgeneral_3.7-2.dsc to pool/main/p/proofgeneral/proofgeneral_3.7-2.dsc proofgeneral_3.7-2_all.deb to pool/main/p/proofgeneral/proofgeneral_3.7-2_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted proofgeneral 3.7-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 18 Mar 2008 21:11:22 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-misc proofgeneral-doc Architecture: source all Version: 3.7-1 Distribution: unstable Urgency: low 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 - ProofGeneral support for Minlog proofgeneral-misc - ProofGeneral support for different theorem provers Closes: 352650 429830 434975 471530 Changes: proofgeneral (3.7-1) unstable; urgency=low . * New upstream release. Closes: #471530,#429830,#352650 * emacs22 is already preferred from 3.5-6 on. Closes: #434975 Files: a09f183c7f0b717a650a6ffa326a972e 671 science optional proofgeneral_3.7-1.dsc c922c2d591812ce417b72c13259ef4ad 1982146 science optional proofgeneral_3.7.orig.tar.gz 0ffa4fe815edeededb71e43b290fd64d 20854 science optional proofgeneral_3.7-1.diff.gz 015c4cfe9ebecf3a0d6d7e3cca657467 482978 science optional proofgeneral_3.7-1_all.deb e41ce2c884b8f34e906b948907bbd243 71438 science optional proofgeneral-coq_3.7-1_all.deb fba2988302a1f5ed578d224b7c9a1271 19288 science optional proofgeneral-minlog_3.7-1_all.deb d193a260e1f57843728d0f71a2eed3ac 141348 science optional proofgeneral-misc_3.7-1_all.deb 4cd186b7a7fd4980f8bc645e98c94c4d 89840 doc optional proofgeneral-doc_3.7-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFH4FIRHUDhE+YrLEURAqFlAKC3CHWZzgS4QoME6TKlv/aHKcHVAgCg4TJC ET/WHfdAVaY6xvLQdcepRNE= =Qxh0 -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.7-1_all.deb proofgeneral-doc_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.7-1_all.deb proofgeneral-minlog_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.7-1_all.deb proofgeneral-misc_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.7-1_all.deb proofgeneral_3.7-1.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.7-1.diff.gz proofgeneral_3.7-1.dsc to pool/main/p/proofgeneral/proofgeneral_3.7-1.dsc proofgeneral_3.7-1_all.deb to pool/main/p/proofgeneral/proofgeneral_3.7-1_all.deb proofgeneral_3.7.orig.tar.gz to pool/main/p/proofgeneral/proofgeneral_3.7.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted proofgeneral 3.5-6 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 21 Oct 2007 17:36:26 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc proofgeneral-misc Architecture: source all Version: 3.5-6 Distribution: unstable Urgency: low 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 - ProofGeneral support for Minlog proofgeneral-misc - ProofGeneral support for different theorem provers Closes: 418390 Changes: proofgeneral (3.5-6) unstable; urgency=low . * Removed support for mzscheme 300 * Only use one startup script for all emacs versions * Added nl translation. Closes: 418390 * Moved to menu section Applications/Science/Mathematics Files: d7d85e1f52c87fbdfd8b1338323f169f 671 editors optional proofgeneral_3.5-6.dsc cfba65de56680deacf1c8850a9adb4ff 17558 editors optional proofgeneral_3.5-6.diff.gz dec7fe40a18e0dfad6acc9990f265f4f 418734 editors optional proofgeneral_3.5-6_all.deb e5173c5e2a8bd6efbd06cf0ae71c0018 44824 editors optional proofgeneral-coq_3.5-6_all.deb d14f04085f6aac27ad99a771d23a4a77 16376 editors optional proofgeneral-minlog_3.5-6_all.deb cc4f5a7ff1fc5bcb62c0b5c21700ef02 150484 editors optional proofgeneral-misc_3.5-6_all.deb c65b65a764b5ee16e444024383ea5039 121620 editors optional proofgeneral-doc_3.5-6_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHG3SMHUDhE+YrLEURAuhRAJ4tchmMufyJk9mxRMqeXpzItHPRNQCg5KBn 8jF9pj5FC5pB9NaFQB2Z3AI= =mezM -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-6_all.deb proofgeneral-doc_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-6_all.deb proofgeneral-minlog_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.5-6_all.deb proofgeneral-misc_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-6_all.deb proofgeneral_3.5-6.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-6.diff.gz proofgeneral_3.5-6.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-6.dsc proofgeneral_3.5-6_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-6_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted proofgeneral 3.5-4 (source all i386)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 6 Dec 2006 21:47:30 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-coq proofgeneral-minlog proofgeneral-doc proofgeneral-misc Architecture: source all i386 Version: 3.5-4 Distribution: unstable Urgency: low 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 - ProofGeneral support for Minlog proofgeneral-misc - ProofGeneral support for different theorem provers Closes: 176921 260074 Changes: proofgeneral (3.5-4) unstable; urgency=low . * Added support for Minlog * Do not load proof-site.el automatically anymore, but instead install an interactive function proofgeneral. It then loads the ProofGeneral and, most importantly, assign the file extension to ProofGeneral. Closes: #260074,#176921 Files: aa0acf90a992363467e1536842d2cd0e 677 editors optional proofgeneral_3.5-4.dsc 1c49337396356222c20b2de33740b2ca 20169 editors optional proofgeneral_3.5-4.diff.gz 0df496cfcc0a77a225d75c0faf9818f8 420848 editors optional proofgeneral_3.5-4_all.deb f89fd084d83008135b46baa618bd490f 44506 editors optional proofgeneral-coq_3.5-4_all.deb 7f0e4781a11169b22d9c9aa1cc02277e 150150 editors optional proofgeneral-misc_3.5-4_all.deb a029978f90872ef97a7fc7831b5c0ba8 121320 editors optional proofgeneral-doc_3.5-4_all.deb 127a5c673e9cfa88b2c5c14f74b27a62 16928 editors optional proofgeneral-minlog_3.5-4_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFFd/ulHUDhE+YrLEURAux5AKD0zqtvA6GRPRePcjn25udh9JjHbQCguzJ8 AQ8SrQ+qI5p9T7KrxI2hzts= =Pwtn -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-4_all.deb proofgeneral-doc_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-4_all.deb proofgeneral-minlog_3.5-4_i386.deb to pool/main/p/proofgeneral/proofgeneral-minlog_3.5-4_i386.deb proofgeneral-misc_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-4_all.deb proofgeneral_3.5-4.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-4.diff.gz proofgeneral_3.5-4.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-4.dsc proofgeneral_3.5-4_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-4_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Changes: proofgeneral (3.5-1) unstable; urgency=low . * New upstream release. Files: ec07c3471f20cb643dc9d71482af8cd2 642 editors optional proofgeneral_3.5-1.dsc 92e642872381317c4edf72723ff96b2f 1775841 editors optional proofgeneral_3.5.orig.tar.gz c8b753fea10b8eda49271319321974b4 7640 editors optional proofgeneral_3.5-1.diff.gz 320a14fbd7127888c56b3c03e036cbb5 417772 editors optional proofgeneral_3.5-1_all.deb a5b19eb6ff74a277b86eb9157cebf68e 43850 editors optional proofgeneral-coq_3.5-1_all.deb 7eed04ba4860bfea78e765272f57f90a 149618 editors optional proofgeneral-misc_3.5-1_all.deb 950471152c4c4765a9b29b8af8368acb 120782 editors optional proofgeneral-doc_3.5-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBJemrHUDhE+YrLEURAhC/AJ9tBTX3NVzb1744HUB06/L++r71mwCgp/zF 6ShAX/JdCmmJftYLCLMAdMg= =0Kwq -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-1_all.deb proofgeneral-doc_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-1_all.deb proofgeneral-misc_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-1_all.deb proofgeneral_3.5-1.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-1.diff.gz proofgeneral_3.5-1.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-1.dsc proofgeneral_3.5-1_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-1_all.deb proofgeneral_3.5.orig.tar.gz to pool/main/p/proofgeneral/proofgeneral_3.5.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theorem provers Closes: 215126 239005 262636 Changes: proofgeneral (3.5-2) unstable; urgency=low . * Fixed info path (closes: #215126) * Fixed typos (closes: #239005) * Fixed url to ProofGeneral homepage (closes: #262636) * This is 3.5 (closes #247854) * Load ~/.proofgeneral if available from proofgeneral script (closes #252252) Files: 82870224568257b4de5e9e0f0c6ef2f3 642 editors optional proofgeneral_3.5-2.dsc c1d378d7a0d5dd20b7f271c7b2dcb467 8179 editors optional proofgeneral_3.5-2.diff.gz 8dca1e7b5c28271770dc65802b87bb56 417864 editors optional proofgeneral_3.5-2_all.deb abe54fbcc42c990faf1866e68e620b89 44012 editors optional proofgeneral-coq_3.5-2_all.deb 95518ffa1ea0abb78e148064fde85ac8 149734 editors optional proofgeneral-misc_3.5-2_all.deb 324575be232f48d1e6581cec5edd9ba5 120922 editors optional proofgeneral-doc_3.5-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBJe+tHUDhE+YrLEURAswDAJ0et6qQJPl9zkgDT/v91rmqFyJhtACeNK9W qJEZ2ghr5BAi3Gcnv4aCUCc= =uy9f -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-2_all.deb proofgeneral-doc_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-2_all.deb proofgeneral-misc_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-2_all.deb proofgeneral_3.5-2.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-2.diff.gz proofgeneral_3.5-2.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-2.dsc proofgeneral_3.5-2_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-2_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theorem provers Changes: proofgeneral (3.5-3) unstable; urgency=low . * Updated maintainer email address. Files: aa2714671d10a5011f37e1b38a1a071c 645 editors optional proofgeneral_3.5-3.dsc e40417d1ff49db4ee41494e79ccc1c62 8207 editors optional proofgeneral_3.5-3.diff.gz 1dead839b11e8db42d8c7f0da885384b 417866 editors optional proofgeneral_3.5-3_all.deb 97ed70419caf966181e52c7adae03fc3 44040 editors optional proofgeneral-coq_3.5-3_all.deb fa71bdcbaba1004240e89f1c23234ccf 149776 editors optional proofgeneral-misc_3.5-3_all.deb 82f3f21a094bf4bfc99be083f2f4abe5 120940 editors optional proofgeneral-doc_3.5-3_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBJfE9HUDhE+YrLEURApFOAKDnWMYxNOLAja5TlMWSV7tIo7b2sACdHhQx h6LIl4br6ze+fGGacMFfIQ4= =6dMo -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.5-3_all.deb proofgeneral-doc_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.5-3_all.deb proofgeneral-misc_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.5-3_all.deb proofgeneral_3.5-3.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.5-3.diff.gz proofgeneral_3.5-3.dsc to pool/main/p/proofgeneral/proofgeneral_3.5-3.dsc proofgeneral_3.5-3_all.deb to pool/main/p/proofgeneral/proofgeneral_3.5-3_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-qtpixmap - QtPixmap GTK1.x theming engine gtk2-engines-qtpixmap - QtPixmap GTK2.x theming engine Changes: qtpixmap (0.28-1) unstable; urgency=low . * New upstream release Files: e964a5bd513f7d6c281e46ac71e36cef 649 graphics optional qtpixmap_0.28-1.dsc b68557f815af944a177f25307438727a 429698 graphics optional qtpixmap_0.28.orig.tar.gz 92dee8516b6113bfb838d101aca56489 2051 graphics optional qtpixmap_0.28-1.diff.gz d6a7910d5fddcb5fc178ffb53657ab14 31938 graphics optional gtk-engines-qtpixmap_0.28-1_i386.deb b78a2c4e62a3956a62ce10fb3dad08ae 27832 graphics optional gtk2-engines-qtpixmap_0.28-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFAqQtrHUDhE+YrLEURAjuIAJ96FWm0v/mCCVRuNuSgnK/qWkSZlgCgsC6q 0wsxyvrpMbOPtQXx/o8b9nw= =zaXN -END PGP SIGNATURE- Accepted: gtk-engines-qtpixmap_0.28-1_i386.deb to pool/main/q/qtpixmap/gtk-engines-qtpixmap_0.28-1_i386.deb gtk2-engines-qtpixmap_0.28-1_i386.deb to pool/main/q/qtpixmap/gtk2-engines-qtpixmap_0.28-1_i386.deb qtpixmap_0.28-1.diff.gz to pool/main/q/qtpixmap/qtpixmap_0.28-1.diff.gz qtpixmap_0.28-1.dsc to pool/main/q/qtpixmap/qtpixmap_0.28-1.dsc qtpixmap_0.28.orig.tar.gz to pool/main/q/qtpixmap/qtpixmap_0.28.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Closes: 207869 Changes: proofgeneral (3.4-14) unstable; urgency=low . * Added french translation for the debconf templates (thanks to Michel Grentzinger, closes: #207869). Files: 4c65763b9bed6f4c3444642f52511e1a 641 editors optional proofgeneral_3.4-14.dsc 08dd5db3b1f8ad545a0d03515f4c229c 7571 editors optional proofgeneral_3.4-14.diff.gz 9b09501437c4e19375d446a5db5b3b3c 406172 editors optional proofgeneral_3.4-14_all.deb c822058e57edbf077374af5308bfb1c1 22852 editors optional proofgeneral-coq_3.4-14_all.deb 7c0cb3a3376375599e4ac19e039828dc 122074 editors optional proofgeneral-misc_3.4-14_all.deb 7f7185c4a25ce0a359391eb26c331670 111230 editors optional proofgeneral-doc_3.4-14_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/UI7THUDhE+YrLEURAp1tAJ9qy9Sr9XsYcuBqKkXnxxRt1ALQlQCeJq7G f06qKffW/SVmVqyo9nVcz5c= =u2qt -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.4-14_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-14_all.deb proofgeneral-doc_3.4-14_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-14_all.deb proofgeneral-misc_3.4-14_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-14_all.deb proofgeneral_3.4-14.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-14.diff.gz proofgeneral_3.4-14.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-14.dsc proofgeneral_3.4-14_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-14_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Closes: 207106 Changes: proofgeneral (3.4-13) unstable; urgency=low . * Changed debhelper dependency to 4.1.16. * Prepared for translations (thanks to Michel Grentzinger, closes: #207106). * Increased policy standard. * Fixed icon colors. Files: 95fb7c80d08fc7cdbf17c68cd59191c6 641 editors optional proofgeneral_3.4-13.dsc e06cecf2f757e20b2e033893a1d40f53 7111 editors optional proofgeneral_3.4-13.diff.gz 45df78a09b8489245442b4b1bd88b2f3 405790 editors optional proofgeneral_3.4-13_all.deb c667e0895e8b56b94c7aaba072feece5 22790 editors optional proofgeneral-coq_3.4-13_all.deb 94f83e138af4b81d9b4b0cea01070f20 122028 editors optional proofgeneral-misc_3.4-13_all.deb 064713d4e9543b50844c1c51be16f876 72 editors optional proofgeneral-doc_3.4-13_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/SfmGHUDhE+YrLEURAk3pAKC9q/r51v16Gcq8ltWS008HEGj3AgCeKEvR emMz5CPkMQbrCvyTJt0vlGs= =l2LO -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-13_all.deb proofgeneral-doc_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-13_all.deb proofgeneral-misc_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-13_all.deb proofgeneral_3.4-13.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-13.diff.gz proofgeneral_3.4-13.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-13.dsc proofgeneral_3.4-13_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-13_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted geramik 0.26-2 (all source)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 17 Aug 2003 20:53:37 +0200 Source: geramik Binary: gtk-engines-thingeramik gtk2-engines-geramik gtk-engines-thingeramik-data gtk-engines-geramik gtk-engines-geramik-data gtk2-engines-thingeramik Architecture: source all Version: 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 Theme gtk-engines-thingeramik-data - ThinGeramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme gtk2-engines-thingeramik - ThinGeramik GTK2.x Theme Closes: 205943 205945 Changes: geramik (0.26-2) unstable; urgency=low . * ThinGeramik needs Geramik images, dependencies fixed (closes: Bug#205943, closes: Bug#205945). Files: 59381fe99abea8dd4d543e8931f847f5 710 graphics optional geramik_0.26-2.dsc 583c61343bb671e99d2d6d9bc6ca020b 3497 graphics optional geramik_0.26-2.diff.gz d29d6adb842531638a5c828ec4fd2361 31342 graphics optional gtk-engines-geramik-data_0.26-2_all.deb 13cbcdad2fed7418a6525183fd9f74ea 11774 graphics optional gtk-engines-geramik_0.26-2_all.deb 14f268f9a26483bbf197c8a2cf49f7e8 23756 graphics optional gtk2-engines-geramik_0.26-2_all.deb 80897c1a3cd3f56bab319ad51e1d4ac9 15904 graphics optional gtk-engines-thingeramik-data_0.26-2_all.deb e9e1fffdb6e51b44ae98dfe2965d6e39 11660 graphics optional gtk-engines-thingeramik_0.26-2_all.deb db273aa93ba16092eedff312f88f6da5 15218 graphics optional gtk2-engines-thingeramik_0.26-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/P9AyHUDhE+YrLEURAnO0AKCiwaIGxsz0/bGtDaxHeCXIPSqMGgCeOiSd sU1jV8qOk9MFmiJLmdIkKgE= =o2jK -END PGP SIGNATURE- Accepted: geramik_0.26-2.diff.gz to pool/main/g/geramik/geramik_0.26-2.diff.gz geramik_0.26-2.dsc to pool/main/g/geramik/geramik_0.26-2.dsc gtk-engines-geramik-data_0.26-2_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.26-2_all.deb gtk-engines-geramik_0.26-2_all.deb to pool/main/g/geramik/gtk-engines-geramik_0.26-2_all.deb gtk-engines-thingeramik-data_0.26-2_all.deb to pool/main/g/geramik/gtk-engines-thingeramik-data_0.26-2_all.deb gtk-engines-thingeramik_0.26-2_all.deb to pool/main/g/geramik/gtk-engines-thingeramik_0.26-2_all.deb gtk2-engines-geramik_0.26-2_all.deb to pool/main/g/geramik/gtk2-engines-geramik_0.26-2_all.deb gtk2-engines-thingeramik_0.26-2_all.deb to pool/main/g/geramik/gtk2-engines-thingeramik_0.26-2_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-qtpixmap - QtPixmap GTK1.x theming engine gtk2-engines-qtpixmap - QtPixmap GTK2.x theming engine Changes: qtpixmap (0.26-1) unstable; urgency=low . * New upstream release * Update maintainer email. Files: 4a36fe2eb241420cffc3aeea9dfb2f26 647 graphics optional qtpixmap_0.26-1.dsc a2d5abb07b206d7bd5deca9199e2cc50 429509 graphics optional qtpixmap_0.26.orig.tar.gz c32178a134379a920dd4b06ecd79d8ca 2026 graphics optional qtpixmap_0.26-1.diff.gz ccfcac62901155383614b9d3c3d59cb8 30138 graphics optional gtk-engines-qtpixmap_0.26-1_i386.deb dbe9981e224ed290d3e8919125b8195d 25980 graphics optional gtk2-engines-qtpixmap_0.26-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/MVZzHUDhE+YrLEURArqhAKDQJqC9fRm3c+GTW2QB068rNg8ifQCgg5RM NXz1NYMmkNeTnw41hfe42QA= =JsBj -END PGP SIGNATURE- Accepted: gtk-engines-qtpixmap_0.26-1_i386.deb to pool/main/q/qtpixmap/gtk-engines-qtpixmap_0.26-1_i386.deb gtk2-engines-qtpixmap_0.26-1_i386.deb to pool/main/q/qtpixmap/gtk2-engines-qtpixmap_0.26-1_i386.deb qtpixmap_0.26-1.diff.gz to pool/main/q/qtpixmap/qtpixmap_0.26-1.diff.gz qtpixmap_0.26-1.dsc to pool/main/q/qtpixmap/qtpixmap_0.26-1.dsc qtpixmap_0.26.orig.tar.gz to pool/main/q/qtpixmap/qtpixmap_0.26.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Accepted geramik 0.26-1 (all source)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 6 Aug 2003 21:15:46 +0200 Source: geramik Binary: gtk-engines-thingeramik gtk2-engines-geramik gtk-engines-thingeramik-data gtk-engines-geramik gtk-engines-geramik-data gtk2-engines-thingeramik Architecture: source all Version: 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 Theme gtk-engines-thingeramik-data - ThinGeramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme gtk2-engines-thingeramik - ThinGeramik GTK2.x Theme Changes: geramik (0.26-1) unstable; urgency=low . * New upstream release * Upstream now also contains the ThinGeramik theme. * Update maintain email address. Files: 6ec996a980cdaef5fc6abbbdc1b428bc 710 graphics optional geramik_0.26-1.dsc 505deb6113e597e8dd3ab6dbbb490440 352734 graphics optional geramik_0.26.orig.tar.gz 04d2d40a70bb8222e80a5b9bf3548bb7 3437 graphics optional geramik_0.26-1.diff.gz c7aa2703b4d6aaf4cd1fa3a75d32237e 31274 graphics optional gtk-engines-geramik-data_0.26-1_all.deb f6f7aaf3b0e9ac902afa884bf6719b8b 11706 graphics optional gtk-engines-geramik_0.26-1_all.deb 293ac9894ecfeb8a584a8b2ebaf7f1b6 23694 graphics optional gtk2-engines-geramik_0.26-1_all.deb 5292eb26c7e26dd3985b2291862a65c9 15842 graphics optional gtk-engines-thingeramik-data_0.26-1_all.deb 1853b91fb3ea9340a914a2b4581af0cb 11592 graphics optional gtk-engines-thingeramik_0.26-1_all.deb 1ce970d4ffbebb017e0311596b374bc5 15156 graphics optional gtk2-engines-thingeramik_0.26-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/MVlOHUDhE+YrLEURAtTzAKDwoFgkudLS0/fs3CF4+Rne21Rb+ACfbAdy z2POkSPDUGpo5T6NVyyV2TM= =Pknk -END PGP SIGNATURE- Accepted: geramik_0.26-1.diff.gz to pool/main/g/geramik/geramik_0.26-1.diff.gz geramik_0.26-1.dsc to pool/main/g/geramik/geramik_0.26-1.dsc geramik_0.26.orig.tar.gz to pool/main/g/geramik/geramik_0.26.orig.tar.gz gtk-engines-geramik-data_0.26-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.26-1_all.deb gtk-engines-geramik_0.26-1_all.deb to pool/main/g/geramik/gtk-engines-geramik_0.26-1_all.deb gtk-engines-thingeramik-data_0.26-1_all.deb to pool/main/g/geramik/gtk-engines-thingeramik-data_0.26-1_all.deb gtk-engines-thingeramik_0.26-1_all.deb to pool/main/g/geramik/gtk-engines-thingeramik_0.26-1_all.deb gtk2-engines-geramik_0.26-1_all.deb to pool/main/g/geramik/gtk2-engines-geramik_0.26-1_all.deb gtk2-engines-thingeramik_0.26-1_all.deb to pool/main/g/geramik/gtk2-engines-thingeramik_0.26-1_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.25-2) unstable; urgency=low . * Include examples again. Files: 3ce69c0570a57483d44d985014488672 629 graphics optional geramik_0.25-2.dsc d3e269bab53c1f92376da17a10dc02f4 9928 graphics optional geramik_0.25-2.diff.gz a34dc0413cb9e89e2c0436c04f8bbf9b 31140 graphics optional gtk-engines-geramik-data_0.25-2_all.deb 058f0f46e7734e0e8d879b94c3b244b2 11538 graphics optional gtk-engines-geramik_0.25-2_all.deb abdb18b92f6a4c2352efd441a2f58f7d 23556 graphics optional gtk2-engines-geramik_0.25-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/MVHkHUDhE+YrLEURAgcaAJ4oacgbmEXd865drsYbWFsrCGx7MgCdEx4u aSjerP6YJPz74EVovXUEhdM= =X7aR -END PGP SIGNATURE- Accepted: geramik_0.25-2.diff.gz to pool/main/g/geramik/geramik_0.25-2.diff.gz geramik_0.25-2.dsc to pool/main/g/geramik/geramik_0.25-2.dsc gtk-engines-geramik-data_0.25-2_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.25-2_all.deb gtk-engines-geramik_0.25-2_all.deb to pool/main/g/geramik/gtk-engines-geramik_0.25-2_all.deb gtk2-engines-geramik_0.25-2_all.deb to pool/main/g/geramik/gtk2-engines-geramik_0.25-2_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-qtpixmap - QtPixmap GTK1.x theming engine gtk2-engines-qtpixmap - QtPixmap GTK2.x theming engine Changes: qtpixmap (0.25-1) unstable; urgency=low . * Initial release. * Previously it was part of the geramik source package, which was split by the author. Files: 585f886161549a112721ea670c593501 647 graphics optional qtpixmap_0.25-1.dsc 7f78402c3ed0db71312732c6a9af29fa 428768 graphics optional qtpixmap_0.25.orig.tar.gz 4c1afbcae9db911bf3753d3489a532b0 1996 graphics optional qtpixmap_0.25-1.diff.gz 3262710891eac88eea9300aefd2a67a9 29360 graphics optional gtk-engines-qtpixmap_0.25-1_i386.deb e2ba9f3b27b7b91febf75a39542c0497 25302 graphics optional gtk2-engines-qtpixmap_0.25-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/GH3GHUDhE+YrLEURAiZWAJ9RhvLAOHiliJxxp53u+Bmdebq3vgCg8maR 6PGP78e/cgIB5gcBKquyNVc= =5gPO -END PGP SIGNATURE- Accepted: gtk-engines-qtpixmap_0.25-1_i386.deb to pool/main/q/qtpixmap/gtk-engines-qtpixmap_0.25-1_i386.deb gtk2-engines-qtpixmap_0.25-1_i386.deb to pool/main/q/qtpixmap/gtk2-engines-qtpixmap_0.25-1_i386.deb qtpixmap_0.25-1.diff.gz to pool/main/q/qtpixmap/qtpixmap_0.25-1.diff.gz qtpixmap_0.25-1.dsc to pool/main/q/qtpixmap/qtpixmap_0.25-1.dsc qtpixmap_0.25.orig.tar.gz to pool/main/q/qtpixmap/qtpixmap_0.25.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.25-1) unstable; urgency=low . * New upstream release * The package is split now into the QtPixmap theme engine and the Geramik theme itself using the engine. Files: 57c31578c7229800c4588e080e3c3d87 629 graphics optional geramik_0.25-1.dsc f2ee10fe05fefbf6414c9c7156902b64 326429 graphics optional geramik_0.25.orig.tar.gz 87087c5c38a72880d5522b9544daeb33 9902 graphics optional geramik_0.25-1.diff.gz 6cc8672aa72bbd62032c526a657f420f 31108 graphics optional gtk-engines-geramik-data_0.25-1_all.deb 73552409702740c608d2cbab6fba9c8e 11414 graphics optional gtk-engines-geramik_0.25-1_all.deb e83851a579831c2046e1faa18baddc63 23426 graphics optional gtk2-engines-geramik_0.25-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/GIFyHUDhE+YrLEURAklnAJ9SAKoLDALbIuPi0K+CD4CcRbLQpQCdG7QW T9C4pmsgfnPpeRugDqeylPc= =XANm -END PGP SIGNATURE- Accepted: geramik_0.25-1.diff.gz to pool/main/g/geramik/geramik_0.25-1.diff.gz geramik_0.25-1.dsc to pool/main/g/geramik/geramik_0.25-1.dsc geramik_0.25.orig.tar.gz to pool/main/g/geramik/geramik_0.25.orig.tar.gz gtk-engines-geramik-data_0.25-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.25-1_all.deb gtk-engines-geramik_0.25-1_all.deb to pool/main/g/geramik/gtk-engines-geramik_0.25-1_all.deb gtk2-engines-geramik_0.25-1_all.deb to pool/main/g/geramik/gtk2-engines-geramik_0.25-1_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Closes: 195916 199568 Changes: geramik (0.24-2) unstable; urgency=low . * Fix references to the /usr/share/doc directories (closes: Bug#195916, closes: Bug#199568). Files: c13ee9bf86ad6d13a71630dc7551f548 668 graphics optional geramik_0.24-2.dsc b4abffbe504d217804f47b8fefcd59f4 3860 graphics optional geramik_0.24-2.diff.gz 78f0b81cd53dbcc5f86fe5e72376ee60 41612 graphics optional gtk-engines-geramik-data_0.24-2_all.deb 0851cf0147b00d4bb4379f564ccdc285 35168 graphics optional gtk-engines-geramik_0.24-2_i386.deb e56dae7307b03c8e714c5bac0375821b 32142 graphics optional gtk2-engines-geramik_0.24-2_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.2 (GNU/Linux) iD8DBQE/BgYSHUDhE+YrLEURAkGwAKDxJpWjpa3xi0LbqH8qOTwtxxUQoACfVS3I wC/uDumGS1LYFXkGpmpB0xA= =qssg -END PGP SIGNATURE- Accepted: geramik_0.24-2.diff.gz to pool/main/g/geramik/geramik_0.24-2.diff.gz geramik_0.24-2.dsc to pool/main/g/geramik/geramik_0.24-2.dsc gtk-engines-geramik-data_0.24-2_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.24-2_all.deb gtk-engines-geramik_0.24-2_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.24-2_i386.deb gtk2-engines-geramik_0.24-2_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.24-2_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 Schimanski [EMAIL PROTECTED] Description: blt- Shared libraries for blt blt-common - Common run-time parts to the BLT libraries blt-demo - blt demo scripts - a tcl/tk extension library blt-dev- Development in blt - a tcl/tk extension library Closes: 185855 Changes: blt (2.4z-0.3) unstable; urgency=low . * Install bltPool.h, bltList.h and bltBind.h (closes: #185855). Files: 3cf3c5bad155dcfc8c5567de4a959287 642 devel optional blt_2.4z-0.3.dsc 39de991a9d0cd52239254d4c3bccdee9 178508 devel optional blt_2.4z-0.3.diff.gz 3b169e4198b5f52179160f75ab2c26d6 1880742 libs optional blt_2.4z-0.3_i386.deb 43c110e79fc4cb4f3afbd293b75c81a9 30316 libs optional blt-common_2.4z-0.3_i386.deb 62087661fea03bdf083464d51d36f1ee 1103876 devel optional blt-dev_2.4z-0.3_i386.deb f7bf663bafd8afba005e43a0b48bdbfc 595476 devel optional blt-demo_2.4z-0.3_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+ivezHUDhE+YrLEURAmm9AKDgtmhaQtrOdtFvAgQktuiJ9HT/YgCeIHUd NTubeJX1cOVD3AxsLTfmJWg= =hPTg -END PGP SIGNATURE- Accepted: blt-common_2.4z-0.3_i386.deb to pool/main/b/blt/blt-common_2.4z-0.3_i386.deb blt-demo_2.4z-0.3_i386.deb to pool/main/b/blt/blt-demo_2.4z-0.3_i386.deb blt-dev_2.4z-0.3_i386.deb to pool/main/b/blt/blt-dev_2.4z-0.3_i386.deb blt_2.4z-0.3.diff.gz to pool/main/b/blt/blt_2.4z-0.3.diff.gz blt_2.4z-0.3.dsc to pool/main/b/blt/blt_2.4z-0.3.dsc blt_2.4z-0.3_i386.deb to pool/main/b/blt/blt_2.4z-0.3_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.24-1) unstable; urgency=low . * New upstream release Files: c347157d82c3987d0e657c09020820f3 668 graphics optional geramik_0.24-1.dsc f632116374c07a6f1e566442f6705533 472971 graphics optional geramik_0.24.orig.tar.gz e3209e0bde424b11cf43064d67376c42 3819 graphics optional geramik_0.24-1.diff.gz 84e5ef996050cc61b355317da12f63e1 41536 graphics optional gtk-engines-geramik-data_0.24-1_all.deb 72e4aaee3dc7b5d4a4df925584c33e73 35162 graphics optional gtk-engines-geramik_0.24-1_i386.deb d5ea3f7a9f8977aef5acbe49de87314f 31988 graphics optional gtk2-engines-geramik_0.24-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+i0Y8HUDhE+YrLEURAkz+AKDEsKnBPp+ptQSLlwGzcqOzrxD54ACgrc/+ dEBiI6Apg9yb63e/dRTPPkE= =abyj -END PGP SIGNATURE- Accepted: geramik_0.24-1.diff.gz to pool/main/g/geramik/geramik_0.24-1.diff.gz geramik_0.24-1.dsc to pool/main/g/geramik/geramik_0.24-1.dsc geramik_0.24.orig.tar.gz to pool/main/g/geramik/geramik_0.24.orig.tar.gz gtk-engines-geramik-data_0.24-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.24-1_all.deb gtk-engines-geramik_0.24-1_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.24-1_i386.deb gtk2-engines-geramik_0.24-1_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.24-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.23-1) unstable; urgency=low . * New upstream release Files: e8c8288e14062a65fe378f4275d91919 668 graphics optional geramik_0.23-1.dsc 89a5e6a6d4b7f59cf9bbcff9763a2179 472664 graphics optional geramik_0.23.orig.tar.gz 711ae4e7531493231bcf377488d4ce6b 3802 graphics optional geramik_0.23-1.diff.gz e87653885c8218be30f09234066b3066 41390 graphics optional gtk-engines-geramik-data_0.23-1_all.deb e51a6eb66071413d4fe217d0c56c2f7c 35116 graphics optional gtk-engines-geramik_0.23-1_i386.deb ad86da252a2d4855570d29e6969a588a 31810 graphics optional gtk2-engines-geramik_0.23-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+aMl6HUDhE+YrLEURAobQAJ0YrY0yFElwTz5ldFQkN8SUyFmHNwCgkyNa fqqE2l/4Zimaspp10WV6oeA= =xRsC -END PGP SIGNATURE- Accepted: geramik_0.23-1.diff.gz to pool/main/g/geramik/geramik_0.23-1.diff.gz geramik_0.23-1.dsc to pool/main/g/geramik/geramik_0.23-1.dsc geramik_0.23.orig.tar.gz to pool/main/g/geramik/geramik_0.23.orig.tar.gz gtk-engines-geramik-data_0.23-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.23-1_all.deb gtk-engines-geramik_0.23-1_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.23-1_i386.deb gtk2-engines-geramik_0.23-1_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.23-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.21-1) unstable; urgency=low . * New upstream release * Fix segfault in gtkrc parser Files: 8e11c99371d641725d973a51dd50a6af 668 graphics optional geramik_0.21-1.dsc 32cafdf67daf58d0ce12293aac012f1c 471943 graphics optional geramik_0.21.orig.tar.gz a2c30105b2aae629e26cda6f92560410 4213 graphics optional geramik_0.21-1.diff.gz 8e676ff51b507dd3d3fe8e342549f71b 41316 graphics optional gtk-engines-geramik-data_0.21-1_all.deb 2ca9abafc270aaf7c8627c9ae3c17f91 35074 graphics optional gtk-engines-geramik_0.21-1_i386.deb b7f7904a392ae996f376d8ffc1aa64e6 31686 graphics optional gtk2-engines-geramik_0.21-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+ZkSqHUDhE+YrLEURAuiQAJ9VWIJbEPDHENf4SaanXk6gPZ+93QCgmCHU U0PVoLP6SFjKKgSLo4vj7Hk= =i+6q -END PGP SIGNATURE- Accepted: geramik_0.21-1.diff.gz to pool/main/g/geramik/geramik_0.21-1.diff.gz geramik_0.21-1.dsc to pool/main/g/geramik/geramik_0.21-1.dsc geramik_0.21.orig.tar.gz to pool/main/g/geramik/geramik_0.21.orig.tar.gz gtk-engines-geramik-data_0.21-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.21-1_all.deb gtk-engines-geramik_0.21-1_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.21-1_i386.deb gtk2-engines-geramik_0.21-1_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.21-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.20-1) unstable; urgency=low . * New upstream release Files: 57dc14bc744d0039a6d579f54e6bda66 668 graphics optional geramik_0.20-1.dsc 48806fc1743b48d6b481adb70f7e7410 471511 graphics optional geramik_0.20.orig.tar.gz 0dad8fe36174e83f857411e3b4cdee0f 3894 graphics optional geramik_0.20-1.diff.gz 0475e964aea97fc212af7f376fad8866 41102 graphics optional gtk-engines-geramik-data_0.20-1_all.deb 5d98c70ee0c2c5d72e6898eca993b282 34536 graphics optional gtk-engines-geramik_0.20-1_i386.deb 41f15b6efae3663b946c90e0a95a8f78 31284 graphics optional gtk2-engines-geramik_0.20-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+YmtXHUDhE+YrLEURAuLQAKDKcnGr/v141JUJbFIdU54AsoDDHgCeOKd2 omn/rvy0MK3ojIu1Nlod3uQ= =kRl/ -END PGP SIGNATURE- Accepted: geramik_0.20-1.diff.gz to pool/main/g/geramik/geramik_0.20-1.diff.gz geramik_0.20-1.dsc to pool/main/g/geramik/geramik_0.20-1.dsc geramik_0.20.orig.tar.gz to pool/main/g/geramik/geramik_0.20.orig.tar.gz gtk-engines-geramik-data_0.20-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.20-1_all.deb gtk-engines-geramik_0.20-1_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.20-1_i386.deb gtk2-engines-geramik_0.20-1_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.20-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Closes: 182587 Changes: geramik (0.19-3) unstable; urgency=low . * Fix memory corruption making gnome-control-center crash if the gtk2-engines-pixbuf theme is installed (closes: Bug#182587). Files: efbcff8e1cffee62fbded305adb6f251 668 graphics optional geramik_0.19-3.dsc 20b068125ac9f92d99a4a739bda017f0 5551 graphics optional geramik_0.19-3.diff.gz 415127a49a120ee387176b0d31ff6c59 40958 graphics optional gtk-engines-geramik-data_0.19-3_all.deb 4c487448fdd8c708a2ca731f67200d99 34262 graphics optional gtk-engines-geramik_0.19-3_i386.deb 16da2ba6d9ee1491b35f75f7378a2073 31118 graphics optional gtk2-engines-geramik_0.19-3_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+XfHuHUDhE+YrLEURAuYsAJ4njoaE3HcRSQ1VQ0Gw1A7sbnbOxwCg3RGd tgLKRkgKlnCFF9Xo1UiJJgM= =HIgu -END PGP SIGNATURE- Accepted: geramik_0.19-3.diff.gz to pool/main/g/geramik/geramik_0.19-3.diff.gz geramik_0.19-3.dsc to pool/main/g/geramik/geramik_0.19-3.dsc gtk-engines-geramik-data_0.19-3_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.19-3_all.deb gtk-engines-geramik_0.19-3_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.19-3_i386.deb gtk2-engines-geramik_0.19-3_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.19-3_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.19-2) unstable; urgency=low . * Fix qtpixmap2 - qtpixmap in gtk2 gtkrc (thanks to Florian Knauf) Files: bfd4a13bc39b0b764e127aa38824cf50 668 graphics optional geramik_0.19-2.dsc 2a9d4193166a2223f990de3c8bdcfe2b 3521 graphics optional geramik_0.19-2.diff.gz b091acc13743f94bdc519b6e5d707183 40866 graphics optional gtk-engines-geramik-data_0.19-2_all.deb 65da92f828665f564155b5c8a7e39e81 34128 graphics optional gtk-engines-geramik_0.19-2_i386.deb d1fb3f54cead6dffaf24862325d40dca 30666 graphics optional gtk2-engines-geramik_0.19-2_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+V8M0HUDhE+YrLEURAmD1AJsEcXIDflmjvLymp9ApFs3ePP4MrACfdvKw Hc/wcnG7gV2wIshiK3sYBnM= =t+qt -END PGP SIGNATURE- Accepted: geramik_0.19-2.diff.gz to pool/main/g/geramik/geramik_0.19-2.diff.gz geramik_0.19-2.dsc to pool/main/g/geramik/geramik_0.19-2.dsc gtk-engines-geramik-data_0.19-2_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.19-2_all.deb gtk-engines-geramik_0.19-2_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.19-2_i386.deb gtk2-engines-geramik_0.19-2_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.19-2_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.19-1) unstable; urgency=low . * New upstream release Files: cabf6cb085ca1a46d81bbfb0cef65d33 668 graphics optional geramik_0.19-1.dsc 78a959f36ac6274b78df71d089b664f3 471026 graphics optional geramik_0.19.orig.tar.gz ffc0886cf5f9c64adef9a29cdd0dd767 7242 graphics optional geramik_0.19-1.diff.gz d91eadf2581e36de4c141702d33790ce 40808 graphics optional gtk-engines-geramik-data_0.19-1_all.deb a45c9fdb5859313bc659aced38a253ac 34080 graphics optional gtk-engines-geramik_0.19-1_i386.deb 2f43e238d20e231bc23ec197abc041d3 30612 graphics optional gtk2-engines-geramik_0.19-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+VTt1HUDhE+YrLEURAlWvAKCjdmqHOHjcO9Wkk4bpznBuFpIg/ACgw/53 po8HPlVgIWrJKcBPqXRI9M0= =KSqL -END PGP SIGNATURE- Accepted: geramik_0.19-1.diff.gz to pool/main/g/geramik/geramik_0.19-1.diff.gz geramik_0.19-1.dsc to pool/main/g/geramik/geramik_0.19-1.dsc geramik_0.19.orig.tar.gz to pool/main/g/geramik/geramik_0.19.orig.tar.gz gtk-engines-geramik-data_0.19-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.19-1_all.deb gtk-engines-geramik_0.19-1_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.19-1_i386.deb gtk2-engines-geramik_0.19-1_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.19-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [EMAIL PROTECTED] Changed-By: Stefan Schimanski [EMAIL PROTECTED] Description: gtk-engines-geramik - Geramik GTK1.x Theme gtk-engines-geramik-data - Geramik GTK Theme bitmaps gtk2-engines-geramik - Geramik GTK2.x Theme Changes: geramik (0.18-1) unstable; urgency=low . * Change packager email * New upstream release Files: 15d5948c46389d12dc963fd11d39819e 668 graphics optional geramik_0.18-1.dsc a6dbb9a5d2b21e3a42c65db61f07fb1c 470833 graphics optional geramik_0.18.orig.tar.gz 2ce8562e0c0393a2ef67ccc7de10a838 9657 graphics optional geramik_0.18-1.diff.gz bfda81287f92937500169adff7d13d89 40616 graphics optional gtk-engines-geramik-data_0.18-1_all.deb b29395e4a02adf6dbd4277501b5a453f 33826 graphics optional gtk-engines-geramik_0.18-1_i386.deb 82881069bdbe9486729bf8102e68d879 30610 graphics optional gtk2-engines-geramik_0.18-1_i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.1 (GNU/Linux) iD8DBQE+VLabHUDhE+YrLEURAvOmAJ9Oye8M5KWhsK81OLj2exlWzPAhtACgwmF4 MNqP0sn1WmmNugIzTbfdORg= =NQpj -END PGP SIGNATURE- Accepted: geramik_0.18-1.diff.gz to pool/main/g/geramik/geramik_0.18-1.diff.gz geramik_0.18-1.dsc to pool/main/g/geramik/geramik_0.18-1.dsc geramik_0.18.orig.tar.gz to pool/main/g/geramik/geramik_0.18.orig.tar.gz gtk-engines-geramik-data_0.18-1_all.deb to pool/main/g/geramik/gtk-engines-geramik-data_0.18-1_all.deb gtk-engines-geramik_0.18-1_i386.deb to pool/main/g/geramik/gtk-engines-geramik_0.18-1_i386.deb gtk2-engines-geramik_0.18-1_i386.deb to pool/main/g/geramik/gtk2-engines-geramik_0.18-1_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Changes: proofgeneral (3.4-12) unstable; urgency=low . * Added note about remove behaviour to startup files. * Symlink the xemacs21 startup file to the emacs21 startup file as they are the same anyway. Files: b4acfbfeeb7b1e036b19ef407f92ff28 640 editors optional proofgeneral_3.4-12.dsc 277917f49c31f9f7ede6d2b3ef14cb6b 6458 editors optional proofgeneral_3.4-12.diff.gz 71ac0e6749642ecd010515e120181790 405656 editors optional proofgeneral_3.4-12_all.deb 6aeb19604d3f14b96ec4af5d0198e5d8 22744 editors optional proofgeneral-coq_3.4-12_all.deb d20b8af8c2858765227a8595fbc956f2 121892 editors optional proofgeneral-misc_3.4-12_all.deb 90332911e9caabdb2597e969e0cb386f 111012 editors optional proofgeneral-doc_3.4-12_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.0 (GNU/Linux) iD8DBQE9oyg9tzWmSeC6BMERAk7uAKDsDXTkuK5aIA1ieGBYDgZhDZ7FIwCfYG1J EUp3ZywN4z+AZbSbn19f3mE= =5oqt -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.4-12_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-12_all.deb proofgeneral-doc_3.4-12_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-12_all.deb proofgeneral-misc_3.4-12_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-12_all.deb proofgeneral_3.4-12.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-12.diff.gz proofgeneral_3.4-12.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-12.dsc proofgeneral_3.4-12_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-12_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Changes: proofgeneral (3.4-10) unstable; urgency=low . * Install startup file 50proofgeneral only for support flavors, not into a general place (closes: Bug #162354). * Fix the 50proofgeneral startup file to use the correct path. * Documented the EMACS variable in the proofgeneral manual page. Files: a61a7cfcc8854645af79c1ce716b1c0c 640 editors optional proofgeneral_3.4-10.dsc de101616bfc984e8728ab50c440aeb90 5469 editors optional proofgeneral_3.4-10.diff.gz 52e2623614609b7d1d5bb95141563e32 404606 editors optional proofgeneral_3.4-10_all.deb f20ce436f8b9ac34483c6afb96e3ed20 22572 editors optional proofgeneral-coq_3.4-10_all.deb e90cae603479e72ec272416cbcc84240 121672 editors optional proofgeneral-misc_3.4-10_all.deb 25f0fda49e3d515c4f3f45e0bb5ff365 110832 editors optional proofgeneral-doc_3.4-10_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.2.0 (GNU/Linux) iD8DBQE9kqj0tzWmSeC6BMERAkTvAJ9C+uD5kntWdWXWNFnMT6mHEHX36QCg8YXx aZYJrRNSWxakoZcm3KmCTLA= =oyZq -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-10_all.deb proofgeneral-doc_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-10_all.deb proofgeneral-misc_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-10_all.deb proofgeneral_3.4-10.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-10.diff.gz proofgeneral_3.4-10.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-10.dsc proofgeneral_3.4-10_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-10_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Changes: proofgeneral (3.4-9) unstable; urgency=low . * Fixed naming of toolbar icons for xemacs. Files: e29f4ed88050e670fd7579bbed088dc1 638 editors optional proofgeneral_3.4-9.dsc 85e43480233ee54d09a62dc98b5287ac 5243 editors optional proofgeneral_3.4-9.diff.gz 47790e559e4388a5118ef9f09d4100f5 404352 editors optional proofgeneral_3.4-9_all.deb 4b6d81f3493aad118b4e33f925b4207a 22408 editors optional proofgeneral-coq_3.4-9_all.deb 4759dd6969827d0a25abc227dacf61f8 121534 editors optional proofgeneral-misc_3.4-9_all.deb ac74ade29ce416c87d0127cbed22aeab 110678 editors optional proofgeneral-doc_3.4-9_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9kK6ptzWmSeC6BMERAjXAAKD9WnBnA+U5QKgBbUi0dyjeOS55vgCfcV1O ojtgFWE+9fZp3fn3gQAaBEY= =wRMw -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-9_all.deb proofgeneral-doc_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-9_all.deb proofgeneral-misc_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-9_all.deb proofgeneral_3.4-9.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-9.diff.gz proofgeneral_3.4-9.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-9.dsc proofgeneral_3.4-9_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-9_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
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 [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-misc - ProofGeneral support for different theoreom provers Changes: proofgeneral (3.4-8) unstable; urgency=low . * Fixed appearing proofgeneral icons in the default emacs21 toolbar. Files: 063f28f9c11871a319532ad37638ef8e 638 editors optional proofgeneral_3.4-8.dsc 3add7e2c7e174b795d0ebc4ab52c1e3d 5211 editors optional proofgeneral_3.4-8.diff.gz cb9fe1ee6eeea7beec03209ef6820d17 404324 editors optional proofgeneral_3.4-8_all.deb c5cb83cabbc1a27947e85b4ab6af7f46 22370 editors optional proofgeneral-coq_3.4-8_all.deb 395e4e8dbe4cd916b24efd8eda0a5ad5 121500 editors optional proofgeneral-misc_3.4-8_all.deb deb788ef7e2e786de6f8ff6e5acb6fc2 110644 editors optional proofgeneral-doc_3.4-8_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9jriotzWmSeC6BMERAuspAKCn8PbHShegYc2PbhzvS9bKiHwu+gCffS/J flDiLHzqHY2OZSIWzN3e9dw= =hmAk -END PGP SIGNATURE- Accepted: proofgeneral-coq_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral-coq_3.4-8_all.deb proofgeneral-doc_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral-doc_3.4-8_all.deb proofgeneral-misc_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral-misc_3.4-8_all.deb proofgeneral_3.4-8.diff.gz to pool/main/p/proofgeneral/proofgeneral_3.4-8.diff.gz proofgeneral_3.4-8.dsc to pool/main/p/proofgeneral/proofgeneral_3.4-8.dsc proofgeneral_3.4-8_all.deb to pool/main/p/proofgeneral/proofgeneral_3.4-8_all.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]