rpms / gappalib-coq

Clone
Source Code
GIT

Commits 38

f16 f17 f18 f19 f20 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 f34 f35 f36 f37 f38 f39 f40 main rawhide
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
Rebuild for coq 8.4pl1.
Jerry James • 11 years ago  
00d5fcf
Rebuild for OCaml 4.00.1.
Jerry James • 11 years ago  
6b72f79
More changes necessary to work with coq 8.4.
Jerry James • 11 years ago  
7de4234
Adapt to change of nf_evars in coq 8.4.
Jerry James • 11 years ago  
7ad8a7e
Rebuild for coq 8.4.
Jerry James • 11 years ago  
428086e
Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1.
Jerry James • 11 years ago  
697470f
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore • 11 years ago  
b104c6b
New upstream release.
Jerry James • 12 years ago  
1ef6cad
Rebuild for coq 8.3pl3.
Jerry James • 12 years ago  
a0b7f87
New upstream release.
Jerry James • 12 years ago  
8b3eff5
Initial import.
Jerry James • 12 years ago  
bf75430
Initial setup of the repo
Fedora Release Engineering • 12 years ago  
8d05dfc
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.