Accepted coq-equations 1.3-8.16-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-equations 1.3-8.16-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:35:22 +0000
- 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=WKh9wToDUMPc+WG28i6lw10wHlWZFPVod4PC5REIFZE=; b=dOFPFvIrPTwd+zyWx6FVp+hLdL MeGqp+BDmyFUFEc146Za/OB4XRMAqETVXBafW2Vl/jDWq8keULqt3AKXwFsVMGWwAZ+E1S4EuVzJm oyM5gELOo8iIM81cJ4JTywolDPF0ZXPRBv5KnFNctquvwM1za/uYETW5NzMbKBG0FC8tYVEsdNkZe k8jtwYsyCiQUF8FAgY76nvq3/d/YpA5n2uUTYjVpfi9Syx+jhIaIGMlTM2LXGRLsBD3cLtB26INK4 Uwsy+uEPiS6XbyGEkhcnl/t2Tuvy2Gp05HJdRIW5Mmo9vc+qrtS9U7zni0INndUVA7cMRUREqL9W0 5VgStLTw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVUzK-00DgwX-3c@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 16:38:03 +0200
Source: coq-equations
Architecture: source
Version: 1.3-8.16-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-equations (1.3-8.16-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
df3602a3d0bdced340224ffe8860dc55427fcb28 2161 coq-equations_1.3-8.16-1.dsc
4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz
54f6c096eae2116d67f0608dd3069c4a420dc339 2176 coq-equations_1.3-8.16-1.debian.tar.xz
a5ae6e4ce69156c1112a986f080993939483f84f 7073 coq-equations_1.3-8.16-1_source.buildinfo
Checksums-Sha256:
6ede3c71252a4da19d47c806f378a1f5624c6efeae84c77d749533fc3efd83f2 2161 coq-equations_1.3-8.16-1.dsc
dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz
6fc66d380e0dadde756f8d81652a98612f7c0d8120a2cc97a3a8aa92615def75 2176 coq-equations_1.3-8.16-1.debian.tar.xz
bc6e3b9e461bb1f0b21f85d50329e7f4be4f2936714f6636b9cfdae3117b1edb 7073 coq-equations_1.3-8.16-1_source.buildinfo
Files:
a6c07731d26525e9885acca4ecb2d8ce 2161 ocaml optional coq-equations_1.3-8.16-1.dsc
6c5a89dd4eb82608c27dcd53bae7d54a 1097638 ocaml optional coq-equations_1.3-8.16.orig.tar.gz
884a6f64bb75e4d7e22f3ef0e78b336d 2176 ocaml optional coq-equations_1.3-8.16-1.debian.tar.xz
f1b6a0f18cf3f4a4abf5816861211ce0 7073 ocaml optional coq-equations_1.3-8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWUtYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoTYQAJhOKL+lB7+UMWrmRxAZ7anMXiislIHv
anzK4dPbveQIp2TpkIahut82z9lziMo0sWK0Od4+klXy5bRlNLKMow57w8opjHH3
EE3lXspbPjb2LJ/J8BMyRtjBMIvPFXRO2+73Uy1HOmFaQwVbnD1+KehHGas5CLQt
wLSJFc40dDrPTcJ4B58uUc6oI/DtW9jFOPXublIFbypZEB7P2STBgCB1hKsycC9H
dVV5Lja9I8BPEO0n+eBi8QlqkFEf59qBPW9hKjTv3uzDPqaCwkrtRpfYartczH7g
9LDZHdEA0pYkj6w5dSC7mjOllt+dRVeWoKq23ws2+oeHMdkkcgSQvx2Fjyisy80U
7UNdMk9he4i5le6nFvjre+IJCllHoeJbK8JnUIOyLNgyAcgbPDBPD7GQLIy5vf6o
a03E81oloK+kA9cZvHT+hWq2cGKY4Gt/QiQkCGArfj5i5Vd6X0PTrFaShthHrHXJ
pP3Rp/v22SiyoaPiAwU0WXK4DacjMq2Vre8bqHNQnDKk2gycRdZJOsuFV+3clHuN
aieqEARnPN4xwMdKh+rM0tO2mvfyKKWUxTk0gNARSJH0h/vbOhEKGkLyfgGWSyHR
8FmiIvGsLsLkULVq9cCT9agfSxdHAo8yluJUdk9p17NfHn1lqZ32laFWUX6fvG9U
DUO9/jSo7Fj5
=xc8S
-----END PGP SIGNATURE-----