Accepted paramcoq 1.1.3+coq8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3+coq8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 22:12:55 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: paramcoq_1.1.3+coq8.17-1_source.changes
- Debian-source: paramcoq
- Debian-suite: unstable
- Debian-version: 1.1.3+coq8.17-1
- 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=2BiJSoeY3Cz8McvTMWNGVtY8EHmEMR58kzOT1+ZMeJU=; b=XzbhiGRmQXhsIutzCkbcja3WHN lyDEkFJRDA4znSC4hvNrg2XhrNiG0JJJ7PfqkmvE4HCpZT8DVnFL8jbisgkn6JvhSaHhFGWQKnZpg Ttfy+fYu3dTtXc3ZAUypT4RdXdGGu3rfdsEtuDCXsZv2sZG4MBgO4zvzLTUAIWPnl3YaQd4MKncUV YUCsfshlrD8SzN8f6EtDhaVvA8uIxOlKACwTSJ/1nkWGE+sKLy0hvO7JaztY0Tstt8VyKasXCFP5f MRAVNCZrf0jDh5an15nCLWxrpIGVOuKelEkoJshERUQK5LZ6Rafgzh4BmjiZ0/Ki4o2cbwX0IgbWY yPNUyoYg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8pmR-000ReI-NB@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:36:08 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
paramcoq (1.1.3+coq8.17-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
* Bump Coq version depend.
Checksums-Sha1:
5b3fb96bed6e4ea73c5ff1f8b8758d70c7bf1166 2121 paramcoq_1.1.3+coq8.17-1.dsc
56b9c93d5909dd09e54a62fcaf00c10b558ad93a 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
4cb5cd709177fbd13f9045f9a16829b7e9a580ad 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
15b10b9851500186bb21dc965ebfe1c9658acd3e 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
Checksums-Sha256:
51444d61fa7bf2e5b3f4e548aa6809f795b191bbe5d0ea7f13ab6ebeb4299128 2121 paramcoq_1.1.3+coq8.17-1.dsc
82c595e6b8bb2c2e7e5919baab4be4c8f84c1f7effcb6117a94127c435252441 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
338b45a998e15cda1e19b3a095a545cfd1f27af308c2b2998f2f1dbc5a685a08 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
3f92c9c94c231e10525752d28aac247b555c79ad8bf67d6f2986adb22b4973bb 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
Files:
0e7de63f5ced6003ebcc935171a03943 2121 ocaml optional paramcoq_1.1.3+coq8.17-1.dsc
62df81c43c91f090885b435672897f74 45683 ocaml optional paramcoq_1.1.3+coq8.17.orig.tar.gz
0e015106d0641800f9ead4fc32fa5434 3024 ocaml optional paramcoq_1.1.3+coq8.17-1.debian.tar.xz
1a37752c96a1edca6176db955d48d07e 7359 ocaml optional paramcoq_1.1.3+coq8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV48SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwEsP/3MOZAmF8SIyGr0xP9IS8HQBXOq2ojn9
r83z19PhZwAwHaiwmX8RdqkKRFySsulANDfRlFpb/UXYA7g6OcCN00hifOEzeCSi
eOj/nOnmbKF1L1wQhxjsMU63zZlsZaYqsyX1uoIg0XO2AGdFz6cqa0BUIFT1IDuc
7qaJz8BD996OQMfytnVhUq0xu03fWllebO0SC6ln8VJFJziPgpzNGrQDAw2JfXBn
fcjz9WMMKBDxRgAvhJxBADTz8aQ5vkK1Xsj21ztydqJ5/TRXCS6bGJSXBjmkosfG
V7v+ldo3gIr/A+ZtpL9Y5dZUQpiT43BtKjlVCpRym2q7CqG1nH+9IGrbcim21tCJ
q0ZRIjU0w3d3q+pjw+sG7pEdJbfxTTowILR4t+iZkWtXm0XqA7X3v6CIr3k7YM/8
za8IoAf/WYSYoFvjrgwDQO46WsTvkRp/v79VE3R1wFDV2CAakdUxyBl3CXmRK63h
lstExfaAhsBEwSJr0ip7lNyKhA/2ryAuFQvPgKsKpW87UebMeO1tk57Is5ZFxMQr
UlK/XdNE+YdkRmjRgZF+DYQdMFjtknWu/C4z+4dndFSyXzAshX3KANdT7G0X83Vi
GIVWcniUabGiRSnI/COpE1aQHfQeNIR9IhKQNAqygxWQ+3Xn0LChOKla/dbFs4Ma
X5/4kItiTzxg
=FNCD
-----END PGP SIGNATURE-----