Processed: tagging 940224, tagging 939334, tagging 939741, tagging 939817, tagging 939961, tagging 939962 ...
- To: Paul Gevers <elbrus@debian.org>
- Cc: andy@onthewings.net, debian-science-maintainers@lists.alioth.debian.org, debian-ocaml-maint@lists.debian.org, steinm@debian.org, martin@uni-mainz.de
- Subject: Processed: tagging 940224, tagging 939334, tagging 939741, tagging 939817, tagging 939961, tagging 939962 ...
- From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Date: Mon, 07 Oct 2019 19:33:16 +0000
- Message-id: <[🔎] handler.s.C.15704766704008.transcript@bugs.debian.org>
- References: <1570476668-814-bts-elbrus@debian.org>
Processing commands for control@bugs.debian.org:
> tags 940224 + ftbfs
Bug #940224 [src:lambda-term] lambda-term: FTBFS with new zed
Added tag(s) ftbfs.
> tags 939334 + ftbfs
Bug #939334 [src:mldonkey] FTBFS with OCaml 4.08.0 (safe strings)
Added tag(s) ftbfs.
> tags 939741 + ftbfs
Bug #939741 [src:coq-doc] FTBFS with OCaml 4.08.0 (safe strings)
Added tag(s) ftbfs.
> tags 939817 + ftbfs
Bug #939817 [src:otags] FTBFS with OCaml 4.08.0
Added tag(s) ftbfs.
> tags 939961 + ftbfs
Bug #939961 [src:haxe] FTBFS with OCaml 4.08.0 (safe strings)
Added tag(s) ftbfs.
> tags 939962 + ftbfs
Bug #939962 [src:sks] FTBFS with OCaml 4.08.0 (safe strings)
Added tag(s) ftbfs.
> tags 939963 + ftbfs
Bug #939963 [src:orpie] FTBFS with OCaml 4.08.0 (num)
Added tag(s) ftbfs.
> tags 934047 + ftbfs
Bug #934047 [scilab] scilab: please add libnum-ocaml-dev to Build-Depends
Added tag(s) ftbfs.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
934047: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934047
939334: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939334
939741: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939741
939817: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939817
939961: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939961
939962: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939962
939963: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939963
940224: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=940224
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: