Commits - rpms/coq - src.fedoraproject.org

- 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

New upstream release.

Jerry James • 11 years ago

1de423f

Fix SOURCE3 -> SOURCE4.

Richard W.M. Jones • 11 years ago

6f1634f

Drop support for XEmacs due to ProofGeneral dropping support.

Jerry James • 11 years ago

7bc5fec

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

Dennis Gilmore • 11 years ago

a7e2ae8

Fix configure conditionals that don't know about OCaml 4.00.0.

Jerry James • 11 years ago

b3983a9

Better adaptation to new camlp5 version.

Jerry James • 11 years ago

513be4d

Add patch to adapt to new camlp5 version.

Jerry James • 11 years ago

7168e08

Rebuild for OCaml 4.00.0.

Richard W.M. Jones • 11 years ago

e5323b3

New upstream release.

Jerry James • 11 years ago

b31f562

Happy New Year to me again!

Jerry James • 12 years ago

caf4073

Rebuild for Ocaml 3.12.1.

Jerry James • 12 years ago

10d2f4c

New upstream release.

Jerry James • 12 years ago

74b0e5c

Rebuild for new libpng

Adam Jackson • 12 years ago

6837b55

Remove unused patch.

Jerry James • 12 years ago

8b34713

Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed.

Jerry James • 12 years ago

b486518

Move tutorial code into main package; it is small and we can then leave all

Jerry James • 12 years ago

5f19ebe

Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2.

Jerry James • 12 years ago

cb1e9d8

New upstream release.

Jerry James • 12 years ago

9abe3a9

* Mon Apr 4 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-2

Jerry James • 13 years ago

dd74bac

Forgot the README files.

Jerry James • 13 years ago

7c56d89

* Thu Mar 31 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-1

Jerry James • 13 years ago

09b853b

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

Dennis Gilmore • 13 years ago

f7f5d5b

dist-git conversion

Fedora Release Engineering • 13 years ago

36b8064

Fix typo that causes a failure to update the common directory. (releng

Bill Nottingham • 14 years ago

2919f7a

- New upstream release

Alan Dunn • 14 years ago

f181a00

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

Jesse Keating • 14 years ago

415eedf

- New upstream release

Alan Dunn • 14 years ago

48f8ea1

- ExcludeArch s390, s390x as we don't have OCaml on those archs

Karsten Hopp • 14 years ago

57b8a17

Forgot to include the changelog entry for the failed F11 mass rebuild...

Alan Dunn • 15 years ago

5ba4127

Minor fixes - fixed to work with lablgtk 2.12 (so it build in rawhide),

Alan Dunn • 15 years ago

8dd82f7

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

Jesse Keating • 15 years ago

d76870d

rpms / coq

Commits 104

rpms / coq

Source Code

Commits 104