Package: dev-lang/dafny

Name dev-lang/dafny
Category dev-lang
Version 4.3.0-r1 Availability not known. Last seen: 2024-02-07
Seen Arch amd64
Seen Use
Seen installs very rough number 3
Other Version/arch
Repository Gentoo

Package files

Filename Filepath
.gitignore /usr/share/dafny-4.3.0/DafnyRuntimeRust/.gitignore
Array.java /usr/share/dafny-4.3.0/java/dafny/Array.java
BigOrdinal.java /usr/share/dafny-4.3.0/java/dafny/BigOrdinal.java
BigRational.java /usr/share/dafny-4.3.0/java/dafny/BigRational.java
Boogie.AbstractInterpretation.dll /usr/share/dafny-4.3.0/Boogie.AbstractInterpretation.dll
Boogie.BaseTypes.dll /usr/share/dafny-4.3.0/Boogie.BaseTypes.dll
Boogie.CodeContractsExtender.dll /usr/share/dafny-4.3.0/Boogie.CodeContractsExtender.dll
Boogie.Concurrency.dll /usr/share/dafny-4.3.0/Boogie.Concurrency.dll
Boogie.Core.dll /usr/share/dafny-4.3.0/Boogie.Core.dll
Boogie.ExecutionEngine.dll /usr/share/dafny-4.3.0/Boogie.ExecutionEngine.dll
Boogie.Graph.dll /usr/share/dafny-4.3.0/Boogie.Graph.dll
Boogie.Houdini.dll /usr/share/dafny-4.3.0/Boogie.Houdini.dll
Boogie.Model.dll /usr/share/dafny-4.3.0/Boogie.Model.dll
Boogie.Provers.SMTLib.dll /usr/share/dafny-4.3.0/Boogie.Provers.SMTLib.dll
Boogie.VCExpr.dll /usr/share/dafny-4.3.0/Boogie.VCExpr.dll
Boogie.VCGeneration.dll /usr/share/dafny-4.3.0/Boogie.VCGeneration.dll
Cargo.lock /usr/share/dafny-4.3.0/DafnyRuntimeRust/Cargo.lock
Cargo.toml /usr/share/dafny-4.3.0/DafnyRuntimeRust/Cargo.toml
CODE_OF_CONDUCT.md.bz2 /usr/share/doc/dafny-4.3.0-r1/CODE_OF_CONDUCT.md.bz2
CodePoint.java /usr/share/dafny-4.3.0/java/dafny/CodePoint.java
CommandLine.dll /usr/share/dafny-4.3.0/CommandLine.dll
CONTRIBUTING.md.bz2 /usr/share/doc/dafny-4.3.0-r1/CONTRIBUTING.md.bz2
dafny /usr/bin/dafny
Dafny /usr/share/dafny-4.3.0/Dafny
Dafny /usr/bin/Dafny
dafny-server /usr/bin/dafny-server
Dafny.deps.json /usr/share/dafny-4.3.0/Dafny.deps.json
Dafny.dll /usr/share/dafny-4.3.0/Dafny.dll
Dafny.pdb /usr/share/dafny-4.3.0/Dafny.pdb
Dafny.runtimeconfig.json /usr/share/dafny-4.3.0/Dafny.runtimeconfig.json
DafnyCheatsheet.pdf /usr/share/doc/dafny-4.3.0-r1/DafnyCheatsheet.pdf
DafnyCore.4.3.0.nupkg /usr/share/dafny-4.3.0/DafnyCore.4.3.0.nupkg
DafnyCore.deps.json /usr/share/dafny-4.3.0/DafnyCore.deps.json
DafnyCore.dll /usr/share/dafny-4.3.0/DafnyCore.dll
DafnyCore.pdb /usr/share/dafny-4.3.0/DafnyCore.pdb
DafnyDriver /usr/share/dafny-4.3.0/DafnyDriver
DafnyDriver /usr/bin/DafnyDriver
DafnyDriver.deps.json /usr/share/dafny-4.3.0/DafnyDriver.deps.json
DafnyDriver.dll /usr/share/dafny-4.3.0/DafnyDriver.dll
DafnyDriver.dll.config /usr/share/dafny-4.3.0/DafnyDriver.dll.config
DafnyDriver.pdb /usr/share/dafny-4.3.0/DafnyDriver.pdb
DafnyDriver.runtimeconfig.json /usr/share/dafny-4.3.0/DafnyDriver.runtimeconfig.json
DafnyEuclidean.java /usr/share/dafny-4.3.0/java/dafny/DafnyEuclidean.java
DafnyHaltException.java /usr/share/dafny-4.3.0/java/dafny/DafnyHaltException.java
DafnyLanguageServer /usr/bin/DafnyLanguageServer
DafnyLanguageServer /usr/share/dafny-4.3.0/DafnyLanguageServer
DafnyLanguageServer.appsettings.json /usr/share/dafny-4.3.0/DafnyLanguageServer.appsettings.json
DafnyLanguageServer.deps.json /usr/share/dafny-4.3.0/DafnyLanguageServer.deps.json
DafnyLanguageServer.dll /usr/share/dafny-4.3.0/DafnyLanguageServer.dll
DafnyLanguageServer.pdb /usr/share/dafny-4.3.0/DafnyLanguageServer.pdb
DafnyLanguageServer.runtimeconfig.json /usr/share/dafny-4.3.0/DafnyLanguageServer.runtimeconfig.json
DafnyMap.java /usr/share/dafny-4.3.0/java/dafny/DafnyMap.java
DafnyMultiset.java /usr/share/dafny-4.3.0/java/dafny/DafnyMultiset.java
DafnyPipeline.4.3.0.nupkg /usr/share/dafny-4.3.0/DafnyPipeline.4.3.0.nupkg
DafnyPipeline.deps.json /usr/share/dafny-4.3.0/DafnyPipeline.deps.json
DafnyPipeline.dll /usr/share/dafny-4.3.0/DafnyPipeline.dll
DafnyPipeline.pdb /usr/share/dafny-4.3.0/DafnyPipeline.pdb
DafnyPrelude.bpl /usr/share/dafny-4.3.0/DafnyPrelude.bpl
DafnyRef.pdf /usr/share/doc/dafny-4.3.0-r1/DafnyRef.pdf
DafnyRuntime.cs /usr/share/dafny-4.3.0/DafnyRuntime.cs
DafnyRuntime.deps.json /usr/share/dafny-4.3.0/DafnyRuntime.deps.json
DafnyRuntime.dll /usr/share/dafny-4.3.0/DafnyRuntime.dll
DafnyRuntime.go /usr/share/dafny-4.3.0/DafnyRuntime.go
DafnyRuntime.h /usr/share/dafny-4.3.0/DafnyRuntime.h
DafnyRuntime.jar /usr/share/dafny-4.3.0/DafnyRuntime.jar
DafnyRuntime.js /usr/share/dafny-4.3.0/DafnyRuntime.js
DafnyRuntime.pdb /usr/share/dafny-4.3.0/DafnyRuntime.pdb
DafnyRuntime.py /usr/share/dafny-4.3.0/DafnyRuntime.py
DafnyRuntimeFromDafny.go /usr/share/dafny-4.3.0/DafnyRuntimeFromDafny.go
DafnySequence.java /usr/share/dafny-4.3.0/java/dafny/DafnySequence.java
DafnyServer /usr/share/dafny-4.3.0/DafnyServer
DafnyServer /usr/bin/DafnyServer
DafnyServer.deps.json /usr/share/dafny-4.3.0/DafnyServer.deps.json
DafnyServer.dll /usr/share/dafny-4.3.0/DafnyServer.dll
DafnyServer.dll.config /usr/share/dafny-4.3.0/DafnyServer.dll.config
DafnyServer.pdb /usr/share/dafny-4.3.0/DafnyServer.pdb
DafnyServer.runtimeconfig.json /usr/share/dafny-4.3.0/DafnyServer.runtimeconfig.json
DafnySet.java /usr/share/dafny-4.3.0/java/dafny/DafnySet.java
DafnyTestGeneration.deps.json /usr/share/dafny-4.3.0/DafnyTestGeneration.deps.json
DafnyTestGeneration.dll /usr/share/dafny-4.3.0/DafnyTestGeneration.dll
DafnyTestGeneration.pdb /usr/share/dafny-4.3.0/DafnyTestGeneration.pdb
DiffPlex.dll /usr/share/dafny-4.3.0/DiffPlex.dll
Helpers.java /usr/share/dafny-4.3.0/java/dafny/Helpers.java
IntervalTree.dll /usr/share/dafny-4.3.0/IntervalTree.dll
JetBrains.Annotations.dll /usr/share/dafny-4.3.0/JetBrains.Annotations.dll
lib.rs /usr/share/dafny-4.3.0/DafnyRuntimeRust/src/lib.rs
MediatR.dll /usr/share/dafny-4.3.0/MediatR.dll
Microsoft.Bcl.AsyncInterfaces.dll /usr/share/dafny-4.3.0/Microsoft.Bcl.AsyncInterfaces.dll
Microsoft.CodeAnalysis.CSharp.dll /usr/share/dafny-4.3.0/Microsoft.CodeAnalysis.CSharp.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/tr/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/ja/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/pl/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/fr/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/es/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/cs/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/pt-BR/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/zh-Hant/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/zh-Hans/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/it/Microsoft.CodeAnalysis.CSharp.resources.dll
Microsoft.CodeAnalysis.CSharp.resources.dll /usr/share/dafny-4.3.0/ko/Microsoft.CodeAnalysis.CSharp.resources.dll