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

[Dimitri John Ledkov]

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

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 11:45:39 +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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 11:45:39 +0100
Source: matita
Binary: matita
Architecture: source
Version: 0.99.3-1build1
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-1build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 07067265764c88e6985f151be943c2a570861799 1924 matita_0.99.3-1build1.dsc
 1063a6c198972b77eb24842ef99e18ed95acf3ac 4436 matita_0.99.3-1build1.debian.tar.xz
Checksums-Sha256:
 af4a8f3d0952ba2b1107b3025d3ecf587ceb6935d222eab5f77f2abb40b53ead 1924 matita_0.99.3-1build1.dsc
 3edd6dbef07def82b0c64e23efd1b52f80e762e3ae9229fd3ba4ab164c337b73 4436 matita_0.99.3-1build1.debian.tar.xz
Files:
 7f9f5b286d7ab7160167c4389e9e2d80 1924 math optional matita_0.99.3-1build1.dsc
 739451e7080859141a41cb888fd9bc8b 4436 math optional matita_0.99.3-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZWiBvAAoJEMrC2LnNLKX5hDoIAKoTOLPzyTx0bHsX/ptYwylZ
xorfJph61v6xw7fA96W5tiUwwFhBm+MWTt8Qj0VEK9V06J7Iv9CITyAOaxYsWHZ9
NN24dfMKnDm9q36T6N8u5yPASRQ14XS1txoSbvvtEu4dXpITNHYkDJzyeDzENAY0
Bf1AyUhu8OoNYPM872LDdbbWXewNyOYKWlSaIG3gTtpKONef0SSX9XIH9j5RahKt
cNkpTaPKJHFPfdCZCjEifd/3ceJVNTU49a1SRscdGEPdW+x6ypzadt149+jGitZd
EbiJLUmEktkWLqZgXaID1eKyKwlqosxhDkrLS/FOiKJE9x6W63mUoVA/tvIpO/s=
=dpZ7
-----END PGP SIGNATURE-----