summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* fontconfig: split into multiple outputsVladimír Čunát2015-10-05
| | | | Fixed all 'fontconfig}' references as well, hopefully, ugh!
* Merge commit staging+systemd into closure-sizeVladimír Čunát2015-10-03
|\ | | | | | | Many non-conflict problems weren't (fully) resolved in this commit yet.
| * Merge pull request #9917 from FlorentBecker/sagePeter Simons2015-09-30
| |\ | | | | | | Update sage to 6.8
| | * sage: 6.1.1 -> 6.8Florent Becker2015-09-22
| | |
| * | hol_light: add support for camlp5 > 6.12Vincent Laporte2015-09-23
| | |
| * | Merge: xlibs and x11 attribute cleanupVladimír Čunát2015-09-23
| |\ \ | | |/ | |/| | | | Frequently using multiple *almost* identical attributes is bad.
| | * xlibs: replace occurrences by xorgVladimír Čunát2015-09-15
| | | | | | | | | | | | | | | | | | | | | This seems to have been confusing people, using both xlibs and xorg, etc. - Avoided renaming local (and different) xlibs binding in gcc*. - Fixed cases where both xorg and xlibs were used. Hopefully everything still works as before.
| | * x11: replace its usage by xlibsWrapper directlyVladimír Čunát2015-09-15
| | | | | | | | | | | | | | | | | | Scilab note: the parameters already had pointed to nonexistent dirs before this set of refactoring. But that config wasn't even used by default.
| * | metis-prover: init at 2.3Gabriel Ebner2015-09-21
| | |
| * | perseus: init at 4-betaErik Rybakken2015-09-19
| | |
| * | Merge commit 'a6f6c0e' into master.upstreamWilliam A. Kennington III2015-09-15
| |\ \ | | |/ | |/| | | | | | | This is a partial merge of staging where we have up to date binaries for all packages.
| | * mass rewrite of find parameters to cross-platform styleVladimír Čunát2015-09-06
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixes #9044, close #9667. Thanks to @taku0 for suggesting this solution. Now we have no modes starting with `/` or `+`. Rewrite the `-perm` parameters of find: - completely safe: rewrite `/0100` and `+100` to `-0100`, - slightly semantics-changing: rewrite `+111` to `-0100`. I cross-verified the `find` manual pages for Linux, Darwin, FreeBSD.
| * | all-packages: Use callPackage where possibleMathnerd3142015-09-14
| | |
| * | HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi2015-09-13
| | |
| * | coq: Add csdp dependencyRussell O'Connor2015-09-10
| | | | | | | | | | | | The csdp program is invoked for some uses of Micromega tactics.
| * | csdp: init at 6.1.1Russell O'Connor2015-09-10
| | |
| * | Merge pull request #9752 from FRidh/maintainerDomen Kožar2015-09-09
| |\ \ | | | | | | | | add myself as maintainer
| | * | add myself as maintainerFrederik Rietdijk2015-09-09
| | | |
| * | | nixpkgs/jonprl: minor touchupsAustin Seipp2015-09-09
| |/ / | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * / JonPRL: init at 0.1.0Brian McKenna2015-09-09
| |/
| * Update HOL Light to svn r244.Marco Maggesi2015-09-01
| |
| * Mark some packages with undownloadable source as brokenEelco Dolstra2015-09-01
| |
| * root: fix build by -lX11Vladimír Čunát2015-09-01
| | | | | | | | The pkgconfig change didn't help, but I'd leave it in.
| * Merge pull request #9583 from pjones/pkg/gedaArseniy Seroka2015-09-01
| |\ | | | | | | geda: init at 1.8.2-20130925
| | * geda: init at 1.8.2-20130925Peter Jones2015-08-31
| | |
| * | qalculate-gtk: init at 0.9.7Gabriel Ebner2015-08-31
| |/
| * nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731Austin Seipp2015-08-30
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * spyder: 2.2.5 -> 2.3.6Frederik Rietdijk2015-08-29
| | | | | | | | | | | | Set environment variable to use setuptools (fixes build issue). [Bjørn: split enabling spyder for python3 into separate commit.]
| * Revert "Added K Framework package."Peter Simons2015-08-29
| | | | | | | | | | This reverts commit de0211090334c2d562ee8560a298d5f5f76b40b3. The package doesn't compile: https://github.com/NixOS/nixpkgs/pull/7419#issuecomment-135972366.
| * veriT: 201410 -> 201506Gabriel Ebner2015-08-26
| |
| * nixpkgs: lean 20150328 -> 20150821Austin Seipp2015-08-21
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * cbc: Enable on DarwinEelco Dolstra2015-08-19
| |
| * Add cbc, a mixed ILP solverEelco Dolstra2015-08-12
| |
| * ngspice: rename pkgname (s/ng-spice-rework/ngspice/)Bjørn Forsman2015-08-08
| | | | | | | | | | | | | | I think the previous name comes from the fact that some older versions were distributed in tarballs named ng-spice-rework-<version>. But now the "rework" name seems odd; most references I found on the internet calls the package "ngspice". Fix it.
| * E prover: 1.8 -> 1.9Michael Raskin2015-08-08
| |
| * Merge pull request #8908 from devhell/boinclethalman2015-07-30
| |\ | | | | | | boinc: 7.4.14 -> 7.4.42
| | * boinc: 7.4.14 -> 7.4.42devhell2015-07-28
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | As it turns out BOINC moved their git repository to Github sometime shortly after the first update to this derivation. Their wiki change makes this quite clear: https://boinc.berkeley.edu/trac/wiki/SourceCodeGit?action=diff&version=54 Slight refactor and the changelog for this release can be found here: https://boinc.berkeley.edu/trac/wiki/VersionHistory Build and run were successful.
| * | Merge pull request #8964 from vbgl/ecmArseniy Seroka2015-07-26
| |\ \ | | | | | | | | ecm: 6.2.3 -> 6.4.4
| | * | ecm: 6.2.3 -> 6.4.4Vincent Laporte2015-07-23
| | | |
| * | | openmodelica: Fix runtime PATHs using wrapProgram, fixes #8949Sergey Mironov2015-07-23
| | | |
| * | | openmodelica: add expressionSergey Mironov2015-07-23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | openmodelica.nix: add git to the list of dependencies openmodelica: generate library sourcelist with hashes openmodelica: generate library sources (part 2) openmodelica: fix fakegit openmodelica: fix libraries issues openmodelica: add GTK openmodelica: successful build
| * | | lp_solve: add the expressionSergey Mironov2015-07-23
| |/ /
| * | kicad: fix download urls (ZHF)Luca Bruno2015-07-22
| | |
| * | nixpkgs: verilator 3.872 -> 3.874Austin Seipp2015-07-20
| |/ | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * Updating gtkwave 3.3.64 to 3.3.66Lluís Batlle i Rossell2015-07-17
| |
| * stellarium: build with qt5Full to fix run-time crashesPeter Simons2015-07-14
| | | | | | | | | | | | The build with the modularized qt expression succeeded, but the resulting binary would crash immediately, complaining about the lack of a "qt.labs.shader" module. This patch works around that issue.
| * stellarium: update to version 0.13.3Peter Simons2015-07-12
| |
| * caffe: init at rev 77d66dfcWilliam Casarin2015-07-08
| | | | | | | | Initial version of the Caffe deep learning framework from Berkeley
| * E prover: switch to the new locationMichael Raskin2015-07-05
| |
| * pari: update 2.7.3 -> 2.7.4Michael Raskin2015-07-05
| |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-12 10:33:37 +0000