Accepted coq-reduction-effects 0.1.4-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reduction-effects 0.1.4-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:51:37 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reduction-effects_0.1.4-3_source.changes
- Debian-source: coq-reduction-effects
- Debian-suite: unstable
- Debian-version: 0.1.4-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=3Bk8Da9K8Ged4rZZWgE5KWfFVybUk4BTDJxC9r61Md8=; b=RKp/6BqlnSdmDnpDewCXLU2bYW IQsuAM/Efd77xjKBcxQUimDtlaIpTdqoKvQyEsI2TK0paKtHod9TZeBeJQu1kRARWUrad6q7Ok4Zh nWl5ioDeTNEANYbspP/q31NV2LliO2FO3Ubru3nwDtpQx5lW7cIjh51JU/sjUEZUVHYm1y+jiXEIx xUlSgyABijSRUgcITP7yuI7taESu5BnClRlScRK4dYZYSjERFuo6GeRQ+sD27lwrjl8szn0pmyj8+ qCB1ge3a1YO8XMzeOg9NJZQXPvGz+FqvfkfqbpdSqrXXJlDRENhcPsO7Gcb56zkZLIrAww943U/rV eHARg0Ow==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKaZF-002q9s-Qw@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----