Merge branch 'plutus-1.27' into 'master'
plutus: 1.27 See merge request !58
Showing
- .gitlab-ci.yml 0 additions, 35 deletions.gitlab-ci.yml
- horizon.dhall 9 additions, 5 deletionshorizon.dhall
- horizon.lock 21 additions, 5 deletionshorizon.lock
- overlay.nix 8 additions, 0 deletionsoverlay.nix
- pkgs/ordered-containers.nix 20 additions, 0 deletionspkgs/ordered-containers.nix
- pkgs/plutus-core.nix 34 additions, 32 deletionspkgs/plutus-core.nix
- pkgs/plutus-ledger-api.nix 8 additions, 8 deletionspkgs/plutus-ledger-api.nix
- pkgs/plutus-tx-plugin.nix 8 additions, 8 deletionspkgs/plutus-tx-plugin.nix
- pkgs/plutus-tx.nix 18 additions, 17 deletionspkgs/plutus-tx.nix
- pkgs/prettyprinter-configurable.nix 3 additions, 3 deletionspkgs/prettyprinter-configurable.nix
- pkgs/singletons-th.nix 26 additions, 0 deletionspkgs/singletons-th.nix
- pkgs/singletons.nix 24 additions, 0 deletionspkgs/singletons.nix
- pkgs/th-desugar.nix 33 additions, 0 deletionspkgs/th-desugar.nix
Please register or sign in to comment