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: amd64
Version: 0.3.3-1build4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-023.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:
 72164e26ae25161d56036ba090f812eaea21c65e 6997 coq-record-update_0.3.3-1build4_amd64.buildinfo
 b736e5d4f3e2830e0170af7f0746736fe4eea69d 15594 libcoq-record-update_0.3.3-1build4_amd64.deb
Checksums-Sha256:
 332560e6f16f6594a66c204eb8692b8b599de7afb45b386a180b2a8b9cd7482b 6997 coq-record-update_0.3.3-1build4_amd64.buildinfo
 0a9131fdfc901f9b0f0549c1ddb9ac29c8ebec933c13c549354bdb68c2e8a445 15594 libcoq-record-update_0.3.3-1build4_amd64.deb
Files:
 63916518ac554ebebf84c2b448955783 6997 ocaml optional coq-record-update_0.3.3-1build4_amd64.buildinfo
 23d8003e43132b7f5fd052a83a11ae16 15594 ocaml optional libcoq-record-update_0.3.3-1build4_amd64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>