Debian logo Quality Assurance

dak ls

 agda | 2.2.6-7   | squeeze  | source
 agda | 2.3.0.1-2 | wheezy   | source, all
 agda | 2.4.0.2-2 | jessie   | source, all
 agda | 2.5.1.1-3 | stretch  | source, all
 agda | 2.5.4.1-3 | buster   | source, all
 agda | 2.5.4.1-3 | bullseye | source, all
 agda | 2.5.4.1-3 | sid      | source, all

in
Show: More options, help