repo/core/mpfr
2019-06-19 10:45:26 +03:00
..
build kiss: rename repo to core 2019-06-19 10:45:26 +03:00
checksums kiss: rename repo to core 2019-06-19 10:45:26 +03:00
depends kiss: rename repo to core 2019-06-19 10:45:26 +03:00
manifest kiss: rename repo to core 2019-06-19 10:45:26 +03:00
sources kiss: rename repo to core 2019-06-19 10:45:26 +03:00
version kiss: rename repo to core 2019-06-19 10:45:26 +03:00