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