[ubuntu/oracular-proposed] mathcomp-algebra-tactics 1.2.3-4build1 (Accepted)

[Jeremy Bícha]

mathcomp-algebra-tactics (1.2.3-4build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 09:41:19 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.2.3-4build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 09:41:19 -0400
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-algebra-tactics (1.2.3-4build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 609a61be8331538f398640a009d64d7cedae83cf 2281 mathcomp-algebra-tactics_1.2.3-4build1.dsc
 c07f532b43763c439cf8bdc59b9f061a9d03935f 9048 mathcomp-algebra-tactics_1.2.3-4build1.debian.tar.xz
 91a15e03d0b950fe381a8b4eaa8119164bcf11ea 6837 mathcomp-algebra-tactics_1.2.3-4build1_source.buildinfo
Checksums-Sha256:
 162c64be2834a3e2b170a7878f1153dda45b8f1a0765a7cb35c607426609cc02 2281 mathcomp-algebra-tactics_1.2.3-4build1.dsc
 0ff8d55c05d75a83eb57261b1f7aa0c53599efcde593ef12e6945798c9be0c5f 9048 mathcomp-algebra-tactics_1.2.3-4build1.debian.tar.xz
 3bd5593c207ded6e7d841613fe65d930898c2271a479a18825bb156674a24023 6837 mathcomp-algebra-tactics_1.2.3-4build1_source.buildinfo
Files:
 fae41c89617414999a7f1aaa6f694608 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-4build1.dsc
 e373e0557909ed6a66016a59e7892f74 9048 ocaml optional mathcomp-algebra-tactics_1.2.3-4build1.debian.tar.xz
 86c89ddaf0588b7621e62ef6a1693ef3 6837 ocaml optional mathcomp-algebra-tactics_1.2.3-4build1_source.buildinfo