[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