Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============50528241193854870=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZiu/1AAKCRCb9qggYcy5 IU2EAPkB8H1GZoxqzaaYjkUVXb/uIack1DrcsvjQUuLGsvMnDAD+PNWpLAPePmr3 AUv+egA5ZZXXGgg1coqe+btkzz9mDwQ=bVv/
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)