Commits - rpms/coq - src.fedoraproject.org

OCaml 5.1 rebuild for Fedora 40

Richard W.M. Jones • 2 months ago

3a51072

Minor metainfo cleanups

Jerry James • 2 months ago

da85423

Rebuild for ocaml-zarith 1.13

Jerry James • 5 months ago

de36257

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

Fedora Release Engineering • 5 months ago

bce7479

Validate appdata with appstream-util

Jerry James • 5 months ago

747efea

Remove second ExclusiveArch

Richard W.M. Jones • 5 months ago

2bf4395

Only build coq and friends on architectures with the native compiler

Richard W.M. Jones • 5 months ago

c80a174

OCaml 5.0 rebuild for Fedora 39

Richard W.M. Jones • 5 months ago

3219561

ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)

Richard W.M. Jones • 5 months ago

c1ddbe4

Version 8.17.1

Jerry James • 5 months ago

74ed676

Version 8.17.0

Jerry James • 8 months ago

676893e

Rebuild OCaml packages for F38

Richard W.M. Jones • 11 months ago

ab20f06

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Fedora Release Engineering • 11 months ago

3fe2e3c

Version 8.16.1.

Jerry James • a year ago

09c4fd9

Remove the manual, which has a non-free license (bz 2132567).

Jerry James • a year ago

e302be3

Version 8.16.0. Drop upstreamed patch for Sphinx 4.5 support.

Jerry James • a year ago

f3e9333

Convert License tags to SPDX.

Jerry James • a year ago

7625013

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Fedora Release Engineering • a year ago

4c3105e

Enable documentation build with Sphinx 5+.

Jerry James • a year ago

a0a79b4

Remove i686 support. Use new OCaml macros.

Jerry James • a year ago

683dec0

Rebuild for antlr4-project 4.10.1.

Jerry James • a year ago

c5cce54

Fix bug when building documentation

Richard W.M. Jones • a year ago

00b5763

Upgrade to 8.15.2

Richard W.M. Jones • a year ago

04c47e9

OCaml 4.14.0 rebuild

Richard W.M. Jones • a year ago

3cfb859

Version 8.15.1.

Jerry James • 2 years ago

c57cbd0

Fix documentation installation some more.

Jerry James • 2 years ago

28b80ae

Fix documentation installation.

Jerry James • 2 years ago

43e2714

Version 8.15.0.

Jerry James • 2 years ago

76ce5ee

OCaml 4.13.1 rebuild to remove package notes

Richard W.M. Jones • 2 years ago

c06c95f

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

Fedora Release Engineering • 2 years ago

58cd3a1

Rebuild for ocaml-lablgtk3 3.1.2.

Jerry James • 2 years ago

821d859

Version 8.14.1.

Jerry James • 2 years ago

9257ea8

LICENSE.doc is in %_pkgdocdir, not %_docdir.

Jerry James • 2 years ago

c4bf7f3

Version 8.14.0. Add -core subpackage.

Jerry James • 2 years ago

bbf312f

OCaml 4.13.1 build

Richard W.M. Jones • 2 years ago

6f535c9

Try to build on s390x with OCaml 4.13

Richard W.M. Jones • 2 years ago

6252ea5

Rebuild for changed ocamlx(Dynlink).

Jerry James • 2 years ago

592e879

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

Fedora Release Engineering • 2 years ago

24646d9

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

Fedora Release Engineering • 2 years ago

22a60b3

Version 8.13.2.

Jerry James • 2 years ago

8b75f75

Version 8.13.1.

Jerry James • 2 years ago

69a1906

OCaml 4.12.0 build

Richard W.M. Jones • 2 years ago

37a75cd

Version 8.13.0.

Jerry James • 2 years ago

2568f6d

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

Fedora Release Engineering • 2 years ago

3feea33

Version 8.12.2.

Jerry James • 2 years ago

2b163e0

Version 8.12.1. Drop upstreamed sphinx 3 support patch.

Jerry James • 3 years ago

c384828

Explicitly BR make.

Jerry James • 3 years ago

ae743c4

ExcludeArch s390x (RHBZ#1874879).

Richard W.M. Jones • 3 years ago

6e5fdd1

Skip the test suite on s390x.

Richard W.M. Jones • 3 years ago

e3c52c3

rpms / coq

Commits 194

rpms / coq

Source Code

Commits 194