Commits - rpms/alt-ergo - src.fedoraproject.org

OCaml 4.11.0+dev2-2020-04-22 rebuild

Richard W.M. Jones • 4 years ago

941831e

OCaml 4.11.0 pre-release attempt 2

Richard W.M. Jones • 4 years ago

60a1450

Filter out Requires for private interfaces we do not Provide.

Jerry James • 4 years ago

220d1db

Update all OCaml dependencies for RPM 4.16.

Richard W.M. Jones • 4 years ago

d1cd03a

Rebuild for ocaml-zip 1.10.

Jerry James • 4 years ago

15bcc3b

Rebuild for ocaml-menhir 20200211.

Jerry James • 4 years ago

0e23a44

OCaml 4.10.0 final.

Richard W.M. Jones • 4 years ago

41c768f

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

Fedora Release Engineering • 4 years ago

e409180

OCaml 4.10.0+beta1 rebuild.

Richard W.M. Jones • 4 years ago

4ecc646

OCaml 4.09.0 (final) rebuild.

Richard W.M. Jones • 4 years ago

44c4aa7

Rebuild for ocaml-zarith 1.9.

Jerry James • 4 years ago

23076e5

OCaml 4.08.1 (final) rebuild.

Richard W.M. Jones • 4 years ago

199f159

OCaml 4.08.1 (rc2) rebuild.

Richard W.M. Jones • 4 years ago

004cf95

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

Fedora Release Engineering • 4 years ago

87d647f

Add a workaround for https://github.com/ocaml/ocaml/issues/7608.

Jerry James • 5 years ago

84816c8

Update to version 2.0.0.

Jerry James • 5 years ago

aa097b3

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

Fedora Release Engineering • 5 years ago

ec408a1

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

Fedora Release Engineering • 5 years ago

cd781e2

OCaml 4.07.0 (final) rebuild.

Richard W.M. Jones • 5 years ago

41673a9

OCaml 4.07.0-rc1 rebuild.

Richard W.M. Jones • 6 years ago

5fa8bce

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

Fedora Release Engineering • 6 years ago

c89a96d

Remove obsolete scriptlets

Igor Gnatenko • 6 years ago

77aeb85

BR ocaml-num (for Big_int).

Richard W.M. Jones • 6 years ago

30e600a

Use the asmrun_pic variant when linking the binary.

Richard W.M. Jones • 6 years ago

f0b8942

OCaml 4.06.0 rebuild.

Richard W.M. Jones • 6 years ago

05837da

OCaml 4.05.0 rebuild.

Richard W.M. Jones • 6 years ago

0f9f4fe

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

Fedora Release Engineering • 6 years ago

edf73b3

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

Fedora Release Engineering • 6 years ago

286ad5e

OCaml 4.04.2 rebuild.

Richard W.M. Jones • 7 years ago

2279585

Bump release and rebuild.

Richard W.M. Jones • 7 years ago

4f119ad

Bump release and rebuild.

Richard W.M. Jones • 7 years ago

460b853

OCaml 4.04.1 rebuild.

Richard W.M. Jones • 7 years ago

769a9e7

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

Fedora Release Engineering • 7 years ago

4058a27

Update to version 1.30.

Jerry James • 7 years ago

e7b8a88

Rebuild for OCaml 4.04.0.

Richard W.M. Jones • 7 years ago

61815b9

Rebuild for ocaml-ocamlgraph 1.8.7.

Jerry James • 8 years ago

92170cc

Update to version 1.01.

Jerry James • 8 years ago

3ea72ad

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

Dennis Gilmore • 8 years ago

52dd677

Rebuild for zarith 1.4.1.

Jerry James • 8 years ago

9c90f09

OCaml 4.02.3 rebuild.

Richard W.M. Jones • 8 years ago

97c3d83

ocaml-4.02.2 final rebuild.

Richard W.M. Jones • 9 years ago

4bd685b

ocaml-4.02.2 rebuild.

Richard W.M. Jones • 9 years ago

0615f4b

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

Dennis Gilmore • 9 years ago

20d6942

Rebuild for ocaml-ocamlgraph 1.8.6.

Jerry James • 9 years ago

d3fd569

Fix FTBFS (bz 1099153).

Jerry James • 9 years ago

4c180eb

ocaml-4.02.1 rebuild.

Richard W.M. Jones • 9 years ago

ea6d936

Update to version 0.99.1.

Jerry James • 9 years ago

078f96b

Rebuild for new ocaml-lablgtk.

Jerry James • 9 years ago

635143a

Rebuild for ocaml-zarith 1.3.

Jerry James • 9 years ago

0cce9b8

rpms / alt-ergo

Commits 89

rpms / alt-ergo

Source Code

Commits 89