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