Accepted coq-ext-lib 0.13.1-2 (source amd64) into unstable

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

Format: 1.8
Date: Thu, 23 Jul 2026 17:21:58 +0200
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: source amd64
Version: 0.13.1-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-ext-lib - Collection of theories and plugins for Coq
Changes:
 coq-ext-lib (0.13.1-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 9ce2a0ecb82afd7584bded29c5983ca7e12ef8cc 2108 coq-ext-lib_0.13.1-2.dsc
 703469ecd3244f4366a796504611faf37d3e299f 85531 coq-ext-lib_0.13.1.orig.tar.gz
 d17b9ab67e41b83846fc346b29b6667e57ec4775 2524 coq-ext-lib_0.13.1-2.debian.tar.xz
 e9b8c1d55b07062e29d395c169b12ced30a2a1bf 6923 coq-ext-lib_0.13.1-2_amd64.buildinfo
 cbda50d0899c5b9ce251aee3caaa0e3754d450d7 772288 libcoq-ext-lib_0.13.1-2_amd64.deb
Checksums-Sha256:
 78396e3a8c7f3dffc4e304052394ecbb9afefe04210c1aab3606f45d27e39bb7 2108 coq-ext-lib_0.13.1-2.dsc
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 0e03882f26552dfbf3a9fb9d2836261c4ccb99aca2c8d6b9a4475978d53fda15 2524 coq-ext-lib_0.13.1-2.debian.tar.xz
 1ffa1b0e26c005cdd0693b593434115b60841cb7929d7145cabc1cb91bd90942 6923 coq-ext-lib_0.13.1-2_amd64.buildinfo
 107c13669c6764cb63ef09c114a096a6f45ebe65a75c486bcd8ef78e7f0fdb83 772288 libcoq-ext-lib_0.13.1-2_amd64.deb
Files:
 2c14cc65309c5a884f0434e8e66936d7 2108 ocaml optional coq-ext-lib_0.13.1-2.dsc
 2e20520bf90bfc691ae6b7de71beb0a2 85531 ocaml optional coq-ext-lib_0.13.1.orig.tar.gz
 84f0720924d131045b8f50e24a782b8d 2524 ocaml optional coq-ext-lib_0.13.1-2.debian.tar.xz
 df5b61b8a9fba286f495cc7d3a138112 6923 ocaml optional coq-ext-lib_0.13.1-2_amd64.buildinfo
 31b47fb3b13987036e864303a1eb3a13 772288 ocaml optional libcoq-ext-lib_0.13.1-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoc50ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaobD/wOZ8btBaPfb/ANsOZ9VdtN
CH7fNqr8Zgri7t6QfdJ5xBA3zknVpD7mC7NUuatdpGfeJPsrpS8RE3itqTBRvLqB
iv6+fDtl2zdVbJ11HLvsHAdKbvedBHmGIhBzptja4XJ3KJdcdCcship/g332HHhl
wmZFSMNYRgzFR7kGt3o5ISmDzlR18szsZXixFgMXtobXvYizv8gH7q6u3P+9Yz5U
MsXXWjRtAPoqLBCu+8BsH8YW4iRiawOiI64QVuZQ9lPe3DRg5kla6nsuf7WckPGx
meF2hd4QfhXnY6Ydywkb5dBylqpGjVDrnEQJuwJmU6/uYrfrLD7QZYpYacR+QXxS
8H1/KIywSidMkTavIy6SLm880dWQEHf03K2w0TCBf0CRMm7UtQIfiHwclHK0Ekiy
h1iigisuMo9Cjc4DTQQwbI8KoOEP4mmZ0CHw5JgNtPrbSRTi38++RatZKDcwHI3E
TEKvxLkMRDe3d0kV1lkWY/RlbqkkY4BiH2IEY9U7dwmu+qj40mwS8HdV8mCNhHQQ
qUhZ8/h5izzgsVvgFJgDXWO/hyU4ZN5yIxvbcAfv2bmFZa0ft4PzgYD+LHUh/rDV
eZG4MWXG80GevfqjpP4HKFwiHUsBlG3eaH/y9bYUJU/wsdd/b7F74QEh+ivDGbm9
m/CE77kFWk+kqpAzFgXc/g==
=m7C2
-----END PGP SIGNATURE-----