Index of /ubuntu/pool/universe/m/mathcomp-real-closed/

NameLast ModifiedSizeType
../ -  Directory
libcoq-mathcomp-real-closed_1.1.3-1build5_amd64.deb2023-Feb-16 14:44:402.5Mapplication/vnd.debian.binary-package
libcoq-mathcomp-real-closed_1.1.4-2_amd64.deb2023-Jul-25 15:49:052.5Mapplication/vnd.debian.binary-package
libcoq-mathcomp-real-closed_2.0.0-1build5_amd64.deb2024-Apr-08 12:11:082.6Mapplication/vnd.debian.binary-package
libcoq-mathcomp-real-closed_2.0.0-2_amd64.deb2024-May-03 09:21:072.7Mapplication/vnd.debian.binary-package
mathcomp-real-closed_1.1.3-1build5.debian.tar.xz2023-Feb-16 13:50:158.6Kapplication/x-xz
mathcomp-real-closed_1.1.3-1build5.dsc2023-Feb-16 13:50:152.2Kapplication/octet-stream
mathcomp-real-closed_1.1.3.orig.tar.gz2022-Jul-08 01:24:10115.7Kapplication/x-gtar-compressed
mathcomp-real-closed_1.1.4-2.debian.tar.xz2023-Jul-25 01:45:028.6Kapplication/x-xz
mathcomp-real-closed_1.1.4-2.dsc2023-Jul-25 01:45:021.9Kapplication/octet-stream
mathcomp-real-closed_1.1.4.orig.tar.gz2023-Jun-15 07:44:13117.7Kapplication/x-gtar-compressed
mathcomp-real-closed_2.0.0-1build5.debian.tar.xz2024-Apr-08 03:57:388.9Kapplication/x-xz
mathcomp-real-closed_2.0.0-1build5.dsc2024-Apr-08 03:57:392.2Kapplication/octet-stream
mathcomp-real-closed_2.0.0-2.debian.tar.xz2024-May-02 21:51:058.7Kapplication/x-xz
mathcomp-real-closed_2.0.0-2.dsc2024-May-02 21:51:052.2Kapplication/octet-stream
mathcomp-real-closed_2.0.0.orig.tar.gz2023-Dec-26 12:17:06116.6Kapplication/x-gtar-compressed
lighttpd/1.4.53