Packages overview for Stéphane Glondu
Stéphane Glondu <glondu@debian.org> — Bugs: open - RC - all - submitted - usertags - WNPP -
main (168)
non-free (1)
Source Package | Bugs | Version | Ubuntu | VCS | Buildd | Lintian | Deb check |
Piu parts |
CI | Popcon | Watch | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
All | RC | oldstable | stable | testing | unstable | exp | E+W | Rep | |||||||||
coq-doc |
- ![]() |
- | - | 8.16.1-1 | 8.20.0-2 | - | 8.20.0-2 1 bug |
Git failed ✔ |
1×✓ | ✔ | ✔ | - |
-- (-) |
28 | 8.20.1 |
Owned WNPP bugs (1)
Source Package | Bugs | Version | Ubuntu | VCS | Buildd | Lintian | Deb check |
Piu parts |
CI | Popcon | Watch | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
All | RC | oldstable | stable | testing | unstable | exp | E+W | Rep | |||||||||
ocaml-yaml |
- ![]() |
- | - | - | - | Buildd Logs |
✔ | ✔ | - |
-- - |
- | - |
Non-maintainer uploads (2)
Source Package | Bugs | Version | Ubuntu | VCS | Buildd | Lintian | Deb check |
Piu parts |
CI | Popcon | Watch | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
All | RC | oldstable | stable | testing | unstable | exp | E+W | Rep | |||||||||
misery |
- ![]() |
- | 0.2-1.1 | 0.2-1.2 | - | 0.2-1.2 1 bug |
- | 20×✓ | ✔ | ✔ | ✔ |
-- ✔ |
10 | - | |||
orpie |
2 ![]() |
- | 1.6.1-1 | 1.6.1-2.1 | - | 1.6.1-2.1 - |
- | ⎇✔✔✔∉∉∉∉∉✔✔ ∉✔∉✔✔✔✔∉✔∉ |
✔ | S T U | ✔ |
-- ✔ |
156 | ERROR |
QA uploads (1)
Source Package | Bugs | Version | Ubuntu | VCS | Buildd | Lintian | Deb check |
Piu parts |
CI | Popcon | Watch | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
All | RC | oldstable | stable | testing | unstable | exp | E+W | Rep | |||||||||
polygen |
4 ![]() |
- | 1.0.6.ds2-20 | 1.0.6.ds2-23 | 1.0.6.ds2-25 | - | 1.0.6.ds2-25 1 bug |
Git ✔ |
✔✔✔✔✔✔✔✘✔✔✔ ✔✔✔✔✔✔✔✔✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
171 | ERROR |