../ ripser_1.1.20200206.286d36-3.debian.tar.xz 23-Jan-2021 23:18 5116 ripser_1.1.20200206.286d36-3.dsc 23-Jan-2021 23:18 1985 ripser_1.1.20200206.286d36-3_amd64.deb 23-Jan-2021 23:34 47080 ripser_1.1.20200206.286d36.orig.tar.gz 27-Apr-2020 20:07 3253856 ripser_1.2.1-2.debian.tar.xz 18-Oct-2021 22:00 5272 ripser_1.2.1-2.dsc 18-Oct-2021 22:00 1889 ripser_1.2.1-2_amd64.deb 19-Oct-2021 09:14 70122 ripser_1.2.1.orig.tar.gz 18-Oct-2021 22:00 3254824