Register
|
Log in
News for package
cvc5
[
2024-04-24
]
cvc5 1.1.2-2 MIGRATED to testing
(
Debian testing watch
)
[
2024-03-19
]
Accepted cvc5 1.1.2-2 (source) into unstable
(
Scott Talbert
)
[
2024-03-03
]
Accepted cvc5 1.1.2-1 (source) into unstable
(
Scott Talbert
)
[
2024-02-14
]
cvc5 1.1.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-02-12
]
Accepted cvc5 1.1.1-1 (source) into unstable
(
Scott Talbert
)
[
2024-01-23
]
cvc5 1.0.8-1 MIGRATED to testing
(
Debian testing watch
)
[
2024-01-21
]
Accepted cvc5 1.0.8-1 (source) into unstable
(
Scott Talbert
)
[
2023-06-26
]
cvc5 1.0.5-3 MIGRATED to testing
(
Debian testing watch
)
[
2023-06-23
]
Accepted cvc5 1.0.5-3 (source) into unstable
(
Scott Talbert
)
[
2023-06-23
]
Accepted cvc5 1.0.5-2 (source amd64) into unstable
(
Debian FTP Masters
)
(signed by:
Scott Talbert
)
[
2023-06-23
]
cvc5 1.0.5-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-06-20
]
Accepted cvc5 1.0.5-1 (source) into unstable
(
Scott Talbert
)
[
2022-12-23
]
cvc5 1.0.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-12-20
]
Accepted cvc5 1.0.3-1 (source) into unstable
(
Scott Talbert
)
[
2022-12-19
]
Accepted cvc5 1.0.2-2 (source) into unstable
(
Scott Talbert
)
[
2022-12-10
]
Accepted cvc5 1.0.2-1 (source amd64) into unstable
(
Debian FTP Masters
)
(signed by:
Scott Talbert
)
