2018-05-27 06:43:26 +01:00
|
|
|
lib: version:
|
|
|
|
|
|
|
|
with lib;
|
2019-09-24 10:24:13 +01:00
|
|
|
|
2018-05-27 06:43:26 +01:00
|
|
|
let
|
2019-09-24 10:24:13 +01:00
|
|
|
fragments = splitVersion version;
|
2018-05-27 06:43:26 +01:00
|
|
|
major = head fragments;
|
|
|
|
minor = concatMapStrings (fixedWidthNumber 2) (tail fragments);
|
|
|
|
in
|
|
|
|
|
|
|
|
major + minor + "00"
|