Index of /pub/gwdg/ubuntu/22.04/pool/universe/d/devhelp/

../
devhelp-common_41.2-2_all.deb                      13-Feb-2022 23:34              194420
devhelp-common_41.2-2ubuntu1_all.deb               10-Oct-2023 15:34              194576
devhelp_41.2-2_amd64.deb                           13-Feb-2022 23:34               76264
devhelp_41.2-2ubuntu1_amd64.deb                    10-Oct-2023 15:34               76204
gir1.2-devhelp-3.0_41.2-2_amd64.deb                13-Feb-2022 23:34               17422
gir1.2-devhelp-3.0_41.2-2ubuntu1_amd64.deb         10-Oct-2023 15:34               17436
libdevhelp-3-6_41.2-2_amd64.deb                    13-Feb-2022 23:34               69158
libdevhelp-3-6_41.2-2ubuntu1_amd64.deb             10-Oct-2023 15:34               69138
libdevhelp-dev_41.2-2_amd64.deb                    13-Feb-2022 23:34               97612
libdevhelp-dev_41.2-2ubuntu1_amd64.deb             10-Oct-2023 15:34               97620