ssreflect in bookworm-rcmd |
Source: | ssreflect | piuparts summary: | | Version: | 1.15.0-1 |
Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
Uploaders: | Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org> |
Binary: | libcoq-mathcomp | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |
Binary: | libcoq-mathcomp-algebra | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |
Binary: | libcoq-mathcomp-character | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |
Binary: | libcoq-mathcomp-field | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |
Binary: | libcoq-mathcomp-fingroup | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |
Binary: | libcoq-mathcomp-solvable | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |
Binary: | libcoq-mathcomp-ssreflect | piuparts-result: | successfully-tested 1.15.0-1+b4 | Version: | 1.15.0-1+b4 |