../ xserver-xorg-video-mga_2.0.0-ok1.debian.tar.xz 28-Jul-2022 10:46 10684 xserver-xorg-video-mga_2.0.0-ok1.dsc 28-Jul-2022 10:46 2032 xserver-xorg-video-mga_2.0.0-ok1_amd64.deb 02-Aug-2022 10:55 66422 xserver-xorg-video-mga_2.0.0-ok1_arm64.deb 19-Feb-2023 00:40 65478 xserver-xorg-video-mga_2.0.0-ok1_riscv64.deb 18-Sep-2022 11:30 66268 xserver-xorg-video-mga_2.0.0.orig.tar.gz 28-Jul-2022 10:46 572079