Processed: Close and archive stable bugs for coinor-symphony

Debian Bug Tracking System owner at bugs.debian.org
Tue Mar 18 10:30:06 GMT 2025


Processing commands for control at bugs.debian.org:

> # these bugs are too old and cannot be reproduced
> close 716368
Bug #716368 [src:coinor-symphony] [Mayhem] Bug report on coinor-libsymphony0: symphony crashes with exit status 139
Marked Bug as done
> archive 716368
Bug #716368 {Done: Chen Shengqi <harry at debian.org>} [src:coinor-symphony] [Mayhem] Bug report on coinor-libsymphony0: symphony crashes with exit status 139
archived 716368 to archive/68 (from 716368)
> close 773273
Bug #773273 [coinor-libsymphony3] error when using SYMPHONY libraries in testing/unstable with clang
Marked Bug as done
> archive 773273
Bug #773273 {Done: Chen Shengqi <harry at debian.org>} [coinor-libsymphony3] error when using SYMPHONY libraries in testing/unstable with clang
archived 773273 to archive/73 (from 773273)
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
716368: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716368
773273: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=773273
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list