Debian logo Quality Assurance

dak ls

 agda-stdlib | 0.8-2   | jessie   | source, all
 agda-stdlib | 0.12-2  | stretch  | source, all
 agda-stdlib | 0.17-1  | buster   | source, all
 agda-stdlib | 1.3-2   | bullseye | source, all
 agda-stdlib | 1.7.1-1 | sid      | source, all

in
Show: More options, help