Skip site navigation (1)Skip section navigation (2) 
Date:      Mon, 20 Dec 2004 21:37:52 +0000 (UTC)
From:      Sergey Matveychuk <sem@FreeBSD.org>
To:        ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org
Subject:   cvs commit: ports/math/coq Makefile
Message-ID:  <200412202137.iBKLbqxX080486@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help 
sem         2004-12-20 21:37:52 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  - Unbreak on amd64
    (Johan van Selst succesfully ran the test-suite
    on an amd64 running 6-CURRENT and ocaml-3.08.2)
  
  PR:             ports/75334
  Submitted by:   maintainer
  
  Revision  Changes    Path
  1.4       +1 -2      ports/math/coq/Makefile

Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200412202137.iBKLbqxX080486>