summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
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 James4 years
f18Rebuild for OCaml 4.00.1.Jerry James3 years
f19Rebuild for new glpk.Jerry James2 years
f20Rebuild for new glpk and new picosat.Jerry James2 years
f21Rebuild for picosat 960.Jerry James9 months
f22Rebuild for picosat 960.Jerry James9 months
f23- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildDennis Gilmore7 weeks
master- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildDennis Gilmore7 weeks
[...]
 
TagDownloadAuthorAge
csisat-1_2-2_fc11csisat-1_2-2_fc11.zip  csisat-1_2-2_fc11.tar.gz  csisat-1_2-2_fc11.tar.xz  Jerry James6 years
csisat-1_2-2_fc12csisat-1_2-2_fc12.zip  csisat-1_2-2_fc12.tar.gz  csisat-1_2-2_fc12.tar.xz  Jerry James6 years
F-13-splitF-13-split.zip  F-13-split.tar.gz  F-13-split.tar.xz  Jerry James6 years
F-13-startF-13-start.zip  F-13-start.tar.gz  F-13-start.tar.xz  Jerry James6 years
csisat-1_2-2_fc13csisat-1_2-2_fc13.zip  csisat-1_2-2_fc13.tar.gz  csisat-1_2-2_fc13.tar.xz  Jerry James6 years
F-11-splitF-11-split.zip  F-11-split.tar.gz  F-11-split.tar.xz  Jason ティビツ6 years
F-11-startF-11-start.zip  F-11-start.tar.gz  F-11-start.tar.xz  Jason ティビツ6 years
F-12-splitF-12-split.zip  F-12-split.tar.gz  F-12-split.tar.xz  Jason ティビツ6 years
F-12-startF-12-start.zip  F-12-start.tar.gz  F-12-start.tar.xz  Jason ティビツ6 years
 
AgeCommit messageAuthorFilesLines
2015-06-17- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildHEADmasterf23Dennis Gilmore1-1/+4
2014-11-07Rebuild for picosat 960.f22f21Jerry James1-2/+10
2014-08-16- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_RebuildPeter Robinson1-1/+4
2014-06-07- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_RebuildDennis 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 https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore1-1/+4
[...]
 
Clone
git://pkgs.fedoraproject.org/csisat.git
ssh://pkgs.fedoraproject.org/csisat.git
http://pkgs.fedoraproject.org/git/csisat.git