Commits - rpms/zenon - src.fedoraproject.org

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

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

Dennis Gilmore • 13 years ago

a6f5c36

dist-git conversion

Fedora Release Engineering • 13 years ago

5559225

Fix typo that causes a failure to update the common directory. (releng

Bill Nottingham • 14 years ago

ee24841

Exlcude sparc64 no ocaml

Dennis Gilmore • 14 years ago

ca68c39

- Use bzipped upstream tarball.

Ville Skyttä • 14 years ago

cb17973

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

Jesse Keating • 14 years ago

0027f81

fix typo

Karsten Hopp • 14 years ago

9dbb2a4

- ocaml not available on mainframes, add excludearch

Karsten Hopp • 14 years ago

dc4c2c3

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

Jesse Keating • 15 years ago

1b8e763

- Add documentation for Zenon and its built-in format as man pages (man

David A. Wheeler • 15 years ago

e292efb

rpms / zenon

Commits 51

rpms / zenon

Source Code

Commits 51