Merge branch 'plutus-1.15.0.1' into 'master'
Plutus 1.15.0.1 See merge request !21
Showing
- .gitlab-ci.yml 5 additions, 4 deletions.gitlab-ci.yml
- develop/flake.lock 122 additions, 99 deletionsdevelop/flake.lock
- develop/flake.nix 6 additions, 35 deletionsdevelop/flake.nix
- flake.lock 71 additions, 51 deletionsflake.lock
- flake.nix 43 additions, 30 deletionsflake.nix
- horizon.dhall 4 additions, 4 deletionshorizon.dhall
- horizon.lock 4 additions, 4 deletionshorizon.lock
- pkgs/plutus-core.nix 3 additions, 3 deletionspkgs/plutus-core.nix
- pkgs/plutus-ledger-api.nix 3 additions, 3 deletionspkgs/plutus-ledger-api.nix
- pkgs/plutus-tx-plugin.nix 4 additions, 4 deletionspkgs/plutus-tx-plugin.nix
- pkgs/plutus-tx.nix 3 additions, 3 deletionspkgs/plutus-tx.nix
Please register or sign in to comment