diff options
Diffstat (limited to 'sci-mathematics/gappalib-coq/ChangeLog')
| -rw-r--r-- | sci-mathematics/gappalib-coq/ChangeLog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog index b1f46650b..db6238ae6 100644 --- a/sci-mathematics/gappalib-coq/ChangeLog +++ b/sci-mathematics/gappalib-coq/ChangeLog @@ -3,8 +3,12 @@ # $Header: $ 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com> + +gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild: + version bump + + 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com> +gappalib-coq-0.13.ebuild, -gappalib-coq-0.12.ebuild: - Version bump + version bump 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com> +metadata.xml, +ChangeLog: |