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

Name	Size	Date
📁 ../	-	-
📄 gnumach-dev_1.8+git20220206-1_x32.deb	269116 bytes	2022-02-07 00:03:22
📄 gnumach_1.8+git20220206-1_x32.buildinfo	5940 bytes	2022-02-07 00:03:22