-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 08:51:17 +0100 Source: coq-unicoq Architecture: source Version: 1.6-8.16-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unicoq (1.6-8.16-2) unstable; urgency=medium . * Change b-deb from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: d8b36dc2a0f7f6153259a2871f007f7bb5542871 2084 coq-unicoq_1.6-8.16-2.dsc 2e48f11a9057d68d7119b8eb14f8d3f4a3148b55 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz ef5ca8e2c5c6996b09c900c8cc3e1af1cecae496 7395 coq-unicoq_1.6-8.16-2_source.buildinfo Checksums-Sha256: 0690f31b8b1adcea06d2a9db4fd88fdc63e733d911d3a32802ea22bd8bdfb5b5 2084 coq-unicoq_1.6-8.16-2.dsc 0e818f2759e63899adc561361e83289c974b478b5372f99e1926df830b9c8dda 2364 coq-unicoq_1.6-8.16-2.debian.tar.xz c883b62c3b44de3cd56995930c3516eda0b753d325887aab8bbb62e6676dda65 7395 coq-unicoq_1.6-8.16-2_source.buildinfo Files: e49722480d0233d7b593e04ed75b030a 2084 ocaml optional coq-unicoq_1.6-8.16-2.dsc 3a26239fbedc871eea207325f291ce39 2364 ocaml optional coq-unicoq_1.6-8.16-2.debian.tar.xz 1958788113a5bf3a112fae5728bdc960 7395 ocaml optional coq-unicoq_1.6-8.16-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ35ESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhyUP/0Ndo3FXUMf4mxwkSnZb4cN8oW4+jqfI kLt92cN4B8PXoiSxof955jPHX0mmf2qsDoLSNyjTYh2nR+f6V6OVSrkfJFPFFqDP LSYv6LyjRcvZ5tJP8qvCsI+d1Xb1c6PpU5SYE6pueuiH8O6Pt38hQVe4UktAIy3h TaWUbjajkrDZh8zaMVSSsRPQOolUsJa3wR071KTtGvEiCmwzIiM3nECZ1Sdj8bvo nKlbb5qb70yA4/g3ovzqrTdPLH4eGJkO3zNndhvFqWN0VwBGLnmZfxE6Kp/fxLtD +KFgj9N575Zv9mUZ7suirWpcV6sfFt6DGDIniFJ++XlrWQbhtftmsIHUweoB8Mgx W99vLHc8l3UvveCnwdHtvx1+sILNX0mM/DkcMEdJ0fPLN5WqzQyoxxnNhF5WBmCm c4hiI+FGEpYUx9TAD0YhfTuKbRe3F5MM2pXSWyOxDFttGQSNk3/PqFzURpkG9/Yw xLwEgAehd9+yZRhQQiZlqBdnrGyxeltO4y6MphSpAIgyEtify/X80KalgvSltPbV kQ2cMdkgYYGDIxhUCEoWPG9KzO3PZ5lxcGI/UjEBkqN2sg14/UvudvHjTdYjq8rl 5A9GZwOo3ojjSOJAKELj1GWPMZS01Y0Oae6cJHF0GzFN7ZU4cUl1BuUekwMNXKp1 n8KIY2uviaRh =8bk2 -----END PGP SIGNATURE-----
