about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* R: add meta.platforms attributePeter Simons2014-12-03
|
* coq_HEAD: updateJohn Wiegley2014-11-17
|
* hol_light: update from 199 to 205Vincent Laporte2014-11-17
|
* Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-11-11
|\ | | | | | | | | Conflicts: pkgs/development/libraries/boost/generic.nix
| * Link Golly against libperl and libpython so it finds them in runtimeMichael Raskin2014-11-10
| |
* | Merge branch 'master' into stagingLuca Bruno2014-11-10
|\|
| * vite: fix and update packageMateusz Kowalczyk2014-11-09
| |
* | Merge branch 'master' into stagingLuca Bruno2014-11-08
|\| | | | | | | | | | | Makes the build more useful: - Disabled hybrid iso, makes installer tests pass again - Imagemagick fixes to the "Illegal instruction" thing
| * zarith: propagate build input gmpVincent Laporte2014-11-07
| |
| * Adds some “branch” meta-dataVincent Laporte2014-11-06
| |
* | Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-11-06
|\| | | | | | | | | Conflicts: pkgs/stdenv/generic/default.nix
| * wxmaxima: update from 13.04.2 to 14.09.0Vincent Laporte2014-11-06
| |
| * Turn more licenses into lib.licenses styleMateusz Kowalczyk2014-11-06
| | | | | | | | | | | | Should eval cleanly, as far as -A tarball tells me. Relevant: issue #2999, issue #739
* | Merge recent master into stagingVladimír Čunát2014-11-05
|\| | | | | | | | | | | | | | | | | | | | | Nixpkgs Hydra: ?compare=1157272 TODO: port e22889064f82be3 Conflicts: nixos/tests/gnome3_10.nix (auto-solved) pkgs/applications/video/aegisub/default.nix pkgs/development/libraries/boost/1.55.nix
| * Add mirrors for sageJoachim Fasting2014-11-03
| |
| * Merge pull request #4238 from wkennington/master.boostPeter Simons2014-11-03
| |\ | | | | | | Make boost 156 the default
| | * 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 fixes
| | * sage: fix download url for version 6.1.1Joachim Fasting2014-11-02
| | |
| | * sage: fix meta informationJoachim Fasting2014-11-02
| | | | | | | | | | | | Correct homagepage, description, and license.
* | | iconv: remove usage on Linux in several packagesVladimír Čunát2014-11-03
| | | | | | | | | | | | | | | | | | | | | This fixes builds after #4419. Thanks to @vbgl for the original commit; I changed that as I'm not sure whether passing null values to buildInputs is clean. CC maintainers: @coroa, @peti, @phreedom, @robberer, @jcumming.
* | | Merge remote-tracking branch 'origin/master' into staging.Peter Simons2014-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
| | |
* | | Merge remote-tracking branch 'origin/master' into staging.Peter Simons2014-10-31
|\| |
| * | Updating qucs to 0.18Lluís Batlle i Rossell2014-10-29
| | | | | | | | | | | | Patch by 'emery' on irc.
| * | Added acgtk-1.1Jiri Marsik2014-10-28
| |/
* | Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-10-16
|\| | | | | | | | | Conflicts: pkgs/development/libraries/poppler/default.nix
| * Merge pull request #4456 from robberer/pkgs/fritzingJaka Hudoklin2014-10-12
| |\ | | | | | | fritzing: add version 0.9.0b
| | * fritzing: add version 0.9.0bLongrin Wischnewski2014-10-10
| | | | | | | | | | | | - An open source prototyping tool for Arduino-based projects
| * | cvc4: new derivationVincent Laporte2014-10-12
| | | | | | | | | | | | | | | | | | | | | CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. Homepage: http://cvc4.cs.nyu.edu/web/
| * | 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
| |
* | Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2014-10-07
|\| | | | | | | | | | | | | Conflicts: pkgs/development/libraries/libav/default.nix pkgs/shells/bash/bash-4.2-patches.nix pkgs/stdenv/generic/default.nix
| * haskell-sloane: update to version 1.9.3Peter Simons2014-10-06
| | | | | | | | This version supports the latest optparse-applicative.
| * Merge pull request #4342 from vbgl/camlp5-6.12Mateusz Kowalczyk2014-10-03
| |\ | | | | | | Camlp5: update to 6.12; hol-light: update to r199
| | * hol_light: update to r199Vincent Laporte2014-10-01
| | | | | | | | | | | | And adds compatibility with camlp5-6.12
| * | 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
| |\ | | | | | | Working with Coq
| | * Removes duplicate ssreflectVincent Laporte2014-09-28
| | |
| | * coq: setup-hook for librariesVincent Laporte2014-09-28
| | | | | | | | | | | | | | | | | | | | | Adds a hook to automatically populate the $COQPATH variable. Coq libraries are expected to be installed in lib/coq/${coq-version}/user-contrib/
| * | gtkwave: update from 3.3.61 to 3.3.62Mateusz Kowalczyk2014-09-30
| |/ | | | | | | cc @viric
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-07 00:39:24 +0000