[ubuntu/plucky-proposed] coq-deriving 0.2.0-3build6 (Accepted)

Matthias Klose doko at ubuntu.com
Tue Nov 19 21:30:15 UTC 2024


coq-deriving (0.2.0-3build6) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Tue, 19 Nov 2024 22:29:32 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-deriving/0.2.0-3build6
-------------- next part --------------
Format: 1.8
Date: Tue, 19 Nov 2024 22:29:32 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-3build6
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-deriving (0.2.0-3build6) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 1bed0c2e7e77409c077281a69521d2af1f828496 2112 coq-deriving_0.2.0-3build6.dsc
 c7178acbb180fc2814b94488a4e8b8d151bedf5d 2408 coq-deriving_0.2.0-3build6.debian.tar.xz
 0f6905bee728a1cfabc7c7de190e8ca4513dd1a3 3829 coq-deriving_0.2.0-3build6_source.buildinfo
Checksums-Sha256:
 74504d6056ef94effdcdbaabd33642a664c419c383258aefdc176cfad2a8283c 2112 coq-deriving_0.2.0-3build6.dsc
 b5aa4cce300848c5cfa63837b6016f8db07270a21d862472adc7d3488c4aac62 2408 coq-deriving_0.2.0-3build6.debian.tar.xz
 a74fb5827105fae59885a8e7e6f5360af0d5b0fe3164b1d46bb407f11f2f1711 3829 coq-deriving_0.2.0-3build6_source.buildinfo
Files:
 48877c5353aeef8a61a66168e0a0456e 2112 ocaml optional coq-deriving_0.2.0-3build6.dsc
 744fc31db45b1d5bbccda043da072b0b 2408 ocaml optional coq-deriving_0.2.0-3build6.debian.tar.xz
 bbce68d0025dd3da12c4976c4b2bdc2b 3829 ocaml optional coq-deriving_0.2.0-3build6_source.buildinfo


More information about the plucky-changes mailing list