matita (0.5.8-2build2) lucid; urgency=low * No change rebuild for libmysqlclient transition.
Date: Fri, 16 Apr 2010 12:12:58 -0400 Changed-By: Chuck Short <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Signed-By: Chuck Short <[email protected]> https://edge.launchpad.net/ubuntu/lucid/+source/matita/0.5.8-2build2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 16 Apr 2010 12:12:58 -0400 Source: matita Binary: matita matita-doc Architecture: source Version: 0.5.8-2build2 Distribution: lucid Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Chuck Short <[email protected]> Description: matita - interactive theorem prover matita-doc - user manual of the Matita interactive theorem prover Changes: matita (0.5.8-2build2) lucid; urgency=low . * No change rebuild for libmysqlclient transition. Checksums-Sha1: b82637a69b8416ac745f2320859c88935d3da6d8 1745 matita_0.5.8-2build2.dsc 6886bb854982921eeecfc3d10a00f4249c095f62 5361 matita_0.5.8-2build2.diff.gz Checksums-Sha256: 5141752510f2ed24c84281f95384a0fdfc0c3dbbd4ee3ed39f47a63c552921a1 1745 matita_0.5.8-2build2.dsc b7c156ed680ec9f23bd043f32295e3864878826c9d22d81d520c6583d09e6105 5361 matita_0.5.8-2build2.diff.gz Files: 155fba71bf490c938aec4a9754a37ecc 1745 math optional matita_0.5.8-2build2.dsc 91f74a792fd8a3b915eb9da9827ac677 5361 math optional matita_0.5.8-2build2.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvIjKQACgkQIHZ33voUATsu9gCdGVJtl4THBIGP8+LViKLbfDhR wPEAoIC1pVZULZrQprgDhABkWmtNxrry =ys4b -----END PGP SIGNATURE-----
-- Lucid-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/lucid-changes
