Thanks for the hint. I'll fix this with the next upload.
Bye,
Hendrik
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Package: hol-light
Version: 20120602-1
Severity: minor
Tags: patch
Dear Hendrik,
I found a small typo in the package description of hol-light while translating
it via the DDTSS. It says "as well as for the Flyspec project", but the project
is called Flyspeck[2]. A patch for the control file is
2 matches
Mail list logo