[ubuntu/oneiric] matita 0.5.8-3 (Accepted)

[Bhavani Shankar]

matita (0.5.8-3) unstable; urgency=low

  [ Stéphane Glondu ]
  * Team upload
  * Switch packaging to git
  * Switch source package format to 3.0 (quilt)
  * Remove Stefano from Uploaders

  [ Colin Watson ]
  * Apply r11210 from upstream SVN to account for changes in the
    signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)

Date: Tue, 31 May 2011 11:17:47 +0200
Changed-By: Bhavani Shankar <bhavi at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Bhavani Shankar <right2bshankar at gmail.com>
Origin: debian/unstable
https://launchpad.net/ubuntu/oneiric/+source/matita/0.5.8-3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 31 May 2011 11:17:47 +0200
Source: matita
Binary: matita matita-doc
Architecture: source
Version: 0.5.8-3
Distribution: oneiric
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Bhavani Shankar <bhavi at ubuntu.com>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
Closes: 612891
Changes: 
 matita (0.5.8-3) unstable; urgency=low
 .
   [ Stéphane Glondu ]
   * Team upload
   * Switch packaging to git
   * Switch source package format to 3.0 (quilt)
   * Remove Stefano from Uploaders
 .
   [ Colin Watson ]
   * Apply r11210 from upstream SVN to account for changes in the
     signatures of Gramext.Slist0sep and Gramext.Slist1sep (Closes: #612891)
Checksums-Sha1: 
 5f253873249bcc7c2d10612529105843f60d262b 1974 matita_0.5.8-3.dsc
 c6983361b93d1f453526cf0e49bb273b96e1e3a2 6565 matita_0.5.8-3.debian.tar.gz
Checksums-Sha256: 
 79a19e94f9c9f4cb9550dc5e68069bfb6cb88be2f8b223b3123ebaad38926859 1974 matita_0.5.8-3.dsc
 c5bc4d8d3832f33dd57eebb8cf689b00c22b9eb8fa72a39b5951197eac7cce83 6565 matita_0.5.8-3.debian.tar.gz
Files: 
 e38f09a876f5648e651aecebfdecc48d 1974 math optional matita_0.5.8-3.dsc
 ede4dca78cfc37ae39e5ca2c31406270 6565 math optional matita_0.5.8-3.debian.tar.gz
Origin: debian/unstable

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAEBAgAGBQJN6nv+AAoJEAX76EYVmejV8fsH/isMF2anL+3u8fwTuFz+cg+T
EgMkew7UKjtl6AbrEVvTjVAdrY9gYauJLsCSLLHp0QU4Z4qi7bmPuSAjiMWe7/K3
dqb6vM7Azyi+BF1Pl1ru4UVC5olyV5AVLbqsTGuJ+UCQhUstyAJt9qglUWeO2q2z
lKvwSDpFG9l2aPrRDDVxXz7RM8xgpBGpgHarDTXQJ7rERbTjKkMPWE49Q4LgE+5o
frhne81QYDaNyGQYgQBR2T48W1QsI119W3Up1i5LtPUivvBj1SfPo2h3h4Le0D4e
ot9l+GZeJ/yK2vGjr5FlJ6hVCjXrz1UN1VG/tb2EREdsSeJuQUqmHr4p4ivUKt0=
=Hsl5
-----END PGP SIGNATURE-----