Merge pull request #166450 from rgrinberg/topkg-1.0.5

This commit is contained in:
Artturi 2023-01-27 20:08:27 +02:00 committed by GitHub
commit c11e244d6e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,7 +9,10 @@ build system is required, the attribute `run` can be used.
let
param =
if lib.versionAtLeast ocaml.version "4.03" then {
if lib.versionAtLeast ocaml.version "4.05" then {
version = "1.0.5";
sha256 = "sha256-RSCCYm5lGsSxYzwrSuTK16vrH7ahMEbmmfle7Fi10cc=";
} else if lib.versionAtLeast ocaml.version "4.03" then {
version = "1.0.3";
sha256 = "0b77gsz9bqby8v77kfi4lans47x9p2lmzanzwins5r29maphb8y6";
} else {