-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 14 Jul 2022 14:51:34 +0200 Source: coq-equations Binary: libcoq-equations libcoq-equations-dbgsym Architecture: source amd64 Version: 1.3-8.15-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-equations - Coq library to work with functions defined by equations Changes: coq-equations (1.3-8.15-2) unstable; urgency=medium . * Complete d/copyright. * Add hott support now it's in Debian. Checksums-Sha1: 63238d2a7a6baf271dd267e68d459782431c3289 2161 coq-equations_1.3-8.15-2.dsc 56bdaf1ed1b8746cb0a11ee07c9cad21ce64f61e 1095737 coq-equations_1.3-8.15.orig.tar.gz cbc603f4f1534596994161c9ea03103a80eac5bb 2144 coq-equations_1.3-8.15-2.debian.tar.xz 32be78abb2f8c5e2451cffb8a4bf8adcd82a3b38 7542 coq-equations_1.3-8.15-2_amd64.buildinfo 90ba7acc4872e9d0deaabb60c791251ff67f5433 132764 libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb 9ac87817e34a915832d1dd511427913a641115fe 1432068 libcoq-equations_1.3-8.15-2_amd64.deb Checksums-Sha256: c80692c8978e65852c464c2694f2b3860a21ec9c45daacbe1c55849a36cc4d97 2161 coq-equations_1.3-8.15-2.dsc 459636a90f7d45ecc2c082fca91478e7d7f27455518c9c2631541ba6488f4a01 1095737 coq-equations_1.3-8.15.orig.tar.gz 9930c2dd50a0b4fc50b9e43da0c3a3ec322c1d6daaa27e825cf231f04897cb15 2144 coq-equations_1.3-8.15-2.debian.tar.xz 2b4be83d59d642f90b9f8849b819a2da39be045eb2e7c946cd7edff32527a754 7542 coq-equations_1.3-8.15-2_amd64.buildinfo b7ae6cb7977a2efb90861fa4036b5522b8f3a6db127f3c6324200f88201f8f3a 132764 libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb 901e48c0e1627b1522c39a9e6b56325ef13dfe82379d5f25f593126f23ceab22 1432068 libcoq-equations_1.3-8.15-2_amd64.deb Files: 02dab79541b0c125df9b2f6a51345180 2161 ocaml optional coq-equations_1.3-8.15-2.dsc e3956751e6f135aa3ec2ac6514afed4b 1095737 ocaml optional coq-equations_1.3-8.15.orig.tar.gz 031fa902533e78fa6a2453158edbd43c 2144 ocaml optional coq-equations_1.3-8.15-2.debian.tar.xz 60d54278e8838d0a798d88871b7e328a 7542 ocaml optional coq-equations_1.3-8.15-2_amd64.buildinfo dedebab6ca80b4fe621621442e5ce005 132764 debug optional libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb 4d28d4e09563c677a6a89f0a3c8472b1 1432068 ocaml optional libcoq-equations_1.3-8.15-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQGd0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhugP/3V8oiC6tp6vjSUxl3J88rrPumzNK655 RMziXC2ouBeT/reBZDD3SyTKXY00aLOeIpjahqUz3JDRWNf+RHBZSUz38neqeqC6 P6xLS4R5/hJ+mh+BrDEMtKONSESJhQ+nvJTr8tLA1sVJJUQKd+5GLDaW8dVVhq1m Qg3hByeLX124DD9tSLijEANPrLmEy9Q5RmWHbmvReTFciKMPl9POfIf8ELXinUQm COBNxrUY+d+XzxOCv29zsf3TgRROaVV5f7aLq5Xws5ya7ruuoaG43Ju5XNE/+mmb Ah6L1cND5//Yqp63aYVpY9ZcnDnFO/A3DwIBnNIDx+ptHSDvW/KRs1zMSvbnEzLZ YqLWWNADson+X8CHOUJoV3gi5bSZhD8/6KcG+6rzMKQf7NRFbi/hq7tkZ69iI6nZ rrpOEYtY0RvS1ACkvOGHeyQnD4kG08KUMz5JkPhi8Np1QAxhgjQYwc5s+rmOEWoj SBx/srn1XFk8ucWyBHiNxY6mwjGOEVM3BrDT5hC6mUejCDdpK5g6VlO9zV8A2Rhj aEe0Mqzc/nqCFL76jkr17HDZSo1EjrHphTYPoPWs+CFMVQqfaHHDINYJNNkQqfR6 1RNgM2YNkwuL9enfaFjqO9fx/XzKyDruJo1rqUVMAm48VjDc4/6M3hO1L1U6afPP vYqCJ1jN+atB =0qvB -----END PGP SIGNATURE-----
