Package: dev-lang/boogie

Name dev-lang/boogie
Category dev-lang
Version 3.4.1 Available in repo.
Seen Arch amd64
Seen Use
Seen installs very rough number 2
Other Version/arch
Repository Gentoo

Package files

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