/debian-ports/pool-x32/main/w/wxmaxima/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
wxmaxima_24.02.1-1+b2_x32.deb4.1 MiB11.11.2024 18:03
wxmaxima_24.02.1-1+b2_x32.buildinfo14.7 KiB11.11.2024 18:03
wxmaxima-dbgsym_24.02.1-1+b2_x32.deb26.6 MiB11.11.2024 18:03