[ubuntu/jammy-proposed] hol-light 20190729-4build6 (Accepted)

Matthias Klose doko at ubuntu.com
Tue Jan 25 07:50:20 UTC 2022


hol-light (20190729-4build6) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Mon, 24 Jan 2022 17:22:38 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20190729-4build6
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jan 2022 17:22:38 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20190729-4build6
Distribution: jammy
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 hol-light (20190729-4build6) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 4ea15c751970bd1c6fa9b09d3cd75905b9a2b6eb 2137 hol-light_20190729-4build6.dsc
 aff0a8e407127b6ba2dccca049f85741e90508d8 11380 hol-light_20190729-4build6.debian.tar.xz
 fecb4aff095e96c6bb728e7473e88a4d5c0488d5 6754 hol-light_20190729-4build6_source.buildinfo
Checksums-Sha256:
 3867192cf5b5ea6384669823662f74c292cd061c1120b267ee3b5e066333c35f 2137 hol-light_20190729-4build6.dsc
 d79e15b6afe01ec70096d508e2e0a0809315f48c1f61503dba41127b7dd1b19b 11380 hol-light_20190729-4build6.debian.tar.xz
 6254216a2113587ab7d56aa2b1304e48c61d556502c34c988b2e24055892d504 6754 hol-light_20190729-4build6_source.buildinfo
Files:
 a2b35d100ee34bd6edab38706c0279a7 2137 math optional hol-light_20190729-4build6.dsc
 eef8029209e613fe7f69c9cd8c6d9432 11380 math optional hol-light_20190729-4build6.debian.tar.xz
 35663ea8847bcc030e70c00623e58bfd 6754 math optional hol-light_20190729-4build6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the jammy-changes mailing list