diff --git a/packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam b/packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam index 3b0cfc1cb5b..5a48db67c23 100644 --- a/packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam +++ b/packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam @@ -89,7 +89,8 @@ dev-repo: ########################################################################## available: arch = "x86_64" & os = "linux" & os-distribution != "alpine" url { - src: "https://gitlab.com/api/v4/projects/45955665/packages/generic/stdexport/1.0.0-1/src-DkSDKFFIOCaml_Std.tar.gz" + # Backported into https://gitlab.com/diskuv/registries/public-opam-pkgs as Dk version 2.1.3 + src: "https://gitlab.com/api/v4/projects/62116180/packages/generic/sources/2.1.3/any-DkSDKFFI_OCaml-2.1.3.src.tar.gz" checksum: [ "sha256=cfaee0952eddae71921bb98f76b5b2de9ebb1039bf196155ad405f54926196c3" "sha512=f4b7aa7a8a158ab95d30124de73e27908d999cf64a5ffed8a9c536b86c84f694cd2bb0a46ce259d9e7c0c5276c02451ef077acdece3b2da7e8ddc9d754417047"