[ubuntu/focal-proposed] why3 1.2.1-2ubuntu2 (Accepted)

[Steve Langasek]

why3 (1.2.1-2ubuntu2) focal; urgency=medium

  * No-change rebuild against ocaml-nox-4.08.1

Date: Fri, 21 Feb 2020 07:36:08 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/why3/1.2.1-2ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 21 Feb 2020 07:36:08 +0000
Source: why3
Architecture: source
Version: 1.2.1-2ubuntu2
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 why3 (1.2.1-2ubuntu2) focal; urgency=medium
 .
   * No-change rebuild against ocaml-nox-4.08.1
Checksums-Sha1:
 927d0ace9931e42bce23858d390b036f1a3401fa 2778 why3_1.2.1-2ubuntu2.dsc
 5134e3c16d39afc4122203be4651313c1bc78276 18040 why3_1.2.1-2ubuntu2.debian.tar.xz
 b25ed7c35b5f63f98565f0b4a63fa16159ea3330 5676 why3_1.2.1-2ubuntu2_source.buildinfo
Checksums-Sha256:
 e48459e0337dc0063b0612c9d644880b76d160f5b9833770fdab2d316759e167 2778 why3_1.2.1-2ubuntu2.dsc
 c1bc74e60ff3acd2bd221c8929e85de7b3f38135bfd67fc51b081cb887382627 18040 why3_1.2.1-2ubuntu2.debian.tar.xz
 78787e223164df5d064746d7b0605e2ca8c11436993d121e45a1506837546c40 5676 why3_1.2.1-2ubuntu2_source.buildinfo
Files:
 61b9825645aee314041bb7576aac63a5 2778 math optional why3_1.2.1-2ubuntu2.dsc
 ca31b96153752930bb70e8d87804c78b 18040 math optional why3_1.2.1-2ubuntu2.debian.tar.xz
 4a8f19c26436058cea8df302da172c60 5676 math optional why3_1.2.1-2ubuntu2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl5PiGkaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0CKxAAzmJIAU6PCDC4b6vcP6YA
wgZmV0AOR0deIu15SKbtW2y48Hp6X7ZpbwwRtwHaTWhfTFP0Iiz6O3beuLBS7FGR
SFFe/uC6D2F4XQlOg3EARQj3viTrtIMwFeDs6yrFnMoZpfcK0/e/cywo730Nqtqb
hICI/K1Yusfl1zZs6KoOP9iPqe0aSaExEBq+81LhJJytgE4dPVoC/Dp7gwFezA/B
6do7HI0tnwuCmlm0NQmxnYoexSXLeokF/NbpVFvVmLfBlIM7FnqI0ahfR4eriHW9
a5nueOrBJv/jcu5NzxChqZzDUQKGpHwUhb9Lm/S6fO/yobdHq7L764Fp+cRXLRBV
FGUxzGB9xVVuwI5syaeradJa/ZdmeWM1jcKfAh1FKkWAGSZfO8xfYy4NZVqEUGnd
eq2nl5dRCgM3HUhAiQ0ZfEu9Qz73WOieN6pyWnsGp3v66SOVj4T7BI/4Skr46Tno
hBrWlDIFCm3sR2oUDNUu+kAjBvvP3jpdpKNqoigG63KYNiiMEdZrOL4SWsEYgRVc
Qafo1NiO+HR41AXSYZfWCmiQirjokV1TMpY1gUjuhB745JHMM6SJrbkdCNlZHB6F
TaAAbZ+tS7fppkh1yNE3vQ84kspAdBlwojPPZ2k5bCLQek2ONkQiQguJjr9JU/2h
awtepfn3EKrRPdyAYpDIMHE=
=aqP3
-----END PGP SIGNATURE-----