[ubuntu/oracular-proposed] mathcomp-algebra-tactics 1.2.3-1build6 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Thu May 2 20:14:18 UTC 2024


mathcomp-algebra-tactics (1.2.3-1build6) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:13:58 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.2.3-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:13:58 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-1build6
Distribution: oracular
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 mathcomp-algebra-tactics (1.2.3-1build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 86436f506ae0961adfd8115b0b0ecdb95ceee36b 2360 mathcomp-algebra-tactics_1.2.3-1build6.dsc
 0c23a567ae9ad674487dbb2d8f97a432698fa6ee 9128 mathcomp-algebra-tactics_1.2.3-1build6.debian.tar.xz
 432a3c07c77f879287133289d387887908e127aa 7884 mathcomp-algebra-tactics_1.2.3-1build6_source.buildinfo
Checksums-Sha256:
 b1b5b6c0018d61ad0a5b66868c5a1dc3ead6c10ca3ca48460c1560d5b0fa7671 2360 mathcomp-algebra-tactics_1.2.3-1build6.dsc
 0c3867c258aa77d8cd4c159b6106c8a40b16634d0b99f64be6fd4f3f268071d2 9128 mathcomp-algebra-tactics_1.2.3-1build6.debian.tar.xz
 6f4ccefdb93d9cacdf5a2b5658e3cd0c3644e8f3da9a535b6908badc32f329e6 7884 mathcomp-algebra-tactics_1.2.3-1build6_source.buildinfo
Files:
 fe163c710f0943d804378b07e95fa4ab 2360 ocaml optional mathcomp-algebra-tactics_1.2.3-1build6.dsc
 36efd836f7c352a03c6ad4fbd5466d04 9128 ocaml optional mathcomp-algebra-tactics_1.2.3-1build6.debian.tar.xz
 36251dcd9aec39d871b2152c0eee8033 7884 ocaml optional mathcomp-algebra-tactics_1.2.3-1build6_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>


More information about the oracular-changes mailing list