| ssreflect in sid |
| Source: | ssreflect | piuparts summary: |  | Version: | 2.3.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 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
| Binary: | libcoq-mathcomp-algebra | piuparts-result: | successfully-tested 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
| Binary: | libcoq-mathcomp-character | piuparts-result: | successfully-tested 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
| Binary: | libcoq-mathcomp-field | piuparts-result: | successfully-tested 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
| Binary: | libcoq-mathcomp-fingroup | piuparts-result: | successfully-tested 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
| Binary: | libcoq-mathcomp-solvable | piuparts-result: | successfully-tested 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
| Binary: | libcoq-mathcomp-ssreflect | piuparts-result: | successfully-tested 2.3.0-1+b6 | Version: | 2.3.0-1+b6 |
Quality Assurance
