diff options
| -rw-r--r-- | emulators/qemu-cheri/Makefile.snapshot | 4 | ||||
| -rw-r--r-- | emulators/qemu-cheri/distinfo | 5 |
2 files changed, 5 insertions, 4 deletions
diff --git a/emulators/qemu-cheri/Makefile.snapshot b/emulators/qemu-cheri/Makefile.snapshot index 4898dd7f6048..b78c95b9dcdd 100644 --- a/emulators/qemu-cheri/Makefile.snapshot +++ b/emulators/qemu-cheri/Makefile.snapshot @@ -4,6 +4,6 @@ # # Generated by: files/gen-Makefile.snapshot.sh. # -SNAPDATE= 20160624 +SNAPDATE= 20160823 -QEMU_COMMIT= b66b366a43c99eb7a1cffbd66f707aadbed56a5c +QEMU_COMMIT= d60a5b54f998d622e01779683a77ccc21109d3a8 diff --git a/emulators/qemu-cheri/distinfo b/emulators/qemu-cheri/distinfo index c975e95d2bba..2525dfa73a1b 100644 --- a/emulators/qemu-cheri/distinfo +++ b/emulators/qemu-cheri/distinfo @@ -1,2 +1,3 @@ -SHA256 (CTSRD-CHERI-qemu-0.d20160624-b66b366a43c99eb7a1cffbd66f707aadbed56a5c_GH0.tar.gz) = 8d444b2f9a926ecbce6ddf0afd274f6e7da4eac5a5026e83c6e7ea360a0426c2 -SIZE (CTSRD-CHERI-qemu-0.d20160624-b66b366a43c99eb7a1cffbd66f707aadbed56a5c_GH0.tar.gz) = 11147400 +TIMESTAMP = 1472060621 +SHA256 (CTSRD-CHERI-qemu-0.d20160823-d60a5b54f998d622e01779683a77ccc21109d3a8_GH0.tar.gz) = 682fa5f4b626230697b5491a14af244995fb93000b6dd845f3ebdaac872d8da0 +SIZE (CTSRD-CHERI-qemu-0.d20160823-d60a5b54f998d622e01779683a77ccc21109d3a8_GH0.tar.gz) = 11147668 |