Register
|
Log in
News for package
why3
[
2019-11-24
]
why3 1.2.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2019-11-03
]
Accepted why3 1.2.1-2 (source) into unstable
(
Ralf Treinen
)
[
2019-11-01
]
why3 1.2.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-10-30
]
Accepted why3 1.2.1-1 (source) into unstable
(
Ralf Treinen
)
[
2019-10-18
]
why3 1.2.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2019-10-15
]
Accepted why3 1.2.0-3 (source) into unstable
(
Ralf Treinen
)
[
2019-09-01
]
why3 1.2.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2019-08-29
]
Accepted why3 1.2.0-2 (source) into unstable
(
Ralf Treinen
)
[
2019-02-26
]
why3 1.2.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2019-02-15
]
Accepted why3 1.2.0-1 (source) into unstable
(
Ralf Treinen
)
[
2019-02-07
]
Accepted why3 1.1.1-4 (source) into unstable
(
Ralf Treinen
)
[
2019-02-03
]
Accepted why3 1.1.1-3 (source) into unstable
(
Ralf Treinen
)
[
2019-01-10
]
Accepted why3 1.1.1-2 (source) into unstable
(
Ralf Treinen
)
[
2018-12-21
]
why3 1.1.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-12-18
]
Accepted why3 1.1.1-1 (source) into unstable
(
Ralf Treinen
)
[
2018-11-08
]
why3 1.1.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-11-05
]
Accepted why3 1.1.0-1 (source) into unstable
(
Ralf Treinen
)
[
2018-08-18
]
why3 1.0.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2018-08-12
]
Accepted why3 1.0.0-2 (source) into unstable
(
Ralf Treinen
)
[
2018-07-22
]
why3 1.0.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-06-27
]
Accepted why3 1.0.0-1 (source) into unstable
(
Ralf Treinen
)
[
2018-05-29
]
why3 0.88.3-3 MIGRATED to testing
(
Debian testing watch
)
[
2018-05-27
]
Accepted why3 0.88.3-3 (source) into unstable
(
Ralf Treinen
)
[
2018-04-14
]
why3 0.88.3-2 MIGRATED to testing
(
Debian testing watch
)
[
2018-04-08
]
Accepted why3 0.88.3-2 (source) into unstable
(
Ralf Treinen
)
[
2018-01-20
]
why3 0.88.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-01-14
]
Accepted why3 0.88.3-1 (source) into unstable
(
Ralf Treinen
)
[
2018-01-03
]
why3 0.88.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-12-12
]
Accepted why3 0.88.2-1 (source) into unstable
(
Ralf Treinen
)
[
2017-02-01
]
why3 0.87.3-2 MIGRATED to testing
(
Debian testing watch
)
1
2
3