Register
|
Log in
News for package
why3
[
2020-04-07
]
Accepted why3 1.3.1-1 (source) into unstable
(
Ralf Treinen
)
[
2020-03-24
]
why3 1.2.1-6 MIGRATED to testing
(
Debian testing watch
)
[
2020-03-08
]
Accepted why3 1.2.1-6 (source) into unstable
(
Ralf Treinen
)
[
2020-03-08
]
Accepted why3 1.2.1-5 (source) into unstable
(
Ralf Treinen
)
[
2020-03-08
]
Accepted why3 1.2.1-4 (source) into unstable
(
Ralf Treinen
)
[
2020-02-16
]
why3 1.2.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2020-02-10
]
Accepted why3 1.2.1-3 (source) into unstable
(
Stéphane Glondu
)
[
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
)
1
2
3
