Log In
rpms
/
cvc4
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History README.md
Branch:
f38
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
main
rawhide
sharkcz-secondary-arch
f38
README.md
Remove . from %%cmake invocation to fix FTBFS (rhbz#2060821).
Jerry James
• 2 years ago
c1a0591