File information
- Filename: agda_2.3.2.2-1_all.deb
- Path: /repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/all/agda_2.3.2.2-1_all.deb
- Size: 18KiB (18584 bytes)
- Last modified: 31-Aug-2026 22:27:00 (Unix timestamp: 1788215220)
- SHA-512 Hash: 52bd26893b695baaa6af8e07e7e93fa6532203a86524b3903e3ed8b8f6dbc5e80dd43f47ac3d94b647700c37bcf92b5b520ebad1945dcc514916b7297f331648
- SHA-256 Hash: e4f6233ed420fe3e3c9b71d39630350d3d80d98f9dc0341a07e947c640c7bd87
- SHA-1 Hash: f90e919f3db14bd5b649e81c14ad7b8d356c032f
- MD5 Hash: fc5219b17471f723e76d7f4fa6dec8ec
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/all/agda_2.3.2.2-1_all.deb
Mirrors
List of best mirrors for IP address 140.248.79.98, 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)