[ubuntu/plucky-proposed] coq-ext-lib 0.12.2-1build1 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Thu Nov 21 02:34:14 UTC 2024


coq-ext-lib (0.12.2-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:22 -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-ext-lib/0.12.2-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:22 -0500
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.2-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-ext-lib (0.12.2-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 40fed2bb09deab75729fcb3758f04f75688994e3 2088 coq-ext-lib_0.12.2-1build1.dsc
 af1bf31580a11de22e6d0f8ffe9d8ae886186f6f 2416 coq-ext-lib_0.12.2-1build1.debian.tar.xz
 e0cf11654a1e8c224161a1d35e11b233b7706c89 6973 coq-ext-lib_0.12.2-1build1_source.buildinfo
Checksums-Sha256:
 75bb7e93b27cff86a575f225ad08c062be53d27a09c7a25167efab521ec11988 2088 coq-ext-lib_0.12.2-1build1.dsc
 2470179a3da710f62261367babba67f2d90235cd791a5047c3fd72b9d0004c96 2416 coq-ext-lib_0.12.2-1build1.debian.tar.xz
 025971bdacfb920a2a36a5db47951082ce2eee74a13f247975889228fc537531 6973 coq-ext-lib_0.12.2-1build1_source.buildinfo
Files:
 7a56d857bc19d8f38b861d0481e25ff5 2088 ocaml optional coq-ext-lib_0.12.2-1build1.dsc
 4f6522b88efc75744179f0151c67c532 2416 ocaml optional coq-ext-lib_0.12.2-1build1.debian.tar.xz
 bc48bc1089903c5759aa62e5293780f0 6973 ocaml optional coq-ext-lib_0.12.2-1build1_source.buildinfo


More information about the plucky-changes mailing list