Register
|
Log in
News for package
haskell-smtlib
[
2024-10-19
]
haskell-smtlib 1.1-4 MIGRATED to testing
(
Debian testing watch
)
[
2024-09-14
]
Accepted haskell-smtlib 1.1-4 (source) into unstable
(
Ilias Tsitsimpis
)
[
2023-12-16
]
haskell-smtlib 1.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2023-08-27
]
Accepted haskell-smtlib 1.1-3 (source) into unstable
(
Ilias Tsitsimpis
)
[
2022-10-01
]
haskell-smtlib 1.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-06-29
]
Accepted haskell-smtlib 1.1-2 (source) into unstable
(
Ilias Tsitsimpis
)
[
2020-08-12
]
haskell-smtlib 1.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-06-08
]
Accepted haskell-smtlib 1.1-1 (source) into unstable
(
Ilias Tsitsimpis
)
[
2018-11-28
]
haskell-smtlib 1.0.9-2 MIGRATED to testing
(
Debian testing watch
)
[
2018-09-30
]
Accepted haskell-smtlib 1.0.9-2 (source) into unstable
(
Ilias Tsitsimpis
)
[
2018-07-03
]
Accepted haskell-smtlib 1.0.9-1 (source) into unstable
(
Clint Adams
)
[
2018-07-03
]
haskell-smtlib 1.0.8-4 MIGRATED to testing
(
Debian testing watch
)
[
2018-04-10
]
Accepted haskell-smtlib 1.0.8-4 (source) into unstable
(
Clint Adams
)
[
2016-11-28
]
haskell-smtlib 1.0.8-3 MIGRATED to testing
(
Debian testing watch
)
[
2016-10-28
]
Accepted haskell-smtlib 1.0.8-3 (source) into unstable
(
Clint Adams
)
[
2016-10-14
]
Accepted haskell-smtlib 1.0.8-2 (source) into experimental
(
Clint Adams
)
[
2016-06-30
]
haskell-smtlib 1.0.8-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-01
]
Accepted haskell-smtlib 1.0.8-1 (amd64 all source) into unstable
(
Joachim Breitner
)
[
2015-12-22
]
haskell-smtlib 1.0.7-3 MIGRATED to testing
(
Debian testing watch
)
[
2015-12-04
]
Accepted haskell-smtlib 1.0.7-3 (amd64 all source) into unstable
(
Clint Adams
)
[
2015-09-02
]
haskell-smtlib 1.0.7-1 MIGRATED to testing
(
Britney
)
[
2015-08-22
]
Accepted haskell-smtlib 1.0.7-2 (amd64 all source) into experimental, experimental
(
Joachim Breitner
)
[
2015-08-22
]
Accepted haskell-smtlib 1.0.7-1 (source amd64 all) into unstable, unstable
(
Kristoffer H Rose
)
