-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 09 Sep 2020 21:16:07 +0200 Source: coq Architecture: source Version: 8.12.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: coq (8.12.0-3) unstable; urgency=medium . * Upload to unstable Checksums-Sha1: a7f6044479485418fdc8a1766526455211545999 2483 coq_8.12.0-3.dsc 88d1a392001adcb7fae0a204eab77274cf2b5791 37772 coq_8.12.0-3.debian.tar.xz 77bf6d0754dc48b4aec3eb04ff3adeb47de4869c 14407 coq_8.12.0-3_source.buildinfo Checksums-Sha256: a51b2cc10e8b2e8199e0788bc5c5016f7bc097cc276105e8f1e137f96be1838b 2483 coq_8.12.0-3.dsc d0b2ecfbcb6ef5a116dc791cf4e68086314352c42d5250407e563d117f63234a 37772 coq_8.12.0-3.debian.tar.xz e175f2538e9ff0b11e9e58ab7e50f3e78202edc1e964381a06e2d8c472a08de7 14407 coq_8.12.0-3_source.buildinfo Files: 74fa59ff625160361d54e4f008bbd61b 2483 math optional coq_8.12.0-3.dsc 3957663116163b8bae95288b66e400bb 37772 math optional coq_8.12.0-3.debian.tar.xz d7ffc7568f8bf48b889c9d32922e8186 14407 math optional coq_8.12.0-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9ZxxEACgkQdFxHZtTK zf+5wBAApt33335XtcyJApjzLK3rtyBCRTrUQOg/6fRikBbeMy0F6Vr4Iv1O8bHp laJVGjVGytFY5GbIll1+vn9NwFsG1plqErNyD9boS03+RdUwnBg9QsLEFpfsVDjJ zmDXMwgA3xBbP0g52uI0q9tEnz1dTgOAlqN5ZiNGBAHEU35of1P8pnAyfG3Gy4Cz uVwj09TMkM8SJ52GkK+kjZy+ceab4+B7UiOBgrjDpLDD6pTGBSpeLUYsek8UBRSf GcJj8o90vmsNU4lodPFGxdf4bnAIm3gg77PGq5sX/9mlAUC8CP7GrYbQq/NSuLtC rCFZ/yz2xotoPS54fqL7RYHZA76CDzLdVV36buxXeSnBSXRmJfvnyRa2ku8zLfuf sFXVYt19o4+CUj5oYbPR7iOE+e6DBTJF+xizjfPDrACkaGxxE5YjSfCwwI+kX7OT ILgfxE/qG2Y333D9W6BiUuNszqsxvZlG2uHqyDuRD6ypBNgWSbacR431oyTXv2IH jywO26kfzUtpJMEXus3OlYSN/1+9m8O5D8vdOZtfhN+Cm1+t6U4DmsFAvrVFDJuC Y/d+I9kva5FpMKUZ7MAdTmJE2RnDApO2xa+PphR98Izk7Z3vwhA3svd8W9FTkh2A Fs+GMVJ9fg2rfB9yM3Jdck9OU766DR8bJ5ByLW/m83ptFLBHpQQ= =ZzqI -----END PGP SIGNATURE-----
