summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* nixpkgs: gtkwave 3.3.70 -> 3.3.86Austin Seipp2017-10-17
* sc2-headless: License is unfreeJohn Ericson2017-10-16
* sc2-headless: init at 3.17Dan Haraj2017-10-16
* aiger: fix stupid incorrect download linkAustin Seipp2017-10-16
* nixpkgs: add aiger 1.9.9Austin Seipp2017-10-16
* picosat: install more stuffAustin Seipp2017-10-16
* nixpkgs: add 'avy' -- property directed AIGER model checkingAustin Seipp2017-10-16
* nixpkgs: add symbiyosys, for HDL verification flowsAustin Seipp2017-10-16
* abella: 2.0.2 -> 2.0.4Simon Lackerbauer2017-10-16
* cubicle: 1.0.2 -> 1.1.1Vincent Laporte2017-10-11
* coq: 8.7+beta1 -> 8.7+beta2Maxime Dénès2017-10-11
* libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0Gabriel Ebner2017-10-10
* isabelle: 2016-1 -> 2017Gabriel Ebner2017-10-10
* Merge branch 'master' into stagingOrivej Desh2017-10-05
|\
| * Mathematica: 11.0.1 -> 11.2.0Guanpeng Xu2017-10-05
| * caneda: git-2012-02-16 -> 0.3.1Will Dietz2017-10-03
* | Merge branch 'master' into stagingOrivej Desh2017-10-03
|\|
| * tptp: 6.4.0 -> 7.0.0Gabriel Ebner2017-10-02
| * Merge pull request #29963 from mimadrid/update/samtools-1.6.0Orivej Desh2017-10-02
| |\
| | * bcftools: fix upOrivej Desh2017-10-01
| | * samtools: fix upOrivej Desh2017-10-01
| | * bcftools: 1.5.0 -> 1.6.0mimadrid2017-09-30
| | * samtools: 1.5.0 -> 1.6.0mimadrid2017-09-30
* | | Merge branch 'master' into stagingOrivej Desh2017-10-02
|\| |
| * | Merge pull request #29859 from pvgoran/fix-gmshOrivej Desh2017-10-01
| |\ \
| | * | gmsh: 2.12.0 -> 3.0.5Pavel Goran2017-10-01
| * | | Merge pull request #29947 from symphorien/giacOrivej Desh2017-09-30
| |\ \ \
| | * | | giac: refactorOrivej Desh2017-09-30
| | * | | xcas, giac: add myself as maintainerSymphorien Gibol2017-09-30
| | * | | giac, xcas: init at 1.4.9Symphorien Gibol2017-09-30
| * | | | treewide: mark a bunch of failing builds as brokenRobin Gloster2017-10-01
| * | | | gplates: mark as brokenFranz Pletz2017-09-30
| * | | | openmodelica: mark as broken, unmaintainedFranz Pletz2017-09-30
| * | | | R: update to version 3.4.2Peter Simons2017-09-29
| * | | | kicad: don't try to build on hydraFranz Pletz2017-09-29
| * | | | clp: init at 1.16.11Vincent Laporte2017-09-28
* | | | | Merge remote-tracking branch 'upstream/staging' into deps-reorgJohn Ericson2017-09-28
|\| | | |
| * | | | freebayes: clean up buildRobin Gloster2017-09-28
| * | | | freebayes: 1.1.0 -> 2017-08-23Samuel Leathers2017-09-28
| |/ / /
| * / / caffe: Make 'bin' the first outputTuomas Tynkkynen2017-09-27
| |/ /
| * | mxnet: disable GPU autodetectionNikolay Amiantov2017-09-25
| * | singular: use gcc5Michael Raskin2017-09-23
| * | calc: 2.12.6.1 -> 2.12.6.3mimadrid2017-09-23
| |/
| * darwin: Disable yet another bunch of packages never having built successfullyTuomas Tynkkynen2017-09-22
| * darwin: Disable another bunch of packages never having built successfullyTuomas Tynkkynen2017-09-22
| * abella: fix build with OCaml ≥ 4.03Vincent Laporte2017-09-22
| * Merge pull request #29538 from bcdarwin/update-and-fix-ANTSJoachim F2017-09-21
| |\
| | * ants: bump version and fix sandboxed buildBen Darwin2017-09-20
* | | treewide: Manual fix more pkg-config build-inputsJohn Ericson2017-09-21
* | | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
|/ /
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-03 21:56:25 +0000