Register
|
Log in
News for package
why3
[
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
)
[
2017-01-21
]
Accepted why3 0.87.3-2 (source) into unstable
(
Ralf Treinen
)
[
2017-01-14
]
why3 0.87.2-3 MIGRATED to testing
(
Debian testing watch
)
[
2017-01-12
]
Accepted why3 0.87.3-1 (source) into experimental
(
Ralf Treinen
)
[
2017-01-03
]
Accepted why3 0.87.2-3 (source) into unstable
(
Ralf Treinen
)
[
2016-09-27
]
why3 0.87.2-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-09-21
]
Accepted why3 0.87.2-2 (source) into unstable
(
Ralf Treinen
)
[
2016-09-07
]
why3 0.87.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-09-01
]
Accepted why3 0.87.2-1 (source) into unstable
(
Ralf Treinen
)
[
2016-07-25
]
why3 0.87.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-07-19
]
Accepted why3 0.87.1-2 (source) into unstable
(
Ralf Treinen
)
[
2016-06-15
]
why3 0.87.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-08
]
Accepted why3 0.87.1-1 (source) into unstable
(
Ralf Treinen
)
[
2016-06-02
]
why3 0.87.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2016-04-14
]
Accepted why3 0.87.0-3 (source amd64 all) into unstable
(
Ralf Treinen
)
[
2016-04-14
]
Accepted why3 0.87.0-2 (source amd64 all) into unstable, unstable
(
Ralf Treinen
)
[
2016-04-02
]
why3 0.87.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-03-21
]
Accepted why3 0.87.0-1 (source amd64 all) into unstable, unstable
(
Ralf Treinen
)
1
2
3
