Commits - rpms/coq - src.fedoraproject.org

New upstream release.

Jerry James • 7 years ago

b928f27

New upstream release.

Jerry James • 7 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

Install the coq application icon in a standard location

Richard Hughes • 9 years ago

ee3c0b1

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

Dennis Gilmore • 9 years ago

6c366b8

New upstream release.

Jerry James • 9 years ago

77deb5e

Remove ocaml_arches macro (RHBZ#1087794).

Richard W.M. Jones • 10 years ago

07e5156

Rebuild with fixed hevea package to get good HTML docs.

Jerry James • 10 years ago

13c9cab

New upstream release.

Jerry James • 10 years ago

e8ff323

Rebuild for ocaml-lablgtk 2.18.

Richard W.M. Jones • 10 years ago

6b22ed5

Rebuild for OCaml 4.01.0.

Jerry James • 10 years ago

b0d944c

Install docs to %{_pkgdocdir} where available.

Ville Skyttä • 10 years ago

688d057

New upstream release.

Jerry James • 10 years ago

4006cf3

Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/fesco/ticket/1077

Toshio Kuratomi • 11 years ago

d92002f

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

Dennis Gilmore • 11 years ago

72ae522

New upstream release.

Jerry James • 11 years ago

251a541

Use minimal TeXLive BRs.

Jerry James • 11 years ago

de086fe

Changes required by the new TeXLive 2012 packages.

Jerry James • 11 years ago

9887d05

BR tex(comment.sty) due to the new texlive package layout.

Jerry James • 11 years ago

65949c2

More GDK-related fixes.

Jerry James • 11 years ago

edd48e7

Support more GDK key modifiers in the IDE (hyper, meta, release, super).

Jerry James • 11 years ago

61ea2d3

Rebuild for OCaml 4.00.1.

Jerry James • 11 years ago

06bcb09

rpms / coq

Commits 87

rpms / coq

Source Code

Commits 87