Register
|
Log in
News for package
why3
[
2025-04-20
]
Accepted why3 1.8.0-3 (source) into experimental
(
Ralf Treinen
)
[
2025-02-08
]
why3 1.8.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2025-02-02
]
Accepted why3 1.8.0-2 (source) into unstable
(
Stéphane Glondu
)
[
2025-01-22
]
Accepted why3 1.8.0-1 (source) into unstable
(
Ralf Treinen
)
[
2024-08-19
]
why3 1.7.2-2 MIGRATED to testing
(
Debian testing watch
)
[
2024-08-13
]
Accepted why3 1.7.2-2 (source) into unstable
(
Stéphane Glondu
)
[
2024-08-12
]
Accepted why3 1.7.2-1 (source) into unstable
(
Ralf Treinen
)
[
2023-09-13
]
why3 1.6.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2023-09-08
]
Accepted why3 1.6.0-1 (source) into unstable
(
Stéphane Glondu
)
[
2022-12-22
]
why3 1.5.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-10-19
]
Accepted why3 1.5.1-1 (source) into unstable
(
Ralf Treinen
)
[
2022-07-07
]
why3 1.5.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2022-05-03
]
Accepted why3 1.5.0-1 (source) into unstable
(
Ralf Treinen
)
[
2022-03-23
]
why3 1.4.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2022-03-19
]
Accepted why3 1.4.1-2 (source) into unstable
(
Ralf Treinen
)
[
2022-03-19
]
Accepted why3 1.4.1-1 (source) into unstable
(
Ralf Treinen
)
[
2021-12-11
]
Accepted why3 1.4.0-3 (source) into unstable
(
Ralf Treinen
)
[
2021-11-27
]
why3 REMOVED from testing
(
Debian testing watch
)
[
2021-11-24
]
Accepted why3 1.4.0-2 (source) into unstable
(
Stéphane Glondu
)
[
2021-11-23
]
Accepted why3 1.4.0-1 (source) into unstable
(
Stéphane Glondu
)
[
2021-11-10
]
why3 1.3.3-3 MIGRATED to testing
(
Debian testing watch
)
[
2021-10-26
]
Accepted why3 1.3.3-3 (source) into unstable
(
Gianfranco Costamagna
)
[
2021-10-26
]
Accepted why3 1.3.3-2 (source) into unstable
(
Gianfranco Costamagna
)
[
2020-09-30
]
why3 1.3.3-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-09-23
]
Accepted why3 1.3.3-1 (source) into unstable
(
Ralf Treinen
)
[
2020-09-11
]
Accepted why3 1.3.2-1 (source) into unstable
(
Ralf Treinen
)
[
2020-08-18
]
why3 1.3.1-3 MIGRATED to testing
(
Debian testing watch
)
[
2020-08-15
]
Accepted why3 1.3.1-3 (source) into unstable
(
Stéphane Glondu
)
[
2020-04-10
]
why3 1.3.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2020-04-07
]
Accepted why3 1.3.1-2 (source) into unstable
(
Ralf Treinen
)
1
2
3
