Download Latest Version
1.66.0.0 source code.zip (17.9 MB)
Get an email when there's a new version of Plutus
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| pir-x86_64-linux-ghc96 | 2026-05-06 | 9.2 MB | |
| plc-x86_64-linux-ghc96 | 2026-05-06 | 9.1 MB | |
| plutus-metatheory.tar.gz | 2026-05-06 | 211.0 kB | |
| plutus-x86_64-linux-ghc96 | 2026-05-06 | 8.7 MB | |
| uplc-x86_64-linux-ghc96 | 2026-05-06 | 9.3 MB | |
| 1.63.0.0 source code.tar.gz | 2026-05-02 | 13.1 MB | |
| 1.63.0.0 source code.zip | 2026-05-02 | 17.7 MB | |
| README.md | 2026-05-02 | 856 Bytes | |
| Totals: 8 Items | 67.3 MB | 0 | |
plutus-core
Fixed
- Fixed
SrcSpanannotations on innerApply/TyInstnodes from the PLC, PIR, and UPLC parsers. Parser error messages and tooling that reads annotations off parsed terms will now point to the specific argument involved.
plutus-ledger-api
No changes.
plutus-tx
No changes.
plutus-tx-plugin
Removed
- Removed
PlutusTx.Pluginandplc. UsePlinth.Pluginandplinthcinstead.
plutus-executables
No changes.
plutus-metatheory
Removed
- Temporarily disabled the CSE certifier pass due to the discovery of bugs in the specification.
Added
-
Certifier for the case-reduce pass
-
Certifier for the LetFloatOut pass
Fixed
- Fixed the CSE translation relation in the certifier and re-enabled it.
Full Changelog: https://github.com/IntersectMBO/plutus/compare/1.62.0.0...1.63.0.0
