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

Rebuild for coq 8.6.

Jerry James • 7 years ago

a87b909

Rebuild for alt-ergo 1.30.

Jerry James • 7 years ago

a509a01

- Add small fixes for OCaml 4.04.0.

Richard W.M. Jones • 7 years ago

bd807bf

Rebuild for OCaml 4.04.0.

Richard W.M. Jones • 7 years ago

b3dced2

Rebuild for coq 8.5pl3. Remove obsolete scriptlets.

Jerry James • 7 years ago

dc3349a

Rebuild for why3 0.87.2.

Jerry James • 7 years ago

79e46fb

Rebuild for coq 8.5pl2.

Jerry James • 7 years ago

c229982

Update to Aluminium version.

Jerry James • 7 years ago

fc5b81a

Rebuild for coq 8.5pl1.

Jerry James • 7 years ago

910fc9f

Rebuild for ocaml-ocamlgraph 1.8.7.

Jerry James • 8 years ago

3576d52

Rebuild for why3 0.87.0.

Jerry James • 8 years ago

dbe2753

Update to Magnesium version.

Jerry James • 8 years ago

2aa10f5

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

Dennis Gilmore • 8 years ago

701ecfa

Rebuild for ocaml-zarith 1.4.1.

Jerry James • 8 years ago

8a4b4f6

OCaml 4.02.3 rebuild.

Richard W.M. Jones • 8 years ago

9814923

ocaml-4.02.2 final rebuild.

Richard W.M. Jones • 8 years ago

cf40aa1

Rebuild for why3 0.86.1.

Jerry James • 8 years ago

403dc11

ocaml-4.02.2 rebuild.

Richard W.M. Jones • 8 years ago

3ed1377

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

Dennis Gilmore • 8 years ago

cee73d6

Rebuild for why3 0.86.

Jerry James • 8 years ago

44352e4

Rebuild for coq 8.4pl6.

Jerry James • 9 years ago

ed7e1fa

Update to Sodium version.

Jerry James • 9 years ago

9e00f5f

ocaml-4.02.1 rebuild.

Richard W.M. Jones • 9 years ago

8a88b50

Rebuild for coq 8.4pl5.

Jerry James • 9 years ago

d78a5e1

Rebuild for ocaml-zarith 1.3.

Jerry James • 9 years ago

29f60d3

Bump release and rebuild.

Jerry James • 9 years ago

78d9d42

Rebuild for why3 0.85.

Jerry James • 9 years ago

5f82efa

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 • 10 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

rpms / frama-c

Commits 87

rpms / frama-c

Source Code

Commits 87