rpms / coq

Clone
Source Code
GIT

History sources

f10 f11 f12 f13 f14 f15 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 f8 f9 main rawhide
  1.   f27
  2.   sources
New upstream version 8.6.1.
Richard W.M. Jones • 6 years ago  
dc69964
New upstream release.
Jerry James • 7 years ago  
06d597b
New upstream release.
Jerry James • 7 years ago  
99b5ee0
New upstream release.
Jerry James • 7 years ago  
b928f27
New upstream release.
Jerry James • 7 years ago  
d0b6d47
New upstream release.
Jerry James • 8 years ago  
cbe14a3
New upstream release.
Jerry James • 9 years ago  
9a656d1
New upstream release.
Jerry James • 9 years ago  
e8c2be4
New upstream release.
Jerry James • 9 years ago  
77deb5e
New upstream release.
Jerry James • 10 years ago  
e8ff323
New upstream release.
Jerry James • 10 years ago  
4006cf3
New upstream release.
Jerry James • 11 years ago  
251a541
New upstream release.
Jerry James • 11 years ago  
1de423f
New upstream release.
Jerry James • 11 years ago  
b31f562
New upstream release.
Jerry James • 12 years ago  
74b0e5c
New upstream release.
Jerry James • 12 years ago  
9abe3a9
* Thu Mar 31 2011 Jerry James <loganjerry@gmail.com> - 8.3pl1-1
Jerry James • 13 years ago  
09b853b
- New upstream release
Alan Dunn • 14 years ago  
f181a00
- New upstream release
Alan Dunn • 14 years ago  
48f8ea1
Minor fixes - fixed to work with lablgtk 2.12 (so it build in rawhide),
Alan Dunn • 15 years ago  
8dd82f7
- New upstream version 8.1pl4.
Richard W.M. Jones • 15 years ago  
6826838
Initial add of supporting files for coq package.
Alan Dunn • 15 years ago  
70caa8f
Setup of module coq
Kevin Fenzi • 15 years ago  
801b24b
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.