summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/rstudio: Bump to 1.1.463Mark Wright2018-11-195-0/+1114
* x11-misc/cdm: Bump to 0.7Mark Wright2018-10-052-7/+7
* sci-mathematics/octave: Add missing qt depsMark Wright2018-07-051-0/+3
* dev-lang/R: Bump to 3.5.1Mark Wright2018-07-042-5/+2
* sci-mathematics/octave: Bump to 4.4.0, thanks Fabio RossiMark Wright2018-07-036-0/+246
* sci-mathematics/rstudio: Add USE libresslMark Wright2018-07-031-3/+4
* sci-mathematics/rstudio: Bump to 1.1.453Mark Wright2018-07-034-0/+431
* dev-libs/mathjax: Bump to 2.7.4Mark Wright2018-07-032-0/+59
* dev-libs/mathjax: Drop oldMark Wright2018-07-034-171/+0
* dev-lang/R: Bump to 3.5.1 RCMark Wright2018-07-032-0/+208
* sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207.Mark Wright2018-03-113-5/+132
* dev-lang/mlton: Bump to 20180207, fix 295112 and 581128.Mark Wright2018-03-116-4/+322
* dev-lang/smlnj: Bump to 110.82, fix install dirs, build on pax kernels.Mark Wright2018-03-116-0/+579
* x11-misc/cdm: BumpMark Wright2018-01-292-0/+71
* dev-lang/scala: Bump to 2.12.4Mark Wright2018-01-293-0/+269
* sci-mathematics/rstudio: version bump to 1.1.368Sobhan Mohammadpour2017-10-243-0/+325
* sci-mathematics/rstudio: Bump to 1.0.153Mark Wright2017-07-242-0/+248
* dev-lang/scala: Bump to 2.12.2Mark Wright2017-05-053-0/+255
* sci-mathematics/rstudio: Bump to 1.0.143, fix 609644 and 606166.Mark Wright2017-04-2615-77/+325
* sci-mathematics/z3: Use echo instead of elog.Mark Wright2017-04-262-3/+3
* dev-lisp/sbcl: Fix the detection of -nopie and -no-pie.Mark Wright2017-03-013-30/+20
* sci-mathematics/z3: Fix examples install directory.Mark Wright2017-01-282-2/+2
* sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting.Mark Wright2017-01-282-13/+75
* sci-mathematics/isabelle: Remove oldMark Wright2017-01-288-468/+0
* dev-lang/teyjus: Bump to 2.1. Fix build with ocaml 4.03 and above.Mark Wright2017-01-113-8/+130
* sci-mathematics/rstudio: Bump to 1.0.136Mark Wright2017-01-032-0/+249
* sci-mathematics/z3: Thanks to Daniel Gulotta for reporting.Mark Wright2017-01-032-6/+9
* sci-mathematics/e: Update to EAPI="6"Mark Wright2017-01-031-0/+119
* sci-mathematics/spass: Bump to 3.9Mark Wright2017-01-033-1/+149
* sci-mathematics/sha1-polyml: Bump to 5.6-1. FixMark Wright2017-01-033-0/+123
* sci-mathematics/kodkodi: Update to EAPI="6"Mark Wright2017-01-031-0/+108
* sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks toMark Wright2017-01-031-0/+141
* sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez forMark Wright2017-01-0311-0/+606
* sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rsterMark Wright2017-01-031-5/+3
* sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-026-0/+416
* dev-lang/scala: Bump to 2.12.1Mark Wright2016-12-294-0/+291
* dev-java/sbt: Bump to 0.13.13, built with jdk 1.8.Mark Wright2016-12-292-0/+167
* dev-lang/polyml: Bump to 5.6Mark Wright2016-12-282-0/+54
* sci-mathematics/rstudio: Bump to 1.0.44, thanks to David Luna for reporting.Mark Wright2016-12-025-0/+471
* dev-libs/mathjax: Bump to 2.7.0Mark Wright2016-12-022-0/+60
* dev-lang/scala: Bump 2.11 slot to 2.11.8.Mark Wright2016-09-163-0/+267
* sci-mathematics/rstudio: Bump to 0.99.903Mark Wright2016-07-202-0/+251
* sci-mathematics/rstudio: Bump to 0.99.902Mark Wright2016-05-152-0/+251
* sci-mathematics/octave: Fix bug 554226, thanks to Helmut Jarausch for reporting.Mark Wright2016-05-032-0/+68
* sci-mathematics/octave: revbump 4.0.2 for bug 566134 fix.Mark Wright2016-05-031-0/+0
* sci-mathematics/octave: Fix bug 566134, thanks to Francisco Vazquez for repor...Mark Wright2016-05-033-3/+359
* sys-firmware/iwl3160-ucode: Bump 12, 13 slots, thanks to Elizabeth Myers.Mark Wright2016-04-194-0/+144
* sys-firmware/iwl7260-ucode: Bump 12, 13 slots, thanks to Elizabeth Myers.Mark Wright2016-04-194-0/+144
* sci-mathematics/rstudio: Bump to 0.99.896Mark Wright2016-04-193-2/+253
* sci-mathematics/rstudio: Bump to 0.99.893Mark Wright2016-04-082-0/+251