Commits - rpms/frama-c - src.fedoraproject.org

Merge branch 'f21'

Jerry James • 9 years ago

5298e18

Adapt to why3 0.84.

Jerry James • 9 years ago

62155a0

Rebuild for why3 0.84.

Jerry James • 9 years ago

50aea54

Rebuild for final ocaml 4.02.0 release.

Jerry James • 9 years ago

11fb2e7

ocaml-4.02.0+rc1 rebuild.

Jerry James • 9 years ago

612f6b0

- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Peter Robinson • 9 years ago

e018021

- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Peter Robinson • 9 years ago

b232d57

ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Richard W.M. Jones • 9 years ago

070df9e

BR emacs instead of emacs-nox, which has gone away.

Jerry James • 9 years ago

abb4427

Bump release and rebuild.

Richard W.M. Jones • 9 years ago

3dddd8c

Bump release and rebuild.

Richard W.M. Jones • 9 years ago

ca01d72

Rebuild for OCaml 4.02.0 beta.

Richard W.M. Jones • 9 years ago

0c9bcde

Add comment to desktop file.

Jerry James • 9 years ago

9afafea

Set LDFLAGS in a less destructive way (bz 1105265).

Jerry James • 9 years ago

fd1f8d2

- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

Dennis Gilmore • 9 years ago

1ededf0

Rebuild for coq 8.4pl4.

Jerry James • 9 years ago

02a7d02

Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt.

Jerry James • 9 years ago

e403561

Remove ocaml_arches macro (RHBZ#1087794).

Richard W.M. Jones • 10 years ago

4941802

Be in the right directory to manipulate permission bits.

Jerry James • 10 years ago

90e85bb

Fix the icon name in the desktop file.

Jerry James • 10 years ago

b8205e3

Update to Neon version.

Jerry James • 10 years ago

6e23d32

Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt.

Jerry James • 10 years ago

0da8b3d

Rebuild for ocaml-lablgtk 2.18.

Richard W.M. Jones • 10 years ago

89f5ee5

Rebuild for OCaml 4.01.0.

Jerry James • 10 years ago

3f558f3

Update -fixes patch to fix startup failures on ARM.

Jerry James • 10 years ago

9df8b1f

- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Dennis Gilmore • 10 years ago

056b7f1

Update to 20130601 bugfix Fluorine release.

Jerry James • 10 years ago

edaea40

Add -fixes patch to fix code generation for inductive definitions.

Jerry James • 10 years ago

7307230

Update to bugfix Fluorine release.

Jerry James • 10 years ago

cefe8dc

Update to Fluorine version.

Jerry James • 10 years ago

94bf6fa

- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

Dennis Gilmore • 11 years ago

7105e03

Rebuild for coq 8.4pl1 and alt-ergo 0.95.

Jerry James • 11 years ago

a239338

Build with zarith support.

Jerry James • 11 years ago

455e714

Update the Requires filter even more for Oxygen.

Jerry James • 11 years ago

b096838

Update the Requires filter for Oxygen.

Jerry James • 11 years ago

2a07ca8

Add missing ocaml-ocamldoc BR.

Jerry James • 11 years ago

3060ea8

Update to Oxygen version.

Jerry James • 11 years ago

4de86ca

Disable dangerous code in src/type/type.ml that leads to segfaults.

Jerry James • 11 years ago

b2e712c

Use a vastly simpler patch for OCaml 4 that fixes the native build.

Jerry James • 11 years ago

d14d61f

Shipping the bytecode version works better if it isn't stripped.

Jerry James • 11 years ago

26634d3

Use upstream's version of the ocamlgraph patch.

Jerry James • 11 years ago

bee1f8d

Adapt to new Hashtbl signature in OCaml 4.00.0.

Jerry James • 11 years ago

f5118e5

Patch configure script to detect OCaml 4.

Richard W.M. Jones • 11 years ago

b14db1a

Rebuild for OCaml 4.00.0 official.

Richard W.M. Jones • 11 years ago

195c699

- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Dennis Gilmore • 11 years ago

302f718

Rebuild for OCaml 3.12.1.

Jerry James • 12 years ago

e5054df

Rebuild to eliminate libpng dependency.

Jerry James • 12 years ago

1fe2839

Update to Nitrogen version.

Jerry James • 12 years ago

d253b21

Update to Carbon version.

Jerry James • 12 years ago

91f4bbf

rpms / frama-c

Commits 60

rpms / frama-c

Source Code

Commits 60