diff options
Diffstat (limited to 'meta')
| -rw-r--r-- | meta/conf/distro/include/private/distro_toolchain_devel.inc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/meta/conf/distro/include/private/distro_toolchain_devel.inc b/meta/conf/distro/include/private/distro_toolchain_devel.inc index 2ef497890..8c9a5b19b 100644 --- a/meta/conf/distro/include/private/distro_toolchain_devel.inc +++ b/meta/conf/distro/include/private/distro_toolchain_devel.inc @@ -256,4 +256,15 @@ RECIPE_NO_OF_PATCHES_pn-gnu-config="4" RECIPE_LATEST_RELEASE_DATE_pn-gnu-config="2008/01/23" RECIPE_TIME_BETWEEN_LAST_TWO_RELEASES_pn-gnu-config="??? cvs tree" +RECIPE_STATUS_pn-mpfr="red" # upgrade needed +RECIPE_LATEST_VERSION_pn-mpfr="3.0.0" +RECIPE_NO_OF_PATCHES_pn-mpfr="0" +RECIPE_LATEST_RELEASE_DATE_pn-mpfr="2010/06/10" +RECIPE_TIME_BETWEEN_LAST_TWO_RELEASES_pn-mpfr="???" + +RECIPE_STATUS_pn-gmp="red" # upgrade needed +RECIPE_LATEST_VERSION_pn-gmp="5.0.1" +RECIPE_NO_OF_PATCHES_pn-gmp="4" +RECIPE_LATEST_RELEASE_DATE_pn-gmp="2010/02/06" +RECIPE_TIME_BETWEEN_LAST_TWO_RELEASES_pn-gmp="1 month" |