File information
- Filename: libghc-agda-dev_2.3.2.2-1_i386.deb
- Path: /repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/i386/libghc-agda-dev_2.3.2.2-1_i386.deb
- Size: 7.5MiB (7914644 bytes)
- Last modified: 31-Aug-2026 22:28:00 (Unix timestamp: 1788215280)
- SHA-512 Hash: e77ac42abbaa721cad2f75f599da90d1e53e1fd31392c48ea75f00649a55014dba6f3391e2ca788530214661423591aeefdf350d41394fb24e676dff792d2205
- SHA-256 Hash: 8914cfc40c62158c1fc2b6c42857b1fdfc907a48a98d7d12fc4b8f48b920bfd6
- SHA-1 Hash: a05144be2400df1a78a4566a131af68cf5075d0b
- MD5 Hash: 056028aa5de75586b0cce152eeeed4d3
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/i386/libghc-agda-dev_2.3.2.2-1_i386.deb
Mirrors
List of best mirrors for IP address 140.248.79.47, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 1
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)