dagda

Linked packages

Distribution	Distribution series	Source package	Version
Ubuntu	Mantic (23.10)	agda	2.6.2.2-1.1build1
Ubuntu	Lunar (23.04)	agda	2.6.2.2-1.1build1
Ubuntu	Kinetic (22.10)	agda	2.6.2.2-1
Ubuntu	Jammy (22.04)	agda	2.6.1-1build2.1
Ubuntu	Impish (21.10)	agda
Ubuntu	Hirsute (21.04)	agda
Ubuntu	Groovy (20.10)	agda
Ubuntu	Focal (20.04)	agda	2.6.0.1-1build4
Ubuntu	Eoan (19.10)	agda
Ubuntu	Disco (19.04)	agda
Ubuntu	Cosmic (18.10)	agda
Ubuntu	Bionic (18.04)	agda	2.5.3-3build1
Ubuntu	Artful (17.10)	agda
Ubuntu	Zesty (17.04)	agda
Ubuntu	Yakkety (16.10)	agda
Ubuntu	Xenial (16.04)	agda	2.4.2.5-1build1
Ubuntu	Wily (15.10)	agda
Ubuntu	Vivid (15.04)	agda
Ubuntu	Utopic (14.10)	agda
Ubuntu	Trusty (14.04)	agda	2.3.2.2-1
Ubuntu	Saucy (13.10)	agda
Ubuntu	Raring (13.04)	agda
Ubuntu	Quantal (12.10)	agda
Ubuntu	Precise (12.04)	agda	2.3.0.1-1build2

Distribution series	Source package	Version	Project series
Precise (12.04)	agda	2.3.0.1-1build2	dagda trunk series
Quantal (12.10)	agda		dagda trunk series
Raring (13.04)	agda		dagda trunk series
Saucy (13.10)	agda		dagda trunk series
Trusty (14.04)	agda	2.3.2.2-1	dagda trunk series
Utopic (14.10)	agda		dagda trunk series
Vivid (15.04)	agda		dagda trunk series
Wily (15.10)	agda		dagda trunk series
Xenial (16.04)	agda	2.4.2.5-1build1	dagda trunk series
Yakkety (16.10)	agda		dagda trunk series
Zesty (17.04)	agda		dagda trunk series
Artful (17.10)	agda		dagda trunk series
Bionic (18.04)	agda	2.5.3-3build1	dagda trunk series
Cosmic (18.10)	agda		dagda trunk series
Disco (19.04)	agda		dagda trunk series
Eoan (19.10)	agda		dagda trunk series
Focal (20.04)	agda	2.6.0.1-1build4	dagda trunk series
Groovy (20.10)	agda		dagda trunk series
Hirsute (21.04)	agda		dagda trunk series
Impish (21.10)	agda		dagda trunk series
Jammy (22.04)	agda	2.6.1-1build2.1	dagda trunk series
Kinetic (22.10)	agda	2.6.2.2-1	dagda trunk series
Lunar (23.04)	agda	2.6.2.2-1.1build1	dagda trunk series
Mantic (23.10)	agda	2.6.2.2-1.1build1	dagda trunk series