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
* Fixing RDEPENDAndrey Grozin2012-05-311-2/+2
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux i686, unsigned Manifest commit)
* Fixing RDEPENDAndrey Grozin2012-05-312-9/+11
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux i686)
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing ↵Andrey Grozin2012-05-311-2/+2
| | | | | | bug #418079 (Portage version: 2.2.0_alpha108/cvs/Linux i686, unsigned Manifest commit)
* Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing ↵Andrey Grozin2012-05-314-0/+112
| | | | | | bug #418079 (Portage version: 2.2.0_alpha108/cvs/Linux i686)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+14
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer ↵Mark Wright2012-05-301-0/+14
| | | | | | integration. (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer ↵Mark Wright2012-05-303-0/+105
| | | | | | integration. (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-301-0/+15
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-304-0/+201
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-301-5/+15
| | | | | | Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-309-1/+687
| | | | | | Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-05-291-6/+6
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-05-292-2/+8
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-211-17/+11
| | | | (Portage version: 2.2.0_alpha107/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* inherit eutils for make_desktop_entrySamuli Suominen2012-05-214-7/+11
| | | | (Portage version: 2.2.0_alpha107/cvs/Linux x86_64)
* Add missing inheritance of eutils.eclassKacper Kowalik2012-05-211-7/+27
| | | | (Portage version: 2.2.0_alpha104/cvs/Linux x86_64, signed Manifest commit with key 895192F9)
* Add missing inheritance of eutils.eclassKacper Kowalik2012-05-217-16/+21
| | | | (Portage version: 2.2.0_alpha104/cvs/Linux x86_64)
* Version bump. Remove old.Paweł Hajdan2012-05-211-10/+9
| | | | (Portage version: 2.1.10.49/cvs/Linux i686, signed Manifest commit with key 30427902)
* Version bump. Remove old.Paweł Hajdan2012-05-213-14/+37
| | | | (Portage version: 2.1.10.49/cvs/Linux i686)
* Remove unnecessary gnome-extra/yelp from runtime dependencies; ↵Samuli Suominen2012-05-211-2/+16
| | | | | | src/ui/gui/automake.mk will print a message suggesting to use online help as alternative. This will avoid pulling in vulnerable copy of net-libs/xulrunner wrt #416843. (Portage version: 2.2.0_alpha107/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* Remove unnecessary gnome-extra/yelp from runtime dependencies; ↵Samuli Suominen2012-05-212-3/+9
| | | | | | src/ui/gui/automake.mk will print a message suggesting to use online help as alternative. This will avoid pulling in vulnerable copy of net-libs/xulrunner wrt #416843. (Portage version: 2.2.0_alpha107/cvs/Linux x86_64)
* Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable.Thomas Kahle2012-05-181-14/+6
| | | | (Portage version: 2.1.10.62/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable.Thomas Kahle2012-05-185-150/+14
| | | | (Portage version: 2.1.10.62/cvs/Linux x86_64)
* Stable for amd64, wrt bug #415975Agostino Sarubbo2012-05-181-6/+10
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
* Stable for amd64, wrt bug #415975Agostino Sarubbo2012-05-182-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-171-6/+8
| | | | (Portage version: 2.2.0_alpha107/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bump, by Christian D., bug #416389Alexis Ballier2012-05-172-1/+88
| | | | (Portage version: 2.2.0_alpha107/cvs/Linux x86_64)
* bump to 27.7-r1 to reflect changed source location (Bug 416225)Thomas Kahle2012-05-161-7/+7
| | | | (Portage version: 2.1.10.60/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* bump to 27.7-r1 to reflect changed source location (Bug 416225)Thomas Kahle2012-05-162-4/+14
| | | | (Portage version: 2.1.10.60/cvs/Linux x86_64)
* Fix parallel build of docsThomas Kahle2012-05-161-5/+5
| | | | (Portage version: 2.1.10.60/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* Fix parallel build of docsThomas Kahle2012-05-162-4/+6
| | | | (Portage version: 2.1.10.60/cvs/Linux x86_64)
* Install pdf manual with USE='doc'. (Bug 415939)Thomas Kahle2012-05-161-7/+7
| | | | (Portage version: 2.1.10.60/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* Install pdf manual with USE='doc'. (Bug 415939)Thomas Kahle2012-05-162-5/+12
| | | | (Portage version: 2.1.10.60/cvs/Linux x86_64)
* Fix bug 414709. Thanks Jean-Francis Roy for the solution.Thomas Kahle2012-05-131-4/+5
| | | | (Portage version: 2.1.10.57/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* Fix bug 414709. Thanks Jean-Francis Roy for the solution.Thomas Kahle2012-05-132-1/+193
| | | | (Portage version: 2.1.10.57/cvs/Linux x86_64)
* New package: Machine Learning PYthon (mlpy) is a high-performance Python ↵Donnie Berkholz2012-05-111-0/+4
| | | | | | library for predictive modeling. (Portage version: 2.2.0_alpha101/cvs/Linux x86_64, unsigned Manifest commit)
* New package: Machine Learning PYthon (mlpy) is a high-performance Python ↵Donnie Berkholz2012-05-113-0/+50
| | | | | | library for predictive modeling. (Portage version: 2.2.0_alpha101/cvs/Linux x86_64)
* examples are not configured, only installed (fixing bug #415349) together ↵Sebastien Fabbro2012-05-101-8/+5
| | | | | | with demos. lapack dependency is removed, only used for examples. (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* examples are not configured, only installed (fixing bug #415349) together ↵Sebastien Fabbro2012-05-103-86/+11
| | | | | | with demos. lapack dependency is removed, only used for examples. (Portage version: 2.1.10.56/cvs/Linux x86_64)
* keyword ~amd64-fbsdAlexis Ballier2012-05-091-2/+12
| | | | (Portage version: 2.2.0_alpha102/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* keyword ~amd64-fbsdAlexis Ballier2012-05-092-3/+6
| | | | (Portage version: 2.2.0_alpha102/cvs/Linux x86_64)
* Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029)Sebastien Fabbro2012-05-081-2/+13
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029)Sebastien Fabbro2012-05-083-2/+18
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Version bump. Optimize python module only when python is selected (bug #356975)Sebastien Fabbro2012-05-081-5/+15
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bump. Optimize python module only when python is selected (bug #356975)Sebastien Fabbro2012-05-086-171/+80
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583)Thomas Kahle2012-05-041-10/+9
| | | | (Portage version: 2.1.10.57/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
* bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583)Thomas Kahle2012-05-046-115/+70
| | | | (Portage version: 2.1.10.57/cvs/Linux x86_64)
* dev-util/pkgconfig -> virtual/pkgconfigJeff Horelick2012-05-0411-153/+35
| | | | (Portage version: 2.2.0_alpha101/cvs/Linux i686, unsigned Manifest commit)
* dev-util/pkgconfig -> virtual/pkgconfigJeff Horelick2012-05-0435-71/+111
| | | | (Portage version: 2.2.0_alpha101/cvs/Linux i686)