[ubuntu/xenial-proposed] matita 0.99.1-3build1 (Accepted)

[Łukasz 'sil2100' Zemczak]

matita (0.99.1-3build1) xenial; urgency=medium

  * No-change rebuild against ocaml 4.02.

Date: Thu, 05 Nov 2015 09:09:16 -0600
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/matita/0.99.1-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 05 Nov 2015 09:09:16 -0600
Source: matita
Binary: matita
Architecture: source
Version: 0.99.1-3build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Description:
 matita     - interactive theorem prover
Changes:
 matita (0.99.1-3build1) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 9d9cad7a1a1e589b5e06443747e11de56b6e0706 1846 matita_0.99.1-3build1.dsc
 0dffcf270f5c32cc0ccec38339fa0447de333d71 4708 matita_0.99.1-3build1.debian.tar.xz
Checksums-Sha256:
 fce662028d4dc8d7106667d1f805083fd3182cb4cf9b46f2cca6e6f2cefa5a31 1846 matita_0.99.1-3build1.dsc
 992d93f5a37982f3c3cddf68433131dbbf5c01ac8b455f758c5216af64db2ddc 4708 matita_0.99.1-3build1.debian.tar.xz
Files:
 ce7fa6e943ca48f34fc3aac66d3cf48c 1846 math optional matita_0.99.1-3build1.dsc
 349b9b2870ce95bffdb01788a4b96aeb 4708 math optional matita_0.99.1-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJWO3EmAAoJEAIZyhnQNDMMmscH/RipC9wH8gzo2OoBo3Fr3els
/OfLDH+Tme5OCrS0HnxS4I7HAZsyAvN/VHUyUKFPemmDneK11al9YUwt3ecTDRiz
ns+12YPXR8EwCYrHN/waFsiA2MN8l4U46NXVtmVnQufbw0tgvD+CEl/Cvlj0kA3Y
op+5keXsD90+sGjrlcWuUgdQdk3HuLxA+kZ6QEK2RVYwbEQJsTSp8V8KiU8+XvC/
YxltyHlf/UDr6mAWdjg9g0Rov00sERAJx1ztqojnii0POhCJiphX1PfvCb3EUoAa
ymOwqTqR5TqamqO1e/v+X9tRhCV6KIw+b41G7qnSsKYSy0QQjfV0OKCEEfRew3E=
=oUur
-----END PGP SIGNATURE-----