Register
|
Log in
News for package
cvc4
[
2022-11-01
]
cvc4 1.8-3 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-29
]
Accepted cvc4 1.8-3 (source) into unstable
(
Scott Talbert
)
[
2020-09-30
]
cvc4 1.8-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-09-18
]
Accepted cvc4 1.8-2 (source) into unstable
(
Fabian Wolff
)
(signed by:
Sergio Durigan Junior
)
[
2020-09-16
]
Accepted cvc4 1.8-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Sergio Durigan Junior
)
[
2018-08-16
]
cvc4 1.6-2 MIGRATED to testing
(
Debian testing watch
)
[
2018-08-13
]
Accepted cvc4 1.6-2 (source amd64) into unstable
(
Fabian Wolff
)
(signed by:
Sergio Durigan Junior
)
[
2018-08-11
]
Accepted cvc4 1.6-1 (source amd64) into unstable, unstable
(
Fabian Wolff
)
(signed by:
Sergio Durigan Junior
)
[
2017-11-04
]
cvc4 1.5-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-10-29
]
Accepted cvc4 1.5-1 (source amd64) into unstable, unstable
(
Fabian Wolff
)
(signed by:
Ralf Treinen
)
