Processing commands for control@bugs.debian.org: > fixed 718098 20130116.dfsg-1 Bug #718098 [src:menhir] menhir: FTBFS: Makefile:34: *** Please define PREFIX. Stop. Marked as fixed in versions menhir/20130116.dfsg-1. > thanks Stopping processing here. Please contact me if you need assistance. -- 718098: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718098 Debian Bug Tracking System Contact owner@bugs.debian.org with problems