File information
- Filename: agda-stdlib_1.3.orig.tar.gz
- Path: /raspbian/pool/main/a/agda-stdlib/agda-stdlib_1.3.orig.tar.gz
- Size: 734K (751412 bytes)
- Last modified: Fri, 31 Jul 2020 11:50:17 GMT (Unix time: 1596196217)
Download file from preferred mirror