Debian logo Quality Assurance

dak ls

 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.6.1-1     | bullseye | source, all
 agda | 2.6.2.2-1.1 | bookworm | source, all
 agda | 2.6.4.3-1   | trixie   | source, all
 agda | 2.6.4.3-1   | sid      | source, all

in
Show: More options, help