Commits - rpms/zenon - src.fedoraproject.org

OCaml 4.08.1 (rc2) rebuild.

Jerry James • 4 years ago

9fed1d3

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

Fedora Release Engineering • 4 years ago

d1dbfe0

Rebuild for coq 8.9.1. Add -coq89 patch to adapt to coq 8.9.x.

Jerry James • 5 years ago

8f232ab

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

Fedora Release Engineering • 5 years ago

39d7124

Welcome to 2019, Jerry.

Jerry James • 5 years ago

5d62517

New upstream release. Drop -unsafe-string workaround.

Jerry James • 5 years ago

3f3fb73

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

Fedora Release Engineering • 5 years ago

bff13fe

Rebuild for coq 8.7.1.

Jerry James • 6 years ago

29a519b

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

Fedora Release Engineering • 6 years ago

333a1f4

Replace the 'ghostscript-core' requirement with 'ghostscript'

David Kaspar [Dee'Kej] • 6 years ago

ab15056

Rebuild for coq 8.6.1.

Jerry James • 6 years ago

644775c

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

Fedora Release Engineering • 6 years ago

69b5588

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

Fedora Release Engineering • 6 years ago

ee0193d

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

Fedora Release Engineering • 7 years ago

666ecad

Rebuild for coq 8.6.

Jerry James • 7 years ago

0146b48

Rebuild for OCaml 4.04.0.

Richard W.M. Jones • 7 years ago

9da9188

Rebuild for coq 8.5pl3.

Jerry James • 7 years ago

68b2ce1

Rebuild for coq 8.5pl2.

Jerry James • 7 years ago

b491e19

New upstream release.

Jerry James • 7 years ago

1445f9b

New upstream release.

Jerry James • 8 years ago

0ddf045

Rebuild for coq 8.5pl1.

Jerry James • 8 years ago

134666f

Rebuild for coq 8.5.

Jerry James • 8 years ago

cec7716

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

Fedora Release Engineering • 8 years ago

05aac46

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

Dennis Gilmore • 8 years ago

3b16417

Rebuild for coq 8.4pl6.

Jerry James • 9 years ago

6f3ae67

Update URLs.

Jerry James • 9 years ago

9d53b71

Rebuild for coq 8.4pl5.

Jerry James • 9 years ago

eb4ca52

New upstream release.

Jerry James • 9 years ago

573b83a

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

Peter Robinson • 9 years ago

aa38c67

Drop bz 921706 workaround; now unnecessary.

Jerry James • 9 years ago

3fc321a

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

Dennis Gilmore • 10 years ago

2cb9eac

Add workaround for bz 921706.

Jerry James • 10 years ago

2c98a1a

Rebuild for coq 8.4pl4.

Jerry James • 10 years ago

37b1c0b

Remove ocaml_arches macro (bz 1087794).

Jerry James • 10 years ago

dc69a18

Pass -g to ocamlopt, don't strip executable too early. Thanks to Ville

Jerry James • 10 years ago

c6f7d4f

Rebuild for coq 8.4pl3.

Jerry James • 10 years ago

eaf7d02

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

Dennis Gilmore • 10 years ago

fdaf5a7

Rebuild for coq 8.4pl2.

Jerry James • 11 years ago

3b572aa

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

Dennis Gilmore • 11 years ago

82c6865

Rebuild for coq 8.4pl1.

Jerry James • 11 years ago

c3d96ee

Rebuild for OCaml 4.00.1.

Jerry James • 11 years ago

4a92387

Rebuild for coq 8.4.

Jerry James • 11 years ago

84c2f02

New upstream release.

Jerry James • 11 years ago

0829764

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

Dennis Gilmore • 11 years ago

9071091

Rebuild for OCaml 3.12.1.

Jerry James • 12 years ago

1544045

Rebuild for coq 8.3pl3.

Jerry James • 12 years ago

ccd3969

Build on all ocaml arches.

Jerry James • 12 years ago

610bc9b

Move the coq files back to /usr/share to avoid a dependency on coq.

Jerry James • 12 years ago

f276a0b

New upstream release.

Jerry James • 12 years ago

32904f1

rpms / zenon

Commits 61

rpms / zenon

Source Code

Commits 61