Accepted matita 0.5.0-1 (source all amd64)
-----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