../ 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_amd64.deb 20-May-2026 03:56 63048 barvinok_0.41.8+ds.orig.tar.xz 19-May-2026 18:40 1257848 libbarvinok-dev_0.41.8+ds-2_amd64.deb 20-May-2026 03:56 291968 libbarvinok23_0.41.8+ds-2_amd64.deb 20-May-2026 03:56 247728