|
|
68c0fb1c48
|
gmp 6.1.2
|
2017-03-14 15:42:26 +01:00 |
|
|
|
bd4586fe01
|
conflicts merged
|
2016-07-27 19:20:29 +02:00 |
|
|
|
7fa15b6acf
|
declaration of dependencies moved to variant files
|
2016-06-03 17:53:01 +02:00 |
|
|
|
72f474a221
|
Libraries/gmp/6/variants:
- change release of 6.1.0 to stable
|
2016-05-12 13:41:25 +02:00 |
|
|
|
5b95399f0d
|
Libraries/gmp: use variants mechanism
|
2016-04-21 13:53:50 +02:00 |
|
