cleanup of variants

This commit is contained in:
2019-01-08 10:46:46 +01:00
parent 9d067a6f42
commit 34dc7fa6ae
15 changed files with 145 additions and 152 deletions

View File

@@ -1,5 +0,0 @@
gmp/6.0.0 stable
gmp/6.1.0 stable
gmp/6.1.1 stable
gmp/6.1.2 stable
gmp/6.1.2-1 stable

View File

@@ -1,2 +0,0 @@
mpfr/4.0.0 stable b:gmp/6.1.2
mpfr/4.0.1 stable b:gmp/6.1.2