From 8ce2f1475dc70e3f838ee9be02e286c2a37f8bf1 Mon Sep 17 00:00:00 2001
From: Jacek Generowicz <jacg@my-post-office.net>
Date: Tue, 23 Apr 2024 13:34:14 +0200
Subject: [PATCH] cbmc-viewer: init at 3.8

---
 pkgs/by-name/cb/cbmc-viewer/package.nix | 30 +++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 pkgs/by-name/cb/cbmc-viewer/package.nix

diff --git a/pkgs/by-name/cb/cbmc-viewer/package.nix b/pkgs/by-name/cb/cbmc-viewer/package.nix
new file mode 100644
index 000000000000..a4e099092777
--- /dev/null
+++ b/pkgs/by-name/cb/cbmc-viewer/package.nix
@@ -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";
+  };
+}