Accepted coqprime 8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqprime 8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:06:19 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coqprime_8.17-1_source.changes
- Debian-source: coqprime
- Debian-suite: unstable
- Debian-version: 8.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=2qEwtgF/+2hfWTkSinUCgpkn4ypeYtY7g2N5Vh4FwOc=; b=nwWv0jPBI6cITOIIB88Q8ugj9p 3LfAHON5S5iQcohVX6XJjPv9n5KzSghMwFFJdEdg/tBrQw2JBjVq88K2+eUh8Oh/ShvzlrGm21tCb /57lnnL/GnC7Ov8Immn+SNr9kP6lBWV9c5ssI116R78x0DM4qRmhf9uEXVWAypHxJ2KRbAwV4tN81 cC/yEVxcDeSD1pPHsYAQ04CznCwI8NtFffvDEp48PLkyeYFxrFDNuaEhNoSz3LuSQIjnWL+81cvqK tH1Z7XXmRENdlIkHLJenjVw/wJzptAGD+nVpngh6qFzckG/mflH5JZw8KifRAb3xizmOoxNfecVAj h8AzVqXg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8xAZ-001jyh-Sm@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jun 2023 07:08:59 +0200
Source: coqprime
Architecture: source
Version: 8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coqprime (8.17-1) unstable; urgency=medium
.
* New upstream release.
* Drop patches (all upstreamed).
* Bump standards-version to 4.6.2.
Checksums-Sha1:
3d0450acbf59c5375a28aae7ab1142a5e52860c9 2149 coqprime_8.17-1.dsc
866300a5b556efc97c2b5a2331395c2d429cb143 996033 coqprime_8.17.orig.tar.gz
5547408697babf0dbf5db9c175f5726cfe285c26 3144 coqprime_8.17-1.debian.tar.xz
7b7b302d22533eae3e272051021db64cac26bd0f 7497 coqprime_8.17-1_source.buildinfo
Checksums-Sha256:
e20f18c90c77f77a05663a5e856baa71b6d001140dca56891b7eb873227c2dcb 2149 coqprime_8.17-1.dsc
db177343c22aa6d5c14a583a0caf2944abb0b48cebd8ce91fc47ca1b33e32f04 996033 coqprime_8.17.orig.tar.gz
ec12116daf3b6307c38917da805f4a6be7bd7426631a46c7c8dad198c2cbd35e 3144 coqprime_8.17-1.debian.tar.xz
748f282563bfd3d717d4ba4cbdb8c6e9226e006409c6513cda967d5b54a22cc0 7497 coqprime_8.17-1_source.buildinfo
Files:
579fb876102aec363b3325ef6176c63a 2149 ocaml optional coqprime_8.17-1.dsc
fb518991998e75ec8ace8f7e899e2ab0 996033 ocaml optional coqprime_8.17.orig.tar.gz
b1bb3209801f708bcb8f5868ece0ef8e 3144 ocaml optional coqprime_8.17-1.debian.tar.xz
5275a6122a2387ea875bfa381a44e322 7497 ocaml optional coqprime_8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+fISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRieAP/3bYdORs75LUbGvhWYOSa2ziTKXQILQJ
lMp9muiOtmKseJAeNKgurQ3FzOjDbZfRDLtm1/Kh/jLeRb8q9l1M9yj6Fh8SLXWx
5/9zcvDXGuc2rI+dteIdy+d55bbNwmSluaOtB6NA64muIkzv4tkHp0b5kCIRDY5E
eQXsbkTBu6cJPewEljLPUYQ/OROTtE87KxRjO8D6uJl8TDjNwT34nLysQNGOinvy
4UmP2aBJMLarhpBvplXTJ6BYfwTDI3qNHoELpg/AJ8gNr2QB7UdOnpk+Fz0dv1vo
OW0rMCyyijTteFRc818SbooH6UyDOgQAbaD6Hgv+aGe/rqEqts31wiyVJ/PVsR54
nHaqye92043JyL1bzJhexIriYPpAaQ4ycEdFNP7VPTJDbJltIgirERf3Ap6lIfHz
zcMBa9rI3gaD0LYZ75/WnaDhMp0qqYD38ii+eBA7qwtuz0Vz730aRNYlDSWXuE2L
b3CValEc+PgfI5cGapAIMzb8BtR+7GnwAE2EPkccvxSnAllGm1XQnAAmFcKdLQiv
XeTCPxdOatB56hIcvBNqnmS1tiaLxUDs8FWpC2KpVvgac4XR0JZHOjTa6ErOCooM
Vu4TIb8Nzg1qvcSFCqtxRPttlVtfnGHKj4sCiggSnNZNWq541Y6KotxLNb9tFOdG
oK7/MGHaHmvz
=smC8
-----END PGP SIGNATURE-----