-----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-----