-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:25:48 +0100 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: source amd64 Version: 0.13.0-3 Distribution: experimental 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.0-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: be5c0c7f2bdec85cbe4c289a6ef19c9d2815fc05 2108 coq-ext-lib_0.13.0-3.dsc 64dcfadc11ca933ecd95977148e94a1d0deb6e35 2464 coq-ext-lib_0.13.0-3.debian.tar.xz f28f42dbfc4a142560da6f161a6e0a60d871b7a8 6812 coq-ext-lib_0.13.0-3_amd64.buildinfo 5654688c27fca3aef6c88780990a656419fffd20 774200 libcoq-ext-lib_0.13.0-3_amd64.deb Checksums-Sha256: 0152253435dd5f10393fa8b3244bef9695edcba031fc11458ddb415161504cc9 2108 coq-ext-lib_0.13.0-3.dsc 8966f4ad52b1cba19979e5770f14c39adeed39849de14ff5e990b8411a6b00b7 2464 coq-ext-lib_0.13.0-3.debian.tar.xz 2eb7735435a0464ea2da35f36a5546ef61ac02c8455cc5b9c68a5354fb9bab51 6812 coq-ext-lib_0.13.0-3_amd64.buildinfo 370df6c6dfe5df55121b885c77a085343b076f33d46bda8a4efe034a310a76ec 774200 libcoq-ext-lib_0.13.0-3_amd64.deb Files: 4a68cbf8636193fbd87fdbe930047025 2108 ocaml optional coq-ext-lib_0.13.0-3.dsc dffec808a322fba69d7cdf3e0033561f 2464 ocaml optional coq-ext-lib_0.13.0-3.debian.tar.xz 191142430d671d430c188f59d8b4923b 6812 ocaml optional coq-ext-lib_0.13.0-3_amd64.buildinfo 59681956e7e83771ce746f9ea5edf104 774200 ocaml optional libcoq-ext-lib_0.13.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcnYZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQC0D/9u8YkpaEojf9GL/VBOQBW2 PR+0Pet+ukKRe5zvIm0u4OhfIrccVKw22Fc/RIQGxpdVV6CD5MKV+dMxOKo33NEz Ou1NhPbLLMESHp01xLjr4+H0ePoRDd9c9wU5Po4C3BIk0Id8FMl5iyt5ITOhEjzN 0prC/77bw0uj53eGSeF51Mqt99hP/NpyeLgxR2Ua6jUYqSftDH0QJgtft19If9lv owtDnpu4hh3ksi8BLuM6cxWST8tEs+GBmIbaKzulhqweTJinIBuNOjhI7QFg8rQE X5BDNYjmECClgJirAZ5YAIwyfo+E7JvrdOxl6gXVeRAi/JyGhd47Gpd2cKLT+qje 5jVvKwXTLB4M9IYVFyOvkOwSXdnrHMa+FC1e+pYhRZd2/58CVjxknpQUK3foweqF Vayj1FfwgvD7iI3yARXUjGdnYSfzIS3bsyB+fHEpj2EyaQCN5YHRXQodh5Bw1quZ E6WqqfroYW+zUpu/RuRsQ8m5Upv0Ja9f4kR/GDTNdwFwDEjZRWqSlZOBEJJD9Hgs TDYGL1bxPOJxCrWze4t+z2DCdVCL1d62Lr0nREsP9/1Z5hZv6ANBWb9a+gOdpBmN LxRgBPnpxmcCgV5woEFImQO3VmFmHGm9nTFC6UtwXCBfTk/azkFHjPEZPFXIYqQo 4AeKDHxElqgmmPQx9wjAHw== =ZGO2 -----END PGP SIGNATURE-----
