Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #201 from Liqwid-Labs/t4/fix-flake-lock

Browse source
This commit is contained in:
emiflake 2022-10-28 16:01:51 +02:00 • committed by GitHub
commit 6507d869f3
3 changed files with 239 additions and 15266 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora.cabal
View file

@ -19,6 +19,7 @@ common lang
-fprint-explicit-foralls -fprint-explicit-kinds -Wunused-do-bind -fprint-explicit-foralls -fprint-explicit-kinds -Wunused-do-bind
default-extensions: default-extensions:
NoFieldSelectors
NoStarIsType NoStarIsType
BangPatterns BangPatterns
BinaryLiterals BinaryLiterals
@ -58,6 +59,7 @@ common lang
NamedWildCards NamedWildCards
NumericUnderscores NumericUnderscores
OverloadedLabels OverloadedLabels
OverloadedRecordDot
OverloadedStrings OverloadedStrings
PackageImports PackageImports
PartialTypeSignatures PartialTypeSignatures
@ -77,8 +79,6 @@ common lang
TypeSynonymInstances TypeSynonymInstances
UndecidableInstances UndecidableInstances
ViewPatterns ViewPatterns
NoFieldSelectors
OverloadedRecordDot
default-language: Haskell2010 default-language: Haskell2010

15410
flake.lock generated
View file

File diff suppressed because it is too large Load diff

91
flake.nix
View file

