-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 08:36:56 +0100 Source: coq-reduction-effects Architecture: source Version: 0.1.4-3 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.4-3) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: d675706fd7c8c7e91377aef98e7c69b09966934e 2214 coq-reduction-effects_0.1.4-3.dsc 5526f1e7e28a864be59b393427050f8cda7c3ef8 1572 coq-reduction-effects_0.1.4-3.debian.tar.xz 80f45905ba9c5ea7193cc1b932be6927fcc48aeb 7446 coq-reduction-effects_0.1.4-3_source.buildinfo Checksums-Sha256: a6838080b2cc2094b6b7d98a113403e3c8eb7a703159038a68c34579bfc8acfa 2214 coq-reduction-effects_0.1.4-3.dsc 69fe763c131defe4a6574b5799a02a4ecbaabbae60193d8ce7a6d6b389f2c404 1572 coq-reduction-effects_0.1.4-3.debian.tar.xz 655ebcb6052f3f158d72d97992ac99c3fdb239a64e86d6671d0248bdab1ea6e5 7446 coq-reduction-effects_0.1.4-3_source.buildinfo Files: 498132106760c7889b3ffa11d86af0c8 2214 ocaml optional coq-reduction-effects_0.1.4-3.dsc e1d5c7cc627c0cd3e55910fac6e8405e 1572 ocaml optional coq-reduction-effects_0.1.4-3.debian.tar.xz 60fa02bb9b5561d4a15a374ed7feb265 7446 ocaml optional coq-reduction-effects_0.1.4-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ3C8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+vkP/3X51lU4ZmYt9BQcrfgVXFtVdLAtUzWM f4YDMWnJ7LV3F4MjkUVjVWjV4tmlnxexeJGoyB+EbjSOgBqzra5P6Lg6CmkUOoQJ uqqumAdGIIyeqXB2OFNRVVDT5RUxRSMAaZ86LIOoYjsTACYUllHzhEShZDPSbMa/ mO/IfEgmMI4zv9JgNgbAb1/1n91H+c1JFC9NvMBXN9bTqXIFlgQvs7OB5pC9mV4e ePEC5pA0OzSBA+UXvzKJbD4pmf/v4dfpYYTtr2tGrT3q4wPIKdwCaHkDcCEUjPIG bbNZSUuxqEgDp5w8SptSHSD2e1cL0orAGb91C++ngpxhKQ4yeC4ysE4d3kvvARaI ncVjCg5kykz/hZ5I8U3t7eTtUFjB4/1fXX/us+OJBiI/9cv8nzLrqJj0IbMniKQ4 lRUgBlUdncdV43/ZqK3bqPrcFBZgIuzq5zaAOee/aXRTACds/jYn0R0yz37htCSM OLpCflz5UGAXz25V4KcirFgR8NN3mAAaZ6b9KVr39h+v2JnAKKn3dKo0+ucxFTOx 1ApD4Si5SxqHlf8dCqzxdkEyY/JmomDxWs8T6zCUCx1kJeNigQXTTK/yLHfoXaiJ OE3tiFRv3mA1F9qq6ugqfW+wTDSue30z6lgYAF8nWRyAHncSN4j+BiCOV+37SF7s iJUdf7kJ3b65 =koBC -----END PGP SIGNATURE-----
