summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* weka: 3.8.1 -> 3.8.2Miguel Madrid Mencía2018-01-18
|
* maintainers: remove mornfall from packagesYegor Timoshenko2018-01-17
|
* dcm2niix: cmake is native, styleAshley Gillman2018-01-15
|
* dcm2niix: init at 1.0.20170130Ashley Gillman2018-01-15
|
* bitscope: refactored to pass nixpkgs-lintDavid Asabina2018-01-14
| | | | | | | | | | | | The linter (nixpkgs-lint) was not able to find the bitscope packages because `recurseIntoAttrs` was not applied to the suite's set. The name supplied to `buildFHSUserEnv` produces a binary that corresponds to the binary names in the deb packages (e.g.: bitscope-dso, bitscope-chart, bitscope-logic, etc), however; this name does not constitute a valid nixpkgs name. Valid nixpkgs names satisfy the `/(.*)(-[0-9].*)$/` pattern, therefore a valid name is merged into the derivation produced by `buildFHSUserEnv`.
* Merge pull request #33851 from vbgl/why3-0.88.3adisbladis2018-01-15
|\ | | | | why3: 0.88.1 -> 0.88.3
| * why3: 0.88.1 -> 0.88.3Vincent Laporte2018-01-14
| |
* | Merge pull request #33839 from mimadrid/update/gephi-0.9.2adisbladis2018-01-15
|\ \ | | | | | | gephi: 0.9.1 -> 0.9.2
| * | gephi: 0.9.1 -> 0.9.2Miguel Madrid Mencía2018-01-13
| |/
* / cytoscape: 3.5.1 -> 3.6.0Miguel Madrid Mencía2018-01-13
|/
* qgroundcontrol: 2.9.4 -> 3.2.7, unbreak buildadisbladis2018-01-13
|
* librepcb-unstable: init at 2017-12-29 (#33630)Luz2018-01-11
|
* symbiyosys: 2017.12.06 -> 2018.01.10Austin Seipp2018-01-10
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* giac: fix buildSymphorien Gibol2018-01-10
| | | | | | giac was broken somewhere between 310ad4 and b33b4a, see https://hydra.nixos.org/build/67137469 libgfortran.so.3 was not found
* treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel2018-01-05
|
* z3: 4.5.0-2017-11-06 -> 4.6.0Austin Seipp2018-01-03
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Merge branch 'master' into stagingVladimír Čunát2017-12-31
|\ | | | | | | | | A few thousand rebuilds from master, again. Hydra: ?compare=1422362
| * cntk: mark as brokenOrivej Desh2017-12-31
| | | | | | | | | | It never succeeded to build. @abbradar did not respond at https://github.com/NixOS/nixpkgs/commit/94dc37d6223ff6e47745afa92d2fb0efcb3df44f
| * tamarin-prover: enable testsAustin Seipp2017-12-30
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * nixpkgs: add sapic as a dependency to tamarin-proverAustin Seipp2017-12-30
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * nixpkgs: init sapic 0.9Austin Seipp2017-12-30
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * nixpkgs: add 'graphviz' to tamarin-prover dependenciesAustin Seipp2017-12-30
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * nixpkgs: add tamarin-prover 1.3.0 (dev) toolAustin Seipp2017-12-30
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * bitscope: init at 2017-12-28David Asabina2017-12-30
| |
* | Merge pull request #26805 from obsidiansystems/cross-elegantJohn Ericson2017-12-30
|\ \ | | | | | | Make cross compilation elegant
| * | treewide: Don't use envHook anymoreJohn Ericson2017-12-30
| | | | | | | | | | | | | | | This commits needs a MAJOR audit as I oftentimes just guessed which of `$hostOffset`, `$targetOffset`, or a fixed offset should be used.
* | | Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk2017-12-30
|\ \ \ | | |/ | |/|
| * | wxmaxima: build with cmakeOrivej Desh2017-12-29
| | | | | | | | | | | | | | | | | | | | | | | | Fixes reported version number: see https://github.com/NixOS/nixpkgs/pull/31657#issuecomment-354414642 "make check" did not run any tests with autotools, and is not defined with cmake. ("make test" is not defined too.)
* | | Merge branch 'master' into stagingVladimír Čunát2017-12-29
|\| | | | | | | | | | | Hydra: ?compare=1421760
| * | fdr: 4.2.0 -> 4.2.3Nick Hu2017-12-29
| | |
| * | coq: lablgtk is only needed for coqideVincent Laporte2017-12-23
| | |
* | | mariadb: lib -> connector-cRobin Gloster2017-12-29
|/ /
* | Specify the coq version in a more consistent locationJohn Wiegley2017-12-21
| |
* | snpeff: 4.3p -> 4.3tJustin Bedo2017-12-21
|/
* coq: minor cleaningVincent Laporte2017-12-18
|
* drat-trim: fix build on darwinOrivej Desh2017-12-17
|
* Merge pull request #32648 from berce/upstream-kicadOrivej Desh2017-12-17
|\ | | | | kicad: init unstable at version 2017-12-11
| * kicad: show versionOrivej Desh2017-12-17
| |
| * kicad-unstable: set versionOrivej Desh2017-12-17
| |
| * kicad: add support for oce, ngspice and scriptingBert Moens2017-12-17
| |
| * kicad: add unstable versionBert Moens2017-12-17
| |
* | Merge pull request #32643 from kini/drat-trimOrivej Desh2017-12-17
|\ \ | | | | | | drat-trim: init at 2017-08-31
| * | drat-trim: init at 2017-08-31Keshav Kini2017-12-17
| |/ | | | | | | | | | | | | | | DRAT-trim is a tool which can be used to make SAT solvers (such as glucose and glucose-syrup, which are in nixpkgs) more useful by checking their work. It has become well-accepted in the SAT solver development community and has been used in the annual SAT competitions for the last few years.
* | ocamlPackages.cairo2: 0.4.6 -> 0.5Vincent Laporte2017-12-16
| |
* | coq_8_7: 8.7.0 -> 8.7.1John Wiegley2017-12-15
| |
* | z3_4_5_0: New expression, to access the release version's APIJohn Wiegley2017-12-14
| |
* | Merge pull request #32538 from vbgl/ott-0.27Pascal Wittmann2017-12-14
|\ \ | |/ |/| ott: 0.25 -> 0.27
| * ott: 0.25 -> 0.27Vincent Laporte2017-12-10
| |
* | Merge pull request #32250 from vbgl/coq-cleanVincent Laporte2017-12-11
|\ \ | | | | | | coq_HEAD, coqPackages_8_4: remove
| * | coq_HEAD: removeVincent Laporte2017-12-02
| | |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-01 17:52:02 +0000