anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26649 from jonahbeckford/change-source-DkSDKFFIOCaml_Std-1.0.0-1

Change src URL: DkSDKFFIOCaml_Std-1.0.0-1

authored by

Anil Madhavapeddy and committed by
GitHub 73a45512 792d948f

+2 -1
+2 -1
packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam
··· 89 89 ########################################################################## 90 90 available: arch = "x86_64" & os = "linux" & os-distribution != "alpine" 91 91 url { 92 - src: "https://gitlab.com/api/v4/projects/45955665/packages/generic/stdexport/1.0.0-1/src-DkSDKFFIOCaml_Std.tar.gz" 92 + # Backported into https://gitlab.com/diskuv/registries/public-opam-pkgs as Dk version 2.1.3 93 + src: "https://gitlab.com/api/v4/projects/62116180/packages/generic/sources/2.1.3/any-DkSDKFFI_OCaml-2.1.3.src.tar.gz" 93 94 checksum: [ 94 95 "sha256=cfaee0952eddae71921bb98f76b5b2de9ebb1039bf196155ad405f54926196c3" 95 96 "sha512=f4b7aa7a8a158ab95d30124de73e27908d999cf64a5ffed8a9c536b86c84f694cd2bb0a46ce259d9e7c0c5276c02451ef077acdece3b2da7e8ddc9d754417047"