index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test-suite
/
output
/
rewrite-2172.out
blob: 27b0dc1b7b06b53de85be82067343eb72a241937 (
plain
)
1
2
The command has indeed failed with message: Unable to find an instance for the variable E.