aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib/debian/rules
Commit message (Expand)AuthorAge
* 'make check' echoue si au moins un test echoue.Gravatar courant2002-06-04
* *** empty log message ***Gravatar courant2002-03-12
* paquet DebianGravatar courant2001-12-21
* package Debian 7.1, correction pb compilation native sur certaines architecturesGravatar courant2001-12-13
* *** empty log message ***Gravatar courant2001-12-11
* make -j world -> make world en raison de bug ocamlc/ocamloptGravatar courant2001-04-25
* man pages for coq-interface and parserGravatar courant2001-04-25
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
* ajout necessaire pour paquet debianGravatar courant2001-04-24