Merge pull request #222565 from r-ryantm/auto-update/re-flex

re-flex: 3.3.1 -> 3.3.2
This commit is contained in:
Weijia Wang 2023-03-24 21:36:15 +02:00 committed by GitHub
commit 6b13d5340b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -9,13 +9,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "re-flex"; pname = "re-flex";
version = "3.3.1"; version = "3.3.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Genivia"; owner = "Genivia";
repo = "RE-flex"; repo = "RE-flex";
rev = "v${version}"; rev = "v${version}";
sha256 = "w3ecuUa7lBtRv071acBIZGcpjBZD4UvVQdUzT7qWiMo="; sha256 = "sha256-nThI0o9m2AM8LTew3TX/lz80kxGoq87geaYw/VokIVk=";
}; };
nativeBuildInputs = [ boost autoconf automake ]; nativeBuildInputs = [ boost autoconf automake ];