| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/twelf: Fix 622848 in 1.7.1-r1 by requiring mlton 20180207. |   Mark Wright | 2018-03-11 | 3 | -5/+132 |
| * | dev-lang/mlton: Bump to 20180207, fix 295112 and 581128. | Mark Wright | 2018-03-11 | 6 | -4/+322 |
| * | dev-lang/smlnj: Bump to 110.82, fix install dirs, build on pax kernels. | Mark Wright | 2018-03-11 | 6 | -0/+579 |
| * | x11-misc/cdm: Bump | Mark Wright | 2018-01-29 | 2 | -0/+71 |
| * | dev-lang/scala: Bump to 2.12.4 | Mark Wright | 2018-01-29 | 3 | -0/+269 |
| * | sci-mathematics/rstudio: version bump to 1.1.368 |   Sobhan Mohammadpour | 2017-10-24 | 3 | -0/+325 |
| * | sci-mathematics/rstudio: Bump to 1.0.153 | Mark Wright | 2017-07-24 | 2 | -0/+248 |
| * | dev-lang/scala: Bump to 2.12.2 | Mark Wright | 2017-05-05 | 3 | -0/+255 |
| * | sci-mathematics/rstudio: Bump to 1.0.143, fix 609644 and 606166. | Mark Wright | 2017-04-26 | 15 | -77/+325 |
| * | sci-mathematics/z3: Use echo instead of elog. | Mark Wright | 2017-04-26 | 2 | -3/+3 |
| * | dev-lisp/sbcl: Fix the detection of -nopie and -no-pie. | Mark Wright | 2017-03-01 | 3 | -30/+20 |
| * | sci-mathematics/z3: Fix examples install directory. | Mark Wright | 2017-01-28 | 2 | -2/+2 |
| * | sci-mathematics/z3: Fix python API, thanks to Jonas Jelten for reporting. | Mark Wright | 2017-01-28 | 2 | -13/+75 |
| * | sci-mathematics/isabelle: Remove old | Mark Wright | 2017-01-28 | 8 | -468/+0 |
| * | dev-lang/teyjus: Bump to 2.1. Fix build with ocaml 4.03 and above. | Mark Wright | 2017-01-11 | 3 | -8/+130 |
| * | sci-mathematics/rstudio: Bump to 1.0.136 | Mark Wright | 2017-01-03 | 2 | -0/+249 |
| * | sci-mathematics/z3: Thanks to Daniel Gulotta for reporting. | Mark Wright | 2017-01-03 | 2 | -6/+9 |
| * | sci-mathematics/e: Update to EAPI="6" | Mark Wright | 2017-01-03 | 1 | -0/+119 |
| * | sci-mathematics/spass: Bump to 3.9 | Mark Wright | 2017-01-03 | 3 | -1/+149 |
| * | sci-mathematics/sha1-polyml: Bump to 5.6-1. Fix | Mark Wright | 2017-01-03 | 3 | -0/+123 |
| * | sci-mathematics/kodkodi: Update to EAPI="6" | Mark Wright | 2017-01-03 | 1 | -0/+108 |
| * | sci-mathematics/kodkod: Fix get_libdir called in global scope, thanks to | Mark Wright | 2017-01-03 | 1 | -0/+141 |
| * | sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for | Mark Wright | 2017-01-03 | 11 | -0/+606 |
| * | sci-mathematics/z3: Fix install for USE="python -doc", thanks to Toralf F?rster | Mark Wright | 2017-01-03 | 1 | -5/+3 |
| * | sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development | Mark Wright | 2017-01-02 | 6 | -0/+416 |
| * | dev-lang/scala: Bump to 2.12.1 | Mark Wright | 2016-12-29 | 4 | -0/+291 |
| * | dev-java/sbt: Bump to 0.13.13, built with jdk 1.8. | Mark Wright | 2016-12-29 | 2 | -0/+167 |
| * | dev-lang/polyml: Bump to 5.6 | Mark Wright | 2016-12-28 | 2 | -0/+54 |
| * | sci-mathematics/rstudio: Bump to 1.0.44, thanks to David Luna for reporting. | Mark Wright | 2016-12-02 | 5 | -0/+471 |
| * | dev-libs/mathjax: Bump to 2.7.0 | Mark Wright | 2016-12-02 | 2 | -0/+60 |
| * | dev-lang/scala: Bump 2.11 slot to 2.11.8. | Mark Wright | 2016-09-16 | 3 | -0/+267 |
| * | sci-mathematics/rstudio: Bump to 0.99.903 | Mark Wright | 2016-07-20 | 2 | -0/+251 |
| * | sci-mathematics/rstudio: Bump to 0.99.902 | Mark Wright | 2016-05-15 | 2 | -0/+251 |
| * | sci-mathematics/octave: Fix bug 554226, thanks to Helmut Jarausch for reporting. | Mark Wright | 2016-05-03 | 2 | -0/+68 |
| * | sci-mathematics/octave: revbump 4.0.2 for bug 566134 fix. | Mark Wright | 2016-05-03 | 1 | -0/+0 |
| * | sci-mathematics/octave: Fix bug 566134, thanks to Francisco Vazquez for repor... | Mark Wright | 2016-05-03 | 3 | -3/+359 |
| * | sys-firmware/iwl3160-ucode: Bump 12, 13 slots, thanks to Elizabeth Myers. | Mark Wright | 2016-04-19 | 4 | -0/+144 |
| * | sys-firmware/iwl7260-ucode: Bump 12, 13 slots, thanks to Elizabeth Myers. | Mark Wright | 2016-04-19 | 4 | -0/+144 |
| * | sci-mathematics/rstudio: Bump to 0.99.896 | Mark Wright | 2016-04-19 | 3 | -2/+253 |
| * | sci-mathematics/rstudio: Bump to 0.99.893 | Mark Wright | 2016-04-08 | 2 | -0/+251 |
| * | dev-java/sbt: Bump to 0.13.11, allow building with jdk 1.8. | Mark Wright | 2016-02-24 | 2 | -0/+158 |
| * | sci-mathematics/rstudio: Bump to 0.99.879 | Mark Wright | 2016-02-20 | 5 | -0/+503 |
| * | dev-lang/scala: Remove DEPEND java-virtuals/jdk-with-com-sun:0 | Mark Wright | 2016-02-17 | 11 | -21/+10 |
| * | sci-mathematics/csdp: Use existing package sci-libs/coinor-csdp | Mark Wright | 2016-02-17 | 4 | -73/+1 |
| * | sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-... | Mark Wright | 2016-02-16 | 1 | -1/+1 |
| * | sci-mathematics/isabelle: Bump to 2015, check diskspace and memory. | Mark Wright | 2016-02-16 | 4 | -0/+349 |
| * | sci-mathematics/csdp: Add CSDP, A C Library for Semidefinite Programming | Mark Wright | 2016-02-16 | 3 | -0/+73 |
| * | dev-lang/scala: Drop old version scala-2.9.2-r1, superceeded by scala-2.9.3 | Mark Wright | 2016-02-16 | 2 | -150/+0 |
| * | dev-java/sbt: Thanks to angry_vincent for reporting, Chewi for fix: RDEPEND >... | Mark Wright | 2016-02-13 | 1 | -1/+1 |
| * | dev-java/sbt: Thanks to _flow_ for reporting, upstream changed sbt-launch binary | Mark Wright | 2016-02-09 | 1 | -1/+1 |
