Index of /debian/dists/kralizec-other/

../
main/                                              07-Sep-2018 17:55                   -
InRelease                                          07-Sep-2018 17:55                2182
Release                                            07-Sep-2018 17:55                1645
Release.gpg                                        07-Sep-2018 17:55                 490