rpms / csisat

Clone
Source Code
GIT

Commits 28

f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 main rawhide
Dead upstream, no longer used by anything
Jerry James • 8 years ago  
1487ff5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
Dennis Gilmore • 8 years ago  
26f80b7
Rebuild for picosat 960.
Jerry James • 9 years ago  
12356a0
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Peter Robinson • 9 years ago  
7dd6b8f
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Dennis Gilmore • 9 years ago  
0e83b35
Remove ocaml_arches macro (bz 1087794).
Jerry James • 10 years ago  
09ddcbd
Rebuild for new glpk and new picosat.
Jerry James • 10 years ago  
1232bba
Rebuild for new glpk.
Jerry James • 11 years ago  
06f7e6d
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
Merge remote branch 'origin/f12/master'
Jerry James • 13 years ago  
509196a
Merge remote branch 'origin/f13/master'
Jerry James • 13 years ago  
e73f5bc
dist-git conversion
Fedora Release Engineering • 13 years ago  
549cf85
dist-git conversion
Fedora Release Engineering • 13 years ago  
8175cac
dist-git conversion
Fedora Release Engineering • 13 years ago  
690ae30
Initialize branch F-13 for csisat
Jesse Keating • 14 years ago  
c6b0640
Initial import to F-11 and F-12 branches.
Jerry James • 14 years ago  
10e94fd
Initial import.
Jerry James • 14 years ago  
484e557
Initialize branch F-12 for csisat
Jason ティビツ • 14 years ago  
4436622
Setup of module csisat
Jason ティビツ • 14 years ago  
790ce87
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.