FStarLang.Compiler.runtime.linux-x64
0.0.7
dotnet add package FStarLang.Compiler.runtime.linux-x64 --version 0.0.7
NuGet\Install-Package FStarLang.Compiler.runtime.linux-x64 -Version 0.0.7
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="FStarLang.Compiler.runtime.linux-x64" Version="0.0.7" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add FStarLang.Compiler.runtime.linux-x64 --version 0.0.7
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: FStarLang.Compiler.runtime.linux-x64, 0.0.7"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install FStarLang.Compiler.runtime.linux-x64 as a Cake Addin #addin nuget:?package=FStarLang.Compiler.runtime.linux-x64&version=0.0.7 // Install FStarLang.Compiler.runtime.linux-x64 as a Cake Tool #tool nuget:?package=FStarLang.Compiler.runtime.linux-x64&version=0.0.7
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Provides runtime tools for building F* applications. F* Compiler version: 2024.08.14
There are no supported framework assets in this package.
Learn more about Target Frameworks and .NET Standard.
-
.NETStandard 1.0
- No dependencies.
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.