matita (0.5.8-2build1) lucid; urgency=low * No change rebuild for libmysqlclient transition.
Date: Mon, 12 Apr 2010 13:38:13 -0400 Changed-By: Chuck Short <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Signed-By: Chuck Short <[email protected]> https://launchpad.net/ubuntu/lucid/+source/matita/0.5.8-2build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 12 Apr 2010 13:38:13 -0400 Source: matita Binary: matita matita-doc Architecture: source Version: 0.5.8-2build1 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-2build1) lucid; urgency=low . * No change rebuild for libmysqlclient transition. Checksums-Sha1: e65f3a8968cd7f331f8462b0796bb64b7d5a4ba2 1745 matita_0.5.8-2build1.dsc 4f8ffc6daca4f3ffc4efb04c7f4ed1fe232c5bfd 5329 matita_0.5.8-2build1.diff.gz Checksums-Sha256: 9412dea6b581eaf8769fd9082041d0b96016843ab20acf10f76145e1cc391285 1745 matita_0.5.8-2build1.dsc eff1a89d58d6df4678943f71119c90fe5d462deaebe108b4c531b8097fb1606d 5329 matita_0.5.8-2build1.diff.gz Files: a5e55ff2541cea3a43931dfd42ce38bc 1745 math optional matita_0.5.8-2build1.dsc df4e0b4f3dfd4ec605c6be6e78db08d6 5329 math optional matita_0.5.8-2build1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvDWq0ACgkQIHZ33voUATtoNgCggN7XNJ7W+Ev4gfb0A2ncjMdV 6jEAnRKaBJMeAjYITam2tpN5zCgm6bDw =NnPv -----END PGP SIGNATURE-----
-- Lucid-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/lucid-changes
