Back to proofgeneral PTS page

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