-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:44:09 +0100 Source: coq-ext-lib Architecture: source Version: 0.12.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-ext-lib (0.12.2-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 699a50c0945f7ccf63697ae80a756bc0bdbdcfb1 2089 coq-ext-lib_0.12.2-1.dsc a8844fbe6ae8a72f81fdb6d833bb34f434149c76 85093 coq-ext-lib_0.12.2.orig.tar.gz ed371b3966118a2a6441f4830db07409bb7de7a5 2348 coq-ext-lib_0.12.2-1.debian.tar.xz a4bd96b0dbfeb34b2f6fbba1640a640378b4d3de 7136 coq-ext-lib_0.12.2-1_source.buildinfo Checksums-Sha256: 7e4edaa3411127aa6c59d4f3a1dd95c807f6f62bf9b576ca010511ed0ba61501 2089 coq-ext-lib_0.12.2-1.dsc 075439309775c804e8ff01a134871dbb4fba4654bdd068832b21bb5145f11bd7 85093 coq-ext-lib_0.12.2.orig.tar.gz b484b4dd25267c2ffd8c69ab27cbbfa47fbec33c31166d4dd6ca66c5989f9acd 2348 coq-ext-lib_0.12.2-1.debian.tar.xz 4985fd9a87f7ec12e6b0f1c082066fa05df33dbc86089ee0934010388f84b20f 7136 coq-ext-lib_0.12.2-1_source.buildinfo Files: abeb82113f414d493616e8b2af4b7fee 2089 ocaml optional coq-ext-lib_0.12.2-1.dsc 5ec0acf1cece75511ffa7dab5ed35e73 85093 ocaml optional coq-ext-lib_0.12.2.orig.tar.gz 9a0f4c9f34a6638cc5d590f93a4ccbed 2348 ocaml optional coq-ext-lib_0.12.2-1.debian.tar.xz 581af2838b19589881d72e03eb3259d9 7136 ocaml optional coq-ext-lib_0.12.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r4YSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRo6UP/0RDiRKVz3Y8P91RGd3FNwD+9c3+OhQS Fuojwr7FvS3hQyi90emGtjBs+AiufaMc5pYWWk/ZF1uzT3SknOQWVeC5jcyf7Lwd CFP4Zqpf8K6R2opEQY2DqgOWALymNtYnl/FfAWVPQN+gyBQsCvbuoymnSptFG3bG GEJb4yRSAdp8rTwROjD3uumHHFjrpQAWI5hkIoygKDDrHSQvyhWRlInCZGGwRVlU DB9OD5/BEPdaOS9O3llQhCOI8V5rRt0nX56ZyUNnthQ5cl9nnMol7Q/zD1p3lGrf +TuAgyHvF3+QvYouSX4BUQnxRX9wOXol84/Qc01h/cqyAe+ENgasylsUaWyxL9Cx 3BvR+aFuoyTjLHbntk21F8Dt/q08cBB3yHU+m2Kezz0ng9NWluUh7whZGNbyBTNb SBmV2OvF/CeDuJCn4a6ZbwvEZ/U7zt6Wdm64USI9nrDjAMNJvYqNj84mRKMB49xi +AC32BueIu9/YDW2un9NryEG0I9KjOkrqO8CnyzL/Y7Y5FJ2qo1GHEicrPzRaFvN SeUNWHrNm8FynjjrkzX2MlaPkuoM9xIuvkZ8yL3BoOgMKlcC54+7qGIBYnRaIxIA +QlmVjNxb7Xl+yx/u+46ISz+j2sp+3uG14q9zH4hhqQ/BIPeguFJTG6oaXZAVgio 2JCEdMeBomKY =01oB -----END PGP SIGNATURE-----
