../ barvinok_0.41.8+ds-3.debian.tar.xz 02-Jun-2026 09:45 11K barvinok_0.41.8+ds-3.dsc 02-Jun-2026 09:45 2176 barvinok_0.41.8+ds-3_armhf.deb 18-Jun-2026 19:25 53K barvinok_0.41.8+ds.orig.tar.xz 20-May-2026 02:40 1M libbarvinok-dev_0.41.8+ds-3_armhf.deb 18-Jun-2026 19:25 234K libbarvinok23_0.41.8+ds-3_armhf.deb 18-Jun-2026 19:25 192K