[ubuntu/artful-proposed] matita 0.99.3-1build2 (Accepted)

[Dimitri John Ledkov]

matita (0.99.3-1build2) artful; urgency=high

  * No change rebuild against new ocamlnet abi.

Date: Mon, 10 Jul 2017 18:02:40 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/matita/0.99.3-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 10 Jul 2017 18:02:40 +0100
Source: matita
Binary: matita
Architecture: source
Version: 0.99.3-1build2
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 matita     - interactive theorem prover
Changes:
 matita (0.99.3-1build2) artful; urgency=high
 .
   * No change rebuild against new ocamlnet abi.
Checksums-Sha1:
 3260e140082a903b9ff241aa697703a5639ddebb 1924 matita_0.99.3-1build2.dsc
 c14f3b21c7a601e3627dc39adec5221184237e6d 4464 matita_0.99.3-1build2.debian.tar.xz
Checksums-Sha256:
 d5fe408f38b3fd813659bbe13b8867d86916c8b2e31d43db66e6a818d70707d6 1924 matita_0.99.3-1build2.dsc
 fc8623c586be48c11ac57d9d7e389e912e709b50931ac1e0a2f0c302ec4d8626 4464 matita_0.99.3-1build2.debian.tar.xz
Files:
 ea8e531ac0b55f5b2a2a1167e3ebcf82 1924 math optional matita_0.99.3-1build2.dsc
 80ebecc76e515355e6eddab8db5ff38d 4464 math optional matita_0.99.3-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZY7M4AAoJEMrC2LnNLKX5JsoH/RJFQHD0irhWVtR0V4ocoHcG
qSLUva3AM/+vwdzfJ1rJtPc3w5qvkWaI+22gFOBjQ9Ju2VNXwGCFczJaoZkrnbF6
wqJXM+Mwtoj00ShFkAct5MLaPfSRv2mVFct0Tg3h9uApLN3EY24nbOMz6DQiunxO
yDVYEcUpWcObtsoK285CZmnuRan8iV2WzUSvc2uQj57qUOK3632srGiGI8LRmEE0
pt9be6zTQPNEH7wvTScv1bAWG9rk0ZKjZKv2eVd8dWkk8vAyuSv7pTv6uzB8jco1
wo3HZAs9EyrMimC4+Gzkro4R/pc7IDa7iRZOIemnAA2yDxQZIUzJ+4FHlPsK6KY=
=lYis
-----END PGP SIGNATURE-----