summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2018-01-17maintainers: remove mornfall from packagesYegor Timoshenko1-1/+1
2018-01-15dcm2niix: cmake is native, styleAshley Gillman1-13/+11
2018-01-15dcm2niix: init at 1.0.20170130Ashley Gillman1-0/+35
2018-01-14bitscope: refactored to pass nixpkgs-lintDavid Asabina2-4/+7
2018-01-15Merge pull request #33851 from vbgl/why3-0.88.3adisbladis1-3/+3
2018-01-15Merge pull request #33839 from mimadrid/update/gephi-0.9.2adisbladis1-2/+2
2018-01-14why3: 0.88.1 -> 0.88.3Vincent Laporte1-3/+3
2018-01-13cytoscape: 3.5.1 -> 3.6.0Miguel Madrid Mencía1-2/+2
2018-01-13gephi: 0.9.1 -> 0.9.2Miguel Madrid Mencía1-2/+2
2018-01-13qgroundcontrol: 2.9.4 -> 3.2.7, unbreak buildadisbladis1-37/+19
2018-01-11librepcb-unstable: init at 2017-12-29 (#33630)Luz2-0/+62
2018-01-10symbiyosys: 2017.12.06 -> 2018.01.10Austin Seipp1-3/+3
2018-01-10giac: fix buildSymphorien Gibol1-1/+4
2018-01-05treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel1-1/+1
2018-01-03z3: 4.5.0-2017-11-06 -> 4.6.0Austin Seipp1-3/+3
2017-12-31Merge branch 'master' into stagingVladimír Čunát6-0/+374
2017-12-31cntk: mark as brokenOrivej Desh1-0/+1
2017-12-30Merge pull request #26805 from obsidiansystems/cross-elegantJohn Ericson3-4/+6
2017-12-30treewide: Don't use envHook anymoreJohn Ericson3-4/+6
2017-12-30tamarin-prover: enable testsAustin Seipp1-2/+4
2017-12-30nixpkgs: add sapic as a dependency to tamarin-proverAustin Seipp1-2/+2
2017-12-30nixpkgs: init sapic 0.9Austin Seipp2-0/+66
2017-12-30nixpkgs: add 'graphviz' to tamarin-prover dependenciesAustin Seipp1-2/+3
2017-12-30nixpkgs: add tamarin-prover 1.3.0 (dev) toolAustin Seipp1-0/+84
2017-12-30bitscope: init at 2017-12-28David Asabina2-0/+220
2017-12-30Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk1-4/+2
2017-12-29wxmaxima: build with cmakeOrivej Desh1-4/+2
2017-12-29Merge branch 'master' into stagingVladimír Čunát2-5/+6
2017-12-29mariadb: lib -> connector-cRobin Gloster1-1/+1
2017-12-29fdr: 4.2.0 -> 4.2.3Nick Hu1-4/+4
2017-12-23coq: lablgtk is only needed for coqideVincent Laporte1-1/+2
2017-12-21Specify the coq version in a more consistent locationJohn Wiegley1-1/+1
2017-12-21snpeff: 4.3p -> 4.3tJustin Bedo1-3/+3
2017-12-18coq: minor cleaningVincent Laporte1-2/+1
2017-12-17drat-trim: fix build on darwinOrivej Desh1-0/+4
2017-12-17Merge pull request #32648 from berce/upstream-kicadOrivej Desh1-0/+54
2017-12-17kicad: show versionOrivej Desh1-2/+7
2017-12-17kicad-unstable: set versionOrivej Desh1-1/+1
2017-12-17Merge pull request #32643 from kini/drat-trimOrivej Desh1-0/+36
2017-12-17drat-trim: init at 2017-08-31Keshav Kini1-0/+36
2017-12-17kicad: add support for oce, ngspice and scriptingBert Moens1-14/+35
2017-12-17kicad: add unstable versionBert Moens1-0/+28
2017-12-16ocamlPackages.cairo2: 0.4.6 -> 0.5Vincent Laporte1-1/+1
2017-12-15coq_8_7: 8.7.0 -> 8.7.1John Wiegley1-0/+1
2017-12-14z3_4_5_0: New expression, to access the release version's APIJohn Wiegley1-0/+31
2017-12-14Merge pull request #32538 from vbgl/ott-0.27Pascal Wittmann1-9/+9
2017-12-11Merge pull request #32250 from vbgl/coq-cleanVincent Laporte1-81/+0
2017-12-10ott: 0.25 -> 0.27Vincent Laporte1-9/+9
2017-12-09Merge branch 'master' into stagingVladimír Čunát4-5/+38
2017-12-09gpredict: init at 1.3 (#32436)markuskowa1-0/+33
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-02 03:37:47 +0000