File history - rpms/csisat - src.fedoraproject.org

rpms / csisat

History csisat.spec

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

Initial import.

Jerry James • 14 years ago

484e557

Powered by Pagure 5.13.3

Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint

© Red Hat, Inc. and others.