Index of /debian/pool/main/s/ssreflect

Name	Last modified	Size

Parent Directory		-
libcoq-mathcomp-algebra_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	6.2M
libcoq-mathcomp-algebra_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	6.2M
libcoq-mathcomp-algebra_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	6.2M
libcoq-mathcomp-algebra_1.15.0-1+b4_i386.deb	2023-02-13 18:00	6.2M
libcoq-mathcomp-algebra_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	11M
libcoq-mathcomp-algebra_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	11M
libcoq-mathcomp-algebra_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	11M
libcoq-mathcomp-character_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	3.8M
libcoq-mathcomp-character_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	3.8M
libcoq-mathcomp-character_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	3.8M
libcoq-mathcomp-character_1.15.0-1+b4_i386.deb	2023-02-13 18:00	3.8M
libcoq-mathcomp-character_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	4.1M
libcoq-mathcomp-character_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	4.1M
libcoq-mathcomp-character_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	4.1M
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	2.6M
libcoq-mathcomp-field_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	2.6M
libcoq-mathcomp-field_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	2.6M
libcoq-mathcomp-field_1.15.0-1+b4_i386.deb	2023-02-13 18:00	2.6M
libcoq-mathcomp-field_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	3.2M
libcoq-mathcomp-field_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	3.2M
libcoq-mathcomp-field_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	3.2M
libcoq-mathcomp-fingroup_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	1.8M
libcoq-mathcomp-fingroup_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	1.8M
libcoq-mathcomp-fingroup_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	1.8M
libcoq-mathcomp-fingroup_1.15.0-1+b4_i386.deb	2023-02-13 18:00	1.8M
libcoq-mathcomp-fingroup_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	2.2M
libcoq-mathcomp-fingroup_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	2.2M
libcoq-mathcomp-fingroup_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	2.2M
libcoq-mathcomp-solvable_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	4.3M
libcoq-mathcomp-solvable_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	4.3M
libcoq-mathcomp-solvable_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	4.3M
libcoq-mathcomp-solvable_1.15.0-1+b4_i386.deb	2023-02-13 18:00	4.3M
libcoq-mathcomp-solvable_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	4.6M
libcoq-mathcomp-solvable_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	4.6M
libcoq-mathcomp-solvable_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	4.6M
libcoq-mathcomp-ssreflect_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	4.0M
libcoq-mathcomp-ssreflect_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	4.0M
libcoq-mathcomp-ssreflect_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	4.0M
libcoq-mathcomp-ssreflect_1.15.0-1+b4_i386.deb	2023-02-13 18:00	4.0M
libcoq-mathcomp-ssreflect_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	7.9M
libcoq-mathcomp-ssreflect_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	7.9M
libcoq-mathcomp-ssreflect_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	7.9M
libcoq-mathcomp_1.15.0-1+b4_amd64.deb	2023-02-13 17:55	3.0M
libcoq-mathcomp_1.15.0-1+b4_arm64.deb	2023-02-13 18:40	3.0M
libcoq-mathcomp_1.15.0-1+b4_armhf.deb	2023-02-13 18:25	3.0M
libcoq-mathcomp_1.15.0-1+b4_i386.deb	2023-02-13 18:00	3.0M
libcoq-mathcomp_2.3.0-1+b4_riscv64.deb	2025-02-18 21:21	2.9M
libcoq-mathcomp_2.3.0-1+b5_amd64.deb	2025-02-18 09:52	2.9M
libcoq-mathcomp_2.3.0-1+b5_arm64.deb	2025-02-18 13:29	2.9M
libssreflect-coq_1.12.0-1_all.deb	2021-01-11 20:56	25M
ssreflect_1.12.0-1.debian.tar.xz	2021-01-11 16:58	12K
ssreflect_1.12.0-1.dsc	2021-01-11 16:58	2.0K
ssreflect_1.12.0.orig.tar.gz	2021-01-11 16:58	1.3M
ssreflect_1.15.0-1.debian.tar.xz	2022-07-05 15:05	12K
ssreflect_1.15.0-1.dsc	2022-07-05 15:05	2.5K
ssreflect_1.15.0.orig.tar.gz	2022-07-05 15:05	1.3M
ssreflect_2.3.0-1.debian.tar.xz	2024-12-19 00:08	12K
ssreflect_2.3.0-1.dsc	2024-12-19 00:08	2.6K
ssreflect_2.3.0.orig.tar.gz	2024-12-19 00:08	1.8M

Welcome to mirror.coganng.com!

This is currently used mainly for Ubuntu mirrors. (in particular, Ubuntu archives and ubuntu-ports.)

Friendly reminder that all scripts and software in this repository is a use at your own risk.

Please report any issues to Cogan Ng <mirror@coganng.com>

Want to support what I do? Click here! (My PayPal link) (before you support me, you may want to read this)

DBS PayLah QR code here

How can you use this repo? (For all architectures and all OS) [Recommended]

Type

curl -O https://mirror.coganng.com/addRepo.sh && sudo bash addRepo.sh

into any bash Terminal. This will automatically add any of the following:
Ubuntu repo (amd64, i386)
Ubuntu-ports repo (all other Ubuntu architectures)
Debian repo (amd64, i386, armel, armhf, arm64)

, depending on the architecture of your OS. This should just work without any issues, and will choose the nearest mirror server to the server's location. If there are any issues or if you wish to restore the original sources.list, type

sudo mv /etc/apt/sources.list.tibak /etc/apt/sources.list

Note that you do not need to download any other addRepo-*.sh file. The addRepo.sh main script will do it for you.