Register
|
Log in
News for package
kissat
[
2025-01-28
]
Accepted kissat 4.0.2-1 (source) into unstable
(
Shengqi Chen
)
[
2024-10-21
]
kissat 4.0.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2024-10-15
]
Accepted kissat 4.0.1-3 (source) into unstable
(
Shengqi Chen
)
(signed by:
Harry Chen
)
[
2024-10-14
]
Accepted kissat 4.0.1-2 (source) into unstable
(
Shengqi Chen
)
(signed by:
Aron Xu
)
[
2024-10-14
]
kissat 4.0.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-10-12
]
Accepted kissat 4.0.1-1 (source amd64) into unstable
(
Debian FTP Masters
)
(signed by:
Aron Xu
)
