Accepted proofgeneral 4.2~pre120112-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 12 Jan 2012 21:15:51 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120112-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
Closes: 252721 452824 520566 554263 613779 626589
Changes:
proofgeneral (4.2~pre120112-1) unstable; urgency=low
.
* adopting proofgeneral (Closes: #554263)
* restart packaging from scratch (Closes: #626589)
This new Proof General package has not much in common with the old
one:
- source package format 3.0 (quilt)
- only two binary packages: proofgeneral and proofgeneral-doc
- no support for Isabelle/Hol or Isar, because Isabelle is packaged
with its own custom version of Proof General (Closes: #252721)
- no support for minlog because it is not present upstream
(Closes: #613779)
- support only Coq and PhoX
- no debconf, proofgeneral is always installed site-wide (Closes: #452824)
- only support emacs23, because upstream only supports emacs23
(Closes: #520566)
The old changelog file is appended below.
Checksums-Sha1:
4e21c2363c6a2f8fbc1e1ae186446e225f702b67 1959 proofgeneral_4.2~pre120112-1.dsc
db08bd955247dbe2375c8c45008b9248f9c88e0c 942334 proofgeneral_4.2~pre120112.orig.tar.gz
2261d2ad51460fe101d302dfac9fb34a92e46241 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz
bc16f4d7ccece0de53add1e117dfab22ecea3414 446116 proofgeneral_4.2~pre120112-1_all.deb
2b5ea2476e75dd46325c74cb3cdc6a28c215b72b 675826 proofgeneral-doc_4.2~pre120112-1_all.deb
Checksums-Sha256:
0bd78c12990414b6457f88b9fc73ed396028e92edb2fb3fec9ce3a945fdff07d 1959 proofgeneral_4.2~pre120112-1.dsc
33774795c586bf5df8308e46400d19713aeb03fef9e8d26f2b7a22e4a16fda8e 942334 proofgeneral_4.2~pre120112.orig.tar.gz
32bf850a473f88f97e35e1e305bb2e34816e686de4685246efd3819bf18b9fb1 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz
612dc5585545f89b88a8ca83efab694240a9c8ebbc1578f0b6c1c7aeaff76c51 446116 proofgeneral_4.2~pre120112-1_all.deb
0ddb23a2c172f2a10df34b5f0417ec02e47a6ce4ed28259061d2c87f15d8b764 675826 proofgeneral-doc_4.2~pre120112-1_all.deb
Files:
5a5fe5c8b0f1abb72f816dc65db4ff43 1959 science optional proofgeneral_4.2~pre120112-1.dsc
dd01a5c2b1c53dc4ee099c01a018c188 942334 science optional proofgeneral_4.2~pre120112.orig.tar.gz
0cb4cfa7fa9982e43c892a235c075a8d 18685 science optional proofgeneral_4.2~pre120112-1.debian.tar.gz
5b767a119e85ffdac5e5763892630bba 446116 science optional proofgeneral_4.2~pre120112-1_all.deb
f0ee4c616a9f4e24f2d1f76bc975c338 675826 doc optional proofgeneral-doc_4.2~pre120112-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPD+amAAoJEHhT2k1JiBrTlP8P/RC5ImjNB1WJhs1SuiXzkMz3
+/6sqxNGntql8DOekacMdwPbFHi9Fr1FKVNgAKUL0OLyGeBRRmJSdxkoUpWHFvnC
mwTvmCGr9gzsiSTUQeILd4pCEM6/uZdeLBLGwJqpP04IUZv+RkkP8CJYTSQWZ4g1
16czWJmUB/W6GyJqpzS7iZGucTtRjIRrCqI4CxOzH9eOf82PAYypoaAsjyRxpkU5
PQgFeRVzBxcxZPNVeXPyUN/HVt0Vr8CXSgoTCWq4U9RJYJa2Nao+VxdBjj/pGtXa
qfp8LKn9gnGaHKlb3L5NHCn/8AlxiSs5oHWvkDPAj5cYevU4hXSjxNrjDFUKTmvU
aJTnDksLt1TbB+aWFj+/CrXh0DfZTEozh3F7BzzbbpJG+oAzb8SXe6URG1+6Gici
eXH7SZ9JfEnKTpy2ZJE2Nz7r8D507R+/HRV3a68spX1D/TS3H4/HmN5IHfZ7G1gg
1Gt0S08d59rYnUn9ABjdACA6LgpSdGt+zI4oHN/L1pFSWkcTGEnTaHN+nQq+OdWp
rfGNyA52EmrqZei+MQThQ6Zp1EVKFE7eZXEf7a6bu8Md3PL4k17yWqvtRzs77swr
4J1ciaMAWT51Wmyrmx+lEuuY0SDNAenWcIEwVqqacgW9jW7cNhcRrC23gdZ7WG7s
bWrTDaQLXV6udgXfQHlO
=dDS+
-----END PGP SIGNATURE-----
Accepted:
proofgeneral-doc_4.2~pre120112-1_all.deb
to main/p/proofgeneral/proofgeneral-doc_4.2~pre120112-1_all.deb
proofgeneral_4.2~pre120112-1.debian.tar.gz
to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.debian.tar.gz
proofgeneral_4.2~pre120112-1.dsc
to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.dsc
proofgeneral_4.2~pre120112-1_all.deb
to main/p/proofgeneral/proofgeneral_4.2~pre120112-1_all.deb
proofgeneral_4.2~pre120112.orig.tar.gz
to main/p/proofgeneral/proofgeneral_4.2~pre120112.orig.tar.gz
Reply to: