---
title: "Migration to Agda 2.6.3"
---

We upgraded to [Agda 2.6.3][agda-2.6.3] and [version 1.7.2 of the standard library][agda-stdlib-v1.7.2]. If you want to continue working with the book, you'll have to update your versions locally. Please follow the instructions in [Getting Started](/GettingStarted/) to reinstall Agda and the standard library.

[agda-stdlib-v1.7.2]: https://github.com/agda/agda-stdlib/releases/tag/v1.7.2
  "Agda standard library version 1.7.2 on GitHub"
[agda-2.6.3]: https://github.com/agda/agda/releases/tag/v2.6.3
  "Agda version 2.6.3 on GitHub"