Index of /pub/gwdg/ubuntu/22.04/pool/universe/g/grok/

../
grok_1.20110708.1-7_amd64.deb                      19-Oct-2021 01:24               62380
libgrok-dev_1.20110708.1-7_amd64.deb               19-Oct-2021 01:24                5838
libgrok1_1.20110708.1-7_amd64.deb                  19-Oct-2021 01:24               32760