../ barvinok_0.41.8+ds-3.debian.tar.xz 02-Jun-2026 01:45 11024 barvinok_0.41.8+ds-3.dsc 02-Jun-2026 01:45 2176 barvinok_0.41.8+ds-3_armhf.deb 18-Jun-2026 11:25 53808 barvinok_0.41.8+ds.orig.tar.xz 19-May-2026 18:40 1257848 libbarvinok-dev_0.41.8+ds-3_armhf.deb 18-Jun-2026 11:25 239364 libbarvinok23_0.41.8+ds-3_armhf.deb 18-Jun-2026 11:25 196348