Format: 1.8
Date: Fri, 23 Oct 2026 20:10:12 +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.2
Checksums-Sha1:
 9f081e3b4eca1fc30f25c3e65d0059dccb1345e9 1409 mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc
 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 854c0eb56ac656065f38d8f4c4597c9e2bf8ee3e 9824 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
 a020d67bbc540dcff77bbd4f79679fb7819f72d2 950880 libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.deb
 497da2cc3824cd5947ef58be01e2a085f8a894fa 6983 mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 34f136d71b3d592afe342be74f36eab7debaf6cca5e5dfdc9313071e4e6241a6 1409 mathcomp-algebra-tactics_1.2.7-5+ocaml1.dsc
 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 c5ddf4c51c3695c0fa10d28b58a398ce0880288f23e7fbd910e87d4ccb04c955 9824 mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
 6f2235954a8bf1ab6d8dbe24f90bd750c30d19f76693a6337f04c8fa12530ffc 950880 libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.deb
 467d729f7915d81d3338e14aae0ce56494eabc4c925d19a9349921624319da13 6983 mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.buildinfo
Files:
 a68852944e05911e330e8dcc6840f887 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
 b676196ab28a40b33420c90eca6424d9 9824 ocaml optional mathcomp-algebra-tactics_1.2.7-5+ocaml1.debian.tar.xz
 753db8a59d93c258da8d41b6495b95ca 950880 ocaml optional libcoq-mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.deb
 51675e9eeddd8f1957e48f7413b0ff1e 6983 ocaml optional mathcomp-algebra-tactics_1.2.7-5+ocaml1_amd64.buildinfo