../ barvinok_0.41.8+ds-2.debian.tar.xz 20-May-2026 03:26 9840 barvinok_0.41.8+ds-2.dsc 20-May-2026 03:26 2173 barvinok_0.41.8+ds-2_armhf.deb 26-May-2026 04:08 53892 barvinok_0.41.8+ds.orig.tar.xz 19-May-2026 18:40 1257848 libbarvinok-dev_0.41.8+ds-2_armhf.deb 26-May-2026 04:08 239036 libbarvinok23_0.41.8+ds-2_armhf.deb 26-May-2026 04:08 196472