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		-
coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb	2025-06-15 01:53	30M
libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb	2025-06-15 01:53	17M
libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb	2025-06-15 01:53	6.1M