-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 01 May 2008 14:11:10 +0200 Source: matita Binary: matita matita-standard-library Architecture: source all amd64 Version: 0.5.0~rc1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <[EMAIL PROTECTED]> Changed-By: Enrico Tassi <[EMAIL PROTECTED]> Description: matita - interactive theorem prover matita-standard-library - standard library for the Matita interactive theorem prover Changes: matita (0.5.0~rc1-1) unstable; urgency=low . * New upstream release candidate, fixing many relevant bugs and cleaning up the standard library of theorems * Strict dependency over libgtkmathview >= 0.8.0-2 Checksums-Sha1: 67938bc69e3199954cb02fba97faa9138aee124d 1680 matita_0.5.0~rc1-1.dsc e7b452535839b60d5ce6d7f9b7bd5b4069dbf614 1925162 matita_0.5.0~rc1.orig.tar.gz a2949c0e1355135612f0cf7ed88b9c3c6c24427a 4334 matita_0.5.0~rc1-1.diff.gz 0e5315f085f88d7c14954d2a7f38fb40f4fd0c5e 11415352 matita-standard-library_0.5.0~rc1-1_all.deb fa0365911f47f3d36458822c6b2194d3a247832c 3585244 matita_0.5.0~rc1-1_amd64.deb Checksums-Sha256: e32d1858b33c7f8ce262f23f32d9a3ef57923643ac2a0d09549bbc44e303391d 1680 matita_0.5.0~rc1-1.dsc fe9f1e252ed03c343980883b6a5b0bc7aecf3ef57a5fbc35ba5cb61d1333a8d7 1925162 matita_0.5.0~rc1.orig.tar.gz b7ef01a69cbe9010caa2346268b51d139567d82fca44248b58179592d8c97b79 4334 matita_0.5.0~rc1-1.diff.gz 183177be8aef54e6a7c674775e125660e19bda41f1d24684f7b18561e8ee419c 11415352 matita-standard-library_0.5.0~rc1-1_all.deb abb911cf248ffad6b71b6e0929fe8b38e3cc5dfb21c616561ec3c9e3fda80fd5 3585244 matita_0.5.0~rc1-1_amd64.deb Files: 2f928d1203a569cc7f2a3c6fb85509d2 1680 math optional matita_0.5.0~rc1-1.dsc 21363f430eff02cf1ce6dba15714dcf2 1925162 math optional matita_0.5.0~rc1.orig.tar.gz 3779ab7f8b9e695a27b8ec5b6175befc 4334 math optional matita_0.5.0~rc1-1.diff.gz fb0358899854e5abd9764b17bf4f444a 11415352 math optional matita-standard-library_0.5.0~rc1-1_all.deb 90e97cc1d39f7b54a83a39f9363da983 3585244 math optional matita_0.5.0~rc1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFIGcTk7kkcPgEj8vIRAi5sAJ9YIRLKmQ3sRZWISGsbRCcsNc52DwCdH+2w x1urrFh2Der59mk9MoSFs1A= =/6LJ -----END PGP SIGNATURE----- Accepted: matita-standard-library_0.5.0~rc1-1_all.deb to pool/main/m/matita/matita-standard-library_0.5.0~rc1-1_all.deb matita_0.5.0~rc1-1.diff.gz to pool/main/m/matita/matita_0.5.0~rc1-1.diff.gz matita_0.5.0~rc1-1.dsc to pool/main/m/matita/matita_0.5.0~rc1-1.dsc matita_0.5.0~rc1-1_amd64.deb to pool/main/m/matita/matita_0.5.0~rc1-1_amd64.deb matita_0.5.0~rc1.orig.tar.gz to pool/main/m/matita/matita_0.5.0~rc1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]