nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-04-15 18:58:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #192932 from figsoda/kind2

Browse Source 
kind2: init at 0.2.77
This commit is contained in:
figsoda 2022-09-26 15:23:47 -04:00 committed by GitHub
commit 98f960fabd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/compilers/kind2/default.nix Normal file
View File

@ -0,0 +1,20 @@
{ lib, rustPlatform, fetchCrate }:
rustPlatform.buildRustPackage rec {
pname = "kind2";
version = "0.2.77";
src = fetchCrate {
inherit pname version;
sha256 = "sha256-drWAWiSALq8rb3J2phNE/dt4e6xmJY7Ob8cES1kYEPo=";
};
cargoSha256 = "sha256-rF0TvNWE90sUqslBGPnGmD6mZFPlCCkM1jyuFt8n8Nw=";
meta = with lib; {
description = "A functional programming language and proof assistant";
homepage = "https://github.com/kindelia/kind2";
license = licenses.mit;
maintainers = with maintainers; [ figsoda ];
};
}

2
pkgs/top-level/all-packages.nix
View File

@ -14213,6 +14213,8 @@ with pkgs;
jwasm = callPackage ../development/compilers/jwasm { };
kind2 = callPackage ../development/compilers/kind2 { };
knightos-genkfs = callPackage ../development/tools/knightos/genkfs { };
regenkfs = callPackage ../development/tools/knightos/regenkfs { };