Register
|
Log in
News for package
dafny
[
2024-09-04
]
Removed 2.3.0+dfsg-0.1 from unstable
(
Debian FTP Masters
)
[
2024-01-06
]
dafny REMOVED from testing
(
Debian testing watch
)
[
2023-12-06
]
dafny 2.3.0+dfsg-0.1 MIGRATED to testing
(
Debian testing watch
)
[
2023-11-11
]
dafny REMOVED from testing
(
Debian testing watch
)
[
2020-01-22
]
dafny 2.3.0+dfsg-0.1 MIGRATED to testing
(
Debian testing watch
)
[
2020-01-20
]
Accepted dafny 2.3.0+dfsg-0.1 (source) into unstable
(
Fabian Wolff
)
(signed by:
Sergio Durigan Junior
)
[
2017-04-11
]
dafny REMOVED from testing
(
Debian testing watch
)
[
2016-12-29
]
dafny 1.9.7-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-10-31
]
dafny REMOVED from testing
(
Debian testing watch
)
[
2016-07-26
]
dafny 1.9.7-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-30
]
dafny REMOVED from testing
(
Debian testing watch
)
[
2016-06-11
]
dafny 1.9.7-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-05
]
Accepted dafny 1.9.7-1 (source all) into unstable
(
Benjamin Barenblat
)
[
2016-04-07
]
Accepted dafny 1.9.5-1 (source all) into unstable, unstable
(
Benjamin Barenblat
)
(signed by:
Alexander Chernyakhovsky
)
