Download Latest Version 1.66.0.0 source code.zip (17.9 MB)
Email in envelope

Get an email when there's a new version of Plutus

Home / 1.65.0.0
Name Modified Size InfoDownloads / Week
Parent folder
pir-x86_64-linux-ghc96 2026-05-22 9.2 MB
0
plc-x86_64-linux-ghc96 2026-05-22 9.2 MB
0
plutus-metatheory.tar.gz 2026-05-22 211.2 kB
0
plutus-x86_64-linux-ghc96 2026-05-22 8.7 MB
1 1 weekly downloads
uplc-x86_64-linux-ghc96 2026-05-22 9.3 MB
0
1.65.0.0 source code.tar.gz 2026-05-21 13.1 MB
0
1.65.0.0 source code.zip 2026-05-21 17.8 MB
0
README.md 2026-05-21 1.0 kB
0
Totals: 8 Items   67.4 MB 1

plutus-core

Added

  • A new UPLC optimization that hoists forced polymorphic builtins, which can reduce the number of forces.

plutus-ledger-api

No changes.

plutus-tx

No changes.

plutus-tx-plugin

Added

  • A new plugin flag hoist-polymorphic-builtins that controls whether to run the optimization that hoists forced polymorphic built-in functions (on by default).

Changed

  • CannotParseValue plugin-option parse error now carries a human-readable detail string instead of a placeholder SomeTypeRep. Errors produced by plcParserOption include the underlying parser error message (source position and explanation), so failures to parse option values are no longer reported as "into type Int".

plutus-executables

No changes.

plutus-metatheory

Added

  • The certifier now includes a README.md inside each generated Agda project, describing how to typecheck the certificate.

Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.64.0.0...1.65.0.0

Source: README.md, updated 2026-05-21