coq/distrib/debian/control, branch master The formal proof system Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge 2006-06-09T16:59:42+00:00 notin 2006-06-09T16:59:42+00:00 654133b47df896e4ca074502aa5dcf74f8beac30 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2002-10-07T11:36:54+00:00 courant 2002-10-07T11:36:54+00:00 54037f0ea8b9532006f0de0319e65f2547b6eaed git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3098 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3098 85f007b7-540e-0410-9357-904b9bb8a0f7
debian pkg now recommends proof general 2002-10-02T15:26:07+00:00 courant 2002-10-02T15:26:07+00:00 e0f96ba0b43badac2987c54b56bee4875ba0bc95 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3066 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3066 85f007b7-540e-0410-9357-904b9bb8a0f7
'make check' echoue si au moins un test echoue. 2002-06-04T09:01:52+00:00 courant 2002-06-04T09:01:52+00:00 c71055b394f3f93c11cc3923e5878e45203dc881 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 
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
*** empty log message *** 2002-03-12T10:18:54+00:00 courant 2002-03-12T10:18:54+00:00 504114a41692bbc1e1621d84cadff4773f23bf35 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
paquet Debian 7.2-3 2002-01-23T09:09:31+00:00 courant 2002-01-23T09:09:31+00:00 58c4a23cc2d7b01bbc6a7e60d6d074bb0a0e5b26 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2002-01-18T14:16:51+00:00 courant 2002-01-18T14:16:51+00:00 a4c788c1492a85f7dcf2f61af218ce5d9a762e1a git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2405 85f007b7-540e-0410-9357-904b9bb8a0f7
package Debian 7.1, correction pb compilation native sur certaines architectures 2001-12-13T09:26:24+00:00 courant 2001-12-13T09:26:24+00:00 cf4fbeb0406d58e9d1ae73886a4e701fb6bb14d1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2001-12-11T13:00:36+00:00 courant 2001-12-11T13:00:36+00:00 424a0466b0bcf6b4f10855610f1af7ec4e7ad736 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2288 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout necessaire pour paquet debian 2001-04-24T15:07:41+00:00 courant 2001-04-24T15:07:41+00:00 816ae8c64624eee082a54c04b1f4e72e3426d265 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1688 85f007b7-540e-0410-9357-904b9bb8a0f7