amd64 build of agda 2.4.2.2-4build1 in ubuntu xenial RELEASE
created
Build details
- Source:
- agda - 2.4.2.2-4build1
- Series:
- Xenial
- Architecture:
- amd64
- Pocket:
- Release
- Component:
- universe