File information
- Filename: libghc-agda-doc_2.6.1-1_all.deb
- Path: /raspbian/pool/main/a/agda/libghc-agda-doc_2.6.1-1_all.deb
- Size: 5.5M (5799636 bytes)
- Last modified: Wed, 29 Jul 2020 16:40:53 GMT (Unix time: 1596040853)
Download file from preferred mirror