File information
- Filename: libghc-agda-doc_2.6.2.2-1.1_all.deb
- Path: /raspbian/pool/main/a/agda/libghc-agda-doc_2.6.2.2-1.1_all.deb
- Size: 6.3M (6599972 bytes)
- Last modified: Tue, 06 Dec 2022 17:41:56 GMT (Unix time: 1670348516)
Download file from preferred mirror