patches/Agda-2.7.0.1.patch · 00e8581d1e474f215bd7be6493a49f6d9ad3d6ab · Glasgow Haskell Compiler / head.hackage · GitLab

Sep 13, 2025
ad411e88
Fix build of Agda with new containers · ad411e88
Teo Camarasu authored Sep 13, 2025
```
The new version of base/containers lead to some name clashes, so let's just hide them
```
ad411e88
Fix build of Agda with new containers
Teo Camarasu authored Sep 13, 2025
```
The new version of base/containers lead to some name clashes, so let's just hide them
```