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

cbmc-viewer: init at 3.8 (#306266)

Browse Source
This commit is contained in:
Aleksana 2024-11-23 17:10:18 +08:00 committed by GitHub
commit 7b4dbe2e60
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
pkgs/by-name/cb/cbmc-viewer/package.nix Normal file
View File

@ -0,0 +1,30 @@
{
lib,
python3Packages,
fetchPypi,
}:
python3Packages.buildPythonApplication rec {
pname = "cbmc-viewer";
version = "3.8";
pyproject = true;
src = fetchPypi {
inherit pname version;
hash = "sha256-JFL06z7lJWZxTALovDBVwNJWenWPUQV9J0qZz3Ek6gI=";
};
propagatedBuildInputs = with python3Packages; [
setuptools
jinja2
voluptuous
];
meta = {
description = "Produces browsable summary of CBMC model checker output";
homepage = "https://github.com/model-checking/cbmc-viewer";
license = lib.licenses.asl20;
maintainers = with lib.maintainers; [ jacg ];
mainProgram = "cbmc-viewer";
};
}