Index of /ubuntu-ports/pool/universe/c/coq-math-classes/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-math-classes_8.15.0-4build2.debian.tar.xz2023-Feb-17 15:29:112.6Kapplication/x-xz
coq-math-classes_8.15.0-4build2.dsc2023-Feb-17 15:29:112.1Kapplication/octet-stream
coq-math-classes_8.15.0.orig.tar.gz2022-Jul-09 13:18:59164.0Kapplication/gzip
coq-math-classes_8.17.0-1build1.debian.tar.xz2023-Jul-26 13:19:342.6Kapplication/x-xz
coq-math-classes_8.17.0-1build1.dsc2023-Jul-26 13:19:342.1Kapplication/octet-stream
coq-math-classes_8.17.0.orig.tar.gz2023-Jun-13 19:34:29165.0Kapplication/gzip
coq-math-classes_8.18.0-1build3.debian.tar.xz2024-Apr-08 15:57:393.0Kapplication/x-xz
coq-math-classes_8.18.0-1build3.dsc2024-Apr-08 15:57:392.1Kapplication/octet-stream
coq-math-classes_8.18.0.orig.tar.gz2023-Dec-24 01:16:58165.0Kapplication/gzip
coq-math-classes_8.19.0-1build8.debian.tar.xz2024-Sep-08 03:04:333.1Kapplication/x-xz
coq-math-classes_8.19.0-1build8.dsc2024-Sep-08 03:04:332.1Kapplication/octet-stream
coq-math-classes_8.19.0.orig.tar.gz2024-May-02 19:53:14165.0Kapplication/gzip
libcoq-math-classes_8.15.0-4build2_arm64.deb2023-Feb-17 15:29:223.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.15.0-4build2_armhf.deb2023-Feb-17 15:29:253.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.15.0-4build2_ppc64el.deb2023-Feb-17 15:29:263.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.15.0-4build2_riscv64.deb2023-Feb-17 16:04:043.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.15.0-4build2_s390x.deb2023-Feb-17 15:29:273.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.17.0-1build1_arm64.deb2023-Jul-26 15:55:403.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.17.0-1build1_armhf.deb2023-Jul-26 15:55:543.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.17.0-1build1_ppc64el.deb2023-Jul-26 15:55:553.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.17.0-1build1_riscv64.deb2023-Jul-26 16:54:253.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.17.0-1build1_s390x.deb2023-Jul-26 15:56:093.2Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.18.0-1build3_arm64.deb2024-Apr-08 21:14:513.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.18.0-1build3_armhf.deb2024-Apr-08 21:15:023.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.18.0-1build3_ppc64el.deb2024-Apr-08 21:15:263.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.18.0-1build3_riscv64.deb2024-Apr-08 21:15:293.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.18.0-1build3_s390x.deb2024-Apr-08 21:15:463.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.19.0-1build8_arm64.deb2024-Sep-08 03:05:053.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.19.0-1build8_ppc64el.deb2024-Sep-08 03:05:063.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.19.0-1build8_riscv64.deb2024-Sep-08 03:58:483.1Mapplication/vnd.debian.binary-package
libcoq-math-classes_8.19.0-1build8_s390x.deb2024-Sep-08 03:05:073.1Mapplication/vnd.debian.binary-package
lighttpd/1.4.35