Debian logo Quality Assurance

dak ls

 frama-c | 20140301+neon+dfsg-3       | jessie   | source, amd64, armel, armhf, i386
 frama-c | 20161101+silicon+dfsg-5    | stretch  | source
 frama-c | 20161101+silicon+dfsg-5+b1 | stretch  | amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x
 frama-c | 20171101+sulfur+dfsg-2     | buster   | source
 frama-c | 20201209+titanium-4.1      | bullseye | source
 frama-c | 20220511-manganese-3       | bookworm | source
 frama-c | 20220511-manganese-3       | sid      | source

in
Show: More options, help