matita (0.5.8-3build1) precise; urgency=low * Rebuild for libmysqlclient transition.
Date: Tue, 29 Nov 2011 00:00:36 -0800 Changed-By: Clint Byrum <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/precise/+source/matita/0.5.8-3build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 29 Nov 2011 00:00:36 -0800 Source: matita Binary: matita matita-doc Architecture: source Version: 0.5.8-3build1 Distribution: precise Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Clint Byrum <[email protected]> Description: matita - interactive theorem prover matita-doc - user manual of the Matita interactive theorem prover Changes: matita (0.5.8-3build1) precise; urgency=low . * Rebuild for libmysqlclient transition. Checksums-Sha1: 84e420ae1b57894deae7e5160b076944cdc8fbbe 2072 matita_0.5.8-3build1.dsc db365b915cf153ab5208a4ee16c6ee9037fdb889 6627 matita_0.5.8-3build1.debian.tar.gz Checksums-Sha256: 7ddb50587c02e3eb0a41a20862ffec2d821ef562453a9e2d14925390ae765a0d 2072 matita_0.5.8-3build1.dsc 3178c80be19a454219929d7adbcbc5f404d3d523a7afc451d0c9e960a0345be7 6627 matita_0.5.8-3build1.debian.tar.gz Files: 9dcc7d2af09b8d0a462d8903732b6232 2072 math optional matita_0.5.8-3build1.dsc c9b595118c8e6427f924c09c16d33d46 6627 math optional matita_0.5.8-3build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJO1JE+AAoJEFOMB2b0vLOONpcH/0sZ8zAzJ+P+IlUryG3G2QwZ DAuWFIItNwTxxFlRBnWyauKSlDYiviDhOWHUYIaMl46HDfTcTo+qMvqUX9SAiKb8 Rm2WjbTKYHC69jSVNSiZ+AXtnXPQIoy4I9JKh9oMFSpsVXdf9FH3g3e8O3yn9Tw1 aiRt+ipEigqxmJU82FBR+M1m10J4SemqD4DJLU0lyuOmT8pje4g3w9q4oKRYtcyY FumrAM91nCs1igLNoaWIN1smwEBEoKDQoFH1K/DpcGjF+W/hEXct2/1jmG44jyaU /V2FmQNQZeHXm98dVgfuqJDPyx7jdxeBNJGoZ9Zt/L4AZ9EpTG/02yC0zH2kaSU= =SXls -----END PGP SIGNATURE-----
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
