Commits - rpms/gappalib-coq - src.fedoraproject.org

Rebuild for flocq 2.6.0.

Jerry James • 6 years ago

fd411a6

Change coq version to 8.6.1.

Richard W.M. Jones • 6 years ago

b4f80c8

OCaml 4.05.0 rebuild.

Richard W.M. Jones • 6 years ago

a7226c3

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

Fedora Release Engineering • 6 years ago

4b8177a

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

Fedora Release Engineering • 6 years ago

2841ab1

OCaml 4.04.2 rebuild.

Richard W.M. Jones • 6 years ago

ffca7cd

OCaml 4.04.1 rebuild.

Richard W.M. Jones • 6 years ago

3681a1e

Rebuild to fix coq consistency issue.

Jerry James • 7 years ago

febfa5c

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

Fedora Release Engineering • 7 years ago

cedee91

Rebuild for coq 8.6.

Jerry James • 7 years ago

46ffc8e

New upstream release.

Jerry James • 7 years ago

ce68e36

Rebuild for OCaml 4.04.0.

Richard W.M. Jones • 7 years ago

ac0371a

Rebuild for coq 8.5pl3.

Jerry James • 7 years ago

b48c100

- disable debuginfo subpackage on interpreted builds

Dan Horák • 7 years ago

8ddcaa0

New upstream release.

Jerry James • 7 years ago

8011cf2

New upstream release.

Jerry James • 7 years ago

91ff170

Rebuild for coq 8.5pl2.

Jerry James • 7 years ago

762941b

Rebuild for coq 8.5pl1.

Jerry James • 8 years ago

7b5d576

New upstream release.

Jerry James • 8 years ago

3e6cd89

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

Dennis Gilmore • 8 years ago

808fb38

New upstream release.

Jerry James • 8 years ago

bca1da8

OCaml 4.02.3 rebuild.

Richard W.M. Jones • 8 years ago

dbc6274

ocaml-4.02.2 final rebuild.

Richard W.M. Jones • 8 years ago

a071dcc

New upstream release.

Jerry James • 8 years ago

e2f1c94

ocaml-4.02.2 rebuild.

Richard W.M. Jones • 8 years ago

1419f2c

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

Dennis Gilmore • 8 years ago

b06a65e

Rebuild for coq 8.4pl6.

Jerry James • 9 years ago

c1724d0

ocaml-4.02.1 rebuild.

Richard W.M. Jones • 9 years ago

27dbfc6

Rebuild for ocaml-camlp5 6.12.

Jerry James • 9 years ago

b2b661d

Rebuild for coq 8.4pl5.

Jerry James • 9 years ago

3a867c4

Rebuild for flocq 2.4.0.

Jerry James • 9 years ago

6d7a84a

ocaml-4.02.0 final rebuild.

Richard W.M. Jones • 9 years ago

2a2d0b8

ocaml-4.02.0+rc1 rebuild.

Jerry James • 9 years ago

d38416f

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

Peter Robinson • 9 years ago

e36c82d

Add workaround for ocamlopt beta version string.

Jerry James • 9 years ago

afb6fd8

ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.

Richard W.M. Jones • 9 years ago

cd93e52

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

Dennis Gilmore • 9 years ago

e25adfe

Rebuild for coq 8.4pl4.

Jerry James • 9 years ago

f0a6689

Rebuild for flocq 2.3.0.

Jerry James • 10 years ago

29ac0f5

Remove ocaml_arches macro (RHBZ#1087794).

Richard W.M. Jones • 10 years ago

d39d9dc

Rebuild for flocq 2.2.2.

Jerry James • 10 years ago

e764c4f

Rebuild for coq 8.4pl3.

Jerry James • 10 years ago

7be85a9

Rebuild for OCaml 4.01.0.

Jerry James • 10 years ago

bcd0479

Rebuild for flocq 2.2.0.

Jerry James • 10 years ago

81c9143

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

Dennis Gilmore • 10 years ago

202f20a

New upstream release.

Jerry James • 10 years ago

dd154d7

New upstream release.

Jerry James • 10 years ago

867d31e

New upstream release.

Jerry James • 10 years ago

631d241

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

Dennis Gilmore • 11 years ago

57b045c

rpms / gappalib-coq

Commits 61

rpms / gappalib-coq

Source Code

Commits 61