Automatic Update

hackage/brick-panes-1.0.2.0-r0-ad6b86095962fc382f7acc93fc6b4723a4c0022862c358a12175554aed81a54e.nix

@@ -0,0 +1,66 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { examples = true; };
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "brick-panes"; version = "1.0.2.0"; };
+      license = "ISC";
+      copyright = "(c) Kevin Quick, 2022";
+      maintainer = "[email protected]";
+      author = "Kevin Quick";
+      homepage = "https://github.com/kquick/brick-panes";
+      url = "";
+      synopsis = "Panes library for Brick providing composition and isolation for TUI apps.";
+      description = "The Panes library is an overlay for Brick that allows individual TUI\nscreen areas to be independently developed and then easily composed\ninto the overall application.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."brick" or (errorHandler.buildDepError "brick"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
+          (hsPkgs."vty" or (errorHandler.buildDepError "vty"))
+        ];
+        buildable = true;
+      };
+      exes = {
+        "mywork-example" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brick" or (errorHandler.buildDepError "brick"))
+            (hsPkgs."brick-panes" or (errorHandler.buildDepError "brick-panes"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."text-zipper" or (errorHandler.buildDepError "text-zipper"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."vty" or (errorHandler.buildDepError "vty"))
+          ];
+          buildable = if !flags.examples then false else true;
+        };
+      };
+      tests = {
+        "brick-panes-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."brick-panes" or (errorHandler.buildDepError "brick-panes"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }

hackage/consumers-2.3.2.0-r0-22361f358c5f8107ba2bfab93dfc24cc5502f31c993daa5e73dd893867441c5d.nix

@@ -0,0 +1,83 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "consumers"; version = "2.3.2.0"; };
+      license = "BSD-3-Clause";
+      copyright = "Scrive AB";
+      maintainer = "Andrzej Rybczak <[email protected]>,\nJonathan Jouty <[email protected]>";
+      author = "Scrive AB";
+      homepage = "https://github.com/scrive/consumers";
+      url = "";
+      synopsis = "Concurrent PostgreSQL data consumers";
+      description = "Library for setting up concurrent consumers of data\nstored inside PostgreSQL database in a simple,\ndeclarative manner.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."hpqtypes" or (errorHandler.buildDepError "hpqtypes"))
+          (hsPkgs."lifted-base" or (errorHandler.buildDepError "lifted-base"))
+          (hsPkgs."lifted-threads" or (errorHandler.buildDepError "lifted-threads"))
+          (hsPkgs."log-base" or (errorHandler.buildDepError "log-base"))
+          (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
+          (hsPkgs."monad-time" or (errorHandler.buildDepError "monad-time"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
+        ];
+        buildable = true;
+      };
+      tests = {
+        "consumers-example" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."consumers" or (errorHandler.buildDepError "consumers"))
+            (hsPkgs."hpqtypes" or (errorHandler.buildDepError "hpqtypes"))
+            (hsPkgs."hpqtypes-extras" or (errorHandler.buildDepError "hpqtypes-extras"))
+            (hsPkgs."log-base" or (errorHandler.buildDepError "log-base"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."text-show" or (errorHandler.buildDepError "text-show"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          ];
+          buildable = true;
+        };
+        "consumers-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."consumers" or (errorHandler.buildDepError "consumers"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."hpqtypes" or (errorHandler.buildDepError "hpqtypes"))
+            (hsPkgs."hpqtypes-extras" or (errorHandler.buildDepError "hpqtypes-extras"))
+            (hsPkgs."log-base" or (errorHandler.buildDepError "log-base"))
+            (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
+            (hsPkgs."monad-time" or (errorHandler.buildDepError "monad-time"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."text-show" or (errorHandler.buildDepError "text-show"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }

hackage/crucible-0.7.1-r0-4bf700e44cb6ae7fd2f4fa9010cc1098b839d03b728c5b96a4bc50e30ba580ee.nix

@@ -0,0 +1,82 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { unsafe-operations = true; };
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "crucible"; version = "0.7.1"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) Galois, Inc 2014-2022";
+      maintainer = "[email protected], [email protected], [email protected]";
+      author = "Galois Inc.";
+      homepage = "";
+      url = "";
+      synopsis = "Crucible is a library for language-agnostic symbolic simulation";
+      description = "Crucible provides a program representation format based on single-static assignment\n(SSA) form control flow graphs, and a symbolic simulation engine for executing\nprograms expressed in this format.  It also provides support for communicating with\na variety of SAT and SMT solvers, including Z3, CVC4, Yices, STP, and dReal.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."async" or (errorHandler.buildDepError "async"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bimap" or (errorHandler.buildDepError "bimap"))
+          (hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."json" or (errorHandler.buildDepError "json"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."panic" or (errorHandler.buildDepError "panic"))
+          (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
+          (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."what4" or (errorHandler.buildDepError "what4"))
+        ];
+        buildable = true;
+      };
+      tests = {
+        "absint-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
+            (hsPkgs."what4" or (errorHandler.buildDepError "what4"))
+            (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+          ];
+          buildable = true;
+        };
+        "helper-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
+            (hsPkgs."panic" or (errorHandler.buildDepError "panic"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }

hackage/crucible-llvm-0.7-r0-5b3e70d800f4e0f86cafbf3a04c12e13b29150d78e6c931ccd29f80a5196c08f.nix

@@ -0,0 +1,78 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "crucible-llvm"; version = "0.7"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) Galois, Inc 2014-2022";
+      maintainer = "[email protected], [email protected], [email protected]";
+      author = "Galois Inc.";
+      homepage = "";
+      url = "";
+      synopsis = "Support for translating and executing LLVM code in Crucible";
+      description = "Library providing LLVM-specific extensions to the crucible core library\nfor Crucible-based simulation and verification of LLVM-compiled applications.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
+          (hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
+          (hsPkgs."crucible-symio" or (errorHandler.buildDepError "crucible-symio"))
+          (hsPkgs."what4" or (errorHandler.buildDepError "what4"))
+          (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."itanium-abi" or (errorHandler.buildDepError "itanium-abi"))
+          (hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
+          (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+          (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+        ];
+        buildable = true;
+      };
+      tests = {
+        "crucible-llvm-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
+            (hsPkgs."crucible-llvm" or (errorHandler.buildDepError "crucible-llvm"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."llvm-pretty" or (errorHandler.buildDepError "llvm-pretty"))
+            (hsPkgs."llvm-pretty-bc-parser" or (errorHandler.buildDepError "llvm-pretty-bc-parser"))
+            (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."what4" or (errorHandler.buildDepError "what4"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."tasty-sugar" or (errorHandler.buildDepError "tasty-sugar"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }

hackage/crucible-symio-0.1.1-r0-756ae85c7bb36a01532d1b570a47059b5b2d33e86dbf215670de5419bf7dc46b.nix

@@ -0,0 +1,72 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "crucible-symio"; version = "0.1.1"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "[email protected], [email protected], [email protected]";
+      author = "Daniel Matichuk";
+      homepage = "";
+      url = "";
+      synopsis = "An implementation of symbolic I/O primitives for Crucible";
+      description = "This library provides language-independent overrides implementing filesystem\noperations (as provided by most operating systems). These primitives support\nreading and writing symbolic data. An example use case would be to support verifying\nprograms that e.g., use configuration files or accept input from files.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."filemanip" or (errorHandler.buildDepError "filemanip"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."IntervalMap" or (errorHandler.buildDepError "IntervalMap"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."what4" or (errorHandler.buildDepError "what4"))
+        ];
+        buildable = true;
+      };
+      tests = {
+        "crucible-symio-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."crucible" or (errorHandler.buildDepError "crucible"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filemanip" or (errorHandler.buildDepError "filemanip"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."IntervalMap" or (errorHandler.buildDepError "IntervalMap"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."what4" or (errorHandler.buildDepError "what4"))
+            (hsPkgs."crucible-symio" or (errorHandler.buildDepError "crucible-symio"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }