Welcome to the Wise Global Solutions Mirror @ mirror.wisegs.com!

We are discontinuing the Fedora mirror, sorry for the inconvience.

Sorry about the small downtime, we now have the mirror back online.

This mirror is located at Menifee, CA, USA and is running on a 1 Gbps connection with approximately 24 TB storage.

This archive is available over http, https and rsync on IPv4.

HTTP [http://mirror.wiseglobalsolutions.com] or [http://mirror.wisegs.com]
HTTPS [https://mirror.wiseglobalsolutions.com] or [https://mirror.wisegs.com]
RSYNC [rsync://mirror.wiseglobalsolutions.com] or [rsync://mirror.wisegs.com]

If you have any issues or comments, please contact the mirror admins via e-mail
at mirror-admin.wisegs.net.

Index of

Name	Last modified	Size

Parent Directory		-
libghc-copilot-theorem-dev_3.13-1_amd64.deb	2023-01-10 05:45	577K
libghc-copilot-theorem-dev_4.3-1_amd64.deb	2025-03-29 19:49	576K
libghc-copilot-theorem-dev_4.8.1-1_amd64.deb	2026-09-28 21:29	563K
libghc-copilot-theorem-doc_3.13-1_all.deb	2023-01-10 05:29	209K
libghc-copilot-theorem-doc_4.3-1_all.deb	2025-03-29 19:54	224K
libghc-copilot-theorem-doc_4.8.1-1_all.deb	2026-09-28 21:24	226K
libghc-copilot-theorem-prof_3.13-1_amd64.deb	2023-01-10 05:45	500K
libghc-copilot-theorem-prof_4.3-1_amd64.deb	2025-03-29 19:49	536K
libghc-copilot-theorem-prof_4.8.1-1_amd64.deb	2026-09-28 21:29	539K