[ubuntu/plucky-proposed] paramcoq 1.1.3+coq8.20-1build1 (Accepted)

[Jeremy Bícha]

paramcoq (1.1.3+coq8.20-1build1) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:17:57 -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/paramcoq/1.1.3+coq8.20-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:17:57 -0500
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-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:
 paramcoq (1.1.3+coq8.20-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 819df52f33d7d13641af350774958863fa9fafb0 2110 paramcoq_1.1.3+coq8.20-1build1.dsc
 60e00f6504331069ba7972af0d170729d7fb48c9 3256 paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz
 4af40e996d3b5bd37147f6bd85cba8c2e66c4669 7078 paramcoq_1.1.3+coq8.20-1build1_source.buildinfo
Checksums-Sha256:
 b666024e5cd85c09ee9175d6a7f61760eb919bbecad224661910846dc4b83908 2110 paramcoq_1.1.3+coq8.20-1build1.dsc
 e4b28677e11546ae445ccd505c921b043e31dc9224f9169285e2f775b600ecda 3256 paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz
 5f18302b8c99d92717950a8c41dee1b246894031bda44c4b7510d92832f621c5 7078 paramcoq_1.1.3+coq8.20-1build1_source.buildinfo
Files:
 c30fa4b7ed4d2ffb81409b76ab83033b 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build1.dsc
 446eb2ff5e143fc1c4337f38085bf483 3256 ocaml optional paramcoq_1.1.3+coq8.20-1build1.debian.tar.xz
 f86df0ecba3944ce0fea624f007a5e27 7078 ocaml optional paramcoq_1.1.3+coq8.20-1build1_source.buildinfo