BranchCommit messageAuthorAge
f11dist-git conversionFedora Release Engineering5 years
f15Change supported arches list to %{ocaml_arches}.Jerry James4 years
f16Change supported arches list to %{ocaml_arches}.Jerry James4 years
f17Rebuild for GCC 4.7 and Ocaml 3.12.1.Jerry James3 years
f18Rebuild for OCaml 4.00.1.Jerry James2 years
f19Rebuild for new glpk.Jerry James2 years
f20Rebuild for new glpk and new picosat.Jerry James22 months
f21Rebuild for picosat 960.Jerry James6 months
f22Rebuild for picosat 960.Jerry James6 months
masterRebuild for picosat 960.Jerry James6 months
TagDownloadAuthorAge  csisat-1_2-2_fc11.tar.gz  csisat-1_2-2_fc11.tar.xz  Jerry James5 years  csisat-1_2-2_fc12.tar.gz  csisat-1_2-2_fc12.tar.xz  Jerry James5 years  F-13-split.tar.gz  F-13-split.tar.xz  Jerry James5 years  F-13-start.tar.gz  F-13-start.tar.xz  Jerry James5 years  csisat-1_2-2_fc13.tar.gz  csisat-1_2-2_fc13.tar.xz  Jerry James5 years  F-11-split.tar.gz  F-11-split.tar.xz  Jason ティビツ5 years  F-11-start.tar.gz  F-11-start.tar.xz  Jason ティビツ5 years  F-12-split.tar.gz  F-12-split.tar.xz  Jason ティビツ5 years  F-12-start.tar.gz  F-12-start.tar.xz  Jason ティビツ5 years
AgeCommit messageAuthorFilesLines
2014-11-07Rebuild for picosat 960.HEADmasterf22f21Jerry James1-2/+10
2014-08-16- Rebuilt for Robinson1-1/+4
2014-06-07- Rebuilt for Gilmore1-1/+4
2014-04-18Remove ocaml_arches macro (bz 1087794).Jerry James1-3/+4
2013-07-31Rebuild for new glpk and new picosat.f20Jerry 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