Debian logo Quality Assurance

dak ls

 agda-stdlib | 0.3-3  | squeeze  | source, amd64, i386, kfreebsd-i386, powerpc, sparc
 agda-stdlib | 0.6-2  | wheezy   | source, all
 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.3-2  | bookworm | source, all
 agda-stdlib | 1.3-2  | sid      | source, all

in
Show: More options, help