JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

kind2: init at 0.2.77

Browse Source
This commit is contained in:
figsoda 2022-09-25 15:14:36 -04:00
parent ab72904494
commit 7516618e2d
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

@ -14190,6 +14190,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 { };