Index of /ubuntu/pool/universe/s/ssreflect/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-mathcomp-algebra_1.14.0-7_all.deb 7M17-Feb-2022 06:11
libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb 10M08-Apr-2024 13:14
libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb 11M19-Sep-2024 21:54
libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb 13M19-Feb-2025 23:02
libcoq-mathcomp-character_1.14.0-7_all.deb 4M17-Feb-2022 06:11
libcoq-mathcomp-character_2.1.0-1build4_amd64.deb 4M08-Apr-2024 13:14
libcoq-mathcomp-character_2.2.0-2build6_amd64.deb 4M19-Sep-2024 21:54
libcoq-mathcomp-character_2.3.0-1build8_amd64.deb 5M19-Feb-2025 23:02
libcoq-mathcomp-field_1.14.0-7_all.deb 3M17-Feb-2022 06:11
libcoq-mathcomp-field_2.1.0-1build4_amd64.deb 3M08-Apr-2024 13:14
libcoq-mathcomp-field_2.2.0-2build6_amd64.deb 3M19-Sep-2024 21:54
libcoq-mathcomp-field_2.3.0-1build8_amd64.deb 4M19-Feb-2025 23:02
libcoq-mathcomp-fingroup_1.14.0-7_all.deb 2M17-Feb-2022 06:11
libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb 2M08-Apr-2024 13:14
libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb 2M19-Sep-2024 21:54
libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb 2M19-Feb-2025 23:02
libcoq-mathcomp-solvable_1.14.0-7_all.deb 5M17-Feb-2022 06:11
libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb 5M08-Apr-2024 13:14
libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb 5M19-Sep-2024 21:54
libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb 5M19-Feb-2025 23:02
libcoq-mathcomp-ssreflect_1.14.0-7_all.deb 4M17-Feb-2022 06:11
libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb 6M08-Apr-2024 13:14
libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb 7M19-Sep-2024 21:54
libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb 9M19-Feb-2025 23:02
libcoq-mathcomp_1.14.0-7_all.deb 3M17-Feb-2022 06:11
libcoq-mathcomp_2.1.0-1build4_amd64.deb 2M08-Apr-2024 13:14
libcoq-mathcomp_2.2.0-2build6_amd64.deb 2M19-Sep-2024 21:54
libcoq-mathcomp_2.3.0-1build8_amd64.deb 2M19-Feb-2025 23:02
libssreflect-coq_1.10.0+dfsg-2_all.deb 25M19-Mar-2020 09:23
libssreflect-coq_1.5-3build1_all.deb 1M05-Nov-2015 03:58
libssreflect-coq_1.5~rc1-3_all.deb 1M21-Jan-2014 05:53
libssreflect-coq_1.6.1-3build1_all.deb 23M28-Oct-2017 17:03
libssreflect-ocaml-dev_1.5-3build1_amd64.deb 63K05-Nov-2015 03:58
libssreflect-ocaml-dev_1.5-3build1_i386.deb 63K05-Nov-2015 03:59
libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 60K21-Jan-2014 05:53
libssreflect-ocaml-dev_1.5~rc1-3_i386.deb 60K21-Jan-2014 05:54
libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb 59K28-Oct-2017 17:03
libssreflect-ocaml-dev_1.6.1-3build1_i386.deb 59K28-Oct-2017 17:03
libssreflect-ocaml_1.5-3build1_amd64.deb 435K05-Nov-2015 03:58
libssreflect-ocaml_1.5-3build1_i386.deb 384K05-Nov-2015 03:59
libssreflect-ocaml_1.5~rc1-3_amd64.deb 440K21-Jan-2014 05:53
libssreflect-ocaml_1.5~rc1-3_i386.deb 382K21-Jan-2014 05:54
libssreflect-ocaml_1.6.1-3build1_amd64.deb 390K28-Oct-2017 17:03
libssreflect-ocaml_1.6.1-3build1_i386.deb 340K28-Oct-2017 17:03
ssreflect_1.10.0+dfsg-2.debian.tar.xz 12K19-Mar-2020 08:48
ssreflect_1.10.0+dfsg-2.dsc 212919-Mar-2020 08:48
ssreflect_1.10.0+dfsg.orig.tar.gz 1M06-Dec-2019 17:38
ssreflect_1.14.0-7.debian.tar.xz 12K17-Feb-2022 06:10
ssreflect_1.14.0-7.dsc 258017-Feb-2022 06:10
ssreflect_1.14.0.orig.tar.gz 1M24-Jan-2022 23:34
ssreflect_1.5-3build1.debian.tar.xz 11K05-Nov-2015 03:48
ssreflect_1.5-3build1.dsc 191105-Nov-2015 03:48
ssreflect_1.5.orig.tar.gz 213K26-Apr-2014 12:12
ssreflect_1.5~rc1-3.debian.tar.xz 11K21-Jan-2014 05:18
ssreflect_1.5~rc1-3.dsc 224021-Jan-2014 05:18
ssreflect_1.5~rc1.orig.tar.gz 199K06-Dec-2013 17:23
ssreflect_1.6.1-3build1.debian.tar.xz 12K28-Oct-2017 16:19
ssreflect_1.6.1-3build1.dsc 228128-Oct-2017 16:19
ssreflect_1.6.1.orig.tar.gz 4M30-Dec-2016 17:13
ssreflect_2.1.0-1build4.debian.tar.xz 13K01-Apr-2024 05:44
ssreflect_2.1.0-1build4.dsc 270001-Apr-2024 05:44
ssreflect_2.1.0.orig.tar.gz 2M24-Dec-2023 17:26
ssreflect_2.2.0-2build6.debian.tar.xz 13K17-Sep-2024 15:51
ssreflect_2.2.0-2build6.dsc 262117-Sep-2024 15:51
ssreflect_2.2.0.orig.tar.gz 2M03-May-2024 02:35
ssreflect_2.3.0-1build8.debian.tar.xz 13K19-Feb-2025 23:00
ssreflect_2.3.0-1build8.dsc 272519-Feb-2025 23:00
ssreflect_2.3.0.orig.tar.gz 2M18-Dec-2024 23:41

