[ubuntu/noble-proposed] mathcomp-algebra-tactics 1.2.3-1build1 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Sun Jan 28 13:32:14 UTC 2024


mathcomp-algebra-tactics (1.2.3-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sun, 28 Jan 2024 08:31:16 -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-algebra-tactics/1.2.3-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 28 Jan 2024 08:31:16 -0500
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-1build1
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-algebra-tactics (1.2.3-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 656e9b0179a71c66fd675bd0e9687c804481c991 2281 mathcomp-algebra-tactics_1.2.3-1build1.dsc
 7053eedd1c62046c8774735d30a0b1d76098fd93 8944 mathcomp-algebra-tactics_1.2.3-1build1.debian.tar.xz
 fb1d171ebf4666981a181998206cd66e21ed6c35 7687 mathcomp-algebra-tactics_1.2.3-1build1_source.buildinfo
Checksums-Sha256:
 0c9ab998bd2bf3bd602d99adc70f3a60a722cceaac2f2652bbe38ba592072b65 2281 mathcomp-algebra-tactics_1.2.3-1build1.dsc
 412c76f30c30e1e90a262444b7090cf7c7f048db1856c313d22ea03b83c78b20 8944 mathcomp-algebra-tactics_1.2.3-1build1.debian.tar.xz
 91a39a0ad7202fa4d195839405a0b4b70e2b8a93a6e8a10da45e862a8ff2a982 7687 mathcomp-algebra-tactics_1.2.3-1build1_source.buildinfo
Files:
 769113feae7ecda4819cdd76dacefb6a 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-1build1.dsc
 d6bd05a866347722e1a0b0a7ab894311 8944 ocaml optional mathcomp-algebra-tactics_1.2.3-1build1.debian.tar.xz
 ff5c7b25af6234f2be43edd8cc1377db 7687 ocaml optional mathcomp-algebra-tactics_1.2.3-1build1_source.buildinfo


More information about the noble-changes mailing list