Update emulators/qemu-cheri to version 0.d20160514
authorDPorts Builder <nobody@home.ok>
Sun, 22 May 2016 05:59:08 +0000 (22:59 -0700)
committerDPorts Builder <nobody@home.ok>
Sun, 22 May 2016 05:59:08 +0000 (22:59 -0700)
commitc5051b57f17c35df9596b714bde8f8a1153adaed
tree2e6902c1c03573c043d6ea3b74bdae056b3d3c6b
parent2e5931fb24548f4a0baaccd67ceb6fbc125dcfa3
Update emulators/qemu-cheri to version 0.d20160514
emulators/qemu-cheri/Makefile
emulators/qemu-cheri/Makefile.snapshot
emulators/qemu-cheri/distinfo