# ChangeLog for app-sci/coq
# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.1 2004/01/21 23:05:55 mattam Exp $

*coq-7.4 (22 Jan 2004)

  22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> coq-7.4.ebuild,
  metadata.xml, files/ocaml-3.07.patch:
  Initial commit. Related bugs are 30388 and 24616. norealanalysis use flag idea
  taken from Peter Lietz <p.lietz@gmx.de> ebuild.