Format: 1.8
Date: Tue, 08 Sep 2026 01:48:00 +0200
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: source amd64
Version: 1.2.7-5+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components
Changes:
 mathcomp-algebra-tactics (1.2.7-5+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.1
Checksums-Sha1:
 53d552873aa9773ba343a1cef344c53541f06db2 1409 mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc
 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 fcd9cc394f2a5bf54a7a2b746d77e012a5990773 9832 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
 bf7d8948c89805c99d104b73764e5127766159b3 950680 libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.deb
 506c72c297d65111e6cd5e8c938b6b31edcf53e8 6889 mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 172dcf1c51def63b816adbc269ad8496f73c607d1afea31a097e2d75d723ef94 1409 mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc
 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 97058ec6141b6ad59d27ca92d00e1a9523ca68f787378709a1162488a1176392 9832 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
 56f775335ae13f88f640f9217bebc12d54861e4ebf28cdf4a64774669fe76588 950680 libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.deb
 3fb482abdf7e38e5c23fb18c921d3b2aa65a4b33af294297225222421a65252d 6889 mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.buildinfo
Files:
 d29927e99f9ec235cf713b9723fd8b6a 1409 ocaml optional mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc
 0e3dd126712c25e057a115c10b071a68 59382 ocaml optional mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 ae4af5c1849c16f34f3cdb5d821e195a 9832 ocaml optional mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
 c96d58581af653df32e6095382e27c58 950680 ocaml optional libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.deb
 1174c227aa24fccec98accf002c09484 6889 ocaml optional mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.buildinfo