[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