aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/RH
Commit message (Expand)AuthorAge
* ajout de l'entree dans le menuGravatar narboux2005-11-10
* Position du %defattr importanteGravatar herbelin2004-04-30
* *** empty log message ***Gravatar barras2004-04-21
* amelioration des specs RPMGravatar barras2004-04-20
* MAJ setupGravatar herbelin2004-04-16
* preparation a la release 8.0Gravatar barras2004-04-07
* *** empty log message ***Gravatar barras2004-03-24
* install de pcoq incorrect + spec rpmGravatar barras2004-03-16
* preparation packages V8.0-cdromGravatar barras2004-03-15
* coq.spec n\'est plus parametreGravatar barras2004-03-12
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
* Finalisation du mecanisme de creation du rpm coqideGravatar herbelin2004-01-08
* pas ideGravatar herbelin2004-01-06
* MAJGravatar herbelin2004-01-06
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
* -reals allGravatar filliatr2003-02-03
* release 7.4; changement magic numberGravatar filliatr2003-02-03
* 'make check' echoue si au moins un test echoue.Gravatar courant2002-06-04
* MAJ V7.3Gravatar herbelin2002-05-15
* MAJ 7.2Gravatar herbelin2001-12-19
* MAJ V7.1Gravatar herbelin2001-09-20
* Nouveau coq.spec avec les droits de rootGravatar herbelin2001-09-04
* modif pour RPM et DebianGravatar courant2001-04-25
* modif rpmGravatar courant2001-04-25