Index of /debian/pool/main/b/barvinok

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libbarvinok-dev_0.41.8+ds-2_amd64.deb2026-05-20 11:56 285K 
[ ]libbarvinok23_0.41.8+ds-2_amd64.deb2026-05-20 11:56 242K 
[ ]barvinok_0.41.8+ds-2_amd64.deb2026-05-20 11:56 62K 
Apache/2.4.58 (Ubuntu) Server at debian.mirror.thegigabit.com Port 443