Welcome to Ubuntu Taiwan LoCo Team (ubuntu-tw) / OSS Planet Mirror Server

Empowering Open Source: Free Hosting for a Free World We are open, we love freedom. Free Hosting for Open Projects. Join the movement. #JustGoOpen

If you're seeking a mirror, please contact us. OSSPlanet
We support HTTP, HTTPS, FTP, Rsync, and Tor .onion site.

We operate mirror servers in multiple regions to better serve our users:

Choose the server closest to your location for optimal performance!

Highlights

ubuntu/
Ubuntu archive repository for APT sources.list
ubuntu-cdimage/
Mirror of http://cdimage.ubuntu.com/
ubuntu-cloud-images/
Mirror of https://cloud-images.ubuntu.com/
ubuntu-ports/
Ubuntu APT source repo for non-x86. (ARM, etc). Mirror of http://ports.ubuntu.com/
ubuntu-releases/
Installation CD/DVD image.
mirror-ubuntu.sh
If you want to mirror ubuntu/ to your server, download this script and run it 4 times a day with cron. (0 */6 * * *)
/ and /mirror/
All mirror repos. (Apache, CPAN, GNU, Kernel, LDP, Mozilla, other Linux distro, hosting, etc)

Services

Taiwan Servers (Asia)

HTTP
HTTPS
FTP

Note on FTP: While we currently support FTP, we will be dropping support in the future as the protocol is being phased out industry-wide. We recommend using HTTPS or Rsync instead.

Rsync

Finland Servers (Europe)

HTTP
HTTPS
Rsync

Network and Infrastructure

Taiwan Server (Primary Asia Mirror)

Server
mirror.ossplanet.net
Sponsored by
National Chi Nan University
Network
TWAREN Academic Network
Features
  • 100Gbps backbone with multiple optical segments
  • 12 GigaPOPs across Taiwan
  • International connectivity to major exchanges
Network Documentation

Finland Server (Primary Europe Mirror)

Server
mirror.fi.ossplanet.net
Sponsored by
Matthew Lien (BlueT)
Infrastructure
Hetzner Datacenter
Features
  • Multi-redundant network connections
  • Peering at major European exchanges
  • High-performance infrastructure
Network Documentation

Data handling and privacy policy

  1. IP addresses and Logs will be saved for troubleshooting, abuse, and statistical purposes.
  2. Only few of our system administrators have access to the log files.
  3. Our infrastructure and network providers could have other logging.

Limits

Contact

Admin: BlueT - Matthew Lien - 練喆明
Email: apply at ossplanet dot net AND bluet at bluet dot org