File information
- Filename: elpa-agda2-mode_2.6.2.2-1.1_all.deb
- Path: /raspbian/pool/main/a/agda/elpa-agda2-mode_2.6.2.2-1.1_all.deb
- Size: 50K (50944 bytes)
- Last modified: Tue, 06 Dec 2022 17:41:56 GMT (Unix time: 1670348516)
Download file from preferred mirror