../ barvinok_0.41.9+ds-3.debian.tar.xz 22-Jul-2026 09:42 12K barvinok_0.41.9+ds-3.dsc 22-Jul-2026 09:42 2348 barvinok_0.41.9+ds-3_armhf.deb 27-Jul-2026 18:08 338K barvinok_0.41.9+ds.orig.tar.xz 12-Jul-2026 10:54 1M libbarvinok-dev_0.41.9+ds-3_armhf.deb 27-Jul-2026 18:08 234K libbarvinok23_0.41.9+ds-3_armhf.deb 27-Jul-2026 18:08 192K