Index of /debian-ports/pool-x32/main/g/gtk2hs-buildtools/

../
gtk2hs-buildtools_0.13.10.0-1_x32.buildinfo        12-Sep-2023 09:03    8913
gtk2hs-buildtools_0.13.10.0-1_x32.deb              12-Sep-2023 09:03      9M
libghc-gtk2hs-buildtools-dev_0.13.10.0-1_x32.deb   12-Sep-2023 09:03      2M
libghc-gtk2hs-buildtools-prof_0.13.10.0-1_x32.deb  12-Sep-2023 09:03      2M