Processed: notfound 638763 in matita/0.5.8-3
Processing commands for control@bugs.debian.org:
> notfound 638763 matita/0.5.8-3
Bug #638763 {Done: Michael Gilbert <mgilbert@debian.org>} [matita] matita: please remove t1lib dependency
No longer marked as found in versions matita/0.5.8-3.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
638763: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=638763
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: