Processing control commands: > tags -1 -moreinfo Bug #944417 [release.debian.org] transition: cgal Removed tag(s) moreinfo.
-- 944417: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944417 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
