Bug#831566: Acknowledgement (proofgeneral/testing does not support the full syntax of coq/testing)

[Hendrik Tews]

Hi,

Samuel Hym <samuel.hym+b...@rustyne.lautre.net> writes:

> Could the debian package be updated?

Thanks for the reminder, I'll have a look if time permits, but if
anybody else want to upload a new version, please go ahead.

Hendrik