Accepted prooftree 0.12-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 17 May 2013 16:53:01 +0200
Source: prooftree
Binary: prooftree
Architecture: source amd64
Version: 0.12-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description:
prooftree - proof-tree visualization for Proof General
Closes: 672480
Changes:
prooftree (0.12-1) unstable; urgency=low
.
* Initial release (Closes: #672480)
Checksums-Sha1:
1c939e94fa1de497ce26da4a4b14bf67dfa10d1f 2001 prooftree_0.12-1.dsc
ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz
76d7b647a1e0e3f3df4164363703e34a2ff19dc7 2120 prooftree_0.12-1.debian.tar.gz
70f31ae0635675619bbb0f4b91f7c691f0c60f1a 800038 prooftree_0.12-1_amd64.deb
Checksums-Sha256:
938949bc176689c8c83f8877b6293703f2aac2db51a8b45e2417734d4175145d 2001 prooftree_0.12-1.dsc
952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
8b1c45107d0fe71909a2f9d85f0a877571e3a53dcfd6cac09b39351f72957adf 2120 prooftree_0.12-1.debian.tar.gz
90b13866ef19a95dfd201b5c5b2fee43eb73ad2212a5cbc090ddf94070f74073 800038 prooftree_0.12-1_amd64.deb
Files:
cc459a9075554a8380f28dc3eadf021e 2001 science optional prooftree_0.12-1.dsc
1ccae43094ae52a85a52bff0f9e22495 103680 science optional prooftree_0.12.orig.tar.gz
a032ebd56fbdf031fa8163f23bfc2ef6 2120 science optional prooftree_0.12-1.debian.tar.gz
0cd64f95c5097d82ace2586553febab2 800038 science optional prooftree_0.12-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRpPc/AAoJEHhT2k1JiBrTmo8P/3Vt/C0hhbKsMJglP2e3eLHY
WAq9TQaz9sm8x8P3xzHR8FZcerOUVfTx96dx4Fkw311MiA99FdzqQQFEGiU/DIo5
cUPN1lTmdN6rs3TUQDkNVDRrfE5d0+4Ki3w7VqEdPr8A0VgiAt7W2iGGgblY0oP0
quT2cLSmLB4Miq8kEb2+pPcIyqqQPCRlsaJHU4GWaLewDpdbY8m1LSDFk+xnHsgd
axfk6ZTA2y66o8bgDxjzm9MB6AeOt5Xye9K6F10sxCBPcfGD0oBv9OW9UlOs5YwM
KPiQEt5evin0/PuP6aYRsuW8rl6Z1jfPDkqZWZriVlgHR2AGL4216NYBQIISznQ8
VDWl0h4+d5pCiQsHydpYk8eWp/XGj5eWdksHpYIA9klQxRUJL1s9er0V1w3uAVPE
n6k3PUlEnhunUDX7cG+2lEU/L38eVHNJayZpm3IDU5pOQNzXakROETpFBQSEfPLI
4hzLCb0x0nUSasd3vHSpqWRia7Ty5+Dl1HbCgUAhxxpn2vVW8f1AQ2YhMStsPJ1N
RrXMPUjVgKWxl2lNbKOPjVjLvrAah9BwEKW5LD6I3UyVd8d1ArZrEg+bh9hxDZUw
Xh2euDZ1VidvLCaxvM4lHYsdiEaIONsygD1T+xHKOHL+px9Fc7hvpGwZBMplUasw
F2om3VkkHFZISajwVGmY
=qrI7
-----END PGP SIGNATURE-----