Accepted matita 0.99.1-3b1 (source)

Matthias Klumpp mak at debian.org
Sat May 14 15:20:10 EDT 2016


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

Format: 1.8
Date: Sat, 14 May 2016 18:09:43 +0200
Source: matita
Binary: matita
Architecture: source
Version: 0.99.1-3b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at debian.org>
Description:
 matita     - interactive theorem prover
Changes:
 matita (0.99.1-3b1) staging; urgency=medium
 .
   * No-change rebuild.
Checksums-Sha1:
 bcf57550e1be1fcf0260794b1cf7fa601e0b8973 2176 matita_0.99.1-3b1.dsc
 113a9c653031378efdb6667f1f7c6630924aaa77 10366065 matita_0.99.1.orig.tar.gz
 75d27b8cb1afaec541930f2cfa0d15a2d9973066 4652 matita_0.99.1-3b1.debian.tar.xz
Checksums-Sha256:
 399056fc1c85e60d08cc7384bd8f48447e6ac18433ddfb0c30169262cc967666 2176 matita_0.99.1-3b1.dsc
 3a956835a6009c27057e59e06e84621d25ebd133ac72d362636d94dde8deb28e 10366065 matita_0.99.1.orig.tar.gz
 2bf6003000651147a134b966b44b0bc0c628e41832e0fc6b6097c11af9935c1d 4652 matita_0.99.1-3b1.debian.tar.xz
Files:
 45325cb6e37037d219993b2cf97e1db8 2176 math optional matita_0.99.1-3b1.dsc
 57b80c202f003c7bd7ab2c453070425a 10366065 math optional matita_0.99.1.orig.tar.gz
 d4a660c211246a41b292dea0cb998b6b 4652 math optional matita_0.99.1-3b1.debian.tar.xz

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

iQIcBAEBAgAGBQJXN03LAAoJEElMil+/TezrrRMP+wfzUMdEo6EfSbHQ2nhHYZ+U
tOmE/38eNIMgzcxKkRBtNyiarP/IyZQ9+DH2VtH9MvvuxRF6fmcEi7HPPNBu0MmM
4lb/tDlVP8LC683R9Z6HuRVYysD9k7JJ2MJbj8sPGTTJ8SNI7CKbCMf5uyGFi1ju
BoSX2cjPlpZLIVOEUqueqgny1ggBxLe0SloC6wRJCjpLLP5GNmU1/FHwvszRJo6Y
4RTgwG4yoQvAls056lXbleOYRLy9iEn2oVtF8a/7kZM9gHkE5e7GC+4TlvshWx42
1csFbWYkkl0v+CgGLTl8KvdQ/4HQ7UnwzGvrmOlcsD2fDI/zkZXTtnyQ52YkhMex
nXSTiyCFZJ52COeuj5KIrI/Q3R3EE49jYfZTDAt6FoLR/GS9IQzPtNd7FzCApnJE
nlCcLzAJoUCZHendQxlNmFk05CCgOIjWG5LWf/XzdLPAEUyKmTPNVT4QyIPmv/6A
FJNdXprfpH81UTz1Bk2N8IrkCW524QW4ZpVfJcFHBYbrC8sAHzEU5FFe2bud/5mX
TuC3usO8RfFyEzHConT9icGiNb+yV7+lOxNzNSsAQ7c4sOP0zmhlBuqr7GiY5jUY
EVUYdtHDKSDZCzWptMieR5iRHNFKVtg/XR650sY1S8b+qSqAD3qXS8ZF/YrcHZ5o
M7MvFaa8AkF/YrggNOAI
=bQwE
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list