Log In
rpms
/
csisat
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History csisat.spec
Branch:
41189997632adeb2f1140c7670c60bdfe641b505
f11
f12
f13
f14
f15
f16
f17
f18
f19
f20
f21
f22
f23
main
rawhide
41189997632adeb2f1140c7670c60bdfe641b505
csisat.spec
Rebuild for OCaml 4.00.1.
Jerry James
• 11 years ago
4118999
Rebuild for new picosat.
Jerry James
• 11 years ago
3f5632d
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore
• 11 years ago
a7c375f
Rebuild for GCC 4.7 and Ocaml 3.12.1.
Jerry James
• 12 years ago
aa85ea4
Change supported arches list to %{ocaml_arches}.
Jerry James
• 12 years ago
89c885a
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
Dennis Gilmore
• 13 years ago
18e15ba
Unfix the Source0 URL. It was just a temporary failure at Google.
Jerry James
• 13 years ago
827a1a4
* Mon Jan 31 2011 Jerry James <loganjerry@gmail.com> - 1.2-4
Jerry James
• 13 years ago
5c6fb11
Parallel make still isn't fixed; disable until I can figure it out.
Jerry James
• 13 years ago
aef5518
* Thu Jan 27 2011 Jerry James <loganjerry@gmail.com> - 1.2-3
Jerry James
• 13 years ago
3129746
Initial import.
Jerry James
• 14 years ago
484e557