diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2011-02-13 20:04:58 +0000 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2011-02-13 20:04:58 +0000 |
| commit | a261387960721c0cf0b489530be6e55fdd446c09 (patch) | |
| tree | e7c8bb599d3204dd83bb84e259fe59bef2cb4947 /sci-mathematics/gappalib-coq/ChangeLog | |
| parent | sci-mathematics/flocq: new package (diff) | |
| download | sci-a261387960721c0cf0b489530be6e55fdd446c09.tar.gz sci-a261387960721c0cf0b489530be6e55fdd446c09.tar.bz2 sci-a261387960721c0cf0b489530be6e55fdd446c09.zip | |
sci-mathematics/gappalib-coq: version bump
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: |