[ubuntu/noble-proposed] mathcomp-analysis 0.6.4-3build8 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Wed Dec 27 02:53:13 UTC 2023


mathcomp-analysis (0.6.4-3build8) noble; urgency=medium

  * Rebuild against latest coq

Date: Tue, 26 Dec 2023 21:51:45 -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/mathcomp-analysis/0.6.4-3build8
-------------- next part --------------
Format: 1.8
Date: Tue, 26 Dec 2023 21:51:45 -0500
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 0.6.4-3build8
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-analysis (0.6.4-3build8) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 73b3fb496ebf093710d8508544859ef8d915a048 2424 mathcomp-analysis_0.6.4-3build8.dsc
 e98242d85e49adf5620a425be58286e6827fa9ba 9296 mathcomp-analysis_0.6.4-3build8.debian.tar.xz
 5dec164d945092d68802a834a1efa0c9f84c7720 7292 mathcomp-analysis_0.6.4-3build8_source.buildinfo
Checksums-Sha256:
 fb9632bfd1021c87f35ece870464c29fc4b3cb758226f3e16a3d709fbb78d21d 2424 mathcomp-analysis_0.6.4-3build8.dsc
 4afd759cea3994e9984112bc0110bfa218affece60faaaa1baec2398f503dad0 9296 mathcomp-analysis_0.6.4-3build8.debian.tar.xz
 33903fc875256197457116cf6e4c79773536249deb6ebe6fb96695e4e3d3ecd3 7292 mathcomp-analysis_0.6.4-3build8_source.buildinfo
Files:
 5c2e648bac7cd5f624ade484c0fa2d2d 2424 ocaml optional mathcomp-analysis_0.6.4-3build8.dsc
 ca31d59fc1de9ed988cb733eea2b923b 9296 ocaml optional mathcomp-analysis_0.6.4-3build8.debian.tar.xz
 77506fcf046ecc6335e056c2c8b9f817 7292 ocaml optional mathcomp-analysis_0.6.4-3build8_source.buildinfo


More information about the noble-changes mailing list