Register
|
Log in
News for package
coq-float
[
2022-06-05
]
Removed 1:8.10.0-1 from unstable
(
Debian FTP Masters
)
[
2020-09-30
]
coq-float REMOVED from testing
(
Debian testing watch
)
[
2020-03-24
]
coq-float 1:8.10.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-03-16
]
Accepted coq-float 1:8.10.0-1 (source) into unstable
(
Ralf Treinen
)
[
2020-02-06
]
coq-float 1:8.9.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2020-02-01
]
Accepted coq-float 1:8.9.0-1 (source) into unstable
(
Stéphane Glondu
)
[
2016-03-19
]
coq-float REMOVED from testing
(
Debian testing watch
)
[
2015-11-01
]
coq-float 1:8.4-5 MIGRATED to testing
(
Britney
)
[
2015-10-14
]
Accepted coq-float 1:8.4-5 (source all) into unstable
(
Stéphane Glondu
)
[
2014-08-11
]
coq-float 1:8.4-4 MIGRATED to testing
(
Britney
)
[
2014-07-30
]
Accepted coq-float 1:8.4-4 (source all) into unstable
(
Stéphane Glondu
)
[
2014-01-26
]
coq-float 1:8.4-3 MIGRATED to testing
(
Debian testing watch
)
[
2014-01-20
]
Accepted coq-float 1:8.4-3 (source all)
(
Stéphane Glondu
)
[
2013-12-12
]
coq-float 1:8.4-2 MIGRATED to testing
(
Debian testing watch
)
[
2013-12-07
]
Accepted coq-float 1:8.4-2 (source all)
(
Stéphane Glondu
)
[
2013-05-25
]
coq-float 1:8.4-1 MIGRATED to testing
(
Debian testing watch
)
[
2013-05-08
]
Accepted coq-float 1:8.4-1 (source all)
(
Stéphane Glondu
)
[
2012-06-17
]
coq-float 1:8.3pl1-4 MIGRATED to testing
(
Debian testing watch
)
[
2012-06-06
]
Accepted coq-float 1:8.3pl1-4 (source all)
(
Stéphane Glondu
)
[
2012-04-09
]
coq-float 1:8.3pl1-3 MIGRATED to testing
(
Debian testing watch
)
[
2012-03-30
]
Accepted coq-float 1:8.3pl1-3 (source all)
(
Stéphane Glondu
)
[
2012-03-17
]
coq-float 1:8.3pl1-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-03-06
]
Accepted coq-float 1:8.3pl1-2 (source all)
(
Stéphane Glondu
)
[
2012-01-20
]
coq-float 1:8.3pl1-1 MIGRATED to testing
(
Debian testing watch
)
[
2012-01-09
]
Accepted coq-float 1:8.3pl1-1 (source all)
(
Stéphane Glondu
)
[
2012-01-07
]
coq-float 1:8.2-1.2-9 MIGRATED to testing
(
Debian testing watch
)
[
2011-12-25
]
Accepted coq-float 1:8.2-1.2-9 (source all)
(
Stéphane Glondu
)
[
2011-11-09
]
coq-float 1:8.2-1.2-8 MIGRATED to testing
(
Debian testing watch
)
[
2011-11-03
]
Accepted coq-float 1:8.2-1.2-8 (source all)
(
Stéphane Glondu
)
[
2011-04-30
]
coq-float 1:8.2-1.2-7 MIGRATED to testing
(
Debian testing watch
)
1
2
