Debian logo Quality Assurance

dak ls

 mcrl2 | 201409.0-1    | jessie | source, amd64, armel, armhf, i386
 mcrl2 | 201409.0-1    | buster | source
 mcrl2 | 201409.0-1+b2 | buster | amd64, arm64, armel, armhf, i386, mips, mips64el, mipsel, ppc64el, s390x

in
Show: More options, help