Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Collapse)AuthorAgeFilesLines
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-301-13/+13
| | | | (Portage version: 2.1.11.31/cvs/Linux i686, signed Manifest commit with key 30427902)
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-302-11/+18
| | | | (Portage version: 2.1.11.31/cvs/Linux i686, signed Manifest commit with key 30427902)
* Fix doc install per bug 449312Thomas Kahle2012-12-301-5/+5
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Fix doc install per bug 449312Thomas Kahle2012-12-302-4/+9
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC)
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-281-4/+6
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-283-1/+171
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Drop masked for removal packagePacho Ramos2012-12-2519-2109/+0
|
* Version bumpAndrey Grozin2012-12-241-16/+8
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-12-242-2/+61
| | | | (Portage version: 2.2.0_alpha149/cvs/Linux i686, unsigned Manifest commit)
* add ~armMarkus Meier2012-12-231-9/+5
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* add ~armMarkus Meier2012-12-232-3/+6
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* Remove old.Michael Palimaka2012-12-201-8/+8
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
* Remove old.Michael Palimaka2012-12-204-103/+5
| | | | (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
* Version bumpAndrey Grozin2012-12-141-1/+6
| | | | (Portage version: 2.2.0_alpha148/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-12-145-1/+306
| | | | (Portage version: 2.2.0_alpha148/cvs/Linux i686, unsigned Manifest commit)
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-141-5/+15
| | | | (Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-142-3/+6
| | | | (Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
* Version bumpSebastien Fabbro2012-12-121-5/+8
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-12-123-6/+84
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-121-5/+5
| | | | | | depends on twelf. (Portage version: 2.1.11.36/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-122-5/+8
| | | | | | depends on twelf. (Portage version: 2.1.11.36/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-111-18/+9
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-115-44/+59
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Removed oldSebastien Fabbro2012-12-111-14/+10
| | | | (Portage version: 2.2.0_alpha144/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Removed oldSebastien Fabbro2012-12-115-132/+12
| | | | (Portage version: 2.2.0_alpha144/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-101-17/+12
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-103-102/+19
| | | | (Portage version: 2.2.01.21418-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Add twelf, ebuild by meMark Wright2012-12-091-0/+20
| | | | (Portage version: 2.1.11.34/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add twelf, ebuild by meMark Wright2012-12-099-0/+240
| | | | (Portage version: 2.1.11.34/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-091-5/+7
| | | | | | functionality, like using Simpl/Vcg. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵Mark Wright2012-12-094-4/+32
| | | | | | functionality, like using Simpl/Vcg. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* add ~arm, bug #440908Markus Meier2012-12-081-4/+14
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* add ~arm, bug #440908Markus Meier2012-12-082-3/+6
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 072AD062)
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-081-0/+14
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-083-0/+101
| | | | (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-061-4/+14
| | | | (Portage version: 2.2.01.21313-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-063-9/+19
| | | | (Portage version: 2.2.01.21313-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-051-1/+12
| | | | | | checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵Mark Wright2012-12-054-0/+140
| | | | | | checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-051-1/+12
| | | | | | sci-mathematics/isabelle nitpick couter-example checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for ↵Mark Wright2012-12-054-0/+133
| | | | | | sci-mathematics/isabelle nitpick couter-example checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is ↵Mark Wright2012-12-051-5/+5
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is ↵Mark Wright2012-12-052-9/+13
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-051-6/+6
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is ↵Mark Wright2012-12-053-23/+21
| | | | | | updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-051-5/+5
| | | | | | that is suitable for Gentoo (it disables building the shared libraries). EAPI=5 with subslot depends to automatically rebuild cvc3 when isabelle is updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-052-16/+22
| | | | | | that is suitable for Gentoo (it disables building the shared libraries). EAPI=5 with subslot depends to automatically rebuild cvc3 when isabelle is updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-051-6/+6
| | | | | | updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵Mark Wright2012-12-053-11/+48
| | | | | | updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-041-5/+5
| | | | (Portage version: 2.2.0_alpha144/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)