Register
|
Log in
News for package
coq-float
[
2011-04-20
]
Accepted coq-float 1:8.2-1.2-7 (source all)
(
Stéphane Glondu
)
[
2011-03-21
]
coq-float 1:8.2-1.2-6 MIGRATED to testing
(
Debian testing watch
)
[
2011-03-10
]
Accepted coq-float 1:8.2-1.2-6 (source all)
(
Stéphane Glondu
)
[
2010-08-01
]
coq-float 1:8.2-1.2-5 MIGRATED to testing
(
Debian testing watch
)
[
2010-07-03
]
Accepted coq-float 1:8.2-1.2-5 (source all)
(
Stéphane Glondu
)
[
2010-02-25
]
coq-float 1:8.2-1.2-4 MIGRATED to testing
(
Debian testing watch
)
[
2010-02-10
]
Accepted coq-float 1:8.2-1.2-4 (source all)
(
Stéphane Glondu
)
[
2009-08-04
]
coq-float 1:8.2-1.2-3 MIGRATED to testing
(
Debian testing watch
)
[
2009-08-03
]
coq-float 1:8.2-1.2-3 MIGRATED to testing
(
Debian testing watch
)
[
2009-07-04
]
Accepted coq-float 1:8.2-1.2-3 (source all)
(
Stephane Glondu
)
[
2009-07-01
]
Accepted coq-float 1:8.2-1.2-2 (source all)
(
Stephane Glondu
)
[
2009-04-06
]
coq-float 1:8.2-1.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2009-03-13
]
Accepted coq-float 1:8.2-1.2-1 (source all)
(
Stephane Glondu
)
(signed by:
Samuel Mimram
)
[
2008-01-30
]
coq-float 1:8.1-1.0-4 MIGRATED to testing
(
Debian testing watch
)
[
2008-01-19
]
Accepted coq-float 1:8.1-1.0-4 (source all)
(
Samuel Mimram
)
[
2007-11-29
]
coq-float 1:8.1-1.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2007-11-18
]
Accepted coq-float 1:8.1-1.0-3 (source all)
(
Samuel Mimram
)
[
2007-09-20
]
coq-float 1:8.1-1.0-2 MIGRATED to testing
(
Debian testing watch
)
[
2007-09-10
]
coq-float 1:8.1-1.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2007-09-09
]
Accepted coq-float 1:8.1-1.0-2 (source all)
(
Samuel Mimram
)
[
2007-08-30
]
Accepted coq-float 1:8.1-1.0-1 (source all)
(
Samuel Mimram
)
[
2007-08-25
]
Accepted coq-float 2001-1 (source i386)
(
Samuel Mimram
)
1
2
