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

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