Processed: reassign 944126 to src:ocaml, reassign 944254 to src:ocaml, forcibly merging 944126 944254 ...
Processing commands for control@bugs.debian.org:
> reassign 944126 src:ocaml 4.05.0-12
Bug #944126 {Done: Stéphane Glondu <glondu@debian.org>} [ocaml-nox] ocaml-nox: Files overwrite /usr/lib/ocaml/bigarray.cmi in ocaml-base-nox package
Bug reassigned from package 'ocaml-nox' to 'src:ocaml'.
No longer marked as found in versions ocaml/4.05.0-12.
No longer marked as fixed in versions ocaml/4.08.1-4.
Bug #944126 {Done: Stéphane Glondu <glondu@debian.org>} [src:ocaml] ocaml-nox: Files overwrite /usr/lib/ocaml/bigarray.cmi in ocaml-base-nox package
Marked as found in versions ocaml/4.05.0-12.
> reassign 944254 src:ocaml 4.05.0-12
Bug #944254 [ocaml-base-nox] ocaml-base-nox: Replaces /usr/lib/ocaml/libasmrun_shared.so in older ocaml-nox
Bug reassigned from package 'ocaml-base-nox' to 'src:ocaml'.
No longer marked as found in versions ocaml/4.08.1-3.
Ignoring request to alter fixed versions of bug #944254 to the same values previously set
Bug #944254 [src:ocaml] ocaml-base-nox: Replaces /usr/lib/ocaml/libasmrun_shared.so in older ocaml-nox
Marked as found in versions ocaml/4.05.0-12.
> forcemerge 944126 944254
Bug #944126 {Done: Stéphane Glondu <glondu@debian.org>} [src:ocaml] ocaml-nox: Files overwrite /usr/lib/ocaml/bigarray.cmi in ocaml-base-nox package
Bug #944254 [src:ocaml] ocaml-base-nox: Replaces /usr/lib/ocaml/libasmrun_shared.so in older ocaml-nox
Marked Bug as done
Merged 944126 944254
> fixed 944126 4.08.1-4
Bug #944126 {Done: Stéphane Glondu <glondu@debian.org>} [src:ocaml] ocaml-nox: Files overwrite /usr/lib/ocaml/bigarray.cmi in ocaml-base-nox package
Bug #944254 {Done: Stéphane Glondu <glondu@debian.org>} [src:ocaml] ocaml-base-nox: Replaces /usr/lib/ocaml/libasmrun_shared.so in older ocaml-nox
Marked as fixed in versions ocaml/4.08.1-4.
Marked as fixed in versions ocaml/4.08.1-4.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
944126: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944126
944254: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944254
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: