Processed: closing 1143515
"Debian Bug Tracking System" <[email protected]>
| Newsgroups | gmane.linux.debian.devel.bugs.rc,gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
Processing commands for [email protected]: > close 1143515 2.6.0-3 Bug #1143515 [src:ssreflect] ssreflect needs a source-only upload for testing migration The source 'ssreflect' and version '2.6.0-3' do not appear to match any binary packages Marked as fixed in versions ssreflect/2.6.0-3. Bug #1143515 [src:ssreflect] ssreflect needs a source-only upload for testing migration Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 1143515: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1143515 Debian Bug Tracking System Contact [email protected] with problems