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

[Colin Watson]

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

  * Apply r11210 from upstream SVN to account for changes in the signatures
    of Gramext.Slist0sep and Gramext.Slist1sep.

Date: Sat, 21 May 2011 09:44:50 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/oneiric/+source/matita/0.5.8-2ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 21 May 2011 09:44:50 +0100
Source: matita
Binary: matita matita-doc
Architecture: source
Version: 0.5.8-2ubuntu1
Distribution: oneiric
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
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-2ubuntu1) oneiric; urgency=low
 .
   * Apply r11210 from upstream SVN to account for changes in the signatures
     of Gramext.Slist0sep and Gramext.Slist1sep.
Checksums-Sha1: 
 27e059c72fa29b0778a3bda7fc311a36104055fe 2524 matita_0.5.8-2ubuntu1.dsc
 5c3657d389d7efb3deb1e3d39c9a9835de98ff94 6205 matita_0.5.8-2ubuntu1.diff.gz
Checksums-Sha256: 
 27ce2ac55bcf9d6a123d8c0a265eeee75032692319fd3dc76561f072514fd630 2524 matita_0.5.8-2ubuntu1.dsc
 0d2343e015422a34b0c86812339f03620c9d9583000a0be5fdc0d989696707e1 6205 matita_0.5.8-2ubuntu1.diff.gz
Files: 
 cf7678c4ea59475337129a3eec9af389 2524 math optional matita_0.5.8-2ubuntu1.dsc
 75ea83504d0ef12a4f4501d92078f9da 6205 math optional matita_0.5.8-2ubuntu1.diff.gz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIVAwUBTdd7mjk1h9l9hlALAQgULBAAh/IokdKqGf0HNgc35ejVIKGdJQdqnwBm
MOZpNgDPUwMBSyLtM7jGvgnB2LhjOr1kXbPh+NlRvYB0N8Ks+9edfNROQCWFbrq5
anIhTCFSIomhicAakN1p31EFm7UvyyzIrLabSMN67M+vZ78duwHBsnqwT6hFLVD+
a+zBpRa8LdaWjbub/WT1kDhPOXgdnPrs1pHg6KhsOxQAHqA5j7gEPBmSYjiDOl8V
9WlPcBTJQSv25WP5gH59Lc3/YpRsM5LTQjObbxDraNeY0Sx9Ql81/Khtr3yhp9sE
GcTWg9O+ekrBP/E3BosRBxgzUi8VCHu+I5e6rgsBF+aVowbzuzQUicgk+k+y/E+s
x3n2o555JkVzrG69KTaFR4XE3Xs1KEBODKm0BiWDR22ne11yPKw5ZV0QuROKYC77
70wa/5J/DXIsVXfM6QdkD6Urar1p30SuzaYXLiZnPmvU6BOZb2QBq9AUR15GxuCK
AeLul6HhiU8b7pK9hqGl1SfCg3T4FZO7Z3GnIrKJSRDLFHn1YRbmpi1bna0C2Mq4
/kVZbf/rZw5EgYI6WQRnCPD4sQiTlIl5b4hIm1XAgzwuNULGjyMTF0jTW3KeHb2i
6MtInPO0H4rkdvIWEOPMk2r0XmO7h3eeEK1BEX1soWxoXq07Djhma1bshN29olve
hlt68EMBYPs=
=fNjP
-----END PGP SIGNATURE-----