1. download
2. repositories
3. home:
4. amidevousgmail:
5. xtreamui-Ubuntu-14.04
6. Ubuntu-14.04
7. all
8. libaac-tactics-coq_0.4-2_all.deb

File information

• Filename: libaac-tactics-coq_0.4-2_all.deb
• Path: /repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/all/libaac-tactics-coq_0.4-2_all.deb
• Size: 208KiB (213490 bytes)
• Last modified: 31-Aug-2026 22:15:00 (Unix timestamp: 1788214500)
• SHA-512 Hash: 8b877409900a89b18cb606f710957577b4fe83fb602ee6804811c188c909a44c21001476f48fa88cf1e86c329ff76cdadf009b3ec5f5d115a8130fa18a205ee8
• SHA-256 Hash: 34ee9c5eaef8028e0f72fc24071550fb011ce09b6d5649d7dd7962fa3616399b
• SHA-1 Hash: 0b94d27b97a852de1550e741a7456a665bed72c1
• MD5 Hash: 7b291e5691699dbd4c19240eba98a8d8
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/home:/amidevousgmail:/xtreamui-Ubuntu-14.04/Ubuntu-14.04/all/libaac-tactics-coq_0.4-2_all.deb