Bug#484497: please ship the menhir pdf manual

To: 484497@bugs.debian.org
Subject: Bug#484497: please ship the menhir pdf manual
From: Stéphane Glondu <glondu@debian.org>
Date: Tue, 16 Aug 2016 10:12:43 +0200
Message-id: <[🔎] 701c6c1e-b319-d0f0-0914-3617a6225587@debian.org>
Reply-to: Stéphane Glondu <glondu@debian.org>, 484497@bugs.debian.org

> I just asked Yann and it should be ok for the next release.

I just updated menhir to version 20160808, and no *.tex file in the
upstream tarball...

Cheers,

-- 
Stéphane

Reply to:

Prev by Date: galax_1.1-15_amd64.changes ACCEPTED into unstable
Next by Date: Processing of menhir_20160808+dfsg-1_amd64.changes
Previous by thread: galax_1.1-15_amd64.changes ACCEPTED into unstable
Next by thread: Processing of menhir_20160808+dfsg-1_amd64.changes
Index(es):
- Date
- Thread