Merge branch 'plutus' into 'master'
plutus: bump to 1.10.0.0 See merge request !13
Showing
- configuration.nix 0 additions, 8 deletionsconfiguration.nix
- horizon.dhall 5 additions, 5 deletionshorizon.dhall
- horizon.lock 5 additions, 5 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 3 additions, 3 deletionspkgs/plutus-tx-plugin.nix
- pkgs/plutus-tx.nix 3 additions, 3 deletionspkgs/plutus-tx.nix
- pkgs/prettyprinter-configurable.nix 3 additions, 3 deletionspkgs/prettyprinter-configurable.nix
Please register or sign in to comment