From 43c8664565718e4be56e90df6e4dd35a9b9c130b Mon Sep 17 00:00:00 2001 From: IOHK Date: Mon, 23 Sep 2024 00:27:47 +0000 Subject: [PATCH] Automatic Update --- default.nix | 2 + ...d124627947d6652f165407a147a6d669d88e21.nix | 51 +++++ ...4cfa9a6eee2b44c169ab3b3ebaf67405e54d38.nix | 59 +++++ ...dd117be77ab868df8a3350e8e9346e15a10e3a.nix | 75 +++++++ ...3835223a270ce0ea787109f46d48c968fde9d6.nix | 88 ++++++++ ...35f059343744317504534974eee1342659683d.nix | 42 ++++ ...1429b4e89f645cc48aa50ccf1239b112c606d5.nix | 205 ++++++++++++++++++ ...63ef1d154ce0ea558c6da329ae41b580bc8146.nix | 54 +++++ ...afe63d7e52000390fafb600569c803e0cee73b.nix | 50 +++++ ...516c03953f078ade2c2f26968d230029d295e3.nix | 58 +++++ ...08845b8c15e964be3fefeaf0e0ec8a5a5a0758.nix | 49 +++++ ...90157ccb98b0188438fc2b0e2700f5e39873be.nix | 52 +++++ ...06596381b237032b57dfea7009294676b92a98.nix | 52 +++++ ...c9b9352ef19551a1e2e0eeb1536a582d5e1d45.nix | 31 +++ ...03c1865bdea18f2e85745142299da064329150.nix | 39 ++++ ...14130d0c75caa33c435cf08f32842416355ae4.nix | 52 +++++ ...ecd00b652c5391c595df577b7312ed91398fd4.nix | 31 +++ ...e9239aa809e5b065372e9b36759717c77a1ced.nix | 68 ++++++ ...4d719e60a7ce1d026b29425644bda832d46155.nix | 51 +++++ ...82940409dcb175a03fec3782f1b89aab229908.nix | 53 +++++ ...581d3fcda393847ca33ed31b7ea7af8fd64c97.nix | 59 +++++ index-state-hashes.nix | 1 + nix/_G_L_F_W-b.nix | 11 + nix/_Sit.nix | 7 +- nix/aftovolio.nix | 11 + nix/bindings-_G_L_F_W.nix | 11 + nix/haskell-src.nix | 11 + nix/imm.nix | 11 + nix/kvitable.nix | 11 + nix/ogma-cli.nix | 11 + nix/ogma-core.nix | 11 + nix/ogma-extra.nix | 11 + nix/ogma-language-c.nix | 11 + nix/ogma-language-cocospec.nix | 11 + nix/ogma-language-copilot.nix | 11 + nix/ogma-language-jsonspec.nix | 11 + nix/ogma-language-smv.nix | 11 + nix/ogma-spec.nix | 11 + nix/paseto.nix | 13 ++ nix/typed-range.nix | 24 ++ nix/typesafe-precure.nix | 11 + 41 files changed, 1441 insertions(+), 1 deletion(-) create mode 100644 hackage/GLFW-b-3.3.9.1-r0-5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21.nix create mode 100644 hackage/Sit-0.2023.8.3-r1-8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38.nix create mode 100644 hackage/aftovolio-0.2.0.0-r0-dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a.nix create mode 100644 hackage/bindings-GLFW-3.3.9.2-r0-8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6.nix create mode 100644 hackage/haskell-src-1.0.4.1-r0-b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d.nix create mode 100644 hackage/imm-2.1.3.0-r0-91a176cc138e58e79fcc5d88541429b4e89f645cc48aa50ccf1239b112c606d5.nix create mode 100644 hackage/kvitable-1.1.0.1-r0-6620d97049a9e05f50be5dd77063ef1d154ce0ea558c6da329ae41b580bc8146.nix create mode 100644 hackage/ogma-cli-1.4.1-r0-8f5eeccb9d9870fb9be6be8296afe63d7e52000390fafb600569c803e0cee73b.nix create mode 100644 hackage/ogma-core-1.4.1-r0-a68dbe95b0b6bba9357ce55d30516c03953f078ade2c2f26968d230029d295e3.nix create mode 100644 hackage/ogma-extra-1.4.1-r0-40b3666548825da34982b3701708845b8c15e964be3fefeaf0e0ec8a5a5a0758.nix create mode 100644 hackage/ogma-language-c-1.4.1-r0-65e633694c89d3fae51d120fc590157ccb98b0188438fc2b0e2700f5e39873be.nix create mode 100644 hackage/ogma-language-cocospec-1.4.1-r0-7962cdb67231738a2d8ca7ea9706596381b237032b57dfea7009294676b92a98.nix create mode 100644 hackage/ogma-language-copilot-1.4.1-r0-218d17fa5f946a13e28d230ffbc9b9352ef19551a1e2e0eeb1536a582d5e1d45.nix create mode 100644 hackage/ogma-language-jsonspec-1.4.1-r0-a51a17643bc59c469d58cd9b1903c1865bdea18f2e85745142299da064329150.nix create mode 100644 hackage/ogma-language-smv-1.4.1-r0-68ea2ea5a5b74fe767d7d89b9214130d0c75caa33c435cf08f32842416355ae4.nix create mode 100644 hackage/ogma-spec-1.4.1-r0-ddc85eafa813ee3aa041d7bfdeecd00b652c5391c595df577b7312ed91398fd4.nix create mode 100644 hackage/paseto-0.1.0.0-r0-a9590d89cfb25bffc44433fd41e9239aa809e5b065372e9b36759717c77a1ced.nix create mode 100644 hackage/typed-range-0.1.0.0-r0-a0831e32a093c82e67c6c156894d719e60a7ce1d026b29425644bda832d46155.nix create mode 100644 hackage/typed-range-0.1.0.1-r0-1497f142ed29e1b92fd6b829eb82940409dcb175a03fec3782f1b89aab229908.nix create mode 100644 hackage/typesafe-precure-0.11.1.1-r0-3f507b6d8d918a91df1998b584581d3fcda393847ca33ed31b7ea7af8fd64c97.nix create mode 100644 nix/paseto.nix create mode 100644 nix/typed-range.nix diff --git a/default.nix b/default.nix index 774d98cc98d..7e570a9b080 100644 --- a/default.nix +++ b/default.nix @@ -12129,6 +12129,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "partial-uri" = import ./nix/partial-uri.nix; "partialord" = import ./nix/partialord.nix; "partly" = import ./nix/partly.nix; + "paseto" = import ./nix/paseto.nix; "passage" = import ./nix/passage.nix; "passman" = import ./nix/passman.nix; "passman-cli" = import ./nix/passman-cli.nix; @@ -16535,6 +16536,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "typed-gui" = import ./nix/typed-gui.nix; "typed-process" = import ./nix/typed-process.nix; "typed-process-effectful" = import ./nix/typed-process-effectful.nix; + "typed-range" = import ./nix/typed-range.nix; "typed-session" = import ./nix/typed-session.nix; "typed-session-state-algorithm" = import ./nix/typed-session-state-algorithm.nix; "typed-spreadsheet" = import ./nix/typed-spreadsheet.nix; diff --git a/hackage/GLFW-b-3.3.9.1-r0-5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21.nix b/hackage/GLFW-b-3.3.9.1-r0-5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21.nix new file mode 100644 index 00000000000..d49f01bc59e --- /dev/null +++ b/hackage/GLFW-b-3.3.9.1-r0-5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21.nix @@ -0,0 +1,51 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "GLFW-b"; version = "3.3.9.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Brian Lewis \n, Schell Scivally \n, Pavel Krajcevski "; + author = "Brian Lewis "; + homepage = ""; + url = ""; + synopsis = "Bindings to GLFW OpenGL library"; + description = "Bindings to GLFW (), an open source, multi-platform\nlibrary for creating windows with OpenGL contexts and managing input and\nevents.\n\nGLFW-b depends on bindings-GLFW\n(), which, as of the time\nof this writing, binds to GLFW 3.3.9, released 2023-12-13\n(\n).\n\nIf you've used GLFW < 3 before, you should read the transition guide\n()."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."bindings-GLFW" or (errorHandler.buildDepError "bindings-GLFW")) + ]; + buildable = true; + }; + tests = { + "main" = { + depends = [ + (hsPkgs."GLFW-b" or (errorHandler.buildDepError "GLFW-b")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."bindings-GLFW" or (errorHandler.buildDepError "bindings-GLFW")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/Sit-0.2023.8.3-r1-8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38.nix b/hackage/Sit-0.2023.8.3-r1-8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38.nix new file mode 100644 index 00000000000..d6e590dc197 --- /dev/null +++ b/hackage/Sit-0.2023.8.3-r1-8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "Sit"; version = "0.2023.8.3"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "Andreas Abel "; + author = "Andreas Abel "; + homepage = "https://github.com/andreasabel/Sit"; + url = ""; + synopsis = "Prototypical type checker for Type Theory with Sized Natural Numbers"; + description = "Sit = Size-irrelevant types\n\nSit is a prototypical language with an Agda-compatible syntax.\nIt has dependent function types, universes, sized natural numbers,\nand case and recursion over natural numbers.\nThere is a relevant and an irrelevant quantifier over sizes.\nFor an example, see file test/Test.agda."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."data-lens-light" or (errorHandler.buildDepError "data-lens-light")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + exes = { + "Sit.bin" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Sit" or (errorHandler.buildDepError "Sit")) + ]; + buildable = true; + }; + }; + tests = { + "system-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Sit" or (errorHandler.buildDepError "Sit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/aftovolio-0.2.0.0-r0-dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a.nix b/hackage/aftovolio-0.2.0.0-r0-dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a.nix new file mode 100644 index 00000000000..fd88dbe735f --- /dev/null +++ b/hackage/aftovolio-0.2.0.0-r0-dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a.nix @@ -0,0 +1,75 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "aftovolio"; version = "0.2.0.0"; }; + license = "MIT"; + copyright = "Oleksandr Zhabenko"; + maintainer = "oleksandr.zhabenko@yahoo.com"; + author = "Oleksandr Zhabenko"; + homepage = ""; + url = ""; + synopsis = "An AFTOVolio implementation for creating texts with special phonetic / prosodic properties."; + description = "It is another project that is based on the similar ideas as [phonetic-languages-simplified-examples-array package](https://hackage.haskell.org/package/phonetic-languages-simplified-examples-array). It combines general functionality with an example of complete one for Ukrainian language with extended documentation, mostly in the README.md file. "; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."rhythmic-sequences" or (errorHandler.buildDepError "rhythmic-sequences")) + (hsPkgs."cli-arguments" or (errorHandler.buildDepError "cli-arguments")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."rev-scientific" or (errorHandler.buildDepError "rev-scientific")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."mmsyn2-array" or (errorHandler.buildDepError "mmsyn2-array")) + (hsPkgs."minmax" or (errorHandler.buildDepError "minmax")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."monoid-insertleft" or (errorHandler.buildDepError "monoid-insertleft")) + (hsPkgs."intermediate-structures" or (errorHandler.buildDepError "intermediate-structures")) + (hsPkgs."quantizer" or (errorHandler.buildDepError "quantizer")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lists-flines" or (errorHandler.buildDepError "lists-flines")) + ]; + buildable = true; + }; + exes = { + "aftovolioUkr" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."rhythmic-sequences" or (errorHandler.buildDepError "rhythmic-sequences")) + (hsPkgs."cli-arguments" or (errorHandler.buildDepError "cli-arguments")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."rev-scientific" or (errorHandler.buildDepError "rev-scientific")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."mmsyn2-array" or (errorHandler.buildDepError "mmsyn2-array")) + (hsPkgs."minmax" or (errorHandler.buildDepError "minmax")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."monoid-insertleft" or (errorHandler.buildDepError "monoid-insertleft")) + (hsPkgs."intermediate-structures" or (errorHandler.buildDepError "intermediate-structures")) + (hsPkgs."quantizer" or (errorHandler.buildDepError "quantizer")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lists-flines" or (errorHandler.buildDepError "lists-flines")) + ]; + buildable = true; + }; + "unconcatUkr2" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."mmsyn2-array" or (errorHandler.buildDepError "mmsyn2-array")) + (hsPkgs."intermediate-structures" or (errorHandler.buildDepError "intermediate-structures")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bindings-GLFW-3.3.9.2-r0-8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6.nix b/hackage/bindings-GLFW-3.3.9.2-r0-8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6.nix new file mode 100644 index 00000000000..7fd389ccac1 --- /dev/null +++ b/hackage/bindings-GLFW-3.3.9.2-r0-8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6.nix @@ -0,0 +1,88 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { + system-glfw = false; + macosxusechdir = true; + macosxusemenubar = true; + macosxuseretina = true; + x = true; + wayland = false; + osmesa = false; + exposenative = false; + }; + package = { + specVersion = "1.10"; + identifier = { name = "bindings-GLFW"; version = "3.3.9.2"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Brian Lewis \n, Schell Scivally \n, Javier Jaramago \n, Pavel Krajcevski "; + author = "Brian Lewis "; + homepage = ""; + url = ""; + synopsis = "Low-level bindings to GLFW OpenGL library"; + description = "Low-level bindings to GLFW (), an open source,\nmulti-platform library for creating windows with OpenGL contexts and managing\ninput and events.\n\nThe binding is to GLFW 3.3, released 2019-04-15\n(\n).\n\n/These bindings are too low-level for normal use./ For higher-level bindings,\nsee GLFW-b ().\n\nIf you've used GLFW before, you were probably using 2.7.x. There are some\nsignificant differences in 3.x.x. Please see the transition guide\n()."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bindings-DSL" or (errorHandler.buildDepError "bindings-DSL")) + ]; + libs = pkgs.lib.optionals (!flags.system-glfw) (pkgs.lib.optionals (system.isLinux || system.isFreebsd) [ + (pkgs."GL" or (errorHandler.sysDepError "GL")) + (pkgs."X11" or (errorHandler.sysDepError "X11")) + (pkgs."Xi" or (errorHandler.sysDepError "Xi")) + (pkgs."Xrandr" or (errorHandler.sysDepError "Xrandr")) + (pkgs."Xxf86vm" or (errorHandler.sysDepError "Xxf86vm")) + (pkgs."Xcursor" or (errorHandler.sysDepError "Xcursor")) + (pkgs."Xinerama" or (errorHandler.sysDepError "Xinerama")) + (pkgs."pthread" or (errorHandler.sysDepError "pthread")) + ] ++ pkgs.lib.optionals (system.isWindows) [ + (pkgs."opengl32" or (errorHandler.sysDepError "opengl32")) + (pkgs."Gdi32" or (errorHandler.sysDepError "Gdi32")) + ]); + frameworks = pkgs.lib.optionals (!flags.system-glfw) (pkgs.lib.optionals (system.isOsx) [ + (pkgs."AGL" or (errorHandler.sysDepError "AGL")) + (pkgs."Cocoa" or (errorHandler.sysDepError "Cocoa")) + (pkgs."OpenGL" or (errorHandler.sysDepError "OpenGL")) + (pkgs."IOKit" or (errorHandler.sysDepError "IOKit")) + (pkgs."CoreFoundation" or (errorHandler.sysDepError "CoreFoundation")) + (pkgs."CoreVideo" or (errorHandler.sysDepError "CoreVideo")) + ]); + pkgconfig = pkgs.lib.optional (flags.system-glfw) (pkgconfPkgs."glfw3" or (errorHandler.pkgConfDepError "glfw3")); + build-tools = [ + (hsPkgs.pkgsBuildBuild.hsc2hs.components.exes.hsc2hs or (pkgs.pkgsBuildBuild.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs"))) + ]; + buildable = true; + }; + tests = { + "main" = { + depends = [ + (hsPkgs."bindings-GLFW" or (errorHandler.buildDepError "bindings-GLFW")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + ]; + frameworks = [ + (pkgs."AGL" or (errorHandler.sysDepError "AGL")) + (pkgs."Cocoa" or (errorHandler.sysDepError "Cocoa")) + (pkgs."OpenGL" or (errorHandler.sysDepError "OpenGL")) + (pkgs."IOKit" or (errorHandler.sysDepError "IOKit")) + (pkgs."CoreFoundation" or (errorHandler.sysDepError "CoreFoundation")) + (pkgs."CoreVideo" or (errorHandler.sysDepError "CoreVideo")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/haskell-src-1.0.4.1-r0-b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d.nix b/hackage/haskell-src-1.0.4.1-r0-b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d.nix new file mode 100644 index 00000000000..df9de5eefbe --- /dev/null +++ b/hackage/haskell-src-1.0.4.1-r0-b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d.nix @@ -0,0 +1,42 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "haskell-src"; version = "1.0.4.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Andreas Abel"; + author = "Simon Marlow, Sven Panne and Noel Winstanley"; + homepage = ""; + url = ""; + synopsis = "Support for manipulating Haskell source code"; + description = "The @haskell-src@ package provides support for manipulating Haskell\nsource code. The package provides a lexer, parser and\npretty-printer, and a definition of a Haskell abstract syntax tree\n(AST). Common uses of this package are to parse or generate\n code."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ] ++ pkgs.lib.optionals (!(compiler.isGhc && compiler.version.ge "8.0")) [ + (hsPkgs."fail" or (errorHandler.buildDepError "fail")) + (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/imm-2.1.3.0-r0-91a176cc138e58e79fcc5d88541429b4e89f645cc48aa50ccf1239b112c606d5.nix b/hackage/imm-2.1.3.0-r0-91a176cc138e58e79fcc5d88541429b4e89f645cc48aa50ccf1239b112c606d5.nix new file mode 100644 index 00000000000..278a2b57c47 --- /dev/null +++ b/hackage/imm-2.1.3.0-r0-91a176cc138e58e79fcc5d88541429b4e89f645cc48aa50ccf1239b112c606d5.nix @@ -0,0 +1,205 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "imm"; version = "2.1.3.0"; }; + license = "CC0-1.0"; + copyright = ""; + maintainer = "mail@cmoreau.info"; + author = "kamaradclimber, koral"; + homepage = "https://github.com/k0ral/imm"; + url = ""; + synopsis = "Execute arbitrary actions for each item from RSS/Atom feeds"; + description = "Cf README file"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."atom-conduit" or (errorHandler.buildDepError "atom-conduit")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."dhall" or (errorHandler.buildDepError "dhall")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."parsers" or (errorHandler.buildDepError "parsers")) + (hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) + (hsPkgs."pipes-bytestring" or (errorHandler.buildDepError "pipes-bytestring")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal")) + (hsPkgs."refined" or (errorHandler.buildDepError "refined")) + (hsPkgs."rss-conduit" or (errorHandler.buildDepError "rss-conduit")) + (hsPkgs."safe" or (errorHandler.buildDepError "safe")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."timerep" or (errorHandler.buildDepError "timerep")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + (hsPkgs."xml-conduit" or (errorHandler.buildDepError "xml-conduit")) + (hsPkgs."xml-types" or (errorHandler.buildDepError "xml-types")) + ]; + buildable = true; + }; + exes = { + "imm" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."imm" or (errorHandler.buildDepError "imm")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."beam-core" or (errorHandler.buildDepError "beam-core")) + (hsPkgs."beam-sqlite" or (errorHandler.buildDepError "beam-sqlite")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."chronos" or (errorHandler.buildDepError "chronos")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."dhall" or (errorHandler.buildDepError "dhall")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."fast-logger" or (errorHandler.buildDepError "fast-logger")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."monad-time" or (errorHandler.buildDepError "monad-time")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal")) + (hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) + (hsPkgs."pipes-bytestring" or (errorHandler.buildDepError "pipes-bytestring")) + (hsPkgs."pipes-http" or (errorHandler.buildDepError "pipes-http")) + (hsPkgs."safe" or (errorHandler.buildDepError "safe")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."stm-chans" or (errorHandler.buildDepError "stm-chans")) + (hsPkgs."streamly" or (errorHandler.buildDepError "streamly")) + (hsPkgs."streamly-core" or (errorHandler.buildDepError "streamly-core")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + (hsPkgs."xml-conduit" or (errorHandler.buildDepError "xml-conduit")) + (hsPkgs."xml-types" or (errorHandler.buildDepError "xml-types")) + ]; + buildable = true; + }; + "imm-monolith" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."imm" or (errorHandler.buildDepError "imm")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + ]; + buildable = true; + }; + "imm-writefile" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."imm" or (errorHandler.buildDepError "imm")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + ]; + buildable = true; + }; + "imm-sendmail" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."imm" or (errorHandler.buildDepError "imm")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."dhall" or (errorHandler.buildDepError "dhall")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mime-mail" or (errorHandler.buildDepError "mime-mail")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."refined" or (errorHandler.buildDepError "refined")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + ]; + buildable = true; + }; + "imm-wallabag" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."imm" or (errorHandler.buildDepError "imm")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."dhall" or (errorHandler.buildDepError "dhall")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."refined" or (errorHandler.buildDepError "refined")) + (hsPkgs."req" or (errorHandler.buildDepError "req")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + ]; + buildable = true; + }; + "imm-shiori" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."imm" or (errorHandler.buildDepError "imm")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."dhall" or (errorHandler.buildDepError "dhall")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."refined" or (errorHandler.buildDepError "refined")) + (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."uri-bytestring" or (errorHandler.buildDepError "uri-bytestring")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/kvitable-1.1.0.1-r0-6620d97049a9e05f50be5dd77063ef1d154ce0ea558c6da329ae41b580bc8146.nix b/hackage/kvitable-1.1.0.1-r0-6620d97049a9e05f50be5dd77063ef1d154ce0ea558c6da329ae41b580bc8146.nix new file mode 100644 index 00000000000..528eea2612e --- /dev/null +++ b/hackage/kvitable-1.1.0.1-r0-6620d97049a9e05f50be5dd77063ef1d154ce0ea558c6da329ae41b580bc8146.nix @@ -0,0 +1,54 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "kvitable"; version = "1.1.0.1"; }; + license = "ISC"; + copyright = "Kevin Quick, 2021-2022"; + maintainer = "kquick@galois.com"; + author = "Kevin Quick"; + homepage = "https://github.com/kquick/kvitable"; + url = ""; + synopsis = "Key/Value Indexed Table container and formatting library"; + description = "\nAllows creation of a table from a set of of Key+Value Indices.\nThis differs from the standard 'Map' structure in that the 'Map'\nsimply indexes by value but the KVI table indexes by a\nheterogeneous list of keys along with their associated values.\nThis effectively creates an N-dimensional table, where\n@N=Product(Count(Values[key]))@. The table contents can be sparse.\n\nThis library also provides the ability to format multi-dimensional\ndata in a table presentation. The table is automatically formatted\nand can be output in a number of different styles (ascii, html,\netc.)\n\nMulti-dimensional data is more difficult to represent than simple\ntwo-dimensional data; this package provides the ability to select\nwhich dimensions should be represented as sub-rows and which\ndimensions should be represented as sub-columns. See the README\nfor examples"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lucid" or (errorHandler.buildDepError "lucid")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."named-text" or (errorHandler.buildDepError "named-text")) + (hsPkgs."sayable" or (errorHandler.buildDepError "sayable")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + tests = { + "test-kvitable" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."html-parse" or (errorHandler.buildDepError "html-parse")) + (hsPkgs."kvitable" or (errorHandler.buildDepError "kvitable")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-cli-1.4.1-r0-8f5eeccb9d9870fb9be6be8296afe63d7e52000390fafb600569c803e0cee73b.nix b/hackage/ogma-cli-1.4.1-r0-8f5eeccb9d9870fb9be6be8296afe63d7e52000390fafb600569c803e0cee73b.nix new file mode 100644 index 00000000000..d56b786f0a1 --- /dev/null +++ b/hackage/ogma-cli-1.4.1-r0-8f5eeccb9d9870fb9be6be8296afe63d7e52000390fafb600569c803e0cee73b.nix @@ -0,0 +1,50 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-cli"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages."; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nSome use cases supported by Ogma include:\n\n- Translating requirements defined in\n\ninto corresponding monitors in Copilot.\n\n- Generating the glue code necessary to work with C\nstructs in Copilot.\n\n- Generating\n\napplications that use Copilot for monitoring data\nreceived from the message bus.\n\n- Generating message handlers for NASA Core Flight System\napplications to make external data in structs available\nto a Copilot monitor.\n\n- Generating\n\napplications that use Copilot for monitoring data\nreceived from different topics.\n\n- Generating\n\ncomponents that use Copilot for monitoring.\n\nThe main invocation with @--help@ lists sub-commands available.\n\n>$ ogma --help\n>ogma - an anything-to-Copilot application generator\n>\n>Usage: ogma COMMAND\n> Generate complete or partial Copilot applications from multiple languages\n>\n>Available options:\n> -h,--help Show this help text\n>\n>Available commands:\n> structs Generate Copilot structs from C structs\n> handlers Generate message handlers from C structs\n> cfs Generate a complete CFS/Copilot application\n> fprime Generate a complete F' monitoring component\n> fret-component-spec Generate a Copilot file from a FRET Component\n> Specification\n> fret-reqs-db Generate a Copilot file from a FRET Requirements\n> Database\n> ros Generate a ROS 2 monitoring application\n\nFor further information, see:\n\n- .\n\n- .\n\n- .\n\n- .\n\n- .\n\n- .\n\n- \"\", Perez, Dedden and Goodloe. 2020.\n\n- \"\", Dutle et al. 2020."; + buildType = "Simple"; + }; + components = { + exes = { + "ogma" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."ogma-core" or (errorHandler.buildDepError "ogma-core")) + ]; + buildable = true; + }; + }; + tests = { + "test-ogma" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."unix" or (errorHandler.buildDepError "unix")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-core-1.4.1-r0-a68dbe95b0b6bba9357ce55d30516c03953f078ade2c2f26968d230029d295e3.nix b/hackage/ogma-core-1.4.1-r0-a68dbe95b0b6bba9357ce55d30516c03953f078ade2c2f26968d230029d295e3.nix new file mode 100644 index 00000000000..12f0f69048a --- /dev/null +++ b/hackage/ogma-core-1.4.1-r0-a68dbe95b0b6bba9357ce55d30516c03953f078ade2c2f26968d230029d295e3.nix @@ -0,0 +1,58 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-core"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages."; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis package implements the internal commands of ogma."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra")) + (hsPkgs."ogma-language-c" or (errorHandler.buildDepError "ogma-language-c")) + (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec")) + (hsPkgs."ogma-language-copilot" or (errorHandler.buildDepError "ogma-language-copilot")) + (hsPkgs."ogma-language-jsonspec" or (errorHandler.buildDepError "ogma-language-jsonspec")) + (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv")) + (hsPkgs."ogma-spec" or (errorHandler.buildDepError "ogma-spec")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-core" or (errorHandler.buildDepError "ogma-core")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-extra-1.4.1-r0-40b3666548825da34982b3701708845b8c15e964be3fefeaf0e0ec8a5a5a0758.nix b/hackage/ogma-extra-1.4.1-r0-40b3666548825da34982b3701708845b8c15e964be3fefeaf0e0ec8a5a5a0758.nix new file mode 100644 index 00000000000..c3e557ebfc2 --- /dev/null +++ b/hackage/ogma-extra-1.4.1-r0-40b3666548825da34982b3701708845b8c15e964be3fefeaf0e0ec8a5a5a0758.nix @@ -0,0 +1,49 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-extra"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages."; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis package implements internal extensions to existing libraries\nand modules that are used in several ogma packages and their\ntesting facilities."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-c-1.4.1-r0-65e633694c89d3fae51d120fc590157ccb98b0188438fc2b0e2700f5e39873be.nix b/hackage/ogma-language-c-1.4.1-r0-65e633694c89d3fae51d120fc590157ccb98b0188438fc2b0e2700f5e39873be.nix new file mode 100644 index 00000000000..8f4eb4f6cbf --- /dev/null +++ b/hackage/ogma-language-c-1.4.1-r0-65e633694c89d3fae51d120fc590157ccb98b0188438fc2b0e2700f5e39873be.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-c"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: C Language Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read C header files."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + (hsPkgs.pkgsBuildBuild.BNFC or (pkgs.pkgsBuildBuild.BNFC or (errorHandler.setupDepError "BNFC"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-language-c" or (errorHandler.buildDepError "ogma-language-c")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-cocospec-1.4.1-r0-7962cdb67231738a2d8ca7ea9706596381b237032b57dfea7009294676b92a98.nix b/hackage/ogma-language-cocospec-1.4.1-r0-7962cdb67231738a2d8ca7ea9706596381b237032b57dfea7009294676b92a98.nix new file mode 100644 index 00000000000..41f8a2c7b31 --- /dev/null +++ b/hackage/ogma-language-cocospec-1.4.1-r0-7962cdb67231738a2d8ca7ea9706596381b237032b57dfea7009294676b92a98.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-cocospec"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: CoCoSpec Language Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read CoCoSpec Boolean expressions, used by\nthe tool FRET to capture requirement specifications."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + (hsPkgs.pkgsBuildBuild.BNFC or (pkgs.pkgsBuildBuild.BNFC or (errorHandler.setupDepError "BNFC"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-copilot-1.4.1-r0-218d17fa5f946a13e28d230ffbc9b9352ef19551a1e2e0eeb1536a582d5e1d45.nix b/hackage/ogma-language-copilot-1.4.1-r0-218d17fa5f946a13e28d230ffbc9b9352ef19551a1e2e0eeb1536a582d5e1d45.nix new file mode 100644 index 00000000000..e68a7f9c59d --- /dev/null +++ b/hackage/ogma-language-copilot-1.4.1-r0-218d17fa5f946a13e28d230ffbc9b9352ef19551a1e2e0eeb1536a582d5e1d45.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-copilot"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: Copilot Language Endpoints"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read Copilot monitors, a definition of Copilot\nstructs, and a backend to generate and pretty print Copilot code."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-jsonspec-1.4.1-r0-a51a17643bc59c469d58cd9b1903c1865bdea18f2e85745142299da064329150.nix b/hackage/ogma-language-jsonspec-1.4.1-r0-a51a17643bc59c469d58cd9b1903c1865bdea18f2e85745142299da064329150.nix new file mode 100644 index 00000000000..a9c7b9c351e --- /dev/null +++ b/hackage/ogma-language-jsonspec-1.4.1-r0-a51a17643bc59c469d58cd9b1903c1865bdea18f2e85745142299da064329150.nix @@ -0,0 +1,39 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-jsonspec"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: JSON Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read specifications from JSON files."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."jsonpath" or (errorHandler.buildDepError "jsonpath")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."ogma-spec" or (errorHandler.buildDepError "ogma-spec")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-smv-1.4.1-r0-68ea2ea5a5b74fe767d7d89b9214130d0c75caa33c435cf08f32842416355ae4.nix b/hackage/ogma-language-smv-1.4.1-r0-68ea2ea5a5b74fe767d7d89b9214130d0c75caa33c435cf08f32842416355ae4.nix new file mode 100644 index 00000000000..e0d3d616be5 --- /dev/null +++ b/hackage/ogma-language-smv-1.4.1-r0-68ea2ea5a5b74fe767d7d89b9214130d0c75caa33c435cf08f32842416355ae4.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-smv"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: SMV Language Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read SMV Boolean expressions, used by\nthe tool FRET to capture requirement specifications."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + (hsPkgs.pkgsBuildBuild.BNFC or (pkgs.pkgsBuildBuild.BNFC or (errorHandler.setupDepError "BNFC"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-spec-1.4.1-r0-ddc85eafa813ee3aa041d7bfdeecd00b652c5391c595df577b7312ed91398fd4.nix b/hackage/ogma-spec-1.4.1-r0-ddc85eafa813ee3aa041d7bfdeecd00b652c5391c595df577b7312ed91398fd4.nix new file mode 100644 index 00000000000..e7e53ef851c --- /dev/null +++ b/hackage/ogma-spec-1.4.1-r0-ddc85eafa813ee3aa041d7bfdeecd00b652c5391c595df577b7312ed91398fd4.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-spec"; version = "1.4.1"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: JSON Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains an abstract representation of an Ogma specification."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/paseto-0.1.0.0-r0-a9590d89cfb25bffc44433fd41e9239aa809e5b065372e9b36759717c77a1ced.nix b/hackage/paseto-0.1.0.0-r0-a9590d89cfb25bffc44433fd41e9239aa809e5b065372e9b36759717c77a1ced.nix new file mode 100644 index 00000000000..fe1d7109b02 --- /dev/null +++ b/hackage/paseto-0.1.0.0-r0-a9590d89cfb25bffc44433fd41e9239aa809e5b065372e9b36759717c77a1ced.nix @@ -0,0 +1,68 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.4"; + identifier = { name = "paseto"; version = "0.1.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Luke Nadur"; + author = "Luke Nadur"; + homepage = "https://github.com/intricate/paseto-haskell"; + url = ""; + synopsis = "Platform-Agnostic Security Tokens"; + description = "Haskell implementation of PASETO (Platform-Agnostic Security Tokens).\n.\nThe recommended entry point for this library is \"Crypto.Paseto\".\n.\nFor more information about this library and a rundown on how to use it,\ncheck out the\n[README on GitHub](https://github.com/intricate/paseto-haskell#readme)."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."base64-bytestring" or (errorHandler.buildDepError "base64-bytestring")) + (hsPkgs."basement" or (errorHandler.buildDepError "basement")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."memory" or (errorHandler.buildDepError "memory")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers-except" or (errorHandler.buildDepError "transformers-except")) + ]; + buildable = true; + }; + tests = { + "paseto-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."memory" or (errorHandler.buildDepError "memory")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."paseto" or (errorHandler.buildDepError "paseto")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers-except" or (errorHandler.buildDepError "transformers-except")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/typed-range-0.1.0.0-r0-a0831e32a093c82e67c6c156894d719e60a7ce1d026b29425644bda832d46155.nix b/hackage/typed-range-0.1.0.0-r0-a0831e32a093c82e67c6c156894d719e60a7ce1d026b29425644bda832d46155.nix new file mode 100644 index 00000000000..f74ce588725 --- /dev/null +++ b/hackage/typed-range-0.1.0.0-r0-a0831e32a093c82e67c6c156894d719e60a7ce1d026b29425644bda832d46155.nix @@ -0,0 +1,51 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "typed-range"; version = "0.1.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "gautier.difolco@gmail.com"; + author = "Gautier DI FOLCO"; + homepage = "https://github.com/blackheaven/typed-range"; + url = ""; + synopsis = "An efficient and versatile typed range library."; + description = "The range library alows the use of performant and versatile ranges in your code.\nIt supports bounded and unbounded ranges, ranges in a nested manner (like library\nversions), an efficient algebra of range computation and even a simplified interface\nfor ranges for the common cases. This library is far more efficient than using the\ndefault Data.List functions to approximate range behaviour. Performance is the major\nvalue offering of this library.\n\nIf this is your first time using this library it is highly recommended that you start\nwith \"Data.Range.Typed\"; it contains the basics of this library that meet most use\ncases."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + ]; + buildable = true; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."typed-range" or (errorHandler.buildDepError "typed-range")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/typed-range-0.1.0.1-r0-1497f142ed29e1b92fd6b829eb82940409dcb175a03fec3782f1b89aab229908.nix b/hackage/typed-range-0.1.0.1-r0-1497f142ed29e1b92fd6b829eb82940409dcb175a03fec3782f1b89aab229908.nix new file mode 100644 index 00000000000..5b2fe4484ad --- /dev/null +++ b/hackage/typed-range-0.1.0.1-r0-1497f142ed29e1b92fd6b829eb82940409dcb175a03fec3782f1b89aab229908.nix @@ -0,0 +1,53 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "typed-range"; version = "0.1.0.1"; }; + license = "MIT"; + copyright = ""; + maintainer = "gautier.difolco@gmail.com"; + author = "Gautier DI FOLCO"; + homepage = "https://github.com/blackheaven/typed-range"; + url = ""; + synopsis = "An efficient and versatile typed range library."; + description = "The range library alows the use of performant and versatile ranges in your code.\nIt supports bounded and unbounded ranges, ranges in a nested manner (like library\nversions), an efficient algebra of range computation and even a simplified interface\nfor ranges for the common cases. This library is far more efficient than using the\ndefault Data.List functions to approximate range behaviour. Performance is the major\nvalue offering of this library.\n\nIf this is your first time using this library it is highly recommended that you start\nwith \"Data.Range.Typed\"; it contains the basics of this library that meet most use\ncases."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + ]; + buildable = true; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."typed-range" or (errorHandler.buildDepError "typed-range")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/typesafe-precure-0.11.1.1-r0-3f507b6d8d918a91df1998b584581d3fcda393847ca33ed31b7ea7af8fd64c97.nix b/hackage/typesafe-precure-0.11.1.1-r0-3f507b6d8d918a91df1998b584581d3fcda393847ca33ed31b7ea7af8fd64c97.nix new file mode 100644 index 00000000000..b30a308b4b9 --- /dev/null +++ b/hackage/typesafe-precure-0.11.1.1-r0-3f507b6d8d918a91df1998b584581d3fcda393847ca33ed31b7ea7af8fd64c97.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "typesafe-precure"; version = "0.11.1.1"; }; + license = "BSD-3-Clause"; + copyright = "2022 YAMAMOTO Yuji"; + maintainer = "igrep@n.email.ne.jp"; + author = "YAMAMOTO Yuji"; + homepage = "https://github.com/igrep/typesafe-precure#readme"; + url = ""; + synopsis = "Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)"; + description = "See README.md for details."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."autoexporter" or (errorHandler.buildDepError "autoexporter")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."dlist" or (errorHandler.buildDepError "dlist")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."th-data-compat" or (errorHandler.buildDepError "th-data-compat")) + (hsPkgs."th-strict-compat" or (errorHandler.buildDepError "th-strict-compat")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.autoexporter.components.exes.autoexporter or (pkgs.pkgsBuildBuild.autoexporter or (errorHandler.buildToolDepError "autoexporter:autoexporter"))) + ]; + buildable = true; + }; + tests = { + "typesafe-precure-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."typesafe-precure" or (errorHandler.buildDepError "typesafe-precure")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index a57ed005877..e235f119c56 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -2001,4 +2001,5 @@ "2024-09-20T00:00:00Z" = "a0ef21253f4c3344ee4135defaa9202de926ff1fcf13498859a9dfb5ceb90c96"; "2024-09-21T00:00:00Z" = "886585a2661ef180b3f073c24a39bd9e72618b9d4ea592482fa7b7b6265e9d15"; "2024-09-22T00:00:00Z" = "fdbe7de5dda4a9c21e72b85791ade3cc0ff2349e87590c1290cf4d4a4e640838"; + "2024-09-23T00:00:00Z" = "43a2a69b92f6661d4cad3677d38f4cf082e543e5ec30ab6d4a7aeb483aed6422"; } diff --git a/nix/_G_L_F_W-b.nix b/nix/_G_L_F_W-b.nix index 5eec9c76648..0354629d72c 100644 --- a/nix/_G_L_F_W-b.nix +++ b/nix/_G_L_F_W-b.nix @@ -639,4 +639,15 @@ default = "r0"; }; }; + "3.3.9.1" = { + sha256 = "46c95b46d712e0050a089502019cfaa4756ca17550cf70e255c3222f8222926a"; + revisions = { + r0 = { + nix = import ../hackage/GLFW-b-3.3.9.1-r0-5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21.nix; + revNum = 0; + sha256 = "5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/_Sit.nix b/nix/_Sit.nix index 533c12e4cd3..ebdf7b622c3 100644 --- a/nix/_Sit.nix +++ b/nix/_Sit.nix @@ -87,7 +87,12 @@ revNum = 0; sha256 = "99efbca262f0292d71e389b79ed7a4df4359900df62e817ab532c7ec2db3b510"; }; - default = "r0"; + r1 = { + nix = import ../hackage/Sit-0.2023.8.3-r1-8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38.nix; + revNum = 1; + sha256 = "8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/aftovolio.nix b/nix/aftovolio.nix index 4d65b6f81eb..3c8732803ff 100644 --- a/nix/aftovolio.nix +++ b/nix/aftovolio.nix @@ -10,4 +10,15 @@ default = "r0"; }; }; + "0.2.0.0" = { + sha256 = "134a756bee575c1123f3d164d103b2682c5c903335229bbb8e9db9cdbcf500ed"; + revisions = { + r0 = { + nix = import ../hackage/aftovolio-0.2.0.0-r0-dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a.nix; + revNum = 0; + sha256 = "dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/bindings-_G_L_F_W.nix b/nix/bindings-_G_L_F_W.nix index 2018a7b6df0..f0780575f2c 100644 --- a/nix/bindings-_G_L_F_W.nix +++ b/nix/bindings-_G_L_F_W.nix @@ -273,4 +273,15 @@ default = "r0"; }; }; + "3.3.9.2" = { + sha256 = "bd9484f8d7217206a22d26a0de124727fb885c83acc61f35eda90af8baedb4f9"; + revisions = { + r0 = { + nix = import ../hackage/bindings-GLFW-3.3.9.2-r0-8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6.nix; + revNum = 0; + sha256 = "8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/haskell-src.nix b/nix/haskell-src.nix index 6d64fcfd72f..f3018beed86 100644 --- a/nix/haskell-src.nix +++ b/nix/haskell-src.nix @@ -241,4 +241,15 @@ default = "r1"; }; }; + "1.0.4.1" = { + sha256 = "6043be18d3ecc4eb9232224b3d67648d659f2bc2c82a5e9f5bc42a1e333fefb9"; + revisions = { + r0 = { + nix = import ../hackage/haskell-src-1.0.4.1-r0-b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d.nix; + revNum = 0; + sha256 = "b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/imm.nix b/nix/imm.nix index 32df6a52ea0..ab40a648224 100644 --- a/nix/imm.nix +++ b/nix/imm.nix @@ -455,4 +455,15 @@ default = "r0"; }; }; + "2.1.3.0" = { + sha256 = "0c52c449851e3d1d32ce9013dd46168baea5969b29b15034739c02f9a997a80a"; + revisions = { + r0 = { + nix = import ../hackage/imm-2.1.3.0-r0-91a176cc138e58e79fcc5d88541429b4e89f645cc48aa50ccf1239b112c606d5.nix; + revNum = 0; + sha256 = "91a176cc138e58e79fcc5d88541429b4e89f645cc48aa50ccf1239b112c606d5"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/kvitable.nix b/nix/kvitable.nix index 6bf7a3ea551..59a96c2e339 100644 --- a/nix/kvitable.nix +++ b/nix/kvitable.nix @@ -70,4 +70,15 @@ default = "r0"; }; }; + "1.1.0.1" = { + sha256 = "80bd0643dd2867060bd23993e3c638ca8759be91024016fa494069361dd162fd"; + revisions = { + r0 = { + nix = import ../hackage/kvitable-1.1.0.1-r0-6620d97049a9e05f50be5dd77063ef1d154ce0ea558c6da329ae41b580bc8146.nix; + revNum = 0; + sha256 = "6620d97049a9e05f50be5dd77063ef1d154ce0ea558c6da329ae41b580bc8146"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-cli.nix b/nix/ogma-cli.nix index ef98af3dabb..c28b7908a62 100644 --- a/nix/ogma-cli.nix +++ b/nix/ogma-cli.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "1c750af8619aaadb0cb564e1f908578dab6f62caf081fb6c27cf7d250c923ee5"; + revisions = { + r0 = { + nix = import ../hackage/ogma-cli-1.4.1-r0-8f5eeccb9d9870fb9be6be8296afe63d7e52000390fafb600569c803e0cee73b.nix; + revNum = 0; + sha256 = "8f5eeccb9d9870fb9be6be8296afe63d7e52000390fafb600569c803e0cee73b"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-core.nix b/nix/ogma-core.nix index 16c267a14ad..a7ba24afa25 100644 --- a/nix/ogma-core.nix +++ b/nix/ogma-core.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "890d54a0c3217950b05800e75067613de31d93393827771f875a971ba34946bc"; + revisions = { + r0 = { + nix = import ../hackage/ogma-core-1.4.1-r0-a68dbe95b0b6bba9357ce55d30516c03953f078ade2c2f26968d230029d295e3.nix; + revNum = 0; + sha256 = "a68dbe95b0b6bba9357ce55d30516c03953f078ade2c2f26968d230029d295e3"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-extra.nix b/nix/ogma-extra.nix index ded900c5f50..e48127c6041 100644 --- a/nix/ogma-extra.nix +++ b/nix/ogma-extra.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "a94f688309cad9ed3402589ad14425869d9f4f590c5ab034eb18447f4b633756"; + revisions = { + r0 = { + nix = import ../hackage/ogma-extra-1.4.1-r0-40b3666548825da34982b3701708845b8c15e964be3fefeaf0e0ec8a5a5a0758.nix; + revNum = 0; + sha256 = "40b3666548825da34982b3701708845b8c15e964be3fefeaf0e0ec8a5a5a0758"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-c.nix b/nix/ogma-language-c.nix index fcf3e5c9194..04bc753a059 100644 --- a/nix/ogma-language-c.nix +++ b/nix/ogma-language-c.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "edc9a95c4610c6e8c0e7e55f08877754405446eaffbeff0ea6fed72fbe53d75e"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-c-1.4.1-r0-65e633694c89d3fae51d120fc590157ccb98b0188438fc2b0e2700f5e39873be.nix; + revNum = 0; + sha256 = "65e633694c89d3fae51d120fc590157ccb98b0188438fc2b0e2700f5e39873be"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-cocospec.nix b/nix/ogma-language-cocospec.nix index 7646b047ef0..8bf4d8fd0f3 100644 --- a/nix/ogma-language-cocospec.nix +++ b/nix/ogma-language-cocospec.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "250514da84c4eb5829acde20764a914130732160c2bbc2e4ec03e4ea25be429a"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-cocospec-1.4.1-r0-7962cdb67231738a2d8ca7ea9706596381b237032b57dfea7009294676b92a98.nix; + revNum = 0; + sha256 = "7962cdb67231738a2d8ca7ea9706596381b237032b57dfea7009294676b92a98"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-copilot.nix b/nix/ogma-language-copilot.nix index 659403ec582..dad6f4d7c0f 100644 --- a/nix/ogma-language-copilot.nix +++ b/nix/ogma-language-copilot.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "096e157059ae0abfd4533f2928fcd398b99ea9c482f30dbd522e24342be1566c"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-copilot-1.4.1-r0-218d17fa5f946a13e28d230ffbc9b9352ef19551a1e2e0eeb1536a582d5e1d45.nix; + revNum = 0; + sha256 = "218d17fa5f946a13e28d230ffbc9b9352ef19551a1e2e0eeb1536a582d5e1d45"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-jsonspec.nix b/nix/ogma-language-jsonspec.nix index 5902ad58cf7..2bce35ed7ac 100644 --- a/nix/ogma-language-jsonspec.nix +++ b/nix/ogma-language-jsonspec.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "35239ff44e14332d90af3205458bdb419450625cdc5f675bf0dde021fdf584ae"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-jsonspec-1.4.1-r0-a51a17643bc59c469d58cd9b1903c1865bdea18f2e85745142299da064329150.nix; + revNum = 0; + sha256 = "a51a17643bc59c469d58cd9b1903c1865bdea18f2e85745142299da064329150"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-smv.nix b/nix/ogma-language-smv.nix index 87c90a55abf..5133617ce7c 100644 --- a/nix/ogma-language-smv.nix +++ b/nix/ogma-language-smv.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "7c9687c57d1ae35001c4eed25eb891bbe43ebb50c168195a147e5b6cabc29a4b"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-smv-1.4.1-r0-68ea2ea5a5b74fe767d7d89b9214130d0c75caa33c435cf08f32842416355ae4.nix; + revNum = 0; + sha256 = "68ea2ea5a5b74fe767d7d89b9214130d0c75caa33c435cf08f32842416355ae4"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-spec.nix b/nix/ogma-spec.nix index 0e00de0e71f..5a14ef87110 100644 --- a/nix/ogma-spec.nix +++ b/nix/ogma-spec.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "1.4.1" = { + sha256 = "339cb3320997e419f3bcefabf8d2054ae88a369f7652a5bbf2ccee0b436f0e28"; + revisions = { + r0 = { + nix = import ../hackage/ogma-spec-1.4.1-r0-ddc85eafa813ee3aa041d7bfdeecd00b652c5391c595df577b7312ed91398fd4.nix; + revNum = 0; + sha256 = "ddc85eafa813ee3aa041d7bfdeecd00b652c5391c595df577b7312ed91398fd4"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/paseto.nix b/nix/paseto.nix new file mode 100644 index 00000000000..dfd12a0ea64 --- /dev/null +++ b/nix/paseto.nix @@ -0,0 +1,13 @@ +{ + "0.1.0.0" = { + sha256 = "ceb896e60251ffa49ceebe24ec0905369fe2384b3ed61ff7ea8ddbfecb259add"; + revisions = { + r0 = { + nix = import ../hackage/paseto-0.1.0.0-r0-a9590d89cfb25bffc44433fd41e9239aa809e5b065372e9b36759717c77a1ced.nix; + revNum = 0; + sha256 = "a9590d89cfb25bffc44433fd41e9239aa809e5b065372e9b36759717c77a1ced"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/typed-range.nix b/nix/typed-range.nix new file mode 100644 index 00000000000..02dbefb339a --- /dev/null +++ b/nix/typed-range.nix @@ -0,0 +1,24 @@ +{ + "0.1.0.0" = { + sha256 = "28db5ff68aa686dc3b65f7770b3dcb55eb9801fab5c4c23f6885205c678ef3a3"; + revisions = { + r0 = { + nix = import ../hackage/typed-range-0.1.0.0-r0-a0831e32a093c82e67c6c156894d719e60a7ce1d026b29425644bda832d46155.nix; + revNum = 0; + sha256 = "a0831e32a093c82e67c6c156894d719e60a7ce1d026b29425644bda832d46155"; + }; + default = "r0"; + }; + }; + "0.1.0.1" = { + sha256 = "7f54b1ec537a60892d9fbb7c5757b48cc6b41cd3c60e3c700818b5e493849394"; + revisions = { + r0 = { + nix = import ../hackage/typed-range-0.1.0.1-r0-1497f142ed29e1b92fd6b829eb82940409dcb175a03fec3782f1b89aab229908.nix; + revNum = 0; + sha256 = "1497f142ed29e1b92fd6b829eb82940409dcb175a03fec3782f1b89aab229908"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/typesafe-precure.nix b/nix/typesafe-precure.nix index 8600a7a077e..49194ee8891 100644 --- a/nix/typesafe-precure.nix +++ b/nix/typesafe-precure.nix @@ -54,6 +54,17 @@ default = "r0"; }; }; + "0.11.1.1" = { + sha256 = "7211bd629524eadef4a0801b19ea29b9d156045a38432f2cf8df6a552ee7e47d"; + revisions = { + r0 = { + nix = import ../hackage/typesafe-precure-0.11.1.1-r0-3f507b6d8d918a91df1998b584581d3fcda393847ca33ed31b7ea7af8fd64c97.nix; + revNum = 0; + sha256 = "3f507b6d8d918a91df1998b584581d3fcda393847ca33ed31b7ea7af8fd64c97"; + }; + default = "r0"; + }; + }; "0.2.0.0" = { sha256 = "f024a0c5a135b2ffbaf4ae97d9614d6f0d09652327061ba134f1c4b38e4b130e"; revisions = {