Commits - rpms/coq - src.fedoraproject.org

Bump release and rebuild.

Richard W.M. Jones • 5 years ago

cbd5ef4

OCaml 4.07.0-rc1 rebuild.

Richard W.M. Jones • 5 years ago

1d6e7f3

Also filter out ocaml(Configwin_types) since the Provides is not generated.

Jerry James • 6 years ago

46a213e

New upstream release.

Jerry James • 6 years ago

af428b1

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

Fedora Release Engineering • 6 years ago

eb65f45

Bump and rebuild against new ocaml-num package.

Richard W.M. Jones • 6 years ago

c079276

Backport various fixes to make Coq compile with OCaml 4.06.

Richard W.M. Jones • 6 years ago

f410e1b

OCaml 4.06.0 rebuild.

Richard W.M. Jones • 6 years ago

2203730

New upstream version 8.6.1.

Richard W.M. Jones • 6 years ago

dc69964

OCaml 4.05.0 rebuild.

Richard W.M. Jones • 6 years ago

229e573

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

Fedora Release Engineering • 6 years ago

19f5b30

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

Fedora Release Engineering • 6 years ago

c6ea642

OCaml 4.04.2 rebuild.

Richard W.M. Jones • 6 years ago

2361d7d

Bump release and rebuild.

Richard W.M. Jones • 6 years ago

c0b0abb

OCaml 4.04.1 rebuild.

Richard W.M. Jones • 6 years ago

4adf3b5

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

Fedora Release Engineering • 7 years ago

9ee358a

New upstream release.

Jerry James • 7 years ago

06d597b

Rebuild for OCaml 4.04.0.

Richard W.M. Jones • 7 years ago

91467c8

New upstream release.

Jerry James • 7 years ago

99b5ee0

New upstream release.

Jerry James • 7 years ago

b928f27

New upstream release.

Jerry James • 8 years ago

d0b6d47

Workaround ocaml dep generator failure with ocaml-lablgtk.

Jerry James • 8 years ago

f256970

New upstream release.

Jerry James • 8 years ago

cbe14a3

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

Dennis Gilmore • 8 years ago

561d897

OCaml 4.02.3 rebuild.

Richard W.M. Jones • 8 years ago

f49eb37

ocaml-4.02.2 final rebuild.

Richard W.M. Jones • 8 years ago

054548b

ocaml-4.02.2 rebuild.

Richard W.M. Jones • 8 years ago

c24a592

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

Dennis Gilmore • 8 years ago

fb083cf

New upstream release.

Jerry James • 9 years ago

9a656d1

Bump release and rebuild.

Richard W.M. Jones • 9 years ago

e39408b

ocaml-4.02.1 rebuild.

Richard W.M. Jones • 9 years ago

2c0cca9

Rebuild for ocaml-camlp5 6.12.

Jerry James • 9 years ago

72fecbc

New upstream release.

Jerry James • 9 years ago

e8c2be4

fix/update mime scriptlet

Rex Dieter • 9 years ago

12611ad

Rebuild due to ocaml update.

Jerry James • 9 years ago

2b31845

Bump release and rebuild.

Richard W.M. Jones • 9 years ago

082fabb

Fix to int types in OCaml > 4.02.0 and Fedora.

Richard W.M. Jones • 9 years ago

0082780

Bump release and rebuild.

Richard W.M. Jones • 9 years ago

869d0a3

ocaml-4.02.0 final rebuild.

Richard W.M. Jones • 9 years ago

1231b8b

ocaml-4.02.0+rc1 rebuild.

Richard W.M. Jones • 9 years ago

278e35c

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

Peter Robinson • 9 years ago

2a2cf7a

Add stublibs to library path to make coqide build.

Richard W.M. Jones • 9 years ago

5bf494c

Try BR emacs instead.

Richard W.M. Jones • 9 years ago

2ba1c54

BR /usr/bin/emacs since emacs-nox no longer provides this binary.

Richard W.M. Jones • 9 years ago

bc0153a

ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Richard W.M. Jones • 9 years ago

07220d2

Add workaround for build failure on aarch64.

Richard W.M. Jones • 9 years ago

226b769

Add patch to fix build failure with OCaml 4.02.

Richard W.M. Jones • 9 years ago

891fa18

Add patch to fix build failure with OCaml 4.02.

Richard W.M. Jones • 9 years ago

cbafaf9

Rebuild for OCaml 4.02.0 beta.

Richard W.M. Jones • 9 years ago

0f1da90

rpms / coq

Commits 154

rpms / coq

Source Code

Commits 154