[ubuntu/plucky-proposed] coq-libhyps 2.0.8-4build4 (Accepted)
Jeremy Bícha
jbicha at ubuntu.com
Wed Nov 20 22:32:17 UTC 2024
coq-libhyps (2.0.8-4build4) plucky; urgency=medium
* Rebuild against latest coq
Date: Wed, 20 Nov 2024 17:30:58 -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-libhyps/2.0.8-4build4
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 17:30:58 -0500
Source: coq-libhyps
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.8-4build4
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-libhyps (2.0.8-4build4) plucky; urgency=medium
.
* Rebuild against latest coq
Checksums-Sha1:
174f510eeed50013ec20a7352aba8e3c653ef0c3 2071 coq-libhyps_2.0.8-4build4.dsc
806586fcaad997e9b1e9c7c4841ef84b0cbe7d7b 2396 coq-libhyps_2.0.8-4build4.debian.tar.xz
d4485e9900b075bd8721626105a3d13b7d344903 6969 coq-libhyps_2.0.8-4build4_source.buildinfo
Checksums-Sha256:
d5524f777c19deaa8b98dbf36d8f14b2b72eba48985fda8eaa89c494dc17ab09 2071 coq-libhyps_2.0.8-4build4.dsc
5b47ab3a4d423269af9151654b231b911681d68b6af3e57220d95d86b29675d9 2396 coq-libhyps_2.0.8-4build4.debian.tar.xz
b42f588a04391a6087de9c7913e16880f66add3c4302b9b45bcaa18d8fa30c99 6969 coq-libhyps_2.0.8-4build4_source.buildinfo
Files:
e562fcd4c8d78570ddb90a00c7dc585d 2071 ocaml optional coq-libhyps_2.0.8-4build4.dsc
c6a945acccc6606887a70fa1dcaa8540 2396 ocaml optional coq-libhyps_2.0.8-4build4.debian.tar.xz
1fdd786c524cdcc212f8cdb3653857ed 6969 ocaml optional coq-libhyps_2.0.8-4build4_source.buildinfo
More information about the plucky-changes
mailing list