aboutsummaryrefslogtreecommitdiff
path: root/distrib/RH/coq.spec
AgeCommit message (Expand)Author
2004-04-30Position du %defattr importanteherbelin
2004-04-21*** empty log message ***barras
2004-04-20amelioration des specs RPMbarras
2004-04-07preparation a la release 8.0barras
2004-03-24*** empty log message ***barras
2004-03-16install de pcoq incorrect + spec rpmbarras
2004-03-15preparation packages V8.0-cdrombarras
2004-03-12coq.spec n\'est plus parametrebarras