[ubuntu/plucky-proposed] coq-gappa 1.6.0-1build1 (Accepted)

[Jeremy Bícha]

coq-gappa (1.6.0-1build1) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:22:01 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-gappa/1.6.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:22:01 -0500
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-gappa (1.6.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 2f9ea11bcd99b666ea5859ccaf1daf6b2e7cd9c9 2082 coq-gappa_1.6.0-1build1.dsc
 571b613f4c01e3af3e30453a93c07d53805b9526 2412 coq-gappa_1.6.0-1build1.debian.tar.xz
 583af4913e6df371d77cf50c208c48fbe512744a 7050 coq-gappa_1.6.0-1build1_source.buildinfo
Checksums-Sha256:
 2b5f866ce37141948516fef3a895294358609041e95455d5ba67a7900b12435e 2082 coq-gappa_1.6.0-1build1.dsc
 e54bdb9d49981a2c7efd6b6109e5557fb14592ab834155a8c7a0607358f06f9e 2412 coq-gappa_1.6.0-1build1.debian.tar.xz
 ace6d513250ed4f9cd9a24cf2dd4b94840cf4c1625c9b5a8f0beb9563ede8ff4 7050 coq-gappa_1.6.0-1build1_source.buildinfo
Files:
 c22e9ed33b34dd3dfbec2cd1145eb5d9 2082 math optional coq-gappa_1.6.0-1build1.dsc
 a9d71f0ba1a0c6e8649735ddeba28750 2412 math optional coq-gappa_1.6.0-1build1.debian.tar.xz
 cb2a20524cf49226b77a9a75e0f83a18 7050 math optional coq-gappa_1.6.0-1build1_source.buildinfo