denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

sanitizer: update to version 12.3.0

Browse Source 
Issue #4827
This commit is contained in:
Christian Prochaska
2023-05-09 12:10:41 +02:00
committed by Christian Helmuth
parent 02a8c279dc
commit 369af8d8c3
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/ports/sanitizer.hash
View File

@@ -1 +1 @@
b43d7218aef4f321f9d5b83947c5db0ecc9da88f
4fcd649f6197a332db0e918ded4c22884e408989

4
repos/libports/ports/sanitizer.port
View File

@@ -1,9 +1,9 @@
LICENSE := LGPL
VERSION := 12.2.0
VERSION := 12.3.0
DOWNLOADS := sanitizer.archive
URL(sanitizer) := ftp://ftp.fu-berlin.de/gnu/gcc/gcc-$(VERSION)/gcc-$(VERSION).tar.xz
SHA(sanitizer) := e549cf9cf3594a00e27b6589d4322d70e0720cdd213f39beb4181e06926230ff
SHA(sanitizer) := 949a5d4f99e786421a93b532b22ffab5578de7321369975b91aec97adfda8c3b
DIR(sanitizer) := src/lib/sanitizer
SIG(sanitizer) := ${URL(gcc)}
KEY(sanitizer) := GNU