Package: dev-lang/boogie

Name	dev-lang/boogie
Category	dev-lang
Version	3.3.3 Available in repo.
Seen Arch	amd64
Seen Use
Seen installs very rough number	2
Other Version/arch	dev-lang/boogie 3.1.6 amd64 dev-lang/boogie 3.3.0 amd64 dev-lang/boogie 3.0.4 amd64 dev-lang/boogie 3.1.0 amd64 dev-lang/boogie 3.1.2 amd64 dev-lang/boogie 3.2.0 amd64 dev-lang/boogie 3.1.5 amd64 dev-lang/boogie 3.1.1 amd64 dev-lang/boogie 3.2.1 amd64 dev-lang/boogie 3.0.10 amd64 dev-lang/boogie 3.0.11 amd64 dev-lang/boogie 3.4.3 amd64 dev-lang/boogie 3.4.1 amd64 dev-lang/boogie 3.2.5 amd64 dev-lang/boogie 3.1.3 amd64 dev-lang/boogie 3.1.4 amd64 dev-lang/boogie 3.0.12 amd64 dev-lang/boogie 3.0.9 amd64
Repository	Gentoo

Package files

Filename	Filepath
boogie	/usr/bin/boogie
Boogie.AbstractInterpretation.deps.json	/usr/share/boogie-3.3.3/Boogie.AbstractInterpretation.deps.json
Boogie.AbstractInterpretation.dll	/usr/share/boogie-3.3.3/Boogie.AbstractInterpretation.dll
Boogie.AbstractInterpretation.pdb	/usr/share/boogie-3.3.3/Boogie.AbstractInterpretation.pdb
Boogie.BaseTypes.deps.json	/usr/share/boogie-3.3.3/Boogie.BaseTypes.deps.json
Boogie.BaseTypes.dll	/usr/share/boogie-3.3.3/Boogie.BaseTypes.dll
Boogie.BaseTypes.pdb	/usr/share/boogie-3.3.3/Boogie.BaseTypes.pdb
Boogie.CodeContractsExtender.deps.json	/usr/share/boogie-3.3.3/Boogie.CodeContractsExtender.deps.json
Boogie.CodeContractsExtender.dll	/usr/share/boogie-3.3.3/Boogie.CodeContractsExtender.dll
Boogie.CodeContractsExtender.pdb	/usr/share/boogie-3.3.3/Boogie.CodeContractsExtender.pdb
Boogie.Concurrency.deps.json	/usr/share/boogie-3.3.3/Boogie.Concurrency.deps.json
Boogie.Concurrency.dll	/usr/share/boogie-3.3.3/Boogie.Concurrency.dll
Boogie.Concurrency.pdb	/usr/share/boogie-3.3.3/Boogie.Concurrency.pdb
Boogie.Core.deps.json	/usr/share/boogie-3.3.3/Boogie.Core.deps.json
Boogie.Core.dll	/usr/share/boogie-3.3.3/Boogie.Core.dll
Boogie.Core.pdb	/usr/share/boogie-3.3.3/Boogie.Core.pdb
Boogie.ExecutionEngine.deps.json	/usr/share/boogie-3.3.3/Boogie.ExecutionEngine.deps.json
Boogie.ExecutionEngine.dll	/usr/share/boogie-3.3.3/Boogie.ExecutionEngine.dll
Boogie.ExecutionEngine.pdb	/usr/share/boogie-3.3.3/Boogie.ExecutionEngine.pdb
Boogie.Graph.deps.json	/usr/share/boogie-3.3.3/Boogie.Graph.deps.json
Boogie.Graph.dll	/usr/share/boogie-3.3.3/Boogie.Graph.dll
Boogie.Graph.pdb	/usr/share/boogie-3.3.3/Boogie.Graph.pdb
Boogie.Houdini.deps.json	/usr/share/boogie-3.3.3/Boogie.Houdini.deps.json
Boogie.Houdini.dll	/usr/share/boogie-3.3.3/Boogie.Houdini.dll
Boogie.Houdini.pdb	/usr/share/boogie-3.3.3/Boogie.Houdini.pdb
Boogie.Model.deps.json	/usr/share/boogie-3.3.3/Boogie.Model.deps.json
Boogie.Model.dll	/usr/share/boogie-3.3.3/Boogie.Model.dll
Boogie.Model.pdb	/usr/share/boogie-3.3.3/Boogie.Model.pdb
Boogie.Provers.LeanAuto.deps.json	/usr/share/boogie-3.3.3/Boogie.Provers.LeanAuto.deps.json
Boogie.Provers.LeanAuto.dll	/usr/share/boogie-3.3.3/Boogie.Provers.LeanAuto.dll
Boogie.Provers.LeanAuto.pdb	/usr/share/boogie-3.3.3/Boogie.Provers.LeanAuto.pdb
Boogie.Provers.SMTLib.deps.json	/usr/share/boogie-3.3.3/Boogie.Provers.SMTLib.deps.json
Boogie.Provers.SMTLib.dll	/usr/share/boogie-3.3.3/Boogie.Provers.SMTLib.dll
Boogie.Provers.SMTLib.pdb	/usr/share/boogie-3.3.3/Boogie.Provers.SMTLib.pdb
Boogie.VCExpr.deps.json	/usr/share/boogie-3.3.3/Boogie.VCExpr.deps.json
Boogie.VCExpr.dll	/usr/share/boogie-3.3.3/Boogie.VCExpr.dll
Boogie.VCExpr.pdb	/usr/share/boogie-3.3.3/Boogie.VCExpr.pdb
Boogie.VCGeneration.deps.json	/usr/share/boogie-3.3.3/Boogie.VCGeneration.deps.json
Boogie.VCGeneration.dll	/usr/share/boogie-3.3.3/Boogie.VCGeneration.dll
Boogie.VCGeneration.pdb	/usr/share/boogie-3.3.3/Boogie.VCGeneration.pdb
BoogieDriver	/usr/share/boogie-3.3.3/BoogieDriver
BoogieDriver.deps.json	/usr/share/boogie-3.3.3/BoogieDriver.deps.json
BoogieDriver.dll	/usr/share/boogie-3.3.3/BoogieDriver.dll
BoogieDriver.pdb	/usr/share/boogie-3.3.3/BoogieDriver.pdb
BoogieDriver.runtimeconfig.json	/usr/share/boogie-3.3.3/BoogieDriver.runtimeconfig.json
Microsoft.Bcl.AsyncInterfaces.dll	/usr/share/boogie-3.3.3/Microsoft.Bcl.AsyncInterfaces.dll
Microsoft.Win32.SystemEvents.dll	/usr/share/boogie-3.3.3/Microsoft.Win32.SystemEvents.dll
README.md.bz2	/usr/share/doc/boogie-3.3.3/README.md.bz2
System.Configuration.ConfigurationManager.dll	/usr/share/boogie-3.3.3/System.Configuration.ConfigurationManager.dll
System.Drawing.Common.dll	/usr/share/boogie-3.3.3/System.Drawing.Common.dll
System.Linq.Async.dll	/usr/share/boogie-3.3.3/System.Linq.Async.dll
System.Reactive.dll	/usr/share/boogie-3.3.3/System.Reactive.dll
System.Reactive.xml	/usr/share/boogie-3.3.3/System.Reactive.xml
System.Runtime.Caching.dll	/usr/share/boogie-3.3.3/System.Runtime.Caching.dll
System.Security.Cryptography.ProtectedData.dll	/usr/share/boogie-3.3.3/System.Security.Cryptography.ProtectedData.dll
System.Security.Permissions.dll	/usr/share/boogie-3.3.3/System.Security.Permissions.dll
System.Windows.Extensions.dll	/usr/share/boogie-3.3.3/System.Windows.Extensions.dll