guix - GNU transactional package management, distribution, deployment, and more!

summary refs log tree commit diff

path: root/test-rocq.bash

diff options

Diffstat (limited to 'test-rocq.bash')

0 files changed, 0 insertions, 0 deletions