Bug#718272: Severity: serious - need to be changed

Package: bitcoin Severity: normal The severity of this bug can be changed to allow migration to testing? -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Processed: found 731425 in 2.0.0~alpha5-1, found 731425 in 1.0.3-1, found 705906 in 3.0.26-1 ..., tagging 732023 ...

Processing commands for cont...@bugs.debian.org: found 731425 2.0.0~alpha5-1 Bug #731425 {Done: Mathieu Parent sath...@debian.org} [php-sabre-http,php-horde-dav] php-sabre-http: fails to upgrade from 'testing' - trying to overwrite /usr/share/php/Sabre/HTTP/Util.php There is no source info for

Processed: found 705906 in 3.0.26-1

Processing commands for cont...@bugs.debian.org: found 705906 3.0.26-1 Bug #705906 [fsharp] fsharp-console: Unable to find the file 'FSharp.Core.dll' Bug #705924 [fsharp] doesn't work Marked as found in versions fsharp/3.0.26-1. Marked as found in versions fsharp/3.0.26-1. thanks Stopping

<    1   2