Back to menhir PTS page

Accepted menhir 20190626-3 (source) into unstable



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