summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Link Golly against libperl and libpython so it finds them in runtimeMichael Raskin2014-11-10
* vite: fix and update packageMateusz Kowalczyk2014-11-09
* zarith: propagate build input gmpVincent Laporte2014-11-07
* Adds some “branch” meta-dataVincent Laporte2014-11-06
* wxmaxima: update from 13.04.2 to 14.09.0Vincent Laporte2014-11-06
* Turn more licenses into lib.licenses styleMateusz Kowalczyk2014-11-06
* Add mirrors for sageJoachim Fasting2014-11-03
* Merge pull request #4238 from wkennington/master.boostPeter Simons2014-11-03
|\
| * boost: Remove boost.libWilliam A. Kennington III2014-11-02
* | coq_HEAD: update to latest commitJohn Wiegley2014-11-03
* | coq: 8.4pl4 -> 8.4pl5John Wiegley2014-11-03
* | Merge pull request #4788 from joachifm/sagePeter Simons2014-11-03
|\ \ | |/ |/|
| * sage: fix download url for version 6.1.1Joachim Fasting2014-11-02
| * sage: fix meta informationJoachim Fasting2014-11-02
* | R: run the test suite only when recommended packages are builtPeter Simons2014-11-01
* | R: update to version R-3.1.2Peter Simons2014-11-01
* | Updating qucs to 0.18Lluís Batlle i Rossell2014-10-29
* | Added acgtk-1.1Jiri Marsik2014-10-28
|/
* Merge pull request #4456 from robberer/pkgs/fritzingJaka Hudoklin2014-10-12
|\
| * fritzing: add version 0.9.0bLongrin Wischnewski2014-10-10
* | cvc4: new derivationVincent Laporte2014-10-12
* | why3: update from 0.83 to 0.85Vincent Laporte2014-10-12
* | xplanet: fix giflib updateDomen Kožar2014-10-11
* | maxima: update from 5.33.0 to 5.34.1Vincent Laporte2014-10-10
|/
* coq_HEAD: UpdateJohn Wiegley2014-10-09
* haskell-sloane: update to version 1.9.3Peter Simons2014-10-06
* Merge pull request #4342 from vbgl/camlp5-6.12Mateusz Kowalczyk2014-10-03
|\
| * hol_light: update to r199Vincent Laporte2014-10-01
* | isabelle: Version 2014 building on Linux and DarwinJohn Wiegley2014-09-30
|/
* isabelle: Another Linux hash change?John Wiegley2014-09-30
* isabelle: Remove Linux patches (is this correct?)John Wiegley2014-09-30
* isabelle: Correct the 2014 sha value for LinuxJohn Wiegley2014-09-30
* isabelle: 2013 -> 2014, plus add darwin supportJohn Wiegley2014-09-30
* Merge pull request #4305 from vbgl/coq-containersMateusz Kowalczyk2014-09-30
|\
| * Removes duplicate ssreflectVincent Laporte2014-09-28
| * coq: setup-hook for librariesVincent Laporte2014-09-28
* | gtkwave: update from 3.3.61 to 3.3.62Mateusz Kowalczyk2014-09-30
|/
* Update gollyMichael Raskin2014-09-24
* Update PARIMichael Raskin2014-09-24
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-09-23
* boost: Update depdendent packagesWilliam A. Kennington III2014-09-21
* Merge pull request #4165 from ftrvxmtrx/pcalcPeter Simons2014-09-19
|\
| * added pcalc packageSiarhei Zirukin2014-09-19
* | coq_HEAD: Revert "update to latest Git version"Peter Simons2014-09-19
|/
* add mathematica 10 (slightly borked but runs)Aristid Breitkreuz2014-09-17
* Update hol_light to r198. Add myself as a maintainerMarco Maggesi2014-09-16
* ott: 0.25 new expressionJohn Wiegley2014-09-15
* R: Revert update to version 3.1.1Peter Simons2014-09-13
* transformed meta.maintainers of some packages into listsPascal Wittmann2014-09-13
* R: update to version 3.1.1Peter Simons2014-09-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-08 10:05:52 +0000