Accepted coq-mtac2 1.4-rocq9.1-2 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:41:37 +0200
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: source amd64
Version: 1.4-rocq9.1-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mtac2 - Mtac2 tactic language for Coq
Changes:
 coq-mtac2 (1.4-rocq9.1-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 5724f51bf5baa4eef9832ed81a4c188ae5480f88 2140 coq-mtac2_1.4-rocq9.1-2.dsc
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 f91240e91e45a77fdf25db95a64cb9e45bf8f4a4 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
 94c892a2bd4a4f5e595eff815aa3091dead45b2e 6978 coq-mtac2_1.4-rocq9.1-2_amd64.buildinfo
 b1af1e6712cd026588e2ce9609661a4da095ce68 793280 libcoq-mtac2_1.4-rocq9.1-2_amd64.deb
Checksums-Sha256:
 3d231b33ab45ef21561f0aef33e06460661ebb3e2b62d429d29e418b60ce8202 2140 coq-mtac2_1.4-rocq9.1-2.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 d74163a41a3098f57d031bca4e53cb00be5a8fc5fec7ac72fc21a890c188f682 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
 83309475d5b1e4cb73b4d5eaf723efeb8b641f7a4b9d1b48e6fa5b86de8fbae0 6978 coq-mtac2_1.4-rocq9.1-2_amd64.buildinfo
 c83685c8839b29e8ecdfd0798c78970d20902050882881e9c20f9b662de9e4b2 793280 libcoq-mtac2_1.4-rocq9.1-2_amd64.deb
Files:
 983ebdc3bfeed9022daddcff21cb19ca 2140 ocaml optional coq-mtac2_1.4-rocq9.1-2.dsc
 8bb2d07061f97a57ffad4c9812bed8e9 252426 ocaml optional coq-mtac2_1.4-rocq9.1.orig.tar.gz
 b27b493d3b1cae6814c6d6c8359cb72c 4652 ocaml optional coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
 d20bbbf3954d24e8d03a01215e75051f 6978 ocaml optional coq-mtac2_1.4-rocq9.1-2_amd64.buildinfo
 72ddc81b25076e2c36d327a8532790ae 793280 ocaml optional libcoq-mtac2_1.4-rocq9.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1ZcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeyXD/4ve/SvadH1xgngYZ5+dSQY
ilqSEquCyBOKcfxaW7IoOs7bhY4v47VBqCrEY/Zyj1cyFL4TqaETDJooLX1jerX+
lsxvQOp5Wu5eTO0FgHPyxPH2EsyTAo7hpVlGnZYW2H+cKyA+LY95s94SgBM7lHWa
yMezuVqBpR4uBtaDGx0lTq5pNrh5JZgO0V1jGud7XmyZpT66RFnU0OXrPf6w9d3W
aBcCMNxSMidVavumKFvrUfuFJL3YvKgzgu2mClGTnEyGuH1NUkcBMGV1+aOtVuZP
zwQ8Oiv1aKKXzOvn7HUDP39KdTL5+3Hs6h0nTjAKaUOsCRO9ULCaxl++dMAFW0UD
0t2MFObxSPCi8v7lcCXr635HVdLloq4dfnYBdidK0gJKRA0tUYt2YyuLxovBm8wg
lUrXMQRfO4oO+IJrmqt/FbGV7ItmLVeV59Ga56uyImC0rU5l6CL3bneevf1XNBC6
O/QCFWinhsKqGnp287kSws4PTp5Mmn5aa+wfeaNtHSgEDaZlgMqvvI+FmiVL3jWF
JrTkyzOFKMTfmnBn8qvTI/hW0SrDf5OT9OTvfTScI0k82t3MS6TR9QEXR8dH2Avd
a+yKGgDAvJQbQ+LLmsiZt+m50WNiYx9S7S7ZFDBnqEYh0BgWPyl+cbpTu+R6PsQH
qJTMgVsoTYQdD224Fo1MPQ==
=Plya
-----END PGP SIGNATURE-----