Index of /pub/os/linux/ubuntu/pool/universe/m/mathcomp-real-closed/

Filename	Modification time	Size
libcoq-mathcomp-real-closed_1.1.3-1build5_amd64.deb	2023-02-16 20:44 CET	2570 KiB
libcoq-mathcomp-real-closed_1.1.4-2_amd64.deb	2023-07-25 21:49 CEST	2569 KiB
libcoq-mathcomp-real-closed_2.0.0-1build5_amd64.deb	2024-04-08 18:11 CEST	2704 KiB
libcoq-mathcomp-real-closed_2.0.0-2build4_amd64.deb	2024-06-16 01:58 CEST	2801 KiB
mathcomp-real-closed_1.1.3-1build5.debian.tar.xz	2023-02-16 19:50 CET	8808 B
mathcomp-real-closed_1.1.3-1build5.dsc	2023-02-16 19:50 CET	2263 B
mathcomp-real-closed_1.1.3.orig.tar.gz	2022-07-08 07:24 CEST	116 KiB
mathcomp-real-closed_1.1.4-2.debian.tar.xz	2023-07-25 07:45 CEST	8796 B
mathcomp-real-closed_1.1.4-2.dsc	2023-07-25 07:45 CEST	2044 B
mathcomp-real-closed_1.1.4.orig.tar.gz	2023-06-15 13:44 CEST	118 KiB
mathcomp-real-closed_2.0.0-1build5.debian.tar.xz	2024-04-08 09:57 CEST	9128 B
mathcomp-real-closed_2.0.0-1build5.dsc	2024-04-08 09:57 CEST	2342 B
mathcomp-real-closed_2.0.0-2build4.debian.tar.xz	2024-06-15 16:43 CEST	9004 B
mathcomp-real-closed_2.0.0-2build4.dsc	2024-06-15 16:43 CEST	2263 B
mathcomp-real-closed_2.0.0.orig.tar.gz	2023-12-26 18:17 CET	117 KiB