[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