The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /debian/pool/main/d/dejagnu/

../
dejagnu_1.6.2-1.debian.tar.xz                      08-Dec-2018 22:57                9668
dejagnu_1.6.2-1.dsc                                08-Dec-2018 22:57                1812
dejagnu_1.6.2-1_all.deb                            09-Dec-2018 02:40              743776
dejagnu_1.6.2.orig.tar.gz                          08-Dec-2018 22:57              525879
dejagnu_1.6.3-1.debian.tar.xz                      12-Jul-2022 08:25               10304
dejagnu_1.6.3-1.dsc                                12-Jul-2022 08:25                1746
dejagnu_1.6.3-1_all.deb                            12-Jul-2022 09:01             1049880
dejagnu_1.6.3.orig.tar.gz                          12-Jul-2022 08:25              622059

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.