-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:50:51 +0200 Source: coq-reduction-effects Architecture: source Version: 0.1.5-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-reduction-effects (0.1.5-4) unstable; urgency=medium . * Fix target distribution (dch -r issue?). Checksums-Sha1: 6f350bec8bacd30130a3a5b73c0954859d202c52 2214 coq-reduction-effects_0.1.5-4.dsc ed95a4d922612796025428561a46dfa3fa85f804 1804 coq-reduction-effects_0.1.5-4.debian.tar.xz a9a1485341027e02391baeb707a57a495b60a90f 8188 coq-reduction-effects_0.1.5-4_source.buildinfo Checksums-Sha256: 9faecab0311d4a8e4d1e09f95052900fd4ea6d8354c5fdf4b65c936d2b507cb9 2214 coq-reduction-effects_0.1.5-4.dsc 086f1417bfcf0a5691e569adaf7d598ff02c56bb029d932ccf97724ef0bbec0f 1804 coq-reduction-effects_0.1.5-4.debian.tar.xz 0361cb7771c58b31793a0b6a7fdd640c83ab90fe8a3a6a481155279a091cf572 8188 coq-reduction-effects_0.1.5-4_source.buildinfo Files: 08adc07cf5cc73d03fad4ecb864e6022 2214 ocaml optional coq-reduction-effects_0.1.5-4.dsc 56ca53077a580b9ec291dbcdc7ea78fd 1804 ocaml optional coq-reduction-effects_0.1.5-4.debian.tar.xz 78a6ba9834cecdfe6fb53ea95d076925 8188 ocaml optional coq-reduction-effects_0.1.5-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrsX4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR9aAP/3R9Kh08uc3nUepKwYmtA4OHozUwj3de Or/VUeoweEFiWL/JmPYmJeqZQaFEvLGkIGaDEPyz75fke2VAeR4SV6raSdT8qft7 xB54tI+ZPw9UJewfMDsKLNrI6FzMPI6smW+I+P4o+URWy12kKi0liEToYiFbBJln G0ix5I5i8vIipDoy95x/dYtwaccKVa/2KtW2+I2kxl7SlC6/2i9QOyPGCFN0CVJP i/UQ5Fzgc+sCl7VDwnca2+W0+z2aRT5Cr6KwVol2NROAAg/nlIJWy3zKJSrvQ+A6 ANE9SRuYELqqd6qgioKqKxl+A3sjlSPQMRkEAtfIfqOWtI3XI+hE1wOW4xf0piAx Nl8HuDZ2EptDwDsxeV2ByKQFtGK8vRMNH4y/Wjb3v80WZU/aGAanUVRMSvw1wSvb QJUgMNpaXhiIF6OLJdiDHstspBEXlMUK64Zm9DtPeYJ4GVgYKhDOWswUnG7Te/wC Pvf42H92+/lKTseWwz3j7DM7o6KKr3V9+MausKPonSoyJX00BPyoYjn4plIlYub9 bV4YfQgMAL4YgyZSWjNvZd2b096X2Wi4XbJeR31b2BBJGM9dBl3VgH+c0Punm6RR pUaV+Y5o4C+EPCvaPt0o5b3RKuG3svV2ZkY/EeulBY4ASF9PyYqt0OEEObgq2yJa SI6HBu6i2xZ9 =GeHf -----END PGP SIGNATURE-----
