# ChangeLog for sci-mathematics/alt-ergo
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: $

  14 Jan 2013; J.-C. Demay <jcdemay@gmail.com>
  +alt-ergo-0.95.ebuild:
  initial commit