-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 13:02:06 +0200 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: source amd64 Version: 0.13.1-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-ext-lib - Collection of theories and plugins for Coq Changes: coq-ext-lib (0.13.1-1) experimental; urgency=medium . * New upstream release. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 7b5d448756c0197ebfdbb48fe9b97476fe119ba5 2108 coq-ext-lib_0.13.1-1.dsc 703469ecd3244f4366a796504611faf37d3e299f 85531 coq-ext-lib_0.13.1.orig.tar.gz 4a4fd3eeb0ff77c806bebb357727868e9e5db8a8 2500 coq-ext-lib_0.13.1-1.debian.tar.xz 0fb4df83f88220b600a5d965cd535b9e068cc6e8 7408 coq-ext-lib_0.13.1-1_amd64.buildinfo 85d5619965daba4261865e5955af5c427f688b9d 772108 libcoq-ext-lib_0.13.1-1_amd64.deb Checksums-Sha256: d17a32ca00ebc488caef972baf9f11f3080862d3cd9e93f599bd91f0ff44364e 2108 coq-ext-lib_0.13.1-1.dsc b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz a47694f500a55df34aafe539127cdd2794ed88a0ae0b0e29ee12c67ee1b5f374 2500 coq-ext-lib_0.13.1-1.debian.tar.xz 8516c8361771255b28de66494a3447a41464157065518314f06c782873f5f642 7408 coq-ext-lib_0.13.1-1_amd64.buildinfo c9145429837a0193257708e07506611e36c432688dec10f09f38035b47ad9537 772108 libcoq-ext-lib_0.13.1-1_amd64.deb Files: d3b25da7f6a1cd472029ad71971f0f6d 2108 ocaml optional coq-ext-lib_0.13.1-1.dsc 2e20520bf90bfc691ae6b7de71beb0a2 85531 ocaml optional coq-ext-lib_0.13.1.orig.tar.gz 693b1afc7143181eb4d327201e5da24a 2500 ocaml optional coq-ext-lib_0.13.1-1.debian.tar.xz 218f15a15e4e6475e5ee14ae2bf69f6a 7408 ocaml optional coq-ext-lib_0.13.1-1_amd64.buildinfo bb2d16d6326823d7e2f154751430fe74 772108 ocaml optional libcoq-ext-lib_0.13.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQ0gwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUVMD/99e9mqAVtjJNOIXb0Xfv/I O9emfWygF6Z63+b/dgOFuBiFFmDJKZ2z4OilE0U9ul+ophAdfzOq80PFMG8ZU9rK 6BAXm99GJvaE0FzvVy7bvbudXUt2u2D2jR6OYv64wAxkrint2JGYQH8GS5UGpnfu X7bc5ocTmt10hCNkLF+QiV6zTYtPL9/6yJ8zOPs1EaH/tNwFh7uKCpnuNNomBnzQ GcWdDS1G/ZQYP7Wwc7HnuCvbIEqVLKRMIZBCWhDST2M4q3KnoI9EZdDEr2Fvzb0B ZmHDd0hydjmTQWYabeI1ADkBp72TJYY09RELZdY2qKjsbUGvvYE90EcrHGjFERUY uka4BIWqdZ64eUWLXaB2D9qqU5hBQ+JA5cVP43QZWWn62ppBNectJczWjk6iWuPP h84lEl86DvRq1mGHW3+VOtWse6EKaJQNxWI17Tv7Yc+sbZjI5EXDqoVdcz322x9i sLGXl/m8BC9xUWsPe++4N1Pg0ioy4EsJH1ZG2C3lJP9DywnNmi5pbIJv55RCLSKM 9TxNHaIKH/26IzLWJ9IFoElJQXnzRk0o+8i0DwEofByF3HRNq7nlPmNrZjgZQBRY kbWVfaOvWs4n/QkmT3hwXN8p7ZqCJcpnTPv1gefk2pHKdVgKS0TdEVrtON/oiojE /XkCNvVwlUh30Esm8gMQog== =/xdJ -----END PGP SIGNATURE-----
pgpB95WSRalS2.pgp
Description: PGP signature
