Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* With USE=ecls, build and install also the ecl library. Also, get rid of maint...Andrey Grozin2011-06-043-4/+27
* Marking coq-8.3_p1 ppc for bug 355539Brent Baude2011-06-033-5/+8
* Make it gold resistant, #369455Justin Lecher2011-06-035-27/+67
* Make it gold resistant, #369849Justin Lecher2011-06-035-13/+81
* drop old, fails to build with make-3.82Samuli Suominen2011-05-152-58/+4
* x86 stable per bug 366379Thomas Kahle2011-05-143-19/+12
* Stable on amd64 wrt bug #366379Markos Chandras2011-05-103-9/+22
* Version bump (bug #363053).Michael Januszewski2011-05-083-5/+68
* Version bump. Remove old.Paweł Hajdan2011-05-058-189/+63
* Version bumpSebastien Fabbro2011-05-033-7/+56
* Version bumpSebastien Fabbro2011-05-032-8/+12
* Version bumpSebastien Fabbro2011-05-034-2/+182
* bump to 3.1.3.1, fixes build with gcc-4.6 in bug 362739 (thanks Diego for rep...Thomas Kahle2011-05-033-6/+185
* Add prefix keywords: ~ppc-aix and ~x86-linux for now.Michael Haubenwallner2011-04-293-17/+10
* Depends on >=cmucl-20bAndrey Grozin2011-04-284-13/+17
* Version bump, closing #364005Andrey Grozin2011-04-287-75/+264
* Update latest to eapi4. Drop older.Tomas Chvatal2011-04-264-33/+17
* Stable on amd64 wrt bug #360605Markos Chandras2011-04-263-10/+23
* Drop sparc keywordsRaúl Porcel2011-04-255-17/+21
* Marked ~x86-solaris, bug #296509Fabian Groffen2011-04-243-5/+18
* Fix for Prefix, use EAPI=3Fabian Groffen2011-04-243-23/+16
* whitespaceMichael Sterrett2011-04-182-3/+3
* Updated and added previous version and missing patch (doh!)Steve Arnold2011-04-175-5/+281
* x86 stable per bug 360605Thomas Kahle2011-04-173-11/+14
* Remove stale 3.0 version.Thomas Kahle2011-04-175-276/+10
* Reverting latest changes to unbreak stable tree. See bug 362739.Thomas Kahle2011-04-173-8/+11
* Fix for compilation with gcc4.6, #362377Justin Lecher2011-04-174-7/+84
* Updated to reoroganize headers one last time to fix package collision andSteve Arnold2011-04-163-23/+29
* Don't use distutils.eclass.Arfrever Frehtes Taifersar Arahesis2011-04-122-6/+25
* Delete older ebuild.Arfrever Frehtes Taifersar Arahesis2011-04-121-50/+0
* Fixed changed directory names when doc is enabled, bug #362583Sebastien Fabbro2011-04-113-8/+12
* Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix ...Kacper Kowalik2011-04-105-91/+97
* Updated include files to proper directory structure.Steve Arnold2011-04-103-8/+16
* Updated to include MTL header files apps that need them.Steve Arnold2011-04-093-5/+12
* New ebuild for minisat, a small fast SAT solver. Look it up... ;)Steve Arnold2011-04-094-0/+110
* Don't use raw LDFLAGS (thankfully GCC 4.6 now chokes on this).Diego Elio Pettenò2011-04-093-5/+19
* Version bump. Removed time in test (bug #362041)Sebastien Fabbro2011-04-085-112/+32
* QA issues fixed (bug #358383), csl now installed, pdf now installed with USE=...Andrey Grozin2011-03-295-10/+20
* Version bumpAndrey Grozin2011-03-273-10/+17
* stable ppc, bug 352177Brent Baude2011-03-273-15/+8
* Version bump to latest. Set properly handbook and linguas.Tomas Chvatal2011-03-213-2/+38
* x11-libs/fltk SLOTMOVE 1.1 -> 1, corrected ebuild accordinglyJustin Lecher2011-03-202-19/+15
* x11-libs/fltk SLOTMOVE 1.1 -> 1, corrected ebuild accordinglyJustin Lecher2011-03-208-19/+27
* Version bump (bug #354851).Michael Januszewski2011-03-163-7/+78
* Added a patch for GTK (bug #358433) from upstream. Disabled all date tests. A...Sebastien Fabbro2011-03-154-5/+157
* Removed obsolete dependencies on gnomeprint, bug #358443Sebastien Fabbro2011-03-143-9/+10
* Added a couple patches from Debian/UpstreamSebastien Fabbro2011-03-146-7/+233
* Fixed for missing icons, bug #358321 thanks Simone ScanzoniSebastien Fabbro2011-03-143-8/+12
* Version bump. Initial import to the main treeSebastien Fabbro2011-03-094-0/+95
* Correct Slots for gtk 3 introduction to treeJustin Lecher2011-03-073-10/+13