-----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-----
