[ubuntu/karmic] matita 0.5.7-2ubuntu2 (Accepted)

[Michael Bienia]

matita (0.5.7-2ubuntu2) karmic; urgency=low

  * Rebuild with OCaml 3.11.1 on armel (lp: #421088)

Date: Tue, 01 Sep 2009 09:49:06 +0200
Changed-By: Michael Bienia <geser at ubuntu.com>
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Signed-By: Michael Bienia <michael at bienia.de>
https://launchpad.net/ubuntu/karmic/+source/matita/0.5.7-2ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: RIPEMD160

Format: 1.8
Date: Tue, 01 Sep 2009 09:49:06 +0200
Source: matita
Binary: matita matita-standard-library matita-doc
Architecture: source
Version: 0.5.7-2ubuntu2
Distribution: karmic
Urgency: low
Maintainer: Ubuntu MOTU Developers <ubuntu-motu at lists.ubuntu.com>
Changed-By: Michael Bienia <geser at ubuntu.com>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
 matita-standard-library - standard library for the Matita interactive theorem prover
Changes: 
 matita (0.5.7-2ubuntu2) karmic; urgency=low
 .
   * Rebuild with OCaml 3.11.1 on armel (lp: #421088)
Checksums-Sha1: 
 ed1283e749d749dec602e87f57f83b79467a840f 1964 matita_0.5.7-2ubuntu2.dsc
 a37a27263bfa8dd909f1426c2d98b03407e58fcf 5621 matita_0.5.7-2ubuntu2.diff.gz
Checksums-Sha256: 
 fd90b19b8cb671e26f5cc3ee1e736e27d9ed58cd01cd1d1804743c1d735d0eef 1964 matita_0.5.7-2ubuntu2.dsc
 0d9c41335b141e10e7c6f3c0462a9c40e731baf9f09b40813feb85d2a0b4f639 5621 matita_0.5.7-2ubuntu2.diff.gz
Files: 
 5d8f025e33bfe148cbf4395326dc1df7 1964 math optional matita_0.5.7-2ubuntu2.dsc
 32fb83ac6e0b5c29f3f4d300cf6ce86b 5621 math optional matita_0.5.7-2ubuntu2.diff.gz
Launchpad-Bugs-Fixed: 421088
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.12 (GNU/Linux)

iJwEAQEDAAYFAkqc1a4ACgkQo8/XfXdugupxjwP9FToqdzydTiNbSJF+I2f9Bqmg
q3GUn0RgKiL2Kg4q8MnKR/zrdONrurUJjVtfRWXYDG7sIeJJ/hoeYWHxHz2G3pUV
ZUzk1j0plL2m2pTvDzsHjx1/LYU2Te2tm6nzIK8dNh1LFu/80qe0oVIgkgr1O2qa
ykb9cBXdyNhX3oWqJ2c=
=HEfU
-----END PGP SIGNATURE-----