Accepted prooftree 0.12-2b1 (source)

Matthias Klumpp mak at debian.org
Fri Jan 15 12:47:33 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 15 Jan 2016 18:28:09 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.12-2b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at debian.org>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.12-2b1) staging; urgency=medium
 .
   * No-change rebuild against current OCaml.
Checksums-Sha1:
 e4d4e20b457bf311d57cef569e6977180dcc8015 2006 prooftree_0.12-2b1.dsc
 ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz
 f42d54cb72e6ea25f91613b1a94c9747ac085d65 3020 prooftree_0.12-2b1.debian.tar.xz
Checksums-Sha256:
 5cdcee5c4be013d8c31017f3e34df05733d028b7f93c5e6bb9be2d98636d1b0e 2006 prooftree_0.12-2b1.dsc
 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz
 eeb13c4d73ffb5152b0b8f33d4ecb09e899db21539f4d9ab2339c830ec0a585c 3020 prooftree_0.12-2b1.debian.tar.xz
Files:
 26eeddbaba4525394b2daa8e037a7c43 2006 science optional prooftree_0.12-2b1.dsc
 1ccae43094ae52a85a52bff0f9e22495 103680 science optional prooftree_0.12.orig.tar.gz
 5cfcaede6155027714ed31712317234d 3020 science optional prooftree_0.12-2b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJWmSwqAAoJEElMil+/TezrZX8P/ik9Jm1oru7zDAPufhuqmkQT
OqCXBGuNasZqky5kMsRKLvmkbQGVf7mrzcFbVsar0+0UYWBRNDgD4E3m+KFc9KiM
9RcZSBbZsDqdQbggKR8+gn0V3ihZsol41U325HBPxU7KZ3Ax2DARYHhxPZf6uklO
YC8KF8TrObCf931MRssk66Sat2gzGRPGX2xrsIOLYxmNBF3WuMhSkXxf4/jyAEY1
0RCjha9aJK5aOrs4oUoS72VV3N4ghrLKUH5iRDIo9CymHi3NBTiGbEmDvmwvO7zp
dWQsyyeF7M8dTWZ81XVoRCJeHzhddFBVsxNLGRE9AD66vMOFIZObpgod+kkHvUKh
RksrZvrLDe56X2FtyQSjU/OMcUZKjFNqnFoDkry1mdJWqHJp+n5Ef1QOn7KiaT+1
TUmC0jCtIpFxD7Fgskbwx3wWzSH6+UWzuUBr2Wc264rJ2DrgUhj6+2tU/RlbsFf7
xrWQC8Y2zx/WuaoYmsiuBkeyVRLetlIHU96WtbT1xXFV7IYsPh3FdCeZgFRMCuQf
TiIciLnOWfqnjH9yUqSLvlX2iWMC9kzUep/VhtaphMAkR01gQIkF/KUOhxq/V+m3
Fa7jkjZxzh9/eKhnTP4wC0QFCUBqP/SbSIrHRrRj3uV42td8OJN23vU/S03ZEm+t
L/YmkxJX23NBMIwgf/nC
=Io5F
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list