|
build
|
gmp: Fix build.
|
2019-07-13 11:37:40 +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 |
|
sources
|
kiss: rename repo to core
|
2019-06-19 10:45:26 +03:00 |
|
version
|
gmp: Fix build.
|
2019-07-13 11:37:24 +03:00 |
