[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