Index of  /debian/pool/main/c/coq-dpdgraph/

Name ↑  ↓		Size ↑  ↓	Date ↑  ↓
Parent Directory		-	-
coq-dpdgraph_1.0+8.16.orig.tar.gz		64.5 KiB	06-09-2022 | 09:04
coq-dpdgraph_1.0+8.16-2.dsc		2.2 KiB	25-01-2023 | 06:56
coq-dpdgraph_1.0+8.16-2.debian.tar.xz		2.7 KiB	25-01-2023 | 06:56
coq-dpdgraph-tools_1.0+8.16-2+b1_ppc64el.deb		932.5 KiB	14-02-2023 | 06:11
libcoq-dpdgraph_1.0+8.16-2+b1_ppc64el.deb		33.1 KiB	14-02-2023 | 06:11
coq-dpdgraph-tools_1.0+8.16-2+b1_amd64.deb		932.5 KiB	14-02-2023 | 06:11
libcoq-dpdgraph_1.0+8.16-2+b1_amd64.deb		32.4 KiB	14-02-2023 | 06:11
coq-dpdgraph-tools_1.0+8.16-2+b1_s390x.deb		932.4 KiB	14-02-2023 | 06:11
libcoq-dpdgraph_1.0+8.16-2+b1_s390x.deb		32.2 KiB	14-02-2023 | 06:11
libcoq-dpdgraph_1.0+8.16-2+b1_armhf.deb		31.5 KiB	14-02-2023 | 06:11
coq-dpdgraph-tools_1.0+8.16-2+b1_armhf.deb		932.5 KiB	14-02-2023 | 06:11
coq-dpdgraph-tools_1.0+8.16-2+b1_i386.deb		932.2 KiB	14-02-2023 | 06:11
libcoq-dpdgraph_1.0+8.16-2+b1_i386.deb		30.7 KiB	14-02-2023 | 06:11
libcoq-dpdgraph_1.0+8.16-2+b1_arm64.deb		33.8 KiB	14-02-2023 | 06:11
coq-dpdgraph-tools_1.0+8.16-2+b1_arm64.deb		932.4 KiB	14-02-2023 | 06:11
coq-dpdgraph_1.0+8.20-1.debian.tar.xz		3.1 KiB	20-11-2024 | 09:52
coq-dpdgraph_1.0+8.20-1.dsc		2.2 KiB	20-11-2024 | 09:52
coq-dpdgraph_1.0+8.20.orig.tar.gz		64.7 KiB	20-11-2024 | 09:52
coq-dpdgraph-tools_1.0+8.20-1+b4_amd64.deb		1.1 MiB	15-06-2025 | 01:48
libcoq-dpdgraph_1.0+8.20-1+b4_amd64.deb		36.0 KiB	15-06-2025 | 01:48
libcoq-dpdgraph_1.0+8.20-1+b4_arm64.deb		37.1 KiB	15-06-2025 | 05:32
coq-dpdgraph-tools_1.0+8.20-1+b4_arm64.deb		1.1 MiB	15-06-2025 | 05:32
coq-dpdgraph-tools_1.0+8.20-1+b4_riscv64.deb		1.1 MiB	15-06-2025 | 05:53
libcoq-dpdgraph_1.0+8.20-1+b4_riscv64.deb		36.6 KiB	15-06-2025 | 05:53
libcoq-dpdgraph_1.0+8.20-1+b4_ppc64el.deb		36.3 KiB	15-06-2025 | 06:18
coq-dpdgraph-tools_1.0+8.20-1+b4_ppc64el.deb		1.1 MiB	15-06-2025 | 06:18
coq-dpdgraph-tools_1.0+8.20-1+b4_s390x.deb		1.1 MiB	16-06-2025 | 18:14
libcoq-dpdgraph_1.0+8.20-1+b4_s390x.deb		36.1 KiB	16-06-2025 | 18:14