-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 21 Apr 2012 23:28:59 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120411-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews <hendrik@askra.de> Changed-By: Hendrik Tews <hendrik@askra.de> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Changes: proofgeneral (4.2~pre120411-1) unstable; urgency=low . * New upstream release * remove 3 patches that have been applied upstream Checksums-Sha1: e3cc1e621d61bf6c2bf8b922a79006677f274f39 1962 proofgeneral_4.2~pre120411-1.dsc f68829d41ea20307c979b5d253eecb1dfbf5128b 1019250 proofgeneral_4.2~pre120411.orig.tar.gz ea4df25198ec0959e91fb8d341bffda64b541776 18453 proofgeneral_4.2~pre120411-1.debian.tar.gz 41c0eeb9f326a52a6f762b02e35f679b877ba70c 430264 proofgeneral_4.2~pre120411-1_all.deb 46e712549ea630f87e24160722106303b3db52d6 670792 proofgeneral-doc_4.2~pre120411-1_all.deb Checksums-Sha256: f3fc5c8f285393c3ae5eb5f45851e9ee8dfe2d19260f584ced1a3285d12064a3 1962 proofgeneral_4.2~pre120411-1.dsc fb9cbd27527b089afbe789e4b514025d81f58898cfb33682588ce9f98570b03d 1019250 proofgeneral_4.2~pre120411.orig.tar.gz 08ea74a400ca29a766cfeddfe3f49dc674d167433f5e6994e501afe560d0c597 18453 proofgeneral_4.2~pre120411-1.debian.tar.gz 7698be48734295fa937e449e54db409395d8bb3456c8c4cf40f13f3f62d084f0 430264 proofgeneral_4.2~pre120411-1_all.deb 585710093637faef6e696b68f378e2c7b0d9a16a457929e3a9dea50ceff25263 670792 proofgeneral-doc_4.2~pre120411-1_all.deb Files: 7f266fa91a258bd0f0fab0e1c685c5dc 1962 editors optional proofgeneral_4.2~pre120411-1.dsc 72e64faec0fac86b2c33892a79e0d7be 1019250 editors optional proofgeneral_4.2~pre120411.orig.tar.gz 79c67507268c717dba67ee6e9e20842c 18453 editors optional proofgeneral_4.2~pre120411-1.debian.tar.gz 4c40f2b952e33723cf26ed3b02a0c856 430264 editors optional proofgeneral_4.2~pre120411-1_all.deb b9fa4400517caa85ec28a729364d3c79 670792 doc optional proofgeneral-doc_4.2~pre120411-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPlGqhAAoJEHhT2k1JiBrTqR0QAICFG49i1b8WmivA5HNuN/hI rQG7qVxs+nNp4CTZuvtoy7cc2dFeWSWmxke6rbpN17jMfSdPSyEoDzruMuwU45+e UGRqzvCmliusfI8hVI1FKugdney9WuEVXRguw8rOoAKcq1Y7lStopN2Bp0ATEcZ5 xjGx1rNHgTrYThfNBHNacax1Ce2Flq5ABYWekRbHFs8g+tExfQdV8v1FlfBOZeTy +kNMYIf+KLivu3rY8Fo7S4chSSNk5YiogaToBYitdyTb833RxUussHAv910w7LVf VK2OGvVQlRg7pbZvxvusFS+XNgcvHr/zqgq1XunbdkzfHk9guktAw4EaIHWdBLfO YiSz/EWuCqaUwuiEkmu6vAwqGm1alafRIgwCQ9DPEdx8sVMzMFgyMY31G2MzVc5p +yyBfVGhcl3jV+3vO+op8ElZnuaEtf0KJhJvydPwEb7u9waZ2HfX0eFTaxXOgQfm O3uEga8tk53mZyhhE54TcCCKUaZkDTq6rWn03dD6zI2tI13B9qWDm3SdYNZTYsoD HYRp+juW72iF27kvxDABIb27DBp2KVUxJ4/Alzc4pH80UlsCvbfBSS5Z/qPydzdb LsKCH6tXNKAlG23BJjM9y/mhijH1TB/QrxAWAqFseozYOEb3mOv68OiHHRXvKmlF udVJ0pygy0AJlJmi7YMN =JwKX -----END PGP SIGNATURE----- Accepted: proofgeneral-doc_4.2~pre120411-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120411-1_all.deb proofgeneral_4.2~pre120411-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120411-1.debian.tar.gz proofgeneral_4.2~pre120411-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120411-1.dsc proofgeneral_4.2~pre120411-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120411-1_all.deb proofgeneral_4.2~pre120411.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120411.orig.tar.gz
