BranchCommit messageAuthorAge
f11dist-git conversionFedora Release Engineering4 years
f12dist-git conversionFedora Release Engineering4 years
f14dist-git conversionFedora Release Engineering4 years
f15Change supported arches list to %{ocaml_arches}.Jerry James2 years
f16Change supported arches list to %{ocaml_arches}.Jerry James2 years
f17Rebuild for GCC 4.7 and Ocaml 3.12.1.Jerry James2 years
f18Rebuild for OCaml 4.00.1.Jerry James16 months
f19Rebuild for new glpk.Jerry James14 months
f20Rebuild for new glpk and new picosat.Jerry James9 months
masterRebuild for new glpk and new picosat.Jerry James9 months
TagDownloadAuthorAge  csisat-1_2-2_fc11.tar.gz  csisat-1_2-2_fc11.tar.xz  Jerry James4 years  csisat-1_2-2_fc12.tar.gz  csisat-1_2-2_fc12.tar.xz  Jerry James4 years  F-13-split.tar.gz  F-13-split.tar.xz  Jerry James4 years  F-13-start.tar.gz  F-13-start.tar.xz  Jerry James4 years  csisat-1_2-2_fc13.tar.gz  csisat-1_2-2_fc13.tar.xz  Jerry James4 years  F-11-split.tar.gz  F-11-split.tar.xz  Jason ティビツ4 years  F-11-start.tar.gz  F-11-start.tar.xz  Jason ティビツ4 years  F-12-split.tar.gz  F-12-split.tar.xz  Jason ティビツ4 years  F-12-start.tar.gz  F-12-start.tar.xz  Jason ティビツ4 years
AgeCommit messageAuthorFilesLines
2013-07-31Rebuild for new glpk and new picosat.HEADmasterf20Jerry James3-2/+611
2013-02-02Rebuild for new glpk.f19Jerry James1-1/+4
2012-12-14Rebuild for OCaml 4.00.1.f18Jerry James1-1/+4
2012-08-20Rebuild for new picosat.Jerry James1-1/+4
2012-07-18- Rebuilt for Gilmore1-1/+4
2012-01-06Rebuild for GCC 4.7 and Ocaml 3.12.1.f17Jerry James1-2/+5
2011-11-14Change supported arches list to %{ocaml_arches}.f16f15Jerry James1-8/+6
2011-02-08- Rebuilt for Gilmore1-1/+4
2011-01-31Unfix the Source0 URL. It was just a temporary failure at Google.Jerry James1-2/+1
2011-01-31* Mon Jan 31 2011 Jerry James <> - 1.2-4Jerry James1-9/+9