diff options
| -rw-r--r-- | packages/mpfr/3.1.6/version.desc | 1 | ||||
| -rw-r--r-- | packages/mpfr/4.0.2/version.desc | 1 | ||||
| -rw-r--r-- | packages/mpfr/4.1.0/version.desc | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/packages/mpfr/3.1.6/version.desc b/packages/mpfr/3.1.6/version.desc index e69de29b..fcfe3891 100644 --- a/packages/mpfr/3.1.6/version.desc +++ b/packages/mpfr/3.1.6/version.desc @@ -0,0 +1 @@ +obsolete='yes' diff --git a/packages/mpfr/4.0.2/version.desc b/packages/mpfr/4.0.2/version.desc index e69de29b..fcfe3891 100644 --- a/packages/mpfr/4.0.2/version.desc +++ b/packages/mpfr/4.0.2/version.desc @@ -0,0 +1 @@ +obsolete='yes' diff --git a/packages/mpfr/4.1.0/version.desc b/packages/mpfr/4.1.0/version.desc index e69de29b..fcfe3891 100644 --- a/packages/mpfr/4.1.0/version.desc +++ b/packages/mpfr/4.1.0/version.desc @@ -0,0 +1 @@ +obsolete='yes' |