Log In
rpms
/
stp
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History .gitignore
Branch:
a1a98f05945d720d5106b2fb74b08d0fbe616f7d
f10
f11
f12
f13
f14
f15
f16
f17
f18
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
rawhide
a1a98f05945d720d5106b2fb74b08d0fbe616f7d
.gitignore
Update to recent git snapshot. Add a python3 subpackage.
Jerry James
• 6 years ago
a1a98f0
Update to recent git snapshot. Build with cryptominisat5 support.
Jerry James
• 6 years ago
fd826ec
Update to recent git snapshot.
Jerry James
• 8 years ago
839df23
Update to recent git snapshot.
Jerry James
• 8 years ago
826d0ab
Update to recent git snapshot.
Jerry James
• 10 years ago
31e34f5
Update to recent git snapshot.
Jerry James
• 10 years ago
75cefd8
Update to recent git snapshot, now hosted on github.
Jerry James
• 10 years ago
5a3a024
Update to recent subversion snapshot.
Jerry James
• 12 years ago
98f8a24
dist-git conversion
Fedora Release Engineering
• 13 years ago
1c2ac5b