Merge pull request #274134: argos: unstable-20230404→unstable-2023-09-26

This commit is contained in:
piegames 2023-12-19 10:30:34 +01:00 committed by GitHub
commit 2f1a96018c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,14 +1,14 @@
{ fetchFromGitHub, lib, stdenv }:
stdenv.mkDerivation rec {
pname = "argos-unstable";
version = "20230404";
pname = "argos";
version = "unstable-2023-09-26";
src = fetchFromGitHub {
owner = "p-e-w";
repo = "argos";
rev = "e2d68ea23eed081fccaec06c384e2c5d2acb5b6b";
hash = "sha256-OJ/bUQkBQdlfEIqmneyUeIJoytTxyfibdyUDf3SJc0Q=";
rev = "adfaa31e8c08f7b59e9492891a7e6f753c29b35e"; # https://github.com/p-e-w/argos/pull/150
hash = "sha256-st8AeMRtkvM4M/Z70qopjw9Yx0t9l0DsUke4ClQtcBU=";
};
installPhase = ''