diff options
Diffstat (limited to '_sources/generated.nix')
-rw-r--r-- | _sources/generated.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/_sources/generated.nix b/_sources/generated.nix index 58a1ff0a..30b4aed6 100644 --- a/_sources/generated.nix +++ b/_sources/generated.nix | |||
@@ -81,6 +81,18 @@ | |||
81 | sha256 = "sha256-+DoKPIulQA3VSeXo8DjoxnPwDfcuCO5YHpXmB+M7EWk="; | 81 | sha256 = "sha256-+DoKPIulQA3VSeXo8DjoxnPwDfcuCO5YHpXmB+M7EWk="; |
82 | }); | 82 | }); |
83 | }; | 83 | }; |
84 | psql-versioning = { | ||
85 | pname = "psql-versioning"; | ||
86 | version = "3e578ff5e5aa6c7e5459dbfa842a64a1b2674b2e"; | ||
87 | src = fetchgit { | ||
88 | url = "https://gitlab.com/depesz/Versioning"; | ||
89 | rev = "3e578ff5e5aa6c7e5459dbfa842a64a1b2674b2e"; | ||
90 | fetchSubmodules = false; | ||
91 | deepClone = false; | ||
92 | leaveDotGit = false; | ||
93 | sha256 = "sha256-j+njRssJHTdNV3FbcA3MdUmzCaJxuYBrC0qwtK3HoyY="; | ||
94 | }; | ||
95 | }; | ||
84 | uhk-agent = { | 96 | uhk-agent = { |
85 | pname = "uhk-agent"; | 97 | pname = "uhk-agent"; |
86 | version = "1.5.17"; | 98 | version = "1.5.17"; |