[ubuntu/oneiric] matita 0.5.8-2build3 (Accepted)

[Colin Watson]

matita (0.5.8-2build3) oneiric; urgency=low

  * Rebuild for OCaml 3.12.0.

Date: Fri, 20 May 2011 19:28:57 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/oneiric/+source/matita/0.5.8-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 20 May 2011 19:28:57 +0100
Source: matita
Binary: matita matita-doc
Architecture: source
Version: 0.5.8-2build3
Distribution: oneiric
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
Changes: 
 matita (0.5.8-2build3) oneiric; urgency=low
 .
   * Rebuild for OCaml 3.12.0.
Checksums-Sha1: 
 055ade0a84a6ce2e79438bd87f86c6f301241343 2441 matita_0.5.8-2build3.dsc
 21b1e8ab92f8fdbef07698c26e7bc4606e67c901 5530 matita_0.5.8-2build3.diff.gz
Checksums-Sha256: 
 f704ccb1bed3d9544e65b39c9bdc81b4ef94d4677e20f8623d380d307d0966d7 2441 matita_0.5.8-2build3.dsc
 b2d485827ceb7bd0da7c139d170faeff121b8f06578d313aad0b7ef1379d14c9 5530 matita_0.5.8-2build3.diff.gz
Files: 
 70cd89343e22179853630aeb062af7ea 2441 math optional matita_0.5.8-2build3.dsc
 cd4ea25c1e7e9bf4ff2737ada28e3fee 5530 math optional matita_0.5.8-2build3.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBTdazEjk1h9l9hlALAQjYABAArMaVL7WebAxKHN6+97mnTx4OL6b/p/R6
rghc4+pJQa6rTdtoaUtvT+QB5quFoayH/gyXupV+8SsLN4rp6ax50oOyiFaFDIw0
/zHO+s8a+MZOeSRwcee3YLIgLNn6c2CG+dFeYRu/9nI+zDcCS2zPqljKXu91MQWC
uTynkX/tXrabcXaIMX7Q9H5urt+J3iWS/EYFU/gkiI2FO8i+bGbWskDq2cWXR5KY
16JbLSigWxaUGs/Vu8+DoFV8K415QNJKtPK3nORV2IYaMzqx4O0NkLTRS11p8EzZ
GhJqlhvqETJGzMUslFqIwaS4h3UbpWNPG1oNxpcltUlvx+0hu9NNfcND8ts0KWNV
3cHuID21P0U0KuC+97H9SkE3oxmHm+lRU6D05ECdyazNoJ7h6VIThRKa0NM/Oalt
7HzDR7JmelZfi4IC+piU5Iyu7+riPSoom35HqvtVS1TcwO3H0bjgGBh5nam0s53E
X56GwxuqhPZuXDEOvTsv2hHeI5yuTJlRTu0+BVPlNLY7ekZjfO/rHBnWhKkYdDl4
Vi9QHwcpvK2kZ2uGvL50ws1I2NjlcoOO0x4IKI0LYyl3oBXBIjIg2CNBWzJJsl3Y
nUDrL8L7mKgof0XWN3MNTCY+9HQyUra0lii2Nwfc+o1EJoXFlqISAr+i1MQdbZn6
CSbHwhKaDag=
=AqLn
-----END PGP SIGNATURE-----