app-sci/coq/ChangeLog


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# 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.2 2004/04/02 21:02:45 mattam Exp $

*coq-8.0_beta (02 Apr 2004)

  02 Apr 2004; Matthieu Sozeau <mattam@gentoo.org> coq-7.4.ebuild,
  coq-8.0_beta.ebuild:
  Added coq-8.0_beta ebuild, tested on x86. Make coq-7.4 stable,
  as there were no bug reports for some time now.

*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.