From foo@bar  Tue Jul 28 14:50:01 2026
Format: 1.8
Date: Thu, 23 Jul 2026 17:26:30 +0200
Source: coq-record-update
Binary: libcoq-record-update
Architecture: alpha
Version: 0.3.7-3
Distribution: sid
Urgency: medium
Maintainer: alpha Build Daemon (alpha-sc-02) <alpha-sc-02@alpha-sc-02.buildd.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-record-update - automatic record fields updaters for Coq
Changes:
 coq-record-update (0.3.7-3) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 2a122f7f6c33b67f4c7cd995a66df6b19ff71a95 6605 coq-record-update_0.3.7-3_alpha.buildinfo
 a88b982bdbc11bb9a1707b54e1ac083166ba51ef 19188 libcoq-record-update_0.3.7-3_alpha.deb
Checksums-Sha256:
 4fd28adad9552c6a47e9a7a84373c3492d880a3b97fb16eca3c671280c8ddf55 6605 coq-record-update_0.3.7-3_alpha.buildinfo
 eba13c6826368b39edc828d13a79fa952fb23391f50d1d81df9adfdcbd04f2d1 19188 libcoq-record-update_0.3.7-3_alpha.deb
Files:
 1ea60b40b68f76c22de2dcf511bbca5f 6605 ocaml optional coq-record-update_0.3.7-3_alpha.buildinfo
 ff64ac3bddb65272d57ed7b223ddb08e 19188 ocaml optional libcoq-record-update_0.3.7-3_alpha.deb
Signed-By: Debian buildd autosigning key for alpha-sc-02 <buildd_alpha-alpha-sc-02@buildd.debian.org>