Commits - rpms/coq - src.fedoraproject.org

Version 8.13.1.

Jerry James • 2 months ago

69a1906

OCaml 4.12.0 build

Richard W.M. Jones • 2 months ago

37a75cd

Version 8.13.0.

Jerry James • 3 months ago

2568f6d

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

Fedora Release Engineering • 4 months ago

3feea33

Version 8.12.2.

Jerry James • 5 months ago

2b163e0

Version 8.12.1. Drop upstreamed sphinx 3 support patch.

Jerry James • 5 months ago

c384828

Explicitly BR make.

Jerry James • 6 months ago

ae743c4

ExcludeArch s390x (RHBZ#1874879).

Richard W.M. Jones • 8 months ago

6e5fdd1

Skip the test suite on s390x.

Richard W.M. Jones • 8 months ago

e3c52c3

OCaml 4.11.1 rebuild

Richard W.M. Jones • 8 months ago

3d61a96

Version 8.12.0.

Jerry James • 9 months ago

0e164ec

OCaml 4.11.0 rebuild

Richard W.M. Jones • 9 months ago

6464329

Rebuild to fix ocamlx(Dynlink) dependency.

Jerry James • 9 months ago

d098043

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

Fedora Release Engineering • 9 months ago

8223a0d

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

Fedora Release Engineering • 10 months ago

e719d98

Version 8.11.2.

Jerry James • 11 months ago

83add7c

Version 8.11.1.

Jerry James • a year ago

0428b88

OCaml 4.11.0+dev2-2020-04-22 rebuild

Richard W.M. Jones • a year ago

7d90788

OCaml 4.11.0 pre-release attempt 2

Richard W.M. Jones • a year ago

ca2ca6d

Add 0002-Sphinx-3-support.patch for sphinx 3 support (bz 1823529).

Jerry James • a year ago

1be3114

Update all OCaml dependencies for RPM 4.16.

Richard W.M. Jones • a year ago

c9655fa

Bring the gross hack back due to intermittent crashes.

Jerry James • a year ago

c41636e

Update the ocaml 4.10 patch to upstream's version.

Jerry James • a year ago

d12009d

Add terrible hack to work around intermittent build failures.

Jerry James • a year ago

6285887

Version 8.11.0.

Jerry James • a year ago

8ec920a

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

Fedora Release Engineering • a year ago

7a35a28

Add 0002-fix-signal-polling-for-OCaml-4.10.patch.

Jerry James • a year ago

7b288f2

Add support for OCaml 4.10.

Richard W.M. Jones • a year ago

4350e58

OCaml 4.10.0+beta1 rebuild.

Richard W.M. Jones • a year ago

733aada

Move coqidetop into the main package (bz 1791377).

Jerry James • a year ago

94253fd

OCaml 4.09.0 for riscv64

Richard W.M. Jones • a year ago

41be1c1

Bump antlr4rel again.

Richard W.M. Jones • a year ago

b69cea2

OCaml 4.09.0 (final) rebuild.

Richard W.M. Jones • a year ago

56b9ac6

OCaml 4.09.0 (final) rebuild.

Richard W.M. Jones • a year ago

1177ca2

Fix the release numbers.

Jerry James • 2 years ago

142c677

Rebuilt for Python 3.8

Miro Hrončok • 2 years ago

3012d88

And bump the coq release number as well.

Jerry James • 2 years ago

8659a7f

Fix antlr4rel snafu.

Jerry James • 2 years ago

cf844d5

OCaml 4.08.1 (rc2) rebuild.

Richard W.M. Jones • 2 years ago

0ef9116

Bump Epoch on antlr4-python3-runtime due to decrease in version number.

Jerry James • 2 years ago

e11c48c

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

Fedora Release Engineering • 2 years ago

73e8dbb

New upstream release.

Jerry James • 2 years ago

5e95fd9

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

Fedora Release Engineering • 2 years ago

3ac8434

Welcome to 2019, Jerry.

Jerry James • 2 years ago

1bd5f3a

New upstream release.

Jerry James • 2 years ago

d8f59d0

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

Fedora Release Engineering • 2 years ago

a9574ee

OCaml 4.07.0 (final) rebuild.

Richard W.M. Jones • 2 years ago

d0a4f77

Bump release and rebuild.

Richard W.M. Jones • 2 years ago

b74e531

Bump release and rebuild.

Richard W.M. Jones • 2 years ago

cbd5ef4

rpms / coq

Commits 154

rpms / coq

Source Code

Commits 154