File information
- Filename: agda_2.6.2.2-1.1.debian.tar.xz
- Path: /raspbian/pool/main/a/agda/agda_2.6.2.2-1.1.debian.tar.xz
- Size: 10K (10496 bytes)
- Last modified: Tue, 06 Dec 2022 16:40:51 GMT (Unix time: 1670344851)
Download file from preferred mirror