Processing commands for control@bugs.debian.org: > close 1014602 Bug #1014602 [wnpp] ITP: coq-menhirlib -- support library for verified Menhir parsers Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 1014602: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014602 Debian Bug Tracking System Contact owner@bugs.debian.org with problems