-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 25 Jul 2019 15:57:50 -0300 Source: menhir Architecture: source Version: 20190626-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: menhir (20190626-3) unstable; urgency=medium . * Standards-Version 4.4.0 (no change) * Test coq: add dependency coq * Drop version contraint on build-dependency dh-ocaml Checksums-Sha1: 840eb431b6f9f754d94da81faf7daacc76f05178 2346 menhir_20190626-3.dsc 30ba621149d1a20da83ebc170663082a3a0d74d2 16976 menhir_20190626-3.debian.tar.xz 21636defeabe7ee6770415f72c2dd0ed626f11d3 6550 menhir_20190626-3_source.buildinfo Checksums-Sha256: 1b46b9e46de64be71e48f7ac91c895b608ae43089b2e88bb998c6af4c4d50712 2346 menhir_20190626-3.dsc 8df5b6262968c14088b05c24d68e854204c02f85f98b99623f6eea1e65f51dfc 16976 menhir_20190626-3.debian.tar.xz 9a50b1f0cb78994b87c59209911822717b97d61eee3b5820885b09ffae44f97d 6550 menhir_20190626-3_source.buildinfo Files: ff960a3ac5261bc20cceeebf1fccb363 2346 ocaml optional menhir_20190626-3.dsc bc86a87cfd45d00d6316119cf392acc9 16976 ocaml optional menhir_20190626-3.debian.tar.xz a7fc9ad26500353a8230707a8157dee8 6550 ocaml optional menhir_20190626-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJHBAEBCAAxFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl07IaYTHHRyZWluZW5A ZGViaWFuLm9yZwAKCRB0XEdm1MrN/y72D/9twerqzekDoolPbiom/7q6nARhSbnD mwJ+cu8UpvEdoIgn1l7JX9JCHpawnwOQcV6QBIvl5wBf5vAt+UT4ZeAuEZQqN+UZ PnkJPA0q976KRdY0j9BBkvDg72tBGYAGa0YZuEMN7uaoVI5FY2rvZTW6dSrF7bFv 7aHaY86IBhBz+bwjVDGqwvp3wIibm8OOkDxjHlGv0I4s0mtBu8oStIhRxBjulpCB VOTGcY2NOvEiXfb1YK0VTQ2uPqQ57h/PjEIiqOEV9hUuNzQWFiZ9E9ed+Y2zxeLG hncm7OPmkC1Ckl109KMdGKEnpoCygdPLnXUqIKJysS3q2OEPcXZ2XjusQIy8hQcC duRSP9KE+pdSDVstfRhg3dqeFSeZFLWSO21QKWrgqYezFe7GT4t07xi29FAUm++K VuidwGG7UVGDH8222FHmJVCMMuiSNtDPodZwr7wGKH/IKaJoEMPwBI9j1HQGmFDB gf2kbUfHi4qMAVOpfvrzmqkEHpYx3cUnONbGzuEbjCtiCFoDjZaxO0JnI94ekkk9 WhcIU01ep5Eo5Q1kgKYjSUSWHzBVq1WNkBHp+KWggtgS3VzECebPh7wlR0UQzA8I L56xiMMvl2wbH8Y37wFQWi/KiL+ZDdoo0HW+cysaqQi4+XhfZFuoZfWZ18XNBYH5 hnxC/tLErbG6qw== =G/xu -----END PGP SIGNATURE-----
