Julkaisut sisältäen Coq-h