Processing commands for cont...@bugs.debian.org:
> reassign 944126 src:ocaml 4.05.0-12
Bug #944126 {Done: Stéphane Glondu <glo...@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 <glo...@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 <glo...@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 <glo...@debian.org>} [src:ocaml] ocaml-nox:
Files overwrite /usr/lib/ocaml/bigarray.cmi in ocaml-base-nox package
Bug #944254 {Done: Stéphane Glondu <glo...@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 ow...@bugs.debian.org with problems
