Packages overview for Ilias Tsitsimpis
Ilias Tsitsimpis <iliastsi@debian.org> — Bugs: open - RC - all - submitted - WNPP -
Ilias Tsitsimpis <i.tsitsimpis@gmail.com> — Bugs: open - RC - all - submitted - WNPP -

main (192)
Sponsored/other uploads (528)
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 | |||||||||
agda-stdlib |
1 ![]() |
- | 0.17-1 | 1.3-2 | 1.7.1-1 | - | 1.7.1-1 - |
Git 1.7.1-1+2 |
1×✓ | ✔ | S T U | ✔ MA |
-- ✔ |
639 | 1.7.2 | ||
allure |
- ![]() |
- | 0.8.3.0-3 | 0.9.5.0-2 | 0.11.0.0-1 | - | 0.11.0.0-1 - |
Git !6 ✔ |
⎇✔✔∉✔✔✔✔✔✔✔∉ ∉✔✔✔∉✔✔✔✔∉✔∉ |
✔ | ✔ | ✔ |
-- ✔ |
82 | 0.11.0.0 | ||
bustle |
- ![]() |
- | 0.7.4-1 | 0.8.0-1 | 0.8.0-2 | - | 0.8.0-2 1 bug |
Git !6 ✔ |
⎇✔✔∉✔✔✔✔✘✔∉∉ ∉✔✔✔∉✔✔✔✔∉✔✔ |
✔ | ✔ | X |
-- ✔ |
101 | 0.8.0 | ||
darcs |
10 ![]() |
- | 2.14.1-3 | 2.14.5-1 | 2.16.5-1 | - | 2.16.5-1 3 bugs |
Git !5 ✔ |
⎇✔✔∉✔✔✔∉✔✔✔∉ ∉✔✔✔∉∉✔✔✔∉✔∉ |
✔ | ✔ | ✔ |
-- ✔ |
1461 | 2.16.5 | ||
darcs-monitor |
- ![]() |
- | 0.4.2-14 | - | 0.4.2-14 - |
Git !6 0.4.2-15 |
⎇✔✔∉✔✔✔✔✔✔✔✔ ✔✔✔✔✔✔✔✔✔⌚✔✔ |
✔ | ✔ | ✔ |
-- ✔ |
8 | 0.4.2 | ||||
djinn |
- ![]() |