[ubuntu/focal-proposed] alt-ergo 2.0.0-5build1 (Accepted)

[Steve Langasek]

alt-ergo (2.0.0-5build1) focal; urgency=medium

  * No-change rebuild against ocaml-base-nox-4.08.1

Date: Fri, 21 Feb 2020 15:47:42 +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/alt-ergo/2.0.0-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 21 Feb 2020 15:47:42 +0000
Source: alt-ergo
Architecture: source
Version: 2.0.0-5build1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 alt-ergo (2.0.0-5build1) focal; urgency=medium
 .
   * No-change rebuild against ocaml-base-nox-4.08.1
Checksums-Sha1:
 3c5146b14a6120659cabcc67b551dad0ae7d33c2 2385 alt-ergo_2.0.0-5build1.dsc
 0034b01374b5ed43ab9cdb78de1138395e3ade26 7140 alt-ergo_2.0.0-5build1.debian.tar.xz
 bf8acaed23817b88a9dfbb0f64e0f2399e61d658 5624 alt-ergo_2.0.0-5build1_source.buildinfo
Checksums-Sha256:
 46882941d623eaa5941f97c80ed618a6b2c764affff911588919af1b479554cd 2385 alt-ergo_2.0.0-5build1.dsc
 eef6ae032d23f5150ca85579ec0ec7be5bd5399c38810f62937883e9b3ae55ca 7140 alt-ergo_2.0.0-5build1.debian.tar.xz
 08fe26d76501b4fb1d4a5ec0bc58d5359ca700ebde4118c9b76d674ced4a80d9 5624 alt-ergo_2.0.0-5build1_source.buildinfo
Files:
 bd6c34037c66c9df6bc5d8479c77c5f0 2385 math optional alt-ergo_2.0.0-5build1.dsc
 cab0aed52ccbec3219aec5c40e95b782 7140 math optional alt-ergo_2.0.0-5build1.debian.tar.xz
 15f512e7106e3e3ece7c0a0c284a00a2 5624 math optional alt-ergo_2.0.0-5build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl5P+6UaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3lpA/8De8ncVMBxz7fm7fBy+Fm
GK0OU65F0JusoWuYsi1nVnQNE0fABeLWn7z2vptEsFZKwhs2gf/5n/e2H03zN+7I
bx1u/0VUThbDPgtDNBASz0rQFRKENalElJZUiCwNRxrkw6kc9/msiNxnXUhMOFE6
5ajoNBkAaJTwDVY+wpRyg7wpxY+YRZGAwjBujL7Q4epk36qPA+ESBzBZH4i+RWW7
wpg1mU07RrEYmBMNv8FU7hTLuKApa9pWCc52cZKdNYyqfQr/TWdQzaLZsI7uHTUY
wxqd011mPBG4i3rs7YVT6TCWtRaCWjvmSc9YuQ+HSXkBz+H6N5ekN8OHXXUwbaBv
Sow62MWzhLfqgmMCdChJKYvqR8Wy62cFBa/E1Z08UMQ0ZniI1yTSb9CxOIm/M+pA
48CZOhUfPgIqV+VHqlUhhVLRjjc9DxvBypFB/0lqa3cg+DOIdDZu3u2TXdsbagyO
RtK3LrkJoP1iYP3EGSHjhZFPMC/s+Zi3Ifs2hyH4N3IffuS4dVxHVXdB45MN43v9
Se0wmhZNIvqpsKoGInu7BmAeUjSBHLBR41uhuX7Nk7vBO4JnkAmEKzddMgFtohvF
gspxVmfYwtcOBM+q/CwnS0J6mJGmNqki3zvNO5DODcaSMaujvb+A/ViZ2qMASvEW
a+Kiv/GO+z+WAcgp+PtQw+U=
=OGuN
-----END PGP SIGNATURE-----