Accepted paramcoq 1.1.3+coq8.16-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted paramcoq 1.1.3+coq8.16-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 09:11:12 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: paramcoq_1.1.3+coq8.16-3_source.changes
- Debian-source: paramcoq
- Debian-suite: unstable
- Debian-version: 1.1.3+coq8.16-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=ixusK4p2peywx6E/AdfvRZBWsJJGWatQqhyfvmjISpU=; b=UfM1QiA0QYCMHYG+v9oDE7vChy NtjATkaU5juI0dP4TNrr/78A1v92B9jlY3vKGvsOydw32PRez6qAqg9OUq2qymdPh8SQEZqyCbvo7 8ixBSuxg87pqsA+nXCpqNL3aTx7Rbe7QHlAaFQoRHr06S38T6WfxVsUl8oaYJvaSrdXyx1XaD9cFj JZHi3Zr6QiP8/86sNFPQO/XX+yRXclURkXmuy04f92GIvltdWNkHDBSolixPGRPX/l35oQvk6F5wF xTJWzgoN8lGcaCScI1lqxGGuZ/gDR6ROuTQOy7qJFln5Gr9jq96KEj8R9QO9/ir/shs9WImDFOGVv yArbk7Sw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKboG-003KZM-LE@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 09:50:27 +0100
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-3
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.16-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
460a8ff89a8610772d3dccb46a251b97eddf11e2 2111 paramcoq_1.1.3+coq8.16-3.dsc
fe71e67d0ed9c4c7a84dbeb20378e27c6130407d 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
dd263d778a48643bd883ecb7a9f2105a3aafcaef 7407 paramcoq_1.1.3+coq8.16-3_source.buildinfo
Checksums-Sha256:
b326b9fdec74b3bfca14eafd012fab30e48229b15490ba68fcf78b212ba9ae7a 2111 paramcoq_1.1.3+coq8.16-3.dsc
9ec04701349949d05dea866e92474a8009554376275e30793b87179a5c5623cc 2892 paramcoq_1.1.3+coq8.16-3.debian.tar.xz
8c9b174f576387a84a46ed5e2ece92a55b1bec1f415d81d3b889e8185183b48a 7407 paramcoq_1.1.3+coq8.16-3_source.buildinfo
Files:
fd7fafbd482dfb93e19d4236a5ebfb48 2111 ocaml optional paramcoq_1.1.3+coq8.16-3.dsc
5c0089494a4f5210599d50ee8701038d 2892 ocaml optional paramcoq_1.1.3+coq8.16-3.debian.tar.xz
ebbd9c9ab4e18e12a6757d5928f53f3a 7407 ocaml optional paramcoq_1.1.3+coq8.16-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ7WoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqeYP/2hSCE+SPRhLVtiKl7bTUOW9GVBj52BH
Y7rYTUfZNptGsRUzlRw2khJPOOzynUxNfDJVKjnHiLDHcSMqZKJyfTIC4hC1Yr8h
F0JfMpt+fEmNnlZEAH9rQnhECYK8LyuMELlBtVW7QgexvemC2mOQG8eeIvzTC588
8QqkRMGVBwXONRmDBJsX6FT+5pCxafPf1AptWVZ8MZ829sdFbFFqH2f8tLJ4I6k7
o1xakfXtu3iIaxtkUe2lmo9ATetIenqRNYcG16r+UKBhNGisds0kUgGscu0fIekb
hUEm7Fp90eyy0aP+QnTtSHqCEjIpySyKDjyTJpc+5OxTO7H+11ic3M6G0hXaR0pv
Ktp0kT5AlVL82HWwO9GYInIIARBNGaQW9hvD60Ow0iLfVpVgmB2GeTSKQGXLS6AX
R6JFcp/Rc+eD30zZo3JFuyYyQJxdsjXkGZ9zfng6ei39HQYc4iNBFgy4O2ZxD4pi
FtfVVsZIwM5wvw6QrfsWfUOW1EaZmG3WdrxGN5S1VNCfRPkwS1sKI/l2nWv0y898
C8SJRbjsoFEUuAyCpgzyLBgyN/+6EVb8JQcUhG0E3rn8wkJJTUBE9phF0EcMOxHm
/FzrDRwm/lcVJf2c5OOxpIHy+uj/C2y5fzrbN/0b8tBp/v770yYrlnY2wGDcWqUm
TnYJ5kCktSfg
=HOUo
-----END PGP SIGNATURE-----