coq-libhyps_2.0.6-1_amd64.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: