Index of /pub/ubuntu/pool/universe/d/dejagnu

	Name	Last modified	Size	Description
	Parent Directory		-
	dejagnu_1.5.3-2.debian.tar.xz	23-Oct-2015 17:35	6.1K
	dejagnu_1.5.3-2.dsc	23-Oct-2015 17:35	1.7K
	dejagnu_1.5.3-2_all.deb	23-Oct-2015 19:41	960K
	dejagnu_1.5.3.orig.tar.gz	06-May-2015 13:29	583K
	dejagnu_1.6.1-1.debian.tar.xz	25-Nov-2017 12:08	9.4K
	dejagnu_1.6.1-1.dsc	25-Nov-2017 12:08	2.0K
	dejagnu_1.6.1-1_all.deb	25-Nov-2017 12:13	703K
	dejagnu_1.6.1.orig.tar.gz	25-Nov-2017 12:08	514K
	dejagnu_1.6.1.orig.tar.gz.asc	25-Nov-2017 12:08	801
	dejagnu_1.6.2-1.debian.tar.xz	09-Dec-2018 00:13	9.4K
	dejagnu_1.6.2-1.dsc	09-Dec-2018 00:13	1.8K
	dejagnu_1.6.2-1_all.deb	09-Dec-2018 00:13	703K
	dejagnu_1.6.2-1ubuntu1.debian.tar.xz	30-Apr-2021 08:08	9.7K
	dejagnu_1.6.2-1ubuntu1.dsc	30-Apr-2021 08:08	1.8K
	dejagnu_1.6.2-1ubuntu1_all.deb	30-Apr-2021 08:08	703K
	dejagnu_1.6.2.orig.tar.gz	09-Dec-2018 00:13	514K
	dejagnu_1.6.3-1.debian.tar.xz	26-Jun-2023 04:44	10K
	dejagnu_1.6.3-1.dsc	26-Jun-2023 04:44	1.7K
	dejagnu_1.6.3-1_all.deb	26-Jun-2023 04:44	1.0M
	dejagnu_1.6.3.orig.tar.gz	26-Jun-2023 04:44	607K