amd64 build of agda 2.5.1.1-4build1 in ubuntu artful RELEASE
created
Build details
- Source:
- agda - 2.5.1.1-4build1
- Series:
- Artful
- Architecture:
- amd64
- Pocket:
- Release
- Component:
- universe