Accepted coq-libhyps 2.0.6-1 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-libhyps 2.0.6-1 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 01 Oct 2022 23:00:11 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: coq-libhyps_2.0.6-1_amd64.changes
- Debian-source: coq-libhyps
- Debian-suite: unstable
- Debian-version: 2.0.6-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=kDiimqLJAv77etUXtWtV/XuphoWO9KuR+VLuHgX8mas=; b=mt9jcK9mkxEMB624yMltKPufIs Wbtv7WvubFcMY+rpWaNNIItmwxJbhzXi2Agl4Udgzd/8uIZFaqKHyhl+IkxxnaBrhSzsfvS93xetV yN9pQapziel0Hot2+8DEh2PJgoOfxKnZ1af5eUVfIHO4fXim6lNoRHBb462TJfTQiPXswVrJHgIvv XwtiFRqfFUDsFEzVSHjcVjZok9L6Mjlysbbx9JjRRe/lD5rEHuf7OYu0jVZYbOaH8wFNpzcdZjetH Vq6qSnQhsoCwaS+IN7PLi2HHOpKMTQVZ/OZrpXkWk7ZiKRJL7RCHGoIPG3QpV5z+4y9hrJNSeCZlQ aAFbUxsA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oelSt-00C3Ya-8S@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 23 Sep 2022 16:21:31 +0200
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: source amd64
Version: 2.0.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-libhyps - Tactics on hypotheses in Coq
Closes: 1014965
Changes:
coq-libhyps (2.0.6-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014965)
Checksums-Sha1:
2819f82574be645721e1d5ed6c9243db32a224a6 2067 coq-libhyps_2.0.6-1.dsc
5301821de901af71826df0fc98a25e982a496f9e 36241 coq-libhyps_2.0.6.orig.tar.gz
9ebcf6c75d7c087322704e5585a95dc5088daf8f 1860 coq-libhyps_2.0.6-1.debian.tar.xz
5e479f14a58a29186ba0147c0ee3e6bc466f2188 7361 coq-libhyps_2.0.6-1_amd64.buildinfo
5e5f5aba7c5f06c336ca7a2da541836bceab7f06 84584 libcoq-libhyps_2.0.6-1_amd64.deb
Checksums-Sha256:
d6ca60b9e7f9258201d5bb1b39c7fd74c8f1c5c03112b993ac1055bc094f0955 2067 coq-libhyps_2.0.6-1.dsc
ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e 36241 coq-libhyps_2.0.6.orig.tar.gz
a4b0c4286a3c2b92f2249ce84be7c5b33b1b2421bb402f4508c7580d5ca11d79 1860 coq-libhyps_2.0.6-1.debian.tar.xz
c73ccd0da147d394ea0c3cf0434f988926960211517eb12d9d08a0d2ca16602b 7361 coq-libhyps_2.0.6-1_amd64.buildinfo
8673f79f145beb4617a32e8a6c670d324ba249692a7567271f6fb13e1caa9f88 84584 libcoq-libhyps_2.0.6-1_amd64.deb
Files:
c53bfc8f5fe4a5a361445548ae4914f3 2067 ocaml optional coq-libhyps_2.0.6-1.dsc
9aecf3f2e2a19b58ad130d6895731342 36241 ocaml optional coq-libhyps_2.0.6.orig.tar.gz
d76c4dd997171a20cf41761bb96fb52d 1860 ocaml optional coq-libhyps_2.0.6-1.debian.tar.xz
b7a724ed93c42b53e0c98c619b36849e 7361 ocaml optional coq-libhyps_2.0.6-1_amd64.buildinfo
6b996eee6d1a2d0970f502456b209b28 84584 ocaml optional libcoq-libhyps_2.0.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtwRwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFxYP/1iWJta/XP5oOBgo6OckVM1LJ2GmbmZK
YZ0NQD8ho6C/z+Ti0WR8JNRIRirFeYRQl/Er5SqlHprRfjWYSeV2FIWchFqjLj+9
EmpNR4+50OuPDrRuGPScoD+xilfS/BoAsQfnr/XvC/jZmzJWHmXYEKLVtw3GO2VK
OusinQrcVBoNK9MScmSqgf3tvNojWReWfgbxmDk3T3omxixXWUI75LRtLBRKQbph
A4qAc1pDAZf92g0fRn5pLUx+8UFuIgcpIv5S6FDyZ4cih5czexfzTHB8K2Qgpav0
GGOC3rK9r2y2BdPZLgXgPZE8Nn1FKh9xUX5vcFtXFeU2RKzB1Kn1zUa4CGnf4xuQ
qVyat1LGHID3KbSxpXZ8wEvlOSjCL0788p+4V+W8eCHBoqDAU8a+yNMd/HpHlbmG
42WKGOMC7+PyMZhG+9OuM/KxUxX3sfHIQLiPJCIgIIZSZu8+MfkbJjJPiL25iR5v
O+rPawT6v9sjQSxjVVKb6ci1FfWHR3Jq4KiVHH6OmjCvi5KdHUZMrRPGZKIYuXeh
1EC8gai7HNW1IaB7tYOQUwGNQA7cUNsupQYqU1P8N6A4T4EoTo+xCfkr/HfhBl5d
rZK9yiOpyDm+q7Q07P3GncmVHaiJoRfCYHwjfXsccOQ0NtdUSdYEE435jD2PSXHh
DGyT5T1e05cy
=wjD1
-----END PGP SIGNATURE-----