File information
- Filename: agda-mode_2.3.2.2-1_all.deb
- Path: /repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/all/agda-mode_2.3.2.2-1_all.deb
- Size: 47KiB (48544 bytes)
- Last modified: 31-Aug-2026 22:27:00 (Unix timestamp: 1788215220)
- SHA-512 Hash: eb20bdd2412109c4bc31e76272efa6611887d584789c8f3eec6588499502272686fd64b628d72ce6413707dc2c47e474f1b477f46a25f017b9d26f778a6857ed
- SHA-256 Hash: 9aeba7ef61bd4efd048e6743c97c0f6fb75ff789a1a18911e9918d1c42d11bbe
- SHA-1 Hash: 72ed53ede99001ce228e8eb42173c88ae13cc890
- MD5 Hash: 45629a5e33114cc45610357b25cf9893
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/all/agda-mode_2.3.2.2-1_all.deb
Mirrors
List of best mirrors for IP address 140.248.79.115, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 2
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)