Index of /ubuntu-ports/pool/universe/c/coq-dpdgraph/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-dpdgraph-tools_1.0+8.16-2build2_arm64.deb2023-Feb-17 02:50:311.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.16-2build2_armhf.deb2023-Feb-17 02:50:451.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.16-2build2_ppc64el.deb2023-Feb-17 02:50:491.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.16-2build2_riscv64.deb2023-Feb-17 03:44:501.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.16-2build2_s390x.deb2023-Feb-17 02:50:591.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.17-1build1_arm64.deb2023-Jul-26 14:22:151.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.17-1build1_armhf.deb2023-Jul-26 14:22:181.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.17-1build1_ppc64el.deb2023-Jul-26 14:22:231.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.17-1build1_riscv64.deb2023-Jul-26 14:55:421.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.17-1build1_s390x.deb2023-Jul-26 14:22:291.1Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.18-1build3_arm64.deb2024-Apr-08 15:57:481.2Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.18-1build3_armhf.deb2024-Apr-08 15:57:491.2Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.18-1build3_ppc64el.deb2024-Apr-08 15:57:541.2Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.18-1build3_riscv64.deb2024-Apr-08 15:57:551.2Mapplication/vnd.debian.binary-package
coq-dpdgraph-tools_1.0+8.18-1build3_s390x.deb2024-Apr-08 15:57:581.2Mapplication/vnd.debian.binary-package
coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz2023-Feb-17 02:50:142.7Kapplication/x-xz
coq-dpdgraph_1.0+8.16-2build2.dsc2023-Feb-17 02:50:142.1Kapplication/octet-stream
coq-dpdgraph_1.0+8.16.orig.tar.gz2022-Nov-06 11:17:2864.5Kapplication/gzip
coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz2023-Jul-26 13:19:322.9Kapplication/x-xz
coq-dpdgraph_1.0+8.17-1build1.dsc2023-Jul-26 13:19:322.1Kapplication/octet-stream
coq-dpdgraph_1.0+8.17.orig.tar.gz2023-Jun-13 13:30:0764.5Kapplication/gzip
coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz2024-Apr-08 15:57:413.1Kapplication/x-xz
coq-dpdgraph_1.0+8.18-1build3.dsc2024-Apr-08 15:57:412.2Kapplication/octet-stream
coq-dpdgraph_1.0+8.18.orig.tar.gz2023-Dec-23 01:26:5764.5Kapplication/gzip
libcoq-dpdgraph_1.0+8.16-2build2_arm64.deb2023-Feb-17 02:50:3136.9Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.16-2build2_armhf.deb2023-Feb-17 02:50:4532.8Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.16-2build2_ppc64el.deb2023-Feb-17 02:50:4935.1Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.16-2build2_riscv64.deb2023-Feb-17 03:44:5033.8Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.16-2build2_s390x.deb2023-Feb-17 02:50:5933.7Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.17-1build1_arm64.deb2023-Jul-26 14:22:1537.3Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.17-1build1_armhf.deb2023-Jul-26 14:22:1833.4Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.17-1build1_ppc64el.deb2023-Jul-26 14:22:2335.5Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.17-1build1_riscv64.deb2023-Jul-26 14:55:4234.2Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.17-1build1_s390x.deb2023-Jul-26 14:22:2934.1Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.18-1build3_arm64.deb2024-Apr-08 15:57:4837.6Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.18-1build3_armhf.deb2024-Apr-08 15:57:4933.6Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.18-1build3_ppc64el.deb2024-Apr-08 15:57:5435.8Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.18-1build3_riscv64.deb2024-Apr-08 15:57:5535.6Kapplication/vnd.debian.binary-package
libcoq-dpdgraph_1.0+8.18-1build3_s390x.deb2024-Apr-08 15:57:5834.4Kapplication/vnd.debian.binary-package
lighttpd/1.4.35