Back to matita PTS page

Accepted matita 0.99.1-2 (source amd64)



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

Format: 1.8
Date: Wed, 02 Oct 2013 11:16:08 +0200
Source: matita
Binary: matita
Architecture: source amd64
Version: 0.99.1-2
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description: 
 matita     - interactive theorem prover
Closes: 724163
Changes: 
 matita (0.99.1-2) unstable; urgency=low
 .
   * Fix clean target (Closes: 724163)
Checksums-Sha1: 
 6220ad89c5bba75ab5c2a4aec9c6e5adc834bca7 1542 matita_0.99.1-2.dsc
 81316a052c476628bdc6df1bee1118ee6ffd5a9a 4329 matita_0.99.1-2.debian.tar.gz
 5db43cfae324b1324166b775c6bda7e05a95fd25 2373784 matita_0.99.1-2_amd64.deb
Checksums-Sha256: 
 073dc328ba3a45ed71d194caa5c373fbe769e0b29a19cc1a62e97a6c2aafdae3 1542 matita_0.99.1-2.dsc
 6c36f26eb9694d812aafd652d08a0c92543f1d60a5a68b0e421ad0f29f03e965 4329 matita_0.99.1-2.debian.tar.gz
 c91ff2a28dc1d64818a019a564765f8fd3bd543c017ac053492409fb622ec899 2373784 matita_0.99.1-2_amd64.deb
Files: 
 d6148f6c594fb33b1ca4b045e66dd943 1542 math optional matita_0.99.1-2.dsc
 fd2a410426f5f214bc57eb854dcc0283 4329 math optional matita_0.99.1-2.debian.tar.gz
 eff3a7f8f7d4dd122066e1a04c086037 2373784 math optional matita_0.99.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)

iEYEARECAAYFAlJMDAIACgkQ7kkcPgEj8vI1pACeKtftxoGG/gZSoKfaaaVw2c05
LmsAnidbw3g4GEh5WnlUPYwmbeG6lWG8
=9TMI
-----END PGP SIGNATURE-----