summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* 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
* Merge pull request #33851 from vbgl/why3-0.88.3adisbladis2018-01-15
|\
| * 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.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
* giac: fix buildSymphorien Gibol2018-01-10
* 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
* Merge branch 'master' into stagingVladimír Čunát2017-12-31
|\
| * cntk: mark as brokenOrivej Desh2017-12-31
| * tamarin-prover: enable testsAustin Seipp2017-12-30
| * nixpkgs: add sapic as a dependency to tamarin-proverAustin Seipp2017-12-30
| * nixpkgs: init sapic 0.9Austin Seipp2017-12-30
| * nixpkgs: add 'graphviz' to tamarin-prover dependenciesAustin Seipp2017-12-30
| * nixpkgs: add tamarin-prover 1.3.0 (dev) toolAustin Seipp2017-12-30
| * bitscope: init at 2017-12-28David Asabina2017-12-30
* | Merge pull request #26805 from obsidiansystems/cross-elegantJohn Ericson2017-12-30
|\ \
| * | treewide: Don't use envHook anymoreJohn Ericson2017-12-30
* | | Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk2017-12-30
|\ \ \ | | |/ | |/|
| * | wxmaxima: build with cmakeOrivej Desh2017-12-29
* | | Merge branch 'master' into stagingVladimír Čunát2017-12-29
|\| |
| * | 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: 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-31Keshav Kini2017-12-17
| |/
* | 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.27Vincent Laporte2017-12-10
* | Merge pull request #32250 from vbgl/coq-cleanVincent Laporte2017-12-11
|\ \
| * | coq_HEAD: removeVincent Laporte2017-12-02
* | | Merge branch 'master' into stagingVladimír Čunát2017-12-09
|\ \ \ | | |/ | |/|
| * | gpredict: init at 1.3 (#32436)markuskowa2017-12-09
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-27 00:10:54 +0000