index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lia.cache
blob: b878cf355f0482bbdd0152c1340a2289b44db5f1 (
plain
)
ofs
hex dump
ascii
0000
84 95 a6 be 00 00 00 03 00 00 00 00 00 00 00 03 00 00 00 03 a0 40 40
.....................@@