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 bumpSebastien Fabbro2012-04-181-4/+7
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-04-182-2/+82
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ↵Thomas Kahle2012-04-161-11/+15
| | | | | | remove old. (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* Ebuild Maintenance and x86 stable per bug 412179. Bump to 27.4 (Bug 412205), ↵Thomas Kahle2012-04-166-204/+40
| | | | | | remove old. (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-04-161-6/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-04-162-2/+8
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-04-161-19/+7
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-04-163-142/+26
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Stable for amd64, wrt bug #412179Agostino Sarubbo2012-04-161-12/+2
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, unsigned Manifest commit)
* Stable for amd64, wrt bug #412179Agostino Sarubbo2012-04-162-5/+8
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-131-8/+18
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 7DC6EA25)
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-134-9/+13
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-131-8/+18
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 7DC6EA25)
* Move EAPI assignment to top of ebuild, bug 411875.Ulrich Müller2012-04-134-9/+13
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Bump to 0.9.0Thomas Kahle2012-04-131-6/+8
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* Bump to 0.9.0Thomas Kahle2012-04-132-2/+55
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-131-3/+13
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* agda 2.3.0 and 2.3.0.1 requires syb, add more range checks to depsMark Wright2012-04-133-5/+21
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-131-12/+3
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64, unsigned Manifest commit)
* Fix agda 2.3.0.1 build with mtl-2.1Mark Wright2012-04-133-3/+20
| | | | (Portage version: 2.1.10.56/cvs/Linux x86_64)
* Fix python3 generation (bug #411699), add vtk flag to avoid automagic, ↵Sebastien Fabbro2012-04-121-3/+14
| | | | | | prefix fixes for liffi and messages (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Fix python3 generation (bug #411699), add vtk flag to avoid automagic, ↵Sebastien Fabbro2012-04-124-18/+55
| | | | | | prefix fixes for liffi and messages (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for ↵Andrey Grozin2012-04-051-15/+8
| | | | | | the ebuild. Closing #406509. (Portage version: 2.2.0_alpha99/cvs/Linux i686, unsigned Manifest commit)
* Version bump, thanks to José Romildo Malaquias <j.romildo@gmail.com> for ↵Andrey Grozin2012-04-057-1/+243
| | | | | | the ebuild. Closing #406509. (Portage version: 2.2.0_alpha99/cvs/Linux i686)
* Version bumpAndrey Grozin2012-04-051-1/+5
| | | | (Portage version: 2.2.0_alpha99/cvs/Linux i686, unsigned Manifest commit)
* Version bumpAndrey Grozin2012-04-054-1/+278
| | | | (Portage version: 2.2.0_alpha99/cvs/Linux i686)
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-011-5/+6
| | | | (Portage version: 2.1.10.52/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0Mark Wright2012-04-013-2/+33
| | | | (Portage version: 2.1.10.52/cvs/Linux x86_64)
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-261-12/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-262-5/+8
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Marked ~x86-macosFabian Groffen2012-03-251-7/+7
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386, signed Manifest commit with key C5C74E89)
* Marked ~x86-macosFabian Groffen2012-03-252-3/+6
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386)
* Drop ia64/sparcRaúl Porcel2012-03-251-5/+15
| | | | (Portage version: 2.1.10.49/cvs/Linux ia64, RepoMan options: --force, signed Manifest commit with key F6AD3240)
* Drop ia64/sparcRaúl Porcel2012-03-255-10/+18
| | | | (Portage version: 2.1.10.49/cvs/Linux ia64, RepoMan options: --force)
* Add agda-executable, Command-line program for type-checking and compiling ↵Mark Wright2012-03-251-0/+16
| | | | | | Agda programs. (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add agda-executable, Command-line program for type-checking and compiling ↵Mark Wright2012-03-254-0/+89
| | | | | | Agda programs. (Portage version: 2.1.10.51/cvs/Linux x86_64)
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-251-0/+15
| | | | (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-254-0/+62
| | | | (Portage version: 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-251-6/+9
| | | | | | EAPI=4, [profile?] for haskell lib depends. (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵Mark Wright2012-03-255-16/+126
| | | | | | EAPI=4, [profile?] for haskell lib depends. (Portage version: 2.1.10.51/cvs/Linux x86_64)
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-251-8/+8
| | | | (Portage version: 2.2.0_alpha95/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-254-25/+20
| | | | (Portage version: 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-241-4/+8
| | | | | | sage-on-gentoo (Portage version: 2.1.10.50/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and ↵Thomas Kahle2012-03-243-2/+233
| | | | | | sage-on-gentoo (Portage version: 2.1.10.50/cvs/Linux x86_64)
* Marked ~x{86,64}-macos, bug #408497Fabian Groffen2012-03-241-2/+12
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386, signed Manifest commit with key C5C74E89)
* Marked ~x{86,64}-macos, bug #408497Fabian Groffen2012-03-242-4/+7
| | | | (Portage version: 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-241-8/+8
| | | | | | 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 (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located ↵Mark Wright2012-03-243-4/+59
| | | | | | 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 (Portage version: 2.1.10.51/cvs/Linux x86_64)
* New addition, written by meJustin Lecher2012-03-211-2/+12
| | | | (Portage version: 2.2.0_alpha93/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* New addition, written by meJustin Lecher2012-03-215-0/+84
| | | | (Portage version: 2.2.0_alpha93/cvs/Linux x86_64)