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

Name ↑  ↓		Size ↑  ↓	Date ↑  ↓
Parent Directory		-	-
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
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_armhf.deb		31.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
libcoq-dpdgraph_1.0+8.16-2+b1_arm64.deb		33.8 KiB	14-02-2023 | 06:11
coq-dpdgraph_1.0+8.16.orig.tar.gz		64.5 KiB	06-09-2022 | 09:04
coq-dpdgraph-tools_1.0+8.16-2+b1_i386.deb		932.2 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-tools_1.0+8.16-2+b1_amd64.deb		932.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