aboutsummaryrefslogtreecommitdiff
path: root/distrib/debian/rules
AgeCommit message (Collapse)Author
2006-06-09Suppression du répertoire distrib: il fait désormais partie du projet ↵notin
coq-dev-tools sur GForge git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-06-27*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4209 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-06-04'make check' echoue si au moins un test echoue.courant
Les distributions binaires ne peuvent etre faites que si 'make check' reussit. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2751 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-03-12*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21paquet Debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-13package Debian 7.1, correction pb compilation native sur certaines architecturescourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-11*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25make -j world -> make world en raison de bug ocamlc/ocamloptcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1718 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25man pages for coq-interface and parsercourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1717 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
- Deplacement pages de tools/ vers man/ - Modif distrib/Makefile pour Debian - Modif mode emacs pour Debian git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1710 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-24ajout necessaire pour paquet debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 06:59:05 +0000