sci-mathematics/alt-ergo
Automatic theorem prover
ChangeLog
commit 1e04d5868f177eb639f03889b59d2cba00206578
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 21:01:49 2017 +0000
Second try to clean spaces in metadata.xml
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit bce61aa3e4fe85fe411df858eb30ebe72a3a8f88
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 20:39:44 2017 +0000
Consistently ident with tabs
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit f69e73182fc7cdc6c600a72fceb88ae1626db25d
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Feb 25 16:50:59 2017 +0000
Drop leftover from CVS in HEADER
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 6a8cfaf7c7b9eb337f30c0f3d2c982ee6fb71cad
Author: Marius Brehler <marbre@linux.sungazer.de>
Date: Wed Jun 15 16:46:00 2016 +0200
sci-mathematics/alt-ergo: Drop ~x86 keyword
Package-Manager: portage-2.2.28
commit 057a98c5e6346d6696fcc7b0ec8fefc9e826245f
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:53:09 2016 +0100
metadata.xml: Set type
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit b9d823e1ea1018d1356a0c18a083eab4d5ea6d8d
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:50:12 2016 +0100
metadata.xml: convert hard -> proj
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 2ef24e800910be3786e23a31a0217ba0f38659f8
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 7 15:10:39 2016 +0100
Drop ChangeLogs in favour of commit messages
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 0d912fad71b5b99852c8506abc966543335fa12d
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Sep 21 20:29:53 2015 +0200
sci-mathematics/alt-ergo: Add subslot operators
Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Aug 17 08:53:12 2015 +0200
Convert all $Header$ to $Id$ tags as it has be done in gentoo.git
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit a891336052fb27fd9f3f82e33c30f0984f50ea54
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:25:27 2015 +0200
Revert "Gentoo does https by default now"
This reverts commit 98718494343af4990facdefb0033471686e975a6.
commit 98718494343af4990facdefb0033471686e975a6
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:14:25 2015 +0200
Gentoo does https by default now
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit ec8363f4fc80dcedc6f542687e7057c5bcbe5522
Author: Denis V. Buzdalov <public@buzden.ru>
Date: Fri Nov 14 14:42:56 2014 +0300
AltGr-Ergo (GUI of Alt-Ergo) installation command was added.
commit 7cb06b989744a18e665c60f7d346fc80dd70e004
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:46:38 2014 -0600
clean up
Package-Manager: portage-2.2.8-r1
commit 39b534b32a8410b7c54eb87ba58c19f1bd9c871c
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Sun Aug 31 17:31:51 2014 +0200
fix Manifests: thin-manifests
commit b81928edd7bcb6749ff4c6ed6d5c7e5edf522606
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jul 20 13:36:17 2014 +0200
alt-ergo/alt-ergo-0.95.2: fix gui building
commit 811c478b3081ebfbeb9f749f274614367e7a8726
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:44:59 2014 +0200
Fix manifests regression
commit d73696e54434ec08a75603613fb1ece24718127f
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:38:01 2014 +0200
Several DESTDIR fixes
commit 9d31fe0253025c7f7c08e0828889c1f012977bd5
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 22:20:18 2014 +0200
multiple move to EAPI=5 and regression fixes
commit 03917aeca50f3a5bfb3382205e973e7777a67570
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 16:29:25 2014 +0200
multiple version bumps
commit daad1b1261436d6ac1e3ea1e78546f67923369f1
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Mon Jun 16 12:23:50 2014 +0200
sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev space
commit 1b9a1a664fe4a1e2515c3eedc842f0231dc0fcec
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 30 09:10:53 2014 +0100
Sanitize ebuild header
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 4bc989ebb95599a61c769c7df64910bde64d23cd
Author: Andrew Savchenko <bircoph@gmail.com>
Date: Sun Aug 25 06:35:16 2013 +0400
sci-mathematics/alt-ergo: version bump
- version bump for a patch release 0.95.1;
- remove old and fix bug 479994 (wrong metadata for 0.95);
- cleanup metadata (there is no figure there).
commit 94a47aba8632bc468ef26c88c57fd81b63e5f609
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Tue Jun 18 10:11:54 2013 -0700
big fixes of metadata and package sub-herd re-distribution
commit ee065f1862d22884a0ae29ea284c615288e5da46
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Mar 3 17:11:57 2013 +0100
sci-mathematics/alt-ergo: Move to EAPI=5; clean quoting and ebuild syntax and indention
Package-Manager: portage-2.2.0_alpha164
commit 57b5a08c8968c3459fd73bada79f0b5f7a1f0c96
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Jan 14 15:05:46 2013 +0100
sci-mathematics/alt-ergo: initial commit
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 21:01:49 2017 +0000
Second try to clean spaces in metadata.xml
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit bce61aa3e4fe85fe411df858eb30ebe72a3a8f88
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Nov 18 20:39:44 2017 +0000
Consistently ident with tabs
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit f69e73182fc7cdc6c600a72fceb88ae1626db25d
Author: Justin Lecher <jlec@gentoo.org>
Date: Sat Feb 25 16:50:59 2017 +0000
Drop leftover from CVS in HEADER
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 6a8cfaf7c7b9eb337f30c0f3d2c982ee6fb71cad
Author: Marius Brehler <marbre@linux.sungazer.de>
Date: Wed Jun 15 16:46:00 2016 +0200
sci-mathematics/alt-ergo: Drop ~x86 keyword
Package-Manager: portage-2.2.28
commit 057a98c5e6346d6696fcc7b0ec8fefc9e826245f
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:53:09 2016 +0100
metadata.xml: Set type
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit b9d823e1ea1018d1356a0c18a083eab4d5ea6d8d
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Jan 25 09:50:12 2016 +0100
metadata.xml: convert hard -> proj
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 2ef24e800910be3786e23a31a0217ba0f38659f8
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 7 15:10:39 2016 +0100
Drop ChangeLogs in favour of commit messages
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 0d912fad71b5b99852c8506abc966543335fa12d
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Sep 21 20:29:53 2015 +0200
sci-mathematics/alt-ergo: Add subslot operators
Package-Manager: portage-2.2.20.1
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 6271f0c55cbb6af7fe88ae1ec9d7dbdedd562565
Author: Justin Lecher <jlec@gentoo.org>
Date: Mon Aug 17 08:53:12 2015 +0200
Convert all $Header$ to $Id$ tags as it has be done in gentoo.git
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit a891336052fb27fd9f3f82e33c30f0984f50ea54
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:25:27 2015 +0200
Revert "Gentoo does https by default now"
This reverts commit 98718494343af4990facdefb0033471686e975a6.
commit 98718494343af4990facdefb0033471686e975a6
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Jun 21 12:14:25 2015 +0200
Gentoo does https by default now
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit ec8363f4fc80dcedc6f542687e7057c5bcbe5522
Author: Denis V. Buzdalov <public@buzden.ru>
Date: Fri Nov 14 14:42:56 2014 +0300
AltGr-Ergo (GUI of Alt-Ergo) installation command was added.
commit 7cb06b989744a18e665c60f7d346fc80dd70e004
Author: Christoph Junghans <ottxor@gentoo.org>
Date: Tue Sep 16 10:46:38 2014 -0600
clean up
Package-Manager: portage-2.2.8-r1
commit 39b534b32a8410b7c54eb87ba58c19f1bd9c871c
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Sun Aug 31 17:31:51 2014 +0200
fix Manifests: thin-manifests
commit b81928edd7bcb6749ff4c6ed6d5c7e5edf522606
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jul 20 13:36:17 2014 +0200
alt-ergo/alt-ergo-0.95.2: fix gui building
commit 811c478b3081ebfbeb9f749f274614367e7a8726
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:44:59 2014 +0200
Fix manifests regression
commit d73696e54434ec08a75603613fb1ece24718127f
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sat Jul 19 00:38:01 2014 +0200
Several DESTDIR fixes
commit 9d31fe0253025c7f7c08e0828889c1f012977bd5
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 22:20:18 2014 +0200
multiple move to EAPI=5 and regression fixes
commit 03917aeca50f3a5bfb3382205e973e7777a67570
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Sun Jun 22 16:29:25 2014 +0200
multiple version bumps
commit daad1b1261436d6ac1e3ea1e78546f67923369f1
Author: Jauhien Piatlicki <jauhien@gentoo.org>
Date: Mon Jun 16 12:23:50 2014 +0200
sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev space
commit 1b9a1a664fe4a1e2515c3eedc842f0231dc0fcec
Author: Justin Lecher <jlec@gentoo.org>
Date: Thu Jan 30 09:10:53 2014 +0100
Sanitize ebuild header
Signed-off-by: Justin Lecher <jlec@gentoo.org>
commit 4bc989ebb95599a61c769c7df64910bde64d23cd
Author: Andrew Savchenko <bircoph@gmail.com>
Date: Sun Aug 25 06:35:16 2013 +0400
sci-mathematics/alt-ergo: version bump
- version bump for a patch release 0.95.1;
- remove old and fix bug 479994 (wrong metadata for 0.95);
- cleanup metadata (there is no figure there).
commit 94a47aba8632bc468ef26c88c57fd81b63e5f609
Author: Sébastien Fabbro <bicatali@gentoo.org>
Date: Tue Jun 18 10:11:54 2013 -0700
big fixes of metadata and package sub-herd re-distribution
commit ee065f1862d22884a0ae29ea284c615288e5da46
Author: Justin Lecher <jlec@gentoo.org>
Date: Sun Mar 3 17:11:57 2013 +0100
sci-mathematics/alt-ergo: Move to EAPI=5; clean quoting and ebuild syntax and indention
Package-Manager: portage-2.2.0_alpha164
commit 57b5a08c8968c3459fd73bada79f0b5f7a1f0c96
Author: Jonathan-Christofer Demay <jcdemay@gmail.com>
Date: Mon Jan 14 15:05:46 2013 +0100
sci-mathematics/alt-ergo: initial commit