-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 09 May 2008 18:47:36 +0200 Source: matita Binary: matita matita-standard-library Architecture: source all amd64 Version: 0.5.0-1 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 matita-standard-library - standard library for the Matita interactive theorem prover Changes: matita (0.5.0-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 12c56dd81ef30e7d5c6b67be308e4b37832df2e8 1652 matita_0.5.0-1.dsc 22256bc8779f072d57313a0f341744f4306fb976 2126362 matita_0.5.0.orig.tar.gz 78833057aba0944859311675f785e66848737931 4351 matita_0.5.0-1.diff.gz 128df0a185c1b9b97b4b8ed3878c7561905cb14a 10346988 matita-standard-library_0.5.0-1_all.deb e41f6d237af121ea5caa82eb089382fd38938090 3586630 matita_0.5.0-1_amd64.deb Checksums-Sha256: a256a0e29dcb57b0586bccba5a15f6aea682bf8529f35ff9ac1d31587e890a85 1652 matita_0.5.0-1.dsc 0eed79d6e148d365859be164c1c2c7ef0700e4e67f7bccdee66f2a340b5adf00 2126362 matita_0.5.0.orig.tar.gz c149ed3a3b054c02f4c7b4cbe18b0bd42a7f0aeec578519ebced64590bf1943c 4351 matita_0.5.0-1.diff.gz 9fe272bab7c53cef9c5bc07015c5a1bb00975101299fefd3695b00f743bf42ee 10346988 matita-standard-library_0.5.0-1_all.deb 05ca5f140e41acd1dcdeb205410c3ecccf8b89cd0ca8fea97909d068d6ee02ce 3586630 matita_0.5.0-1_amd64.deb Files: 49f8a1bbf4f8fe792f406f1e907afef0 1652 math optional matita_0.5.0-1.dsc 53859d688f554bc73f72218a7c8fea58 2126362 math optional matita_0.5.0.orig.tar.gz a15ba623dfd24d2b0874b253aa028e6e 4351 math optional matita_0.5.0-1.diff.gz f0a46d43e0b8a88563d4d26d88cc3152 10346988 math optional matita-standard-library_0.5.0-1_all.deb 86c68f77f7e5971919c71981badde70c 3586630 math optional matita_0.5.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIJXOT7kkcPgEj8vIRAm2cAJsGnVPEXxg55SD3yNreCdKLY3uu/wCcDiE9 R/Dap+MX7ljqE5bFMHb8sFk= =v8PY -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.5.0-1_all.deb to pool/main/m/matita/matita-standard-library_0.5.0-1_all.deb matita_0.5.0-1.diff.gz to pool/main/m/matita/matita_0.5.0-1.diff.gz matita_0.5.0-1.dsc to pool/main/m/matita/matita_0.5.0-1.dsc matita_0.5.0-1_amd64.deb to pool/main/m/matita/matita_0.5.0-1_amd64.deb matita_0.5.0.orig.tar.gz to pool/main/m/matita/matita_0.5.0.orig.tar.gz
