Accepted coq-record-update 0.3.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-record-update 0.3.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:51:30 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-record-update_0.3.1-2_source.changes
- Debian-source: coq-record-update
- Debian-suite: unstable
- Debian-version: 0.3.1-2
- 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=bPGBw4i4lANkBJLr3coK5HqFp7WkHX6feMJ07462pak=; b=FEq1dAcSl8GwWh/GHfS1PMU0D3 YMY/ptBviSoRyju7ajwDw+e7pxUj44GR4pRdMnrs653eZueDXKFXpsA88sge1xXbfvEg4SUDm/6sx xm2uqlYrrnxIwhhh1oOYyDSgMsu36jWCuGk8SVjG85yVIDM3R5Esj4V9FD76oI15MamZxZeLXtDl3 gU71lVxo7I/m0+vo/bKv0PNJOzgEuoQ1bc3nsVCX6OiXRLnZwjnkQVpe4JddyqhL6Bq8m2ZsGGowc jXiHU3sLgsQuBhBNOArMwpw1OI35XeLV0sh8qIGikSt/8oskdDmcQ/QW7eafk50FCnopk04qbuYXU bV0aP4vg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKaZ8-002q8g-2e@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:31:30 +0100
Source: coq-record-update
Architecture: source
Version: 0.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-record-update (0.3.1-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
61bfa044ae11a5137d72bac773bb9fd2e537a318 2148 coq-record-update_0.3.1-2.dsc
b09bbdab5f30c09d4606676daf0bee56f077bb4b 1872 coq-record-update_0.3.1-2.debian.tar.xz
64b4f07b827caa8cf6f6e1b205304214efd61dc6 7411 coq-record-update_0.3.1-2_source.buildinfo
Checksums-Sha256:
0667e89a226cf9b209510f52eb64a298bcb904980695573061b532ae36c4613c 2148 coq-record-update_0.3.1-2.dsc
c7ff9e2b9fde0e6c896874d1495a1f2c3fbb5cc91ed4eaf5c9049b6a916ac471 1872 coq-record-update_0.3.1-2.debian.tar.xz
3cd790944963ab77e4268b2692b887a149f7700143ba488b9ff40dbd58c16e3a 7411 coq-record-update_0.3.1-2_source.buildinfo
Files:
42967143387b85522b6cc8187e3a4a96 2148 ocaml optional coq-record-update_0.3.1-2.dsc
a131d4fade278b70173832c924077fc8 1872 ocaml optional coq-record-update_0.3.1-2.debian.tar.xz
7cb59f7002671a457eff930ba3a384bb 7411 ocaml optional coq-record-update_0.3.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ2ugSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRD/IP/2U7X9hkslrsiiXxNQoFik3v259JQtG5
WOPE3lLWBgldJDmDdTz1T+mCCRflrSiVA7BZxPEKatufHv8cgPwhNQ6hI07wuXHA
vmK8r3/h8u/ESO4wZ5DiB3fgTEuzMXHoEWnHauWyS9jPH/9wes1tyeI/HEOB6Srb
SK5uaNoXizfGFI5nNc6/wE2PNbqTQEJY1cKW4l0446ICx6VJ5o4L6Wslj7WOQUFF
py//0LXPXfeCiG+rRCqU37UqRUxrFFMkZAzvUkGC4ZTna1X+GGhZD59SiUCXNhfc
WnXo3btQ0BExpuccFMFvjXgFI6Pu9kWMuVptX2+6uXL1ag7MET3zY094R1pOfqmE
v7y6aPfntI3muDd3jdAaRZeVVINX30i4WHTWvzSJLbkeW5h4dd42PyeAOreDYIZd
ndLfnth2XclxVkdDc0nbuqWEQhhfjkGeQIuFBBz3U7MfJQwaeSLlg3LQ6HeFITEE
bI2H6fE1bidj2wVYLnJxGaiE90LRO5NChPqvByU6X3O7/jr6DmCQDk26Zq8bke4T
W3lexYD6CJtxdjOyYq2PUbPAX09vfjAbvmplCQlZWMhs6u5/PnuNoHtx0EU81Y5m
YCPrJEzoUL2lXETCX0Ps02FR5322y1zc0s15s/kzpYAstkC01NYkL5QV/ghyBMrI
TRQWEL8/GYmt
=U46R
-----END PGP SIGNATURE-----