Commits - rpms/zenon - src.fedoraproject.org

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

Fedora Release Engineering • 2 years ago

e5c4ed1

Rebuild for coq 8.13.2.

Jerry James • 2 years ago

76c325b

Rebuild for coq 8.13.1.

Jerry James • 3 years ago

0fb275f

OCaml 4.12.0 build

Richard W.M. Jones • 3 years ago

cb886e1

Rebuild for coq 8.13.0.

Jerry James • 3 years ago

08ef828

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

Fedora Release Engineering • 3 years ago

f725979

Rebuild for coq 8.12.2.

Jerry James • 3 years ago

75f6efc

Rebuild for coq 8.12.1.

Jerry James • 3 years ago

9ae522c

Explicitly BR make.

Jerry James • 3 years ago

cb45e33

OCaml 4.11.1 rebuild

Richard W.M. Jones • 3 years ago

3bb73d6

ExcludeArch s390x (see RHBZ#1874879).

Richard W.M. Jones • 3 years ago

f362028

Rebuild for coq 8.12.0.

Jerry James • 3 years ago

d113b7f

OCaml 4.11.0 rebuild

Richard W.M. Jones • 3 years ago

b01c34a

- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Fedora Release Engineering • 3 years ago

ec13033

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

Fedora Release Engineering • 3 years ago

816c8a1

Rebuild for coq 8.11.2.

Jerry James • 3 years ago

42fce2b

Rebuild for coq 8.11.1.

Jerry James • 4 years ago

9d0380b

OCaml 4.11.0+dev2-2020-04-22 rebuild

Richard W.M. Jones • 4 years ago

1d90cd6

Update all OCaml dependencies for RPM 4.16.

Richard W.M. Jones • 4 years ago

91322e5

Rebuild for coq 8.11.0.

Jerry James • 4 years ago

c7d7fee

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

Fedora Release Engineering • 4 years ago

d6c614a

OCaml 4.10.0+beta1 rebuild.

Jerry James • 4 years ago

4920915

OCaml 4.08.1 (final) rebuild.

Jerry James • 4 years ago

c4c6326

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

rpms / zenon

Commits 84

rpms / zenon

Source Code

Commits 84