/debian-ports/pool-x32/main/g/gnumach/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
gnumach-dev_1.8+git20220206-1_x32.deb	262.8 KiB	07.02.2022 00:03
gnumach_1.8+git20220206-1_x32.buildinfo	5.8 KiB	07.02.2022 00:03