Index of /pub/os/linux/deepin/pool/main/g/gringo/

Filename	Modification time	Size
gringo_5.3.0-10.debian.tar.xz	2022-04-11 05:22 CEST	18 KiB
gringo_5.3.0-10.dsc	2022-04-11 05:22 CEST	2100 B
gringo_5.3.0-10_amd64.deb	2022-04-11 05:36 CEST	2176 KiB
gringo_5.3.0-10_i386.deb	2022-04-11 05:06 CEST	2306 KiB
gringo_5.3.0.orig.tar.gz	2022-04-11 05:22 CEST	2622 KiB