deps.out « deps « misc « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/misc/deps/deps.out

blob: 68b48d604e8a219329769b6a7094f3718e2b9d25 (plain)

1	`misc/deps/client/bar.vo misc/deps/client/bar.glob: misc/deps/client/bar.v misc/deps/client/foo.vo misc/deps/lib/foo.vo`