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

Welcome to 2019, Jerry.

Jerry James • 5 years ago

cf99adb

Update to Chlorine version.

Jerry James • 5 years ago

bf0656b

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

Fedora Release Engineering • 5 years ago

e29a53d

Update to Sulfur version. Drop upstreamed -safe-string patch.

Jerry James • 6 years ago

4c5e594

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

Fedora Release Engineering • 6 years ago

d669558

Remove obsolete scriptlets

Igor Gnatenko • 6 years ago

1300a6d

Rebuild for why3 0.88.2.

Jerry James • 6 years ago

287d30a

Rebuild for mlgmpidl.

Jerry James • 6 years ago

8ad8c66

Add BR on ocaml-num

Richard W.M. Jones • 6 years ago

5fde914

Patch to fix -safe-string in OCaml 4.06.

Richard W.M. Jones • 6 years ago

eec6d1c

OCaml 4.06.0 rebuild.

Richard W.M. Jones • 6 years ago

a26b14e

Rebuild for why3 0.88.0.

Jerry James • 6 years ago

8a9c9ec

More excludes so that provides match requires.

Jerry James • 6 years ago

2c5d614

Update to Phosphorus version.

Jerry James • 6 years ago

e0650cd

Add misc fixes to get Silicon to build with OCaml 4.05.0.

Richard W.M. Jones • 6 years ago

56a03a7

OCaml 4.05.0 rebuild.

Richard W.M. Jones • 6 years ago

cf5edc1

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

Fedora Release Engineering • 6 years ago

232c127

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

Fedora Release Engineering • 6 years ago

522712b

OCaml 4.04.2 rebuild.

Richard W.M. Jones • 6 years ago

94396ab

OCaml 4.04.1 rebuild.

Richard W.M. Jones • 6 years ago

21e04dc

Update to Silicon version.

Jerry James • 7 years ago

3fe032a

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

Fedora Release Engineering • 7 years ago

0a9aea8

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

rpms / frama-c

Commits 109

rpms / frama-c

Source Code

Commits 109