[ubuntu/kinetic-proposed] mathcomp-algebra-tactics 1.0.0-6build2 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Thu Jul 21 16:06:19 UTC 2022
mathcomp-algebra-tactics (1.0.0-6build2) kinetic; urgency=medium
* Rebuild against new OCAML ABI.
Date: Thu, 21 Jul 2022 18:05:32 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.0.0-6build2
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Jul 2022 18:05:32 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-6build2
Distribution: kinetic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
mathcomp-algebra-tactics (1.0.0-6build2) kinetic; urgency=medium
.
* Rebuild against new OCAML ABI.
Checksums-Sha1:
06f8e59066697e9d9a82984f746663a42e8290ee 2281 mathcomp-algebra-tactics_1.0.0-6build2.dsc
7182a2f2d4e875e36cd6b05652fbe3ae4c9b2ce5 8716 mathcomp-algebra-tactics_1.0.0-6build2.debian.tar.xz
31abdf5ef3c4c00276890d10c39faeb3f0e7b30e 7391 mathcomp-algebra-tactics_1.0.0-6build2_source.buildinfo
Checksums-Sha256:
aa0301954b3b8ed5b883f0756ba53e0474e49acdbc29e39c76db698a18c17b86 2281 mathcomp-algebra-tactics_1.0.0-6build2.dsc
e7e102fc5e43b65ef2cafc7ff8e2f5840bcdd35f3da1b9c20b65fe323aac218e 8716 mathcomp-algebra-tactics_1.0.0-6build2.debian.tar.xz
25fc8e5c2bb5ea8464651b4762b5066651ad90f478aff588ae7e89b1c8d698d1 7391 mathcomp-algebra-tactics_1.0.0-6build2_source.buildinfo
Files:
ed435564b8ec657db8dafe9c825bbee3 2281 ocaml optional mathcomp-algebra-tactics_1.0.0-6build2.dsc
d84743e851e9ee149c48604665a62a75 8716 ocaml optional mathcomp-algebra-tactics_1.0.0-6build2.debian.tar.xz
39f1ae71dd6c30bcc6e0d8cb7fd47f42 7391 ocaml optional mathcomp-algebra-tactics_1.0.0-6build2_source.buildinfo
More information about the kinetic-changes
mailing list