Format: 1.8
Date: Mon, 08 Apr 2024 09:14:48 +0200
Source: coq-record-update
Binary: libcoq-record-update
Built-For-Profiles: noudeb
Architecture: s390x
Version: 0.3.3-1build4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-003.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-record-update - automatic record fields updaters for Coq
Changes:
 coq-record-update (0.3.3-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a803475a3cf90c16a98d63e8a3a780b48b942eb5 6808 coq-record-update_0.3.3-1build4_s390x.buildinfo
 3a48186e463871339578eed29a3b5258306a04e7 15600 libcoq-record-update_0.3.3-1build4_s390x.deb
Checksums-Sha256:
 abdfe0b4c68baec22d8566893a9ef3f2f5fb004a33ba7eed0abd4378d0f517e4 6808 coq-record-update_0.3.3-1build4_s390x.buildinfo
 426cd07784e22e0451dba9353d830dcc2a03877934f837fc4b28f5e9d41d5720 15600 libcoq-record-update_0.3.3-1build4_s390x.deb
Files:
 c9b145cdbfa9c7f967ef564979d161b1 6808 ocaml optional coq-record-update_0.3.3-1build4_s390x.buildinfo
 cda7d8e7122db0946371e2be5b80ecb0 15600 ocaml optional libcoq-record-update_0.3.3-1build4_s390x.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>