@ -3,10 +3,11 @@
inputs = { inputs = {
nixpkgs.follows = "plutarch/nixpkgs"; nixpkgs.follows = "plutarch/nixpkgs";
nixpkgs-latest.url = "github:NixOS/nixpkgs?rev=cf63df0364f67848083ff75bc8ac9b7ca7aa5a01"; nixpkgs-latest.url = "github:NixOS/nixpkgs";
# temporary fix for nix versions that have the transitive follows bug # temporary fix for nix versions that have the transitive follows bug
# see https://github.com/NixOS/nix/issues/6013 # see https://github.com/NixOS/nix/issues/6013
nixpkgs-2111 = { url = "github:NixOS/nixpkgs/nixpkgs-21.11-darwin"; }; nixpkgs-2111 = { url = "github:NixOS/nixpkgs/nixpkgs-21.11-darwin"; };
nixpkgs-2205 = { url = "github:NixOS/nixpkgs/nixos-22.05"; };
haskell-nix-extra-hackage.follows = "plutarch/haskell-nix-extra-hackage"; haskell-nix-extra-hackage.follows = "plutarch/haskell-nix-extra-hackage";
haskell-nix.follows = "plutarch/haskell-nix"; haskell-nix.follows = "plutarch/haskell-nix";
@ -22,18 +23,82 @@
inputs.nixpkgs.follows = inputs.nixpkgs.follows =
"plutarch/haskell-nix/nixpkgs-unstable"; "plutarch/haskell-nix/nixpkgs-unstable";
}; };
ply = {
plutarch-numeric.url = url = "github:mlabs-haskell/ply?ref=master";
"github:Liqwid-Labs/plutarch-numeric?ref=main"; inputs.haskell-nix.follows = "haskell-nix";
liqwid-plutarch-extra.url = inputs.nixpkgs.follows = "nixpkgs";
"github:Liqwid-Labs/liqwid-plutarch-extra?ref=main"; inputs.extra-hackage.follows = "haskell-nix-extra-hackage";
plutarch-quickcheck.url = inputs.iohk-nix.follows = "iohk-nix";
"github:liqwid-labs/plutarch-quickcheck?ref=staging"; inputs.plutarch.follows = "plutarch";
plutarch-context-builder.url = };
"github:Liqwid-Labs/plutarch-context-builder?ref=main"; plutarch-numeric = {
liqwid-script-export.url = url = "github:Liqwid-Labs/plutarch-numeric?ref=main";
"github:Liqwid-Labs/liqwid-script-export?ref=main"; inputs.nixpkgs.follows = "nixpkgs";
liqwid-nix.url = "github:Liqwid-Labs/liqwid-nix?ref=main"; inputs.nixpkgs-latest.follows = "nixpkgs-latest";
inputs.nixpkgs-2111.follows = "nixpkgs-2111";
inputs.haskell-nix-extra-hackage.follows = "haskell-nix-extra-hackage";
inputs.haskell-nix.follows = "haskell-nix";
inputs.iohk-nix.follows = "iohk-nix";
inputs.haskell-language-server.follows = "haskell-language-server";
inputs.plutarch.follows = "plutarch";
};
liqwid-plutarch-extra = {
url = "github:Liqwid-Labs/liqwid-plutarch-extra?ref=main";
inputs.nixpkgs.follows = "nixpkgs";
inputs.nixpkgs-latest.follows = "nixpkgs-latest";
inputs.nixpkgs-2111.follows = "nixpkgs-2111";
inputs.nixpkgs-2205.follows = "nixpkgs-2205";
inputs.haskell-nix-extra-hackage.follows = "haskell-nix-extra-hackage";
inputs.haskell-nix.follows = "haskell-nix";
inputs.iohk-nix.follows = "iohk-nix";
inputs.haskell-language-server.follows = "haskell-language-server";
inputs.plutarch.follows = "plutarch";
inputs.plutarch-quickcheck.follows = "plutarch-quickcheck";
inputs.plutarch-numeric.follows = "plutarch-numeric";
inputs.plutarch-context-builder.follows = "plutarch-context-builder";
inputs.ply.follows = "ply";
};
plutarch-quickcheck = {
url = "github:liqwid-labs/plutarch-quickcheck?ref=staging";
inputs.nixpkgs.follows = "nixpkgs";
inputs.nixpkgs-latest.follows = "nixpkgs-latest";
inputs.nixpkgs-2111.follows = "nixpkgs-2111";
inputs.haskell-nix-extra-hackage.follows = "haskell-nix-extra-hackage";
inputs.haskell-nix.follows = "haskell-nix";
inputs.iohk-nix.follows = "iohk-nix";
inputs.haskell-language-server.follows = "haskell-language-server";
inputs.plutarch.follows = "plutarch";
};
plutarch-context-builder = {
url = "github:Liqwid-Labs/plutarch-context-builder?ref=main";
inputs.nixpkgs.follows = "nixpkgs";
inputs.nixpkgs-latest.follows = "nixpkgs-latest";
inputs.nixpkgs-2111.follows = "nixpkgs-2111";
inputs.haskell-nix-extra-hackage.follows = "haskell-nix-extra-hackage";
inputs.haskell-nix.follows = "haskell-nix";
inputs.iohk-nix.follows = "iohk-nix";
inputs.haskell-language-server.follows = "haskell-language-server";
inputs.plutarch.follows = "plutarch";
};
liqwid-script-export = {
url = "github:Liqwid-Labs/liqwid-script-export?ref=main";
inputs.nixpkgs.follows = "nixpkgs";
inputs.nixpkgs-latest.follows = "nixpkgs-latest";
inputs.nixpkgs-2111.follows = "nixpkgs-2111";
inputs.haskell-nix-extra-hackage.follows = "haskell-nix-extra-hackage";
inputs.haskell-nix.follows = "haskell-nix";
inputs.iohk-nix.follows = "iohk-nix";
inputs.haskell-language-server.follows = "haskell-language-server";
inputs.plutarch.follows = "plutarch";
inputs.ply.follows = "ply";
inputs.plutarch-numeric.follows = "plutarch-numeric";
inputs.liqwid-plutarch-extra.follows = "liqwid-plutarch-extra";
};
# Dependencies need addChecks, which was removed after this commit
liqwid-nix = {
url = "github:Liqwid-Labs/liqwid-nix";
inputs.nixpkgs-2205.follows = "nixpkgs-2205";
};
}; };
outputs = inputs@{ liqwid-nix, ... }: outputs = inputs@{ liqwid-nix, ... }: