Your message dated Wed, 04 Sep 2024 04:30:13 +0000 with message-id <e1slhen-000cjn...@fasolo.debian.org> and subject line Bug#1079899: Removed package(s) from unstable has caused the Debian Bug report #1052886, regarding boogie: FTBFS: BigDecTests.cs(2,7): error CS0246: The type or namespace name `NUnit' could not be found. Are you missing an assembly reference? to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1052886: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1052886 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: boogie Version: 2.4.1+dfsg-0.1 Severity: serious Justification: FTBFS Tags: trixie sid ftbfs User: lu...@debian.org Usertags: ftbfs-20230925 ftbfs-trixie Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[1]: Entering directory '/<<PKGBUILDDIR>>' > # Apparently, the Mono C# compiler does not support pattern > # matching yet. The proper thing to do here would be to patch > # Witnesses.cs, but unfortunately, dpkg-source fails > # spectacularly when it comes to patching files with DOS > # (CRLF) line endings. Therefore, we need to do a "manual > # patch" here: > sed -i 's/is null/== null/g' Source/Concurrency/Witnesses.cs > xbuild /p:TargetFrameworkVersion=v4.0 Source/Boogie.sln > > >>>> xbuild tool is deprecated and will be removed in future updates, use > >>>> msbuild instead <<<< > > XBuild Engine Version 14.0 > Mono, Version 6.8.0.105 > Copyright (C) 2005-2013 Various Mono authors > > Build started 09/26/2023 06:28:53. > __________________________________________________ > Project "/<<PKGBUILDDIR>>/Source/Boogie.sln" (default target(s)): > Target ValidateSolutionConfiguration: > Building solution configuration "Checked|Mixed Platforms". > Target Build: > Project > "/<<PKGBUILDDIR>>/Source/CodeContractsExtender/CodeContractsExtender.csproj" > (default target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: AnyCPU > Created directory "bin/Checked/" > Created directory "obj/Checked/" > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/Checked/BoogieCodeContractsExtender.dll ../version.cs cce.cs > obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll > /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll' > to > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/CodeContractsExtender/CodeContractsExtender.csproj". > Project "/<<PKGBUILDDIR>>/Source/Model/Model.csproj" (default > target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: AnyCPU > Created directory "obj/Checked/" > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/Checked/BoogieModel.dll Model.cs ModelParser.cs > Properties/AssemblyInfo.cs ../version.cs > obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/Model/obj/Checked/BoogieModel.dll.mdb' to > '/<<PKGBUILDDIR>>/Binaries/BoogieModel.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/Model/obj/Checked/BoogieModel.dll' to > '/<<PKGBUILDDIR>>/Binaries/BoogieModel.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/Model/Model.csproj". > Project "/<<PKGBUILDDIR>>/Source/Graph/Graph.csproj" (default > target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: AnyCPU > Created directory "bin/Checked/" > Created directory "obj/Checked/" > Target CopyFilesMarkedCopyLocal: > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll' > to > '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/Checked/BoogieGraph.dll ../version.cs Graph.cs > obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/Graph/obj/Checked/BoogieGraph.dll.mdb' to > '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/Graph/obj/Checked/BoogieGraph.dll' to > '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/Graph/Graph.csproj". > Project "/<<PKGBUILDDIR>>/Source/Basetypes/Basetypes.csproj" > (default target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: AnyCPU > Created directory "bin/Checked/" > Created directory "obj/Checked/" > Target CopyFilesMarkedCopyLocal: > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll' > to > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/Checked/BoogieBasetypes.dll ../version.cs BigDec.cs RoundingMode.cs > BigNum.cs BigFloat.cs Rational.cs Set.cs > obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Numerics.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/obj/Checked/BoogieBasetypes.dll.mdb' to > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/obj/Checked/BoogieBasetypes.dll' to > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/Basetypes/Basetypes.csproj". > Project > "/<<PKGBUILDDIR>>/Source/ParserHelper/ParserHelper.csproj" (default > target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: AnyCPU > Created directory "bin/Checked/" > Created directory "obj/Checked/" > Target CopyFilesMarkedCopyLocal: > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll' > to > '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/Checked/BoogieParserHelper.dll ../version.cs ParserHelper.cs > obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"TRACE;DEBUG" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll > /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/ParserHelper/obj/Checked/BoogieParserHelper.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/ParserHelper/obj/Checked/BoogieParserHelper.dll' to > '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/ParserHelper/ParserHelper.csproj". > Project > "/<<PKGBUILDDIR>>/Source/ModelViewer/ModelViewer.csproj" (default target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: x86 > Created directory "obj/x86/Checked/" > Target GenerateResources: > Tool /usr/lib/mono/4.5/resgen.exe execution > started with arguments: /useSourcePath /compile > "Main.resx,obj/x86/Checked/Microsoft.Boogie.ModelViewer.Main.resources" > Tool /usr/lib/mono/4.5/resgen.exe execution > started with arguments: /useSourcePath /compile > "Properties/Resources.resx,obj/x86/Checked/Microsoft.Boogie.ModelViewer.Properties.Resources.resources" > > Tool /usr/lib/mono/4.5/resgen.exe execution > started with arguments: /useSourcePath /compile > "SourceView.resx,obj/x86/Checked/Microsoft.Boogie.ModelViewer.SourceView.resources" > > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/x86/Checked/BoogieModelViewer.dll > /resource:obj/x86/Checked/Microsoft.Boogie.ModelViewer.Main.resources > /resource:obj/x86/Checked/Microsoft.Boogie.ModelViewer.Properties.Resources.resources > /resource:obj/x86/Checked/Microsoft.Boogie.ModelViewer.SourceView.resources > BaseProvider.cs BCTProvider.cs DafnyProvider.cs DataModel.cs Main.cs > Main.Designer.cs Namer.cs Properties/AssemblyInfo.cs SourceView.cs > SourceView.Designer.cs TreeSkeleton.cs VccProvider.cs > Properties/Resources.Designer.cs Properties/Settings.Designer.cs > ../version.cs obj/x86/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs > /target:library /win32icon:bvdicon.ico /define:"DEBUG;TRACE" /nostdlib > /platform:AnyCPU /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Numerics.dll > /reference:/usr/lib/mono/4.0-api/System.Drawing.dll > /reference:/usr/lib/mono/4.0-api/System.Windows.Forms.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Binaries//BoogieModel.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > VccProvider.cs(811,13): warning CS0219: The variable `model' is assigned but > its value is never used > VccProvider.cs(952,15): warning CS0219: The variable `basePtr' is assigned > but its value is never used > BaseProvider.cs(46,25): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Base.BaseState.st' is assigned but its value is > never used > BCTProvider.cs(29,39): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.BCT.BCTModel.typeName' is assigned but its > value is never used > DafnyProvider.cs(37,39): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Dafny.DafnyModel.typeName' is assigned but its > value is never used > Main.cs(276,25): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Main.center' is assigned but its value is never > used > VccProvider.cs(294,14): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Vcc.VccModel.state_props' is assigned but its > value is never used > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll.mdb' > to '/<<PKGBUILDDIR>>/Binaries/BoogieModelViewer.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll' > to '/<<PKGBUILDDIR>>/Binaries/BoogieModelViewer.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/ModelViewer/ModelViewer.csproj". > Project "/<<PKGBUILDDIR>>/Source/Core/Core.csproj" (default > target(s)): > Target PrepareForBuild: > Configuration: Checked Platform: AnyCPU > Created directory "bin/Checked/" > Created directory "obj/Checked/" > Target CopyFilesMarkedCopyLocal: > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieBasetypes.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieBasetypes.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll' > to '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCodeContractsExtender.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieGraph.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll.mdb' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieGraph.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieParserHelper.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll.mdb' > to '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieParserHelper.dll.mdb' > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable > /keyfile:../InterimKey.snk /publicsign /optimize- > /out:obj/Checked/BoogieCore.dll Absy.cs AbsyCmd.cs AbsyExpr.cs AbsyQuant.cs > AbsyType.cs AlphaEquality.cs CivlAttributes.cs > InterProceduralReachabilityGraph.cs CommandLineOptions.cs DeadVarElim.cs > Duplicator.cs Inline.cs LambdaHelper.cs MaxHolesLambdaLifter.cs > LambdaLiftingMaxHolesFiller.cs LambdaLiftingTemplate.cs LoopUnroll.cs > OOLongUtil.cs Parser.cs ResolutionContext.cs Scanner.cs StandardVisitor.cs > TypeAmbiguitySeeker.cs Util.cs VariableDependenceAnalyser.cs VCExp.cs > ../version.cs Xml.cs > obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Numerics.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked//BoogieBasetypes.dll > /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll > /reference:/<<PKGBUILDDIR>>/Source/Graph/bin/Checked//BoogieGraph.dll > /reference:/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked//BoogieParserHelper.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > AbsyExpr.cs(2228,16): warning CS0659: `Microsoft.Boogie.TypeCoercion' > overrides Object.Equals(object) but does not override Object.GetHashCode() > AbsyQuant.cs(678,25): warning CS0659: `Microsoft.Boogie.QuantifierExpr' > overrides Object.Equals(object) but does not override Object.GetHashCode() > AbsyType.cs(870,16): warning CS0659: `Microsoft.Boogie.BasicType' overrides > Object.Equals(object) but does not override Object.GetHashCode() > AbsyType.cs(3133,16): warning CS0659: `Microsoft.Boogie.CtorType' overrides > Object.Equals(object) but does not override Object.GetHashCode() > Absy.cs(3181,38): warning CS0219: The variable `entry' is assigned but its > value is never used > Absy.cs(4076,20): warning CS0219: The variable `StateName' is assigned but > its value is never used > Parser.cs(569,25): warning CS0219: The variable `tyds' is assigned but its > value is never used > Absy.cs(3273,40): warning CS0414: The private field > `Microsoft.Boogie.LoopProcedure.blockMap' is assigned but its value is never > used > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/Core/obj/Checked/BoogieCore.dll.mdb' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCore.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/Core/obj/Checked/BoogieCore.dll' to > '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCore.dll' > Done building project > "/<<PKGBUILDDIR>>/Source/Core/Core.csproj". > Project "/<<PKGBUILDDIR>>/Source/BVD/BVD.csproj" (default > target(s)): > Target PrepareForBuild: > Configuration: Debug Platform: AnyCPU > Created directory "obj/Debug/" > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable /optimize- > /out:obj/Debug/BVD.exe Program.cs Properties/AssemblyInfo.cs > obj/Debug/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:winexe > /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU > /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Drawing.dll > /reference:/usr/lib/mono/4.0-api/System.Numerics.dll > /reference:/usr/lib/mono/4.0-api/System.Windows.Forms.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Binaries//BoogieModelViewer.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > Target _CopyAppConfigFile: > Copying file from > '/<<PKGBUILDDIR>>/Source/BVD/App.config' to > '/<<PKGBUILDDIR>>/Binaries/BVD.exe.config' > Target DeployOutputFiles: > Copying file from > '/<<PKGBUILDDIR>>/Source/BVD/obj/Debug/BVD.exe.mdb' to > '/<<PKGBUILDDIR>>/Binaries/BVD.exe.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/BVD/obj/Debug/BVD.exe' to > '/<<PKGBUILDDIR>>/Binaries/BVD.exe' > Done building project "/<<PKGBUILDDIR>>/Source/BVD/BVD.csproj". > Project > "/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj" > (default target(s)): > Target PrepareForBuild: > Configuration: Debug Platform: AnyCPU > Created directory "bin/Debug/" > Created directory "obj/Debug/" > Target ResolveAssemblyReferences: > /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference > 'nunit.framework' not resolved > For searchpath {CandidateAssemblyFiles} > Warning: {CandidateAssemblyFiles} not supported > currently > For searchpath {HintPathFromItem} > Considered > ../../packages/NUnit.2.6.3/lib/nunit.framework.dll, but it does not exist. > For searchpath {TargetFrameworkDirectory} > Considered target framework dir > /usr/lib/mono/4.0-api/, assembly named 'nunit.framework' not found. > For searchpath {PkgConfig} > Considered nunit.framework, but could not find > in any pkg-config files. > For searchpath {GAC} > Considered nunit.framework, but could not find > in the GAC. > For searchpath {RawFileName} > Considered 'nunit.framework' as a file, but the > file does not exist > For searchpath bin/Debug/ > Considered > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/nunit.framework' > as a file, but the file does not exist > Considered > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/nunit.framework.exe' > as a file, but the file does not exist > Considered > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/nunit.framework.dll' > as a file, but the file does not exist > Target CopyFilesMarkedCopyLocal: > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll' to > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb' to > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll.mdb' > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll' > to > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll' > Copying file from > '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll.mdb' > to > '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll.mdb' > Target GenerateSatelliteAssemblies: > No input files were specified for target > GenerateSatelliteAssemblies, skipping. > Target CoreCompile: > Tool /usr/lib/mono/4.5/mcs.exe execution > started with arguments: /noconfig /debug:full /debug:portable /optimize- > /out:obj/Debug/BasetypesTests.dll BigDecTests.cs Properties/AssemblyInfo.cs > obj/Debug/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library > /define:"DEBUG;TRACE" /nostdlib /reference:/usr/lib/mono/4.0-api/System.dll > /reference:/usr/lib/mono/4.0-api/System.Numerics.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll > /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll > /reference:/usr/lib/mono/4.0-api/Microsoft.CSharp.dll > /reference:/usr/lib/mono/4.0-api/System.Data.dll > /reference:/usr/lib/mono/4.0-api/System.Xml.dll > /reference:/usr/lib/mono/4.0-api/System.Core.dll > /reference:/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked//BoogieBasetypes.dll > /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4 > BigDecTests.cs(2,7): error CS0246: The type or namespace name `NUnit' could > not be found. Are you missing an assembly reference? > Task "Csc" execution -- FAILED > Done building target "CoreCompile" in project > "/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj".-- > FAILED > Done building project > "/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj".-- > FAILED > Task "MSBuild" execution -- FAILED > Done building target "Build" in project > "/<<PKGBUILDDIR>>/Source/Boogie.sln".-- FAILED > Done building project "/<<PKGBUILDDIR>>/Source/Boogie.sln".-- FAILED > > Build FAILED. > > Warnings: > > /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) -> > (Build target) -> > /<<PKGBUILDDIR>>/Source/ModelViewer/ModelViewer.csproj (default targets) -> > /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) -> > > VccProvider.cs(811,13): warning CS0219: The variable `model' is > assigned but its value is never used > VccProvider.cs(952,15): warning CS0219: The variable `basePtr' is > assigned but its value is never used > BaseProvider.cs(46,25): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Base.BaseState.st' is assigned but its value is > never used > BCTProvider.cs(29,39): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.BCT.BCTModel.typeName' is assigned but its > value is never used > DafnyProvider.cs(37,39): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Dafny.DafnyModel.typeName' is assigned but its > value is never used > Main.cs(276,25): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Main.center' is assigned but its value is never > used > VccProvider.cs(294,14): warning CS0414: The private field > `Microsoft.Boogie.ModelViewer.Vcc.VccModel.state_props' is assigned but its > value is never used > > /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) -> > (Build target) -> > /<<PKGBUILDDIR>>/Source/Core/Core.csproj (default targets) -> > /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) -> > > AbsyExpr.cs(2228,16): warning CS0659: `Microsoft.Boogie.TypeCoercion' > overrides Object.Equals(object) but does not override Object.GetHashCode() > AbsyQuant.cs(678,25): warning CS0659: `Microsoft.Boogie.QuantifierExpr' > overrides Object.Equals(object) but does not override Object.GetHashCode() > AbsyType.cs(870,16): warning CS0659: `Microsoft.Boogie.BasicType' > overrides Object.Equals(object) but does not override Object.GetHashCode() > AbsyType.cs(3133,16): warning CS0659: `Microsoft.Boogie.CtorType' > overrides Object.Equals(object) but does not override Object.GetHashCode() > Absy.cs(3181,38): warning CS0219: The variable `entry' is assigned but > its value is never used > Absy.cs(4076,20): warning CS0219: The variable `StateName' is assigned > but its value is never used > Parser.cs(569,25): warning CS0219: The variable `tyds' is assigned but > its value is never used > Absy.cs(3273,40): warning CS0414: The private field > `Microsoft.Boogie.LoopProcedure.blockMap' is assigned but its value is never > used > > /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) -> > (Build target) -> > /<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj > (default targets) -> > /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets > (ResolveAssemblyReferences target) -> > > /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : > Reference 'nunit.framework' not resolved > > Errors: > > /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) -> > (Build target) -> > /<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj > (default targets) -> > /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) -> > > BigDecTests.cs(2,7): error CS0246: The type or namespace name `NUnit' > could not be found. Are you missing an assembly reference? > > 16 Warning(s) > 1 Error(s) > > Time Elapsed 00:00:07.0053600 > make[1]: *** [debian/rules:17: override_dh_auto_build] Error 1 The full build log is available from: http://qa-logs.debian.net/2023/09/25/boogie_2.4.1+dfsg-0.1_unstable.log All bugs filed during this archive rebuild are listed at: https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20230925;users=lu...@debian.org or: https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20230925&fusertaguser=lu...@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
--- End Message ---
--- Begin Message ---Version: 2.4.1+dfsg-0.1+rm Dear submitter, as the package boogie has just been removed from the Debian archive unstable we hereby close the associated bug reports. We are sorry that we couldn't deal with your issue properly. For details on the removal, please see https://bugs.debian.org/1079899 The version of this package that was in Debian prior to this removal can still be found using https://snapshot.debian.org/. Please note that the changes have been done on the master archive and will not propagate to any mirrors until the next dinstall run at the earliest. This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org. Debian distribution maintenance software pp. Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---
