chuffed: init at 0.13.2 (#463547)

maintainers/maintainer-list.nix

@@ -11620,6 +11620,13 @@
     githubId = 49811314;
     keys = [ { fingerprint = "CC36 4CF4 32DD 443F 27FC  033C 3475 AA20 D72F 6A93"; } ];
   };
+  jaanonim = {
+    name = "Jaanonim";
+    email = "mat8mro@gmail.com";
+    github = "jaanonim";
+    githubId = 28810058;
+    keys = [ { fingerprint = "5C4A 273F 5F11 3DF7 ECDF  0AD7 933A F32D 3ABD 5CAF"; } ];
+  };
   jab = {
     name = "Joshua Bronson";
     email = "jabronson@gmail.com";

pkgs/by-name/ch/chuffed/package.nix

@@ -0,0 +1,28 @@
+{
+  stdenv,
+  cmake,
+  fetchFromGitHub,
+  lib,
+}:
+stdenv.mkDerivation (finalAttrs: {
+  pname = "chuffed";
+  version = "0.13.2";
+
+  src = fetchFromGitHub {
+    owner = "chuffed";
+    repo = "chuffed";
+    tag = finalAttrs.version;
+    hash = "sha256-D4HEcCDcJi05AL9suc7Twtf/wjpwBkLEeumGY3nNi5g=";
+  };
+
+  nativeBuildInputs = [ cmake ];
+
+  meta = {
+    homepage = "https://github.com/chuffed/chuffed";
+    description = "The Chuffed CP solver";
+    longDescription = "Chuffed is a state of the art lazy clause solver designed from the ground up with lazy clause generation in mind.";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ jaanonim ];
+    platforms = lib.platforms.all;
+  };
+})