| coq in sid-nodoc |
| Source: | coq | piuparts summary: |  | Version: | 8.20.1+dfsg-1 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org> |
| Binary: | coq | piuparts-result: | successfully-tested 8.20.1+dfsg-1 | Version: | 8.20.1+dfsg-1 |
| Binary: | coqide | piuparts-result: | successfully-tested 8.20.1+dfsg-1 | Version: | 8.20.1+dfsg-1 |
| Binary: | libcoq-core-ocaml | piuparts-result: | successfully-tested 8.20.1+dfsg-1 | Version: | 8.20.1+dfsg-1 |
| Binary: | libcoq-core-ocaml-dev | piuparts-result: | successfully-tested 8.20.1+dfsg-1 | Version: | 8.20.1+dfsg-1 |
| Binary: | libcoq-stdlib | piuparts-result: | successfully-tested 8.20.1+dfsg-1 | Version: | 8.20.1+dfsg-1 |
Quality Assurance
