Accepted proofgeneral 4.2~pre120411-1 (source all)
-----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