gnatcoll-*: 23.0.0 -> 24.0.0

This commit is contained in:
sternenseemann 2023-11-22 13:58:26 +01:00
parent 5c2215595f
commit 7db5b159eb
3 changed files with 6 additions and 6 deletions

View file

@ -34,13 +34,13 @@ in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnatcoll-${component}"; pname = "gnatcoll-${component}";
version = "23.0.0"; version = "24.0.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "AdaCore"; owner = "AdaCore";
repo = "gnatcoll-bindings"; repo = "gnatcoll-bindings";
rev = "v${version}"; rev = "v${version}";
sha256 = "1jnnfsvll4jh6ip0fww4mh2cm61h7dzpxz3zaa2psrc1w54x34nn"; sha256 = "00aakpmr67r72l1h3jpkaw83p1a2mjjvfk635yy5c1nss3ji1qjm";
}; };
nativeBuildInputs = [ nativeBuildInputs = [

View file

@ -9,13 +9,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnatcoll-core"; pname = "gnatcoll-core";
version = "23.0.0"; version = "24.0.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "AdaCore"; owner = "AdaCore";
repo = "gnatcoll-core"; repo = "gnatcoll-core";
rev = "v${version}"; rev = "v${version}";
sha256 = "11q66xszqvpc9jyyzivcakik27d23yniahjdznb47wyqkxphm1dl"; sha256 = "1cks2w0inj9hvamsdxjriwxnx1igmx2khhr6kwxshsl30rs8nzvb";
}; };
nativeBuildInputs = [ nativeBuildInputs = [

View file

@ -55,13 +55,13 @@ stdenv.mkDerivation rec {
if onlyExecutable if onlyExecutable
then builtins.replaceStrings [ "_" ] [ "-" ] component then builtins.replaceStrings [ "_" ] [ "-" ] component
else "gnatcoll-${component}"; else "gnatcoll-${component}";
version = "23.0.0"; version = "24.0.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "AdaCore"; owner = "AdaCore";
repo = "gnatcoll-db"; repo = "gnatcoll-db";
rev = "v${version}"; rev = "v${version}";
sha256 = "1j77ina17myahlsvbyiycgxkncd7ijc7jrvzwa4gagx0fwjk7prh"; sha256 = "0jq76s4s7q2x93jh8la6r0i3jkpvgsfj12vbbaqabh410xccyr3p";
}; };
# Link executables dynamically unless specified by the platform, # Link executables dynamically unless specified by the platform,