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.64.0.0
Name Modified Size InfoDownloads / Week
Parent folder
pir-x86_64-linux-ghc96 2026-05-11 9.2 MB
0
plc-x86_64-linux-ghc96 2026-05-11 9.1 MB
0
plutus-metatheory.tar.gz 2026-05-11 209.9 kB
0
plutus-x86_64-linux-ghc96 2026-05-11 8.7 MB
0
uplc-x86_64-linux-ghc96 2026-05-11 9.3 MB
0
1.64.0.0 source code.tar.gz 2026-05-11 13.1 MB
0
1.64.0.0 source code.zip 2026-05-11 17.8 MB
0
README.md 2026-05-11 1.2 kB
0
Totals: 8 Items   67.4 MB 0

plutus-core

Added

  • The UPLC optimizer now also simplifies terms by evaluating builtins.

plutus-ledger-api

No changes.

plutus-tx

No changes.

plutus-tx-plugin

Added

  • certify plugin option to trigger Agda certificate generation for compiled Plutus scripts. Each certificate is written to a directory named <package>_<module>-<hash>.agda-cert, where <hash> is a random 6-char alphanumeric tag.

  • generateCertificate top-level function that invokes the certifier with package and module names.

  • Detailed error message for unsupported casing on Integer.

Changed

  • Improved error reporting for a few unsupported types: Float, Double, Ratio, Text, ByteString.

plutus-executables

No changes.

plutus-metatheory

Changed

  • InvalidCertificate error now includes the certifier report text for better diagnostics.
  • Use createDirectoryIfMissing instead of createDirectory to avoid failures when certificate directories already exist.
  • Removed noisy console output from runCertifier (result and path messages).

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

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