Processing commands for [email protected]: > fixed 1111916 2.1.1-1 Bug #1111916 {Done: Adrian Bunk <[email protected]>} [quickchick] quickchick: ships files in /usr/doc Marked as fixed in versions coq-quickchick/2.1.1-1. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1111916: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111916 Debian Bug Tracking System Contact [email protected] with problems
