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
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-014-7/+39
| | | | Package-Manager: portage-2.1.10.52/cvs/Linux x86_64
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-263-17/+10
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Marked ~x86-macosFabian Groffen2012-03-253-10/+13
| | | | Package-Manager: portage-2.2.01.20271-prefix/cvs/Darwin i386
* Drop ia64/sparcRaúl Porcel2012-03-256-15/+33
| | | | | Package-Manager: portage-2.1.10.49/cvs/Linux ia64 RepoMan-Options: --force
* Add agda-executable, Command-line program for type-checking and compiling ↵Mark Wright2012-03-255-0/+105
| | | | | | Agda programs. Package-Manager: portage-2.1.10.51/cvs/Linux x86_64
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-255-0/+77
| | | | Package-Manager: portage-2.1.10.51/cvs/Linux x86_64
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵Mark Wright2012-03-256-22/+135
| | | | | | EAPI=4, [profile?] for haskell lib depends. Package-Manager: portage-2.1.10.51/cvs/Linux x86_64
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-255-33/+28
| | | | Package-Manager: portage-2.2.0_alpha95/cvs/Linux x86_64
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and ↵Thomas Kahle2012-03-244-6/+241
| | | | | | sage-on-gentoo Package-Manager: portage-2.1.10.50/cvs/Linux x86_64
* Marked ~x{86,64}-macos, bug #408497Fabian Groffen2012-03-243-6/+19
| | | | Package-Manager: portage-2.2.01.20271-prefix/cvs/Darwin i386
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located ↵Mark Wright2012-03-244-12/+67
| | | | | | is an alias for Ploc.Exc, it has been deprecated for a while, and was removed in dev-ml/camlp5-6.05. Fixed by upstream in svn repo: https://coq.inria.fr/bugs/show_bug.cgi?id=2728 Package-Manager: portage-2.1.10.51/cvs/Linux x86_64
* New addition, written by meJustin Lecher2012-03-215-0/+94
| | | | Package-Manager: portage-2.2.0_alpha93/cvs/Linux x86_64
* Added gnome-extras/yelp dependency for documentation when gtk is setSebastien Fabbro2012-03-153-11/+14
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Revert to ~ppc wrt #360601Samuli Suominen2012-03-133-7/+24
| | | | Package-Manager: portage-2.2.0_alpha90/cvs/Linux x86_64
* Remove unused USE flags umfpack, ffcall and arpack.Samuli Suominen2012-03-103-15/+13
| | | | Package-Manager: portage-2.2.0_alpha90/cvs/Linux x86_64
* Forgot to add virtual/glu for prev. commit. Complete it.Samuli Suominen2012-03-102-9/+10
| | | | Package-Manager: portage-2.2.0_alpha90/cvs/Linux x86_64
* Pull in GLU headers for "gluProject" wrt #402361 by Helmut Jarausch. This is ↵Samuli Suominen2012-03-104-10/+36
| | | | | | required for compability with x11-libs/qt-opengl >= 4.8.0. Package-Manager: portage-2.2.0_alpha90/cvs/Linux x86_64
* Marking octave-3.4.3-r1 ppc64 for bug 402199Brent Baude2012-03-083-5/+8
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Marking glpk-4.45 ppc64 for bug 391517Brent Baude2012-03-083-5/+8
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Marking octave-3.4.3-r1 ppc for bug 402199Brent Baude2012-03-073-15/+8
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Version bumpSebastien Fabbro2012-03-063-7/+155
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Version bumpSebastien Fabbro2012-03-043-10/+16
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Remove old.Johannes Huber2012-03-033-23/+19
| | | | Package-Manager: portage-2.2.0_alpha89/cvs/Linux i686
* Marking gmm-4.1 ppc64 for bug 391651Brent Baude2012-03-023-5/+8
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Version bumpSebastien Fabbro2012-03-022-12/+12
| | | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Version bumpSebastien Fabbro2012-03-025-47/+70
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Version bump, add a gnuplot flag (bug #402705), and fix occasional failures ↵Sebastien Fabbro2012-02-273-7/+121
| | | | | | on install (bug #401189) Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Marking glpk-4.45 ppc for bug 391517Brent Baude2012-02-273-15/+8
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Restricting jythonPatrick Lauer2012-02-264-11/+15
| | | | Package-Manager: portage-2.2.0_alpha89/cvs/Linux x86_64
* Restricting pythonPatrick Lauer2012-02-255-25/+19
| | | | Package-Manager: portage-2.2.0_alpha89/cvs/Linux x86_64
* version bumpAlexis Ballier2012-02-233-6/+95
| | | | Package-Manager: portage-2.2.0_alpha89/cvs/Linux x86_64
* Version bumpAndrey Grozin2012-02-203-7/+13
| | | | Package-Manager: portage-2.2.0_alpha87/cvs/Linux i686
* x86 stable wrt bug #402199Paweł Hajdan2012-02-163-9/+12
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux i686
* Fix building with ecls-12.2.1Andrey Grozin2012-02-134-6/+22
| | | | Package-Manager: portage-2.2.0_alpha86/cvs/Linux i686
* Stable for amd64, wrt bug #402953Agostino Sarubbo2012-02-103-9/+16
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* added missing dep for doc USE-flag, x86 stable per bug 402953Thomas Kahle2012-02-103-11/+16
| | | | Package-Manager: portage-2.1.10.45/cvs/Linux x86_64
* Stable for HPPA (bug #402199).Jeroen Roovers2012-02-083-13/+12
| | | | Package-Manager: portage-2.2.0_alpha85/cvs/Linux x86_64
* Stable for amd64, wrt bug #402199Agostino Sarubbo2012-02-073-10/+17
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Added readline dependencySebastien Fabbro2012-02-064-9/+15
| | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64
* alpha/sparc stable wrt #391517Raúl Porcel2012-02-053-22/+15
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux ia64
* Remove openmp (too experimental, do it with EXTRA_ECONF if interested), ↵Sebastien Fabbro2012-01-315-19/+29
| | | | | | fixed a parallel build issue (bug #401189), remove obsolete configure option Package-Manager: portage-2.1.10.41/cvs/Linux x86_64
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-304-9/+16
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-303-6/+12
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-303-6/+12
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Correct ChangeLogJustin Lecher2012-01-262-6/+6
| | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64
* Mirror binary file and remove it from FILESDIR, #370879; add missing dies; ↵Justin Lecher2012-01-265-126/+40
| | | | | | resorted ebuild Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64
* Bump agda to 2.3.0 bug #349460Mark Wright2012-01-235-9/+118
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Applying pkg_setup to earlier versionSebastien Fabbro2012-01-213-8/+11
| | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64
* Version bumpSebastien Fabbro2012-01-213-6/+56
| | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64
* Move pkg_pretend -> pkg_setup for openmp check, bug #399557Sebastien Fabbro2012-01-203-19/+12
| | | | Package-Manager: portage-2.1.10.41/cvs/Linux x86